Dos demostraciones de la irracionalidad de la raz cuadrada de Dos.

Rodolfo A. Nieves Rivas

fesol7luzley@gmail.com

Resumen:

En este breve artculo se presentan Dos demostraciones de la irracionalidad de la raz

cuadrada de Dos, La primera demostracin la realizo el matemtico griego Euclides y la
segunda la obtuvo el autor de este artculo.

Palabras clave: Irracionalidad de la raz cuadrada de Dos; Demostracin; Euclides.

Demostracin de la irracionalidad de la raz cuadrada de Dos realizada por Euclides.

Euclides parte por reduccin al absurdo y supone que la raz cuadrada de Dos es racional.

Para ciertos enteros: a y b, con b0 y adems considera que:

Ya est simplificada, es decir el denominador: a

y el numerador: b no tienen divisores comunes.
Luego eleva al cuadrado a ambos miembros de la ecuacin.

Luego multiplica cada miembro de la igualdad por:

Y obtiene:

Esta expresin nos permite asegurar que el nmero:

producto de: 2 por un entero:

es Par ya que se escribe con el

Y como est demostrado que:

Si: El cuadrado de un nmero es Par.
Entonces: El nmero es Par.
Lo que permite expresar este nmero, as:

Y como:

Y si sustituimos este valor en la ecuacin.

Nos queda de la forma:

Y si dividimos luego por: 2 ambos lados de esta ecuacin.

Nos queda de la forma:

Lo que nos garantiza que:

Tambin es Par.

Y en consecuencia: b tambin es Par.

Y como es absurdo que tanto: a as como tambin: b sean ambos nmeros Pares pues
entonces tendran ambos un factor comn: 2 y como partimos de la premisa de que no
tenan factores comunes, esto nos permite concluir que:

Demostracin de la irracionalidad de la raz cuadrada de Dos realizada por Nieves.

Lema: 1
No existe ningn cuadrado de la forma:

Para toda: n 1
Y toda: a 1

Lema: 2
La raz cuadrada de Dos; Se puede expresar de infinitas formas distintas como:

Para toda: n 1
Y toda: a 1

Demostracin del Lema: 2

Como:

Para toda: n 1
Y toda: a 1

Y si: Elevamos ambos miembros de la anterior ecuacin al cuadrado.

Entonces:

Y como al sacar factor comn:

al miembro de la derecha de la anterior ecuacin.

Entonces:

Y en consecuencia: Queda demostrado que el lema: 2 es cierto.

Para toda: n 1
Y toda: a 1

Y como: No existe ningn cuadrado de la forma:

Entonces: La expresin:

(Por el Lema: 1)

Nunca es un entero,

Por lo tanto: No es Racional la raz cuadrada de Dos expresada en la forma.

Si y solo si: El lema: 1 es cierto.

Demostracin del Lema: 1

Como:
Cuando: a = 2
Para toda: n 1
Entonces:
No es un cuadrado.
Por ser su exponente correspondiente: 2.n+1
Siempre: Impar.
Para toda: n 1
Y Cuando: a 2
Para toda: n 1
Entonces:
No representa ninguna potencia.
Pues la nica condicin para que un producto sea una Potencia es que:
Las bases de ambos factores: ( 2 y a ) en el producto de potencias con distintas bases:

Es que los exponentes correspondientes: ( 1 y 2.n ) de ambas potencias, sean iguales.

y aqu no se cumple dado que:
1 2.n
Para toda: n 1
Entonces: El lema: 1 es cierto.
Por lo que se concluye que: