Una deduccin o DEMOSTRACIN MATEMTICA es una sucesin coherente de pasos que, tomando como verdadero un conjunto de premisas llamado

hiptesis, permite asegurar la veracidad de una tesis. Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin (fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin). El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso. Aunque en general no existe un procedimiento nico de demostracin de teoremas, s existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas: 1) Mtodo directo, 2) Mtodo contrarrecproco 3) Reduccin al absurdo EJEMPLOS 1) Probemos que, para todo entero n , si n es par, entonces n 2 es par. Demostracin: (METODO DIRECTO) Sea n un nmero entero par. Entonces 2 es factor de n , por tanto se puede expresar 2 como n = 2m para algn entero m. Se sigue que n 2 = ( 2m ) = 4m 2 . Ahora, 4m 2 se puede escribir como 2 ( 2m 2 ) donde 2m 2 es tambin un entero, queramos demostrar. por lo que 2 ( 2m 2 ) es par y como 2 ( 2m 2 ) = n 2 , llegamos a que n 2 es par, que era lo que

2) Para todo entero n , si n 2 es par, entonces n es par. Demostracin: (METODO CONTRARECIPROCO) La proposicin a probar es P(n) Q(n), donde P(n) es n 2 es par, Q(n) es n es par y n es un entero arbitrario. El contrarrecproco es Q(n) P(n), es decir, si n es impar entonces n 2 es impar. Vamos a demostrar esto ltimo. Para ello hemos de asumir la veracidad de que n es impar y llegar a demostrar que n 2 es impar es cierto. Sea n un entero impar, entonces n = 2m + 1 , donde m es un entero. 2 Ahora, n 2 = ( 2m + 1) = 4m 2 + 4m + 1 donde n 2 = 4m 2 + 4m + 1 = 2 ( 2m 2 + 2m ) + 1 as
2m 2 + 2m es un nmero entero, por lo tanto n 2 es impar

3) Demostrar que 2 es irracional. Demostracin: (REDUCCION AL ABSURDO) Este es un buen ejemplo de demostracin por contradiccin. Suponemos que 2 es racional y llegamos a una contradiccin. m Supongamos que 2 es racional, por lo tanto 2 = donde m y n son nmeros n enteros, con n0.

m es una fraccin reducida (irreducible), es decir, n que m y n no tienen factores en comn. (Si tuvieran factores en comn, simplificamos) Ahora: m m2 2 = 2 = 2 2n 2 = m 2 , m 2 es par m 2 es par por demostracin anterior n n As, m = 2 p, p Z , luego m 2 = 4 p 2 Sustituyendo este resultado en la ecuacin 2n 2 = m 2 tenemos: 2n 2 = 4 p 2 n 2 = 2 p 2 n 2 es par n es par Hemos demostrado que tanto m como n son los dos pares, es decir, tienen un divisor en comn: el 2, lo cual es una contradiccin porque partimos de la suposicin de que m y n no tienen factores comunes. Por tanto, hemos deducido como cierta una proposicin y su negacin, situacin que da lugar a la contradiccin, con lo que hemos probado el teorema.

Podemos suponer que la fraccin

4) Demostrar que, para cualquier par de enteros x e y, el producto xy es par si y slo si x es par o y es par. Demostracin: Primero probamos, utilizando el mtodo directo, que si x es par o y es par, entonces el producto xy es par. Supongamos que x es par, es decir, x=2n, para algn entero n. Entonces xy=2ny, por lo tanto, xy es par. El mismo argumento nos servir para el caso en el que supongamos que y es par. Ahora probamos la implicacin en sentido contrario: si xy es par, entonces x es par o y es par. Utilizaremos la demostracin mediante el contrarrecproco: si x e y son impares, entonces xy es impar. Sean x e y dos enteros impares: x=2n+1 e y=2m+1, con n, m enteros. Entonces xy=(2n+1)(2m+1)=4mn+2n+2m+1=2(2mn+n+m)+1,entonces xy es impar. Con lo que queda demostrado. 5) Si a y b son nmeros racionales, entonces a+b es un nmero racional. Demostracin: Por hiptesis como a y b son nmeros racionales, entonces se pueden escribir de la p r forma a = y b = , con q y s 0 ( p, q, r y s q s Ahora realizando la suma de esas expresiones tenemos, p r ps + qr + = , como la suma de nmeros enteros da enteros, igualmente el producto q s qs entonces el numerador y denominador son nmeros enteros. ps + qr u Por lo tanto = es un nmero racional. qs v

6) Dada la ecuacin ax 2 + b x + c = 0 , demuestre que

x=

b 2 4ac 2a

Demostracin: Sea a x 2 + b x + c = 0 la ecuacin cuadrtica con a 0 , dividiendo ambos lados entre a,

a x2 + b x + c 0 = entonces a a x2 + b c x + = 0 entonces a a a x2 b x c + + = 0 , luego a a a x2 + b c , completando cuadrados en el lado x= a a

izquierdo

b c b b x + x + = + , luego a a 2a 2a
2

x2 +

b c b2 b x + = + , donde a 4a 2 a 2a
2

b 4ac + b 2 , eliminando el exponente y aplicando conmutatividad x+ = 2a 4a 2

b x+ = 2a radicales x= b b 2 4ac , entonces 2a 4a 2 x= b b 2 4ac 2a 2a b 2 4ac 4a 2 , entonces x = b 2a b 2 4ac 4a 2 , simplificando

Sea a x 2 + b x + c = 0 la ecuacin cuadrtica con a 0 ,dividiendo ambos lados entre a,

a x2 + b x + c 0 = entonces a a x2 + b c x + = 0 entonces a a a x2 b x c + + = 0 , luego a a a x2 + b c , completando cuadrados en el lado x= a a

izquierdo

b c b b x + x + = + , luego a a 2a 2a
2

b c b2 b x + x + = + , donde a a 4a 2 2a
2

b 4ac + b 2 , eliminando el exponente y aplicando conmutatividad x+ = 2a 4a 2

b x+ = 2a radicales x= b b 2 4ac , entonces 2a 4a 2 x= b b 2 4ac 2a 2a b 2 4ac 4a 2 , entonces x = b 2a b 2 4ac 4a 2 , simplificando

Por suma de fracciones con igual denominador Por suma de fracciones con igual denominador
x= b b 2 4 ac 2a

7) Demuestre que la mujer es igual a problemas Demostracin: Para conseguir una mujer, necesitas tiempo y dinero, por lo tanto mujer = tiempo dinero (i) El tempo es considerado oro, por lo tanto el tiempo es dinero, tiempo = dinero Sustituyendo tiempo en (i),tenemos mujer = dinero dinero Entonces, 2 mujer = ( dinero ) Pero el dinero es la raz de todos los problemas, dinero = problemas Sustituyendo, mujer =

problemas

Simplificando, mujer = problemas