2 Técnicas de demostración
2.1 Demostracion directa
La demostración directa consiste en probar la tesis directamente a partir de la hipótesis.
Teorema 2.1.
Si es un numero entero , entonces es par.
Demostración.
Si es un numero entero , hay dos casos:
-
1.
Si es par, se puede expresar como con . Así, tenemos:
-
2.
Si es impar, se puede expresar como con . Así,
∎
2.2 Demostración por contraposición
Si queremos demostrar por contrarreciproco el teorema basta con demostrar el teorema generalmente usando la técnica de demostración directa. Es decir, probamos que lo contrario de la tesis implica lo contrario de la hipótesis.
Teorema 2.2.
Si es un numero entero de forma que es impar, entonces es impar.
Demostración.
Lo demostraremos por contraposición. Supongamos que es un número par. Entonces . Sustituyendo,
Luego también es un número par. Como , se cumple el teorema que queríamos demostrar. ∎
2.3 Demostracion por reduccion al absurdo
Si queremos demostrar por reduccion al absurdo el teorema basta con que supongamos que se cumpla la hipotesis y lo contrario de la tesis (no B). Si suponemos que se cumple a la vez y no haciendo deducciones llegamos a que algo es imposible.
Teorema 2.3.
Si es un numero entero de forma que es par, entonces es par.
Demostración.
Lo demostraremos por reduccion al absurdo. Supongamos que se cumple que es par y es impar. Como es impar, entonces y llegamos a
Luego es impar, pero por hipótesis hemos supuesto que es par. Ningún número es impar y par a la vez, por lo que hemos llegado a una contradiccion. Así tenemos que, si se cumple que es par, entonces obligatoriamente se cumple que es par. ∎
Teorema 2.4.
Existe una cantidad infinita de numeros primos.
Demostración.
En primer lugar, reescribimos el teorema: Si es el conjunto de todos los numeros primos, entonces su cardinal es infinito. Lo demostramos por reduccion al absurdo. Suponemos que es el conjunto de todos los numeros primos y que este conjunto es finito. Como es finito el conjunto de todos los numeros primos es . Ahora tomamos
es un numero entero (suma y producto de numeros enteros) y no puede ser un numero primo porque es mayor que todos los numeros que pertenecen a ya que si tomamos en :
Ademas, no es divisible por ninguno de los primos. Supongamos que es divisible por . Entonces
Por tanto, 1 es múltiplo de . Esto es imposible, pues el solo es múltiplo de si mismo. Esto se repite para el resto de los numeros del conjunto . Es decir, es un numero entero que no es primo y tampoco es divisible por ningun numero primo. Como es imposible, llegamos a que el conjunto de los numeros primos no puede ser finito. ∎
2.4 Contraejemplos
Los contraejemplos no son un método de demostración, sino una técnica para demostrar que un teorema es falso.
Basta con encontrar un caso particular (contraejemplo) en el que se cumplen las hipotesis pero no la tesis para probar que el teorema es falso.
Ejemplo.
Pierre de Fermat conjeturó en 1650 que todos los numeros de la forma son primos, cosa que es cierta si y , pero Leonard Euler demostró que si , el numero resultante no es primo. Asi, se demostró que la conjetura anterior era falsa.