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 n\displaystyle n es un numero entero n≥1\displaystyle n\geq 1, entonces n2+n\displaystyle n^{2}+n es par.

Demostración.

Si n\displaystyle n es un numero entero n≥1\displaystyle n\geq 1, hay dos casos:

  1. 1.
    ​

    Si n\displaystyle n es par, se puede expresar como n=2⁢m\displaystyle n=2m con m∈ℤ\displaystyle m\in\mathbb{Z}. Así, tenemos:

    n2+n=(2⁢m)2+2⁢m=4⁢m2+2⁢m=2⁢(2⁢m2+m)⏟numero par\displaystyle n^{2}+n=(2m)^{2}+2m=4m^{2}+2m=\underbrace{2(2m^{2}+m)}_{\text{%numero par}}
  2. 2.
    ​

    Si n\displaystyle n es impar, se puede expresar como n=2⁢m+1\displaystyle n=2m+1 con m∈ℤ\displaystyle m\in\mathbb{Z}. Así,

    n2+n=(2⁢m+1)2+(2⁢m+1)=4⁢m2+4⁢m+1+2⁢m+1==4⁢m2+6⁢m+2=2⁢(2⁢m2+3⁢m+1)⏟numero parn^{2}+n=(2m+1)^{2}+(2m+1)=4m^{2}+4m+1+2m+1=\\=4m^{2}+6m+2=\underbrace{2(2m^{2}+3m+1)}_{\text{numero par}}

∎

2.2 Demostración por contraposición

Si queremos demostrar por contrarreciproco el teorema A⇒B\displaystyle A\Rightarrow B basta con demostrar el teorema ¬⁢B⇒¬⁢A\displaystyle\neg B\Rightarrow\neg A 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 n\displaystyle n es un numero entero de forma que n2\displaystyle n^{2} es impar, entonces n\displaystyle n es impar.

Demostración.

Lo demostraremos por contraposición. Supongamos que n\displaystyle n es un número par. Entonces n=2⁢c,c∈ℤ\displaystyle n=2c,\,c\in\mathbb{Z}. Sustituyendo,

n2=(2⁢c)2=4⁢c2=2⁢(2⁢c2)\displaystyle n^{2}=(2c)^{2}=4c^{2}=2(2c^{2})

Luego n2\displaystyle n^{2} también es un número par. Como ¬⁢B⇒¬⁢A\displaystyle\neg B\Rightarrow\neg A, se cumple el teorema que queríamos demostrar. ∎

2.3 Demostracion por reduccion al absurdo

Si queremos demostrar por reduccion al absurdo el teorema A⇒B\displaystyle A\Rightarrow B basta con que supongamos que se cumpla la hipotesis (A)\displaystyle(A) y lo contrario de la tesis (no B). Si suponemos que se cumple a la vez A\displaystyle A y no B\displaystyle B haciendo deducciones llegamos a que algo es imposible.

Teorema 2.3.

Si n\displaystyle n es un numero entero de forma que n2\displaystyle n^{2} es par, entonces n\displaystyle n es par.

Demostración.

Lo demostraremos por reduccion al absurdo. Supongamos que se cumple que n2\displaystyle n^{2} es par y n\displaystyle n es impar. Como n\displaystyle n es impar, entonces n=2⁢c+1,c∈ℤ\displaystyle n=2c+1,\;c\in\mathbb{Z} y llegamos a

n2=(2⁢c+1)2=4⁢c2+4⁢c+1=2⁢(2⁢c2+c)+1⏟numero impar\displaystyle n^{2}=(2c+1)^{2}=4c^{2}+4c+1=\underbrace{2(2c^{2}+c)+1}_{\text{%numero impar}}

Luego n2\displaystyle n^{2} es impar, pero por hipótesis hemos supuesto que n2\displaystyle n^{2} 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 n2\displaystyle n^{2} es par, entonces obligatoriamente se cumple que n\displaystyle n es par. ∎

Teorema 2.4.

Existe una cantidad infinita de numeros primos.

Demostración.

En primer lugar, reescribimos el teorema: Si A\displaystyle A es el conjunto de todos los numeros primos, entonces su cardinal es infinito. Lo demostramos por reduccion al absurdo. Suponemos que A\displaystyle A es el conjunto de todos los numeros primos y que este conjunto es finito. Como A\displaystyle A es finito el conjunto de todos los numeros primos es A={p1,p2,…,pn}\displaystyle A=\{p_{1},p_{2},\ldots,p_{n}\}. Ahora tomamos

x=1+p1⁢p2⋅…⋅pn\displaystyle x=1+p_{1}p_{2}\cdot\ldots\cdot p_{n}

x\displaystyle x 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 A\displaystyle A ya que si tomamos pj\displaystyle p_{j} en A\displaystyle A:

x=1+p1⁢p2⏟≥1⋅…⋅pj⋅…⋅pn⏟≥1≥1+pj>pj\displaystyle x=1+\underbrace{p_{1}p_{2}}_{\geq 1}\cdot\ldots\cdot p_{j}\cdot%\ldots\cdot\underbrace{p_{n}}_{\geq 1}\geq 1+p_{j}>p_{j}

Ademas, x\displaystyle x no es divisible por ninguno de los primos. Supongamos que x\displaystyle x es divisible por p1\displaystyle p_{1}. Entonces

x=c⁢p1=1+p1⁢p2⁢⋯⁢pn⇒1=c⁢p1−p1⁢p2⁢⋯⁢pn=p1⁢(c−p2⁢⋯⁢pn)\displaystyle x=cp_{1}=1+p_{1}p_{2}\cdots p_{n}\Rightarrow 1=cp_{1}-p_{1}p_{2}%\cdots p_{n}=p_{1}(c-p_{2}\cdots p_{n})

Por tanto, 1 es múltiplo de p1\displaystyle p_{1}. Esto es imposible, pues el 1\displaystyle 1 solo es múltiplo de si mismo. Esto se repite para el resto de los numeros del conjunto A\displaystyle A. Es decir, x\displaystyle x 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 Fn=22n+1\displaystyle F_{n}=2^{2^{n}}+1 son primos, cosa que es cierta si n=0,1,2,3\displaystyle n=0,1,2,3 y 4\displaystyle 4, pero Leonard Euler demostró que si n=5\displaystyle n=5, el numero resultante no es primo. Asi, se demostró que la conjetura anterior era falsa.