Definición: Los números reales que no son racionales se denominan irracionales, es decir, son los

números reales que no se pueden escribir en forma de fracción.

Aristóteles (384-322 a.C.) fue el primero que conjeturó que  es irracional, y Johann Heinrich
Lambert lo demostró en 1766.
La demostración que aquí se presenta se debe es de 1947 y se debe al matemático estadounidense-
canadiense Ivan Morton Niven (1915-1999).

Teorema de Lambert, 1766: El número  es irracional.

Demostración: (Ivan Niven, 1947)

a
Supongamos que   con a, b   y b  0.
b
x n  a  bx 
n

n   definimos f  x   para x  
n!
y
F  x   f  x   ...   1 f 2 j )  x   ...   1 f 2 n )  x 
j n

es decir, F es la suma alternada de f y de sus primeras n derivadas pares.

Lema 1: F  0   F  
Demostración:
Como
x n  a  bx 
n
a 
f  x   f   x  x  
n! b 
a
y dado que   , la regla de la cadena y el principio de inducción implican que
b
f i )  x    1 f j )   x  x  
j

para todas las derivadas, luego en particular

f 2 j )  0   f 2 j )   x  
C.Q.D.

Lema 2: F  0   
Demostración:
Usando el binomio de Newton para expandir  a  bx  y haciendo un cambio de índice,
n

j  k  n , obtenemos:
1 2n  n  2n j

f  x   b  x j
j n
 a
n ! j n  j  n 
Dado que los coeficientes de x , x n 1 ,..., x 2 n son cero y el grado del polinomio es a lo sumo
n

2n , se tiene que:
f j )  0  0
y que
j !  n  2n j
 0   b 
j n
f j)
 a n  j  2n
n!  j  n 

1 
 
i pri Irracionalidad del número 
 j! n 
Como     , se tiene que f
j)
 0   j y por tanto, F  0    .
n!  j  n 
C.Q.D.

1 
Lema 3: F  0   f  x  sen x dx
2 0
Demostración:
Como f 2 n  2)  0   0 , se tiene que F verifica la ecuación diferencial F '' F  f y por tanto,
 F '  x  sen x  F  x  cos x  '  f  x  sen x
luego por el teorema fundamental del Cálculo

1  1
f  x  sen x dx   F '  x  sen x  F  x  cos x   F  0 
2 0 2 0
[1]

donde en [1] hemos aplicado el lema 1.

C.Q.D.

Puesto que f  x   0 y sen x  0 para 0  x   , porque  es el más pequeño positivo que anula la
función seno, aplicando los lemas 2 y 3, se tiene que F  0    .
Así,
2 2 2
      
x   x       x      x  
2  2 2
y 0  sen x  1 para 0  x   , luego
2 n 1
1  bn   
 
2 0
f x sen x d x    1
n!  2 
para n grande.
Aplicando ahora el lema 3, para el n anterior, F  0   1 !! ya que F  0    .
C.Q.D.

Teorema: El conjunto de los números irracionales es no numerable y su cardinal es c   .

Problema abierto: No se sabe si 2e , 2 ,  e , e   o  son racionales o irracionales.

2 
 
i pri Irracionalidad del número 