Demostrando que raíz de 2 es irracional: La demostración de Ivan Niven et. al.

Que raíz de 2 es irracional… eso ya lo sabemos. Lo que nos queda es preguntar: ¿Cual demostración te sabes? Acá les traigo una de Ivan Niven y Maier.

---

Así como muchas otras demostraciones, supongamos que es racional y escribamos

,

donde la fracción es irreducible, en ese sentido,  es el mínimo valor positivo que puede ir en el denominador, con el cual se puede representar la raíz de 2 como una fracción. Como , obtenemos que  y entonces . Por otro lado,

Hemos acabado, por que de este modo

Donde, … lo cual contradice la hipótesis.

---

Como pueden ver, una demostración muy sencilla. Como es de sospechar, este método se puede generalizar.

---

Referencias

• E. A. Maier and Ivan Niven, A Method of Establishing Certain Irrationalities, Mathematics Magazine, Vol. 37, No. 4 (Sep., 1964), pp. 208-210

---

Reconozco que la actividad del blog ha bajado de una manera tremenda (Hasta el punto de ser nula). Debo reconocer que al tomar riendas de este proyecto no medí bien los tiempos, y ahora me está pasando la cuenta.

Para el 2012 (que empieza en 16 horas en el país en el que resido) prometo cuadrar calendario para el blog. Por el momento debo pedir disculpas .

Advertisement