Plantilla:Raiz de 2 no es racional
De Wikipedia
Proposición
- No existe ningún número racional que elevado al cuadrado dé como resultado 2. Es decir, el número
no es racional.
Vamos ha utilizar un tipo de demostración denominado "por reducción al absurdo". Supondremos que es racional y llegaremos a una conclusión sin sentido, lo que demostrará la falsedad de la hipótesis de partida.
Por tanto, supongamos que es racional, o sea, que existe una fracción de números enteros 
que es igual a.
Elevamos al cuadrado los dos miembros de la igualdad:
Multiplicamos por 
los dos miembros de la igualdad:
[1]Sabemos que en la descomposición factorial de un cuadrado perfecto, distinto de 1, todos los factores que aparecen lo hacen un número par de veces.
Como es un cuadrado perfecto, el factor 2 o no aparece o lo hace un número par de veces. Pero entonces, el factor 2 aparecería un número impar de veces en la descomposición del cuadrado perfecto por [1].
