Lo fascinante de la teoría de números

Demostrando que raíz de 2013 es irracional

Posted in Irracional by ZetaSelberg on 23 octubre, 2013

Una como para levantar ánimos y sacudir la pereza.

Supongamos que es racional, entonces, escriba

\sqrt{2013}=\displaystyle\frac{a}{b}

donde ay b son primos relativos. Entonces podemos deducir que

2013=\displaystyle\frac{a^2}{b^2}

b^2 2013=a^2.

Dado que 3|2013 entonces 3|a^2. De modo que existe s<a tal que a^2=9s^2. Sustituyendo

b^2 2013=9s^2.

b^2 671=3s^2.

Como \gcd(3,671)=1, entonces 3|b^2, luego existe t<b tal que b^2=9t^2. Sustituyendo

9t^2 671=3s^2.

3t^2 671=s^2.

t^2 2013=s^2.

2013=\displaystyle\frac{s^2}{t^2}

\sqrt{2013}=\displaystyle\frac{s}{t} .

Esto es una contradicción, ya que tanto s y t son menores a a y b respectivamente… De hecho ya es una contradicción el hecho de que 3|a y 3|b, dado que por hipótesis a y b eran primos relativos.

😀

1 comment

Una respuesta

Subscribe to comments with RSS.


Deja un comentario