Lagrange y la raíz de 2

Es imposible encontrar un número entero que multiplicado por sí mismo dé 2. Tampoco se puede encontrar una fracción así, pues si simplificas la fracción hasta ser irreducible, el cuadrado de esta fracción será de nuevo irreducible y por lo tanto no puede ser igual al número entero 2.
Joseph Louis Lagrange en Lectures on Elementary Mathematics, On Arithmetic, pág 11.
Visto en Cute the Knot.
Por si alguien aún no se ha enterado, se trata de una muy curiosa demostración de la irracionalidad de (y, por extensión, de la de la raíz de cualquier número natural que no sea un cuadrado perfecto).
Supongamos que no es un cuadrado perfecto y que es racional, es decir, con y primos entre sí (para que la fracción sea irreducible). Lo que afirma Lagrange es que si es irreducible (con ), entonces también lo es. En efecto, si tenemos en cuenta la descomposición en factores primos de y , como es irreducible, entonces no hay factores comunes en y ; al elevar al cuadrado, lo que hacemos es duplicar los exponentes de los factores ya existentes, pero jamás introduciremos factores nuevos, por lo tanto, y tampoco compartirán factores y resultarán primos entre sí.
Y claro, si es irreducible, por mucho que queramos nunca podrá ser un número entero (recordad que , luego, en particular, lo que lleva a contradicción.
Durante esta semana, si puedo, propondré alguna que otra demostración más de la irracionalidad de .
Tito Eliatron Dixit
PD: Esta entrada participa en la Edición 3.1415926535 del Carnaval de Matemáticas cuyo anfitrión es La Aventura de la Ciencia. 
 
Si te ha gustado esta entrada, puedes dejar un comentario directamente en Tito Eliatron Dixit.