2 es un nmero irracional

La diagonal de un cuadrado de lado la unidad mide una longitud

d = 2 . Vamos a demostrar que este nmero es irracional. Es decir,
no se puede expresar como fraccin. 2
1
Teorema: 2 es un nmero irracional
1
Demostracin:

El mtodo que vamos a utilizar para la demostracin es el de reduccin al absurdo.

Este mtodo consiste en suponer que se cumple una hiptesis, hacer operaciones
verdaderas con ella y si se llega a un absurdo es que lo que habamos supuesto era falso.

En este caso la hiptesis es que vamos a suponer que 2 es racional, o sea que existe
a
una fraccin de nmeros enteros que es igual a 2 . Dicha fraccin la suponemos ya
b
lo ms simplificada posible, pues si no lo estaba se simplifica y ya est.

a
= 2
b

a2
Elevamos al cuadrado los dos miembros de la igualdad =2
b2

Multiplicamos por b2 los dos miembros de la igualdad a 2 = 2 b 2

Esta expresin nos dice que a2 es par, ya que resulta de multiplicar 2 por otro nmero
entero. Y por tanto, a tambin es par. Ya que, es imposible que a sea impar porque el
cuadrado de un nmero impar (sin factor 2) siempre es un nmero impar.

Si a es par, es de la forma a = 2 k Por tanto, a 2 = 4 k 2 y resulta

4k 2 = 2b 2 b 2 = 2 k 2

Eso quiere decir que b2 tambin tiene que ser par y, por tanto, b tambin es par.

a
Pero si a es par y b tambin es par, la fraccin no es irreducible, como habamos
b
supuesto en la hiptesis.

Ya hemos llegado al absurdo. Por tanto, lo que habamos supuesto tiene que ser falso:
NO EXISTE NINGUNA FRACCIN DE NMEROS ENTEROS IRREDUCIBLE
QUE SEA IGUAL A 2 , o lo que es lo mismo, 2 no es un nmero racional, es decir,
2 es un NMERO IRRACIONAL, como queramos demostrar.

El nmero 2 en forma decimal es 2 =1,41421356237..., vemos que tiene infinitas

cifras decimales no peridicas.
Demostracin geomtrica de que 2 es un nmero irracional

[Referencia: Puig Adam, Pedro. Geometra mtrica, tomo I. pgina 105]

Los griegos no manejaban el concepto de nmero real, como nosotros lo hacemos

ahora. El planteamiento de los griegos de la irracionalidad del nmero 2 se expresaba
en estos trminos.

B A

Teorema: El lado y la diagonal de un cuadrado son inconmensurables.

Que el lado y la diagonal sean inconmensurables significa que no existe un segmento

que sea medida comn del lado y la diagonal del cuadrado. Explicamos qu se entiende
cuando se dice que un segmento es medida comn de dos segmentos.
Se dice que u es una medida comn de dos segmentos BA y BC si
la longitud de BA = qu y BC = pu , siendo p y q nmeros enteros.
De este modo, si existiese esa medida, u, comn del lado y la diagonal, se tendra que
p
2 = (nmero racional).
q

Demostracin

La construccin de la figura permite deducir del tringulo rectngulo issceles BAC otro
BAC en que CA=BA=BA < AC.

Todo segmento que estuviese comprendido un nmero entero de veces En BC y en BA

lo estara tambin en AC=BC BA y en BC = AC AB. Es decir, sera parte alcuota
comn del lado y de la hipotenusa de otro tringulo rectngulo issceles ABC de
catetos menores de la mitad de los del lado. Repitiendo el razonamiento, llegaramos a
la consecuencia de que este segmento, parte alcuota comn, tendra que ser menos que
la mitad de la mitad, etc. del lado. Es decir, menor que cualquier segmento.