PROF: MOQUILLAZA METODOS DE DEMOSTRACION

Método directo o de Hipótesis

auxiliar.
Si m y n son números enteros impares, entonces su producto mn es un
entero impar.
Solución:
Suponga que m y n son enteros impares (hipótesis auxiliar),
entonces:
m = 2k1 + 1 y n = 2k2 + 1, con k1 y k2 enteros.
Por tanto, mn = ( 2k1 + 1 ) ( 2k2+ 1 ) =
=4k1k2 + 2k1+2k2 +1 = 2(2k1k2 + k1 + k2 ) + 1.
Ahora (2k1k2 + k1 + k2 ) ε Z, luego, 2k1k2 + k1 + k2 = k.
Esto es: mn = 2k + 1, k εZ.
Luego mn es impar y por tanto, se concluye que: Si m y n son
impares, mn también es impar.
 Método indirecto
• Ejemplo: Demostrar que si m2 es un número par, entonces m es
un número par.
Para establecer la verdad de la proposición se puede demostrar
su contra rrecíproca:
Si m no es un número par, entonces m2 no es un número par.
En efecto:
Suponga que m es impar, luego, m = 2k1 + 1, con k1 que
pertenece a Z.
Por tanto:
m2 = (2k1 + 1)2 = 4k12 + 4k1 + 1 =2(2k12 + 2k1) + 1,
con (2k12 + 2k1) є Z.
Sea n = 2k12 + 2k1.
Luego, m2 = 2n + 1. Esto es, m2 es impar.
En consecuencia, si m es impar, entonces m2 es impar y por
tanto, si m2 es par entonces m es par.
 10 Método de demostración por
reducción al absurdo
• Ejemplo: Utilizando el método de reducción al absurdo,
demostrar que el número real es irracional.
Solución:

Suponga que no es irracional, luego es racional y por tanto = p/q, q

¹ 0, p, q Є Z y p, q primos relativos.

2 = p2/q2, 2q2 = p2, de donde p2 es número par y por lo tanto lo es

p, esto es p = 2k, k Є Z, entonces p2 = 4k2. Se concluye, entonces,
que 2q2 = 4k2; q2 = 2k2, q2 es número par, luego q es un número
par.

Luego p y q tienen factor común 2. ¡Absurdo! puesto que p y q son

primos relativos. Por tanto, es número irracional.
 Método de Demostración por
Disyunción de Casos
• Ejemplo: Demostrar que si x es un número real, entonces
x2 >= 0

Solución. Suponga que x es un número real, luego, x < 0 |

x = 0 | x < 0.
Si x < 0, entonces - x > 0 y (-x)(-x) > 0, x2 > 0.
Si x = 0, entonces x.x = 0.0 = 0, x2 = 0.
Si x > 0, entonces x.x > 0, x2> 0.
Luego, x2 >0 | x2 = 0, o sea, x2 >= 0.

Por tanto, si x es un número real, entonces x2 >= 0.