ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO
CLASE N 10
MTODOS DE DEMOSTRACIN
Las proposiciones de una teora matemtica se clasifican en dos tipos:
axiomas y definiciones que son aceptadas sin demostracin y los teoremas
que son de deduccin.
La demostracin de un teorema es un procedimiento en el que se enlazan dos
o ms proposiciones utilizando reglas lgicas. El enunciado de un teorema
incluye las proposiciones de partida y constituyen la hiptesis (H) del teorema,
si partiendo de las hiptesis H se puede llegar a otra proposicin llamada tesis
(T), se debe verificar que la proposicin H T es verdadera.
Los siguientes mtodos de demostracin son los ms usuales.
a) MTODO INDUCTIVO:

Particular

General

b) MTODO DEDUCTIVO:

General

Particular
MTODO INDUCTIVO

Utilizando el Mtodo Inductivo determinar el nmero de diagonales

trazadas de un mismo vrtice en un polgono de n lados.
n=3

n=4

ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO
d=0

d=1
d=n3
CLASE N 10

Utilizando el Mtodo Inductivo determinar el nmero de diagonales totales

que se pueden trazar en un polgono de n lados
n=3

n=4

D=0

D=2

n(n 3)
2

D=

Utilizando el Mtodo Inductivo determinar la suma de los n nmeros

naturales consecutivos.
1 + 2 + 3
n=1

Sn = n

n=2

Sn = n + 1

n=3

Sn = n + 2

n=4

Sn = n + 3

Sn =

+ (n 1)

n(n 1)
2

MTODO DEDUCTIVO
a) Mtodo Directo:
H
P2
P4
P6
Pn

P1
P3
P5
Pn
T

+ n

ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO

b) Mtodo Indirecto:
1. Contra Recproco:

H
CLASE N 10

2. Reduccin al Absurdo:

(H

T)

IF)

3. Contra ejemplo:
Sirve para demostrar la falsedad de la tesis.
Se contra dice la tesis con un ejemplo.

MTODO DIRECTO
De acuerdo a la tabla de valores de verdad de la implicacin, para demostrar
que la implicacin H T es verdadera, es suficiente demostrar que, si la
proposicin H es verdadera, entonces T es verdadera.
Ejemplo
Demostrar que si n es un nmero entero impar, entonces n2 es impar.
Demostracin:
Si n es impar, entonces n = 2m +1, para algn m, luego
n2 = (2m + 1)2
= 4m2 + 4m + 1
= 2(2m2 + 2m) + 1, pero si p = (2m2 + 1),
= 2p + 1, p Z, es decir,

ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO
n2 es impar l.q.q.d.
El contra recproco es otra forma del mtodo directo y se basa en la
equivalencia lgica p q q p. Se parte de la negacin de la tesis y se
llega a la negacin de la hiptesis, es decir T H.

CLASE N 10
REDUCCIN AL ABSURDO
De acuerdo a la tabla de valores de verdad de la implicacin, para demostrar
que la proposicin p q es verdadera, es suficiente deducir de la hiptesis p
es verdadera y q es falsa, que es un resultado imposible, pues son dos
proposiciones contradictorias.
Ejemplo
Demostrar que 1/0 no es un real.
Demostracin:
Se supone que 1/0 es un real, es decir, 1/0 = a , luego
1 = 0.a
1 = 0, es una contradiccin, ya que 1 0
Se concluye entonces que 1/0 no es un real l.q.q.d.
CONTRAEJEMPLO
Consiste en dar un ejemplo que no cumpla con la tesis, demostrando as que la
tesis es falsa.
Ejemplo
Determinar si es verdad o falso que x,R, x + 5 = 11

ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO

Solucin:
La proposicin es falsa.
Contraejemplo:
Si x = 2, al sustituir en la igualdad
2 + 5 = 11, que es un absurdo, pues
2 + 5 11.

CLASE N 10
PRINCIPIO DE INDUCCION
Mtodo de demostracin usando el axioma de induccin.
PASOS:
1) Se comprueba que P(n) es verdadera. Para n=1, 2, 3por lo que P(1)
es verdadera.
2) A continuacin, hay que demostrar que si P(n) es verdadera, cambiamos
la variable n por k, y si P(k) es verdadera entonces P(k+1) tambin lo es.
Para k=k+1
3) Resolvemos mediante una demostracin por induccin.
Ejemplo:
Demostrar que:
1. Pn=1+2+3+ +n=

n( n+1)
2

i P ( 1 )=V
n(n+1) 1(1+1) 1(2)
=
=
=1 V
2
2
2
ii P (k ) P(k +1)

ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO
HI P k =1+2+3+3+ +k =

k ( k +1 )
2

TI P K+1=1+ 2+3+ +k + ( k +1 )=

( k +1 ) ( k +2 )
2

D P k+1=1+2+3+ +k + ( k + 1 )
Pk+1 =

k ( k +1 )
+( k + 1 )
2

Pk+1 =

k + k +2 k +2
2

Pk+1 =

( k + 1 ) (k +2)
2

P ( n ) es verdadera

CLASE N 10

13+ 23+ 33+ 4 3+ +n3 =

2.

n2 (n+1)2
4

( n N )

i P ( 1 ) V
2

n (n+1) 1 (1+1) 1(4 )

3
=
=
=1 1 V
4
4
4

ii P (k ) P(k +1)
HI P ( k )=13 +23 +33 +4 3 ++ k 3=

k 2 ( k +1 )2
4

ESCUELA POLITCNICA NACIONAL

FUNDAMENTOS DE LA MATEMTICA
MATERIAL DE TRABAJO
TI P ( k +1 )=13 +23 +33 + 43 ++ k 3 +(k +1)3 =

D P ( k +1 ) =13+ 23+ 33+ 4 3+ +k 3 + ( k +1 )3

k 2 ( k +1 )2
P ( k +1 )=
+ ( k +1 )3
4
P ( k +1 )=( k + 1 )

P ( k +1 )=( k + 1 )

P ( k +1 )=

[
[

k
+ ( k +1 )
4

]
]

k2 + 4 k + 4
4

( k +1 )2 ( k +2 )2
4

P ( n ) es verdadero

(k +1) (k +2)
4