Joseph Louis Lagrange en Lectures on Elementary Mathematics, On Arithmetic, pág 11.
Visto en Cute the Knot.
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
![[;\sqrt2;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_toyCmYvO01sDfDU4BeD6nBfnVp3MBxnAxLKzfR4Wauc0yrP8KUTcXNjpWe3pIpyd1I5c-gYhbrQwu5fL21YWlSjrZtCQjqRFVXYWBGdQ=s0-d "\sqrt2")
(y, por extensión, de la de la raíz de cualquier número natural que no sea un cuadrado perfecto).Supongamos que
![[;n;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_voPN9OdGeb_5C03u5P9sv89HwlyUUGY6MvpHcrcLF3AAxblgVq7neJhuAlFxRNqy6rhGYD17_S58Et9AZsjg3mHJ7kcCuw=s0-d "n")
no es un cuadrado perfecto y que ![[;\sqrt n;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uz8D6-ocuc07HvMq54Scq8gsA3Cg989z0x1jBAzfMGCBJZeooaAD7hU8Hvwjc5SVpMRnL5eolZFMAwu4NB1Iw5vK6Yk_QYFUgVFnUGI68=s0-d "\sqrt n")
es racional, es decir, ![[;\sqrt n={p}/{q};]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uAq1xP6djFIZ_AgPnG-IF9PCNnG793XvRyUdaaEnI6lhCoClrLrcPUuDEi90Q7n7ijaorVzkOP4e8tsH43v1bETuzqrSBJeyIMGqV_lyYivi7b7coY5TB2bk0R38eA=s0-d "\sqrt n={p}/{q}")
con ![[;p,q\in\mathbb{N};]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_utdeOcuv3L9gq1UNJJemsPgcsPCZo9z8iAjZ-fcetmPBxpJxXeg6ydu2sZEvbFE5wCQ7ppMw-zEJ-FcbdecPwafo3ucdWA8yUpQli87D1HVur9TmG1LWXmLtjCoA=s0-d "p,q\in\mathbb{N}")
y primos entre sí (para que la fracción sea irreducible). Lo que afirma Lagrange es que si ![[;p/q;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vDbroSMDMfi8oFnIeyWC8k_kqufrkvyAAl06zdugwqucnxGR1exNXCIT3wjS-NWDag_6yd45W8nkjP5KiK2Jd5NZTx7VCvYw=s0-d "p/q")
es irreducible (con ![[;q\ne1;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sL3JiCaFxwJ0g_Lh4kKpIhHWF4lDYGJkDzHXUyUHSMxw_1fmcIfBx9-O_3IyNH-3x-puuGujBoHRmbnVrMRuLurdPUoVBB2LWM-Is=s0-d "q\ne1")
), entonces ![[;p^2/q^2;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vppC-AMU6mSL3fd-OZ5Y7kuB5w9CllAwAKU2XMXfb5lle_JZ5uOcHMDg5PC3wx91qRNFbAYBSB72xkvOIl9CQ6O15J_290JVvrSPpYH7O_-g=s0-d "p^2/q^2")
también lo es. En efecto, si tenemos en cuenta la descomposición en factores primos de ![[;p;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vXRCoVjSEEP3y2o7zcyUwEsefHuJmkggTMxWtrnUn36FaZ6i93TwBmtHRrwHO16UB0W1AtHkqjSZB5lHbTj_o0s-cLeuSs=s0-d "p")
y ![[;q;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tzo88lvy87I_H4BeWOGgf6yAdHkQxeBja2Kl_4jex7mhC3-VLXsO1lsvTu-ucmSG7zGFrTrU7FBq-MRWYKnWBl_Ud3691r=s0-d "q")
, 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, ![[;p^2;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_skzNDSG9-C6VCZ8zcjSHQbXwRg4E91QAgVTPQWesz1uIxYKpM9GX3E3blg4cahzRZUsCmJAicNqq15-x3_EQJjzZ5VxbZ5XCSW=s0-d "p^2")
y ![[;q^2;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vurQorZpRWiPWUe-zM0G-xwdxjTTKoJh61tKLn9-Nc0R46M3RCCqCIqSmVxl7DYu9wpakwJoyaeeS9GIolm0XviDCFHi7k2He2=s0-d "q^2")
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, ![[;p`^2/q^2\ne n;]](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uCf2MEO5kld8TaoY_FZSk_pzSeXdQkUebxS37oUCZgAboQt4y2qRS5SfrioQVKhlH1ZEZl_5Jtpi0aQYlLybpoRPEvMcnsEkNreb0-Un5alp-1KmXP_Bktig=s0-d "p`^2/q^2\ne n")
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.
Es una demostración sencilla y muy bonita.
ResponderEliminarLa contamos el otro día en una clase de Estalmat de introducción a las demostraciones matemáticas.
Llama la atención una asimetría de tipo fundamental.Porqué algunas demostraciones son elementales, casi demasiado fáciles como en este caso; y en otros casos la tarea es de una extrema dificultad. Cuentan que a Charles Hermite, a pesar de su alto nivel matemático, le costó tanto demostrar que e es un número trascendente; que después dijo que el esfuerzo que él había tenido que hacer,no se lo deseaba a nadie. Quizás dejó de descubrir 3 o 4 cosas aún más importantes que la "trascendencia" matemática de e ala que dedicó demasiado esfuerzo. Nota: Yo ni siquiera soy matemático.
ResponderEliminarWoou con tigo se aprende o se aprende, es todo un honor visitarte.
ResponderEliminarExcelente entrada.
ResponderEliminarEl razonamiento de Lagrange es muy bonto porque es muy corto y es una versión abreviada del razonamiento que he visto más veces, en el que se acaba probando que la facción irreducible p/q debe tener como factor cómun del denominador y del numerador a 2 ( en el caso general, n) lo cual es absurdo.
Este es más corto.
Pero cuando lo he pensado me ha generado una duda.
Pido ayuda porque me lío con este sencillo razonamiento:
Ahora vamos a probar que la raíz cuadrada de cuatro es un número irracional.
Seguimos la demostración de Lagrange que se comenta en esta entrada.
Suponer $ \displaystyle\frac{p} {q} = \sqrt 4 $ siendo la fracción $ \displaystyle\frac{p}{q} $ irreducible.
Elevando al cuadrado obtenemos $ \displaystyle\frac{p^2}{q^2} = 4 $ Lo cual entra en contradicción con que la fracción $ \displaystyle\frac{p^2}{q^2} $ sea irreducible
Por tanto 2 es un número irracional
¿Qué está mal en este razonamiento? ¿Qué falla aquí que no falla en el razonamiento original expuesto en la entrada?.
Aparte de responderme, podéis entreteneros consultando http://parafernaliasmatematicas.blogspot.com.es/2012/12/la-demostracion-de-apostol-de-la.html
donde se discuten demostraciones de corte geométrico de la irracionalidad de raíz de dos.
Gracias de antemano por vuestra atención e interés
Falla que la fracción irreducible de Sqrt(4) tiene como denominador 1, luego al elevar al cuadrado, la fracción irreducible también tiene denominador 1. Y una tal fracción es, en realidad, un número natural.
Eliminar