La trascendencia de e y π

Jorge Cardeña
17 de Junio de 2015

Los dos mejores números reales e irracionales conocidos y más importantes son π y e.
En esta sección, mostraremos que ambos números son trascendentales sobre Q.
El conocimiento de que existen números irracionales
√ puede ser remontado atrás a la prue-
ba de Pitágoras hace más de 2000 años de que 2 es irracional. Sin embargo, no sabı́an
si π era racional hasta 1761, cuando Lambert demostró que π es irracional. Euler, des-
pués del encuentro de una expresión de fracción continuada para la e, creyó que la e
era irracional, pero no fue capaz de demostrarlo. En 1767, Lam-Bert dio una prueba que
la e era irracional. Hasta ahora, la gente sospechó que no todos los números eran alge-
braicos. La existencia de números trascendentes dejó un asunto por resolver hasta que
Liouville en 1844 viniera a levantar un criterio para un número complejo para ser alge-
braico y mostró que los números trascendentes realmente existen. El método de Liouville
mostró que números cuya extensión decimal
P∞ contenı́a una larga fila de 00 s es trascendental.
Por ejemplo, su método demostró que n=1 10−n! es trascendental. La confirmación de
que un número particular, como π y e, es trascendental es otra materia. La trascendencia
de e no fue demostrada hasta 1873, cuando Hermite dio una prueba. Nueve años más
tarde, Lindemann usó el método de Hermite para demostrar que π es trascendental. En
esta sección, damos un resultado más general de Lindemann que implica la trascendencia
tanto de e como de π. Weierstrass dio a una prueba más detallada de este resultado en
1895 y a menudo está bajo el nombre del teorema Lindemann-Weierstrass. En realidad,
damos una versión alternativa de este teorema que es un poco más fácil para demostrar
que la versión original. La prueba del teorema Lindemann-Weierstras requiere algún análi-
sis, incluyendo integración compleja, con la teorı́a de Galois.

Teorema (Lindemann-Weierstrass): Sean α1 , . . . , αm números algebraicos distintos.

Entonces, los exponenciales eα1 , . . . , eαm son linealmente independientes sobre Q.
m
X
Demostración: Supongamos que existen aj ∈ Q tales que aj eαj = 0......(1)
j=1
Sea K la cerradura normal de Q(α1 , . . . , αm )/Q ⇒ K es una extensión de Galois de Q.
Supongamos que Gal(K/Q) = {σ1 , . . . , σn }. De (1) tenemos que
n n
! r
Y X X
σk (αj )
0= aj e = cj e β j ,
k=1 j=1 j=0

donde cj ∈ Z y βj son elementos distintos de K con el mismo exponente.

Por otra parte, cj 6= 0 (problema 4); sinP pérdida de generalidad, decimos que c0 6= 0. Si
σ ∈ Gal(K/Q) entonces los n términos nj=1 aj eσσk (αj ) para 1 ≤ k ≤ n son los términos
Pn σk (αj )
j=1 aj e en algún orden, entonces el producto no se altera cuando reemplazamos
σk (αj ) por σσk (αj ).
Cada βj es una suma de términos de la forma σk (αl ), el exponente en la expansión de
Qn Pn σσk (αj )
k=1 j=1 aj e son los diversos σ(βj ). Ası́ obtenemos la ecuación:

1
 r
X
0= cj eσi (βj )
j=0

para cada i. Multiplicando la i-ésima ecuación por e−σi (βj ) , obtenemos

r
X
0 = c0 + cj eσi (γj ) ......(2),
j=0

donde γ = βj − β0 ; notar que γj 6= 0 porque βj son todos distintos. Cada γj ∈ K,

entonces, cada γj es algebraico sobre Q. Ası́, para alguna j, los elementos σi (γj ) son
raı́ces de un polinomio gi (x) ∈ Q[x], donde el coeficiente principal bj de gj (x) puede ser
tomado como un entero positivo.
Por otro lado, podemos asumir que gi (0) 6= 0 mediante el uo de un múltiplo apropiado de
mı́n(Q, γj ) para gj (x).
Ahora haremos algunas estimaciones de integrales complejas. Si f (x) es un polinomio, sea
∞
X
F (x) = f (i) (x),
i=0
(i)
donde f (x) es la i-ésima derivada de f . Esta suma es finita ya que f es un polino-
mio, entonces F también lo es. Notar que F (x) − F 0 (x) = f (x), entonces
d −x
(e F (x)) = −e−x f (x).
dx
Por lo tanto
Z a
e−x f (x)dx = F (0) − e−a F (a)
0

o
Z a
a
F (a) − e F (0) = e a
e−x f (x)dx.
0

Tomando a = σi (γj ) y multiplicando por cj y sumando sobre i y j, y haciendo x = z,

tenemos que
n X
X r n X
X r
cj F (σi (γj )) − F (0) cj eσi (γj )
i=1 j=1 i=1 j=1
n X
X r Z σi (γj )
−z
=− cj eσi (γj ) e f (z)dz
i=1 j=1 0
" r
#
X
Usando la ecuación (2) c0 = − cj eσi (γj ) y reacomodando:
j=0
r
X n
X n X
X r Z σi (γj )
cj F (σi (γj )) + nc0 F (0) = − cj e σi (γj )
e−z f (z)dz.....(3) .
j=1 i=1 i=1 j=1 0

Definimos
" r #p
(b1 · · · br )prn p−1 Y
f (x) = x gj (x) .
(p − 1)! j=1

De esta definición, vemos que

2
 0 = f (0) = f 0 (0) = · · · = f (p−2) (0)
" r #p
Y
mientras f (p−1) (0) = (b1 · · · br )prn gj (0) 6= 0. Sea p el primo mayor que máx{bj , gi (0)}rj=1
j=1
(p−1)
tal que p no divide a f (0). Sin embargo, para t ≥ p, el polinomio

f t (x) = p(b1 · · · br )prn ht (x),

donde ht (x) ∈ Z[x], es de grado a lo P más prn − 1. Entonces, f (t) (0) es divisible por p
para t ≥ p; de ahı́, F (0) = f (p−1) (0) + j6=p−1 f (j) (0) no es divisible por p.
Si restringimos p aún más, de modo que p > n y p > c0 , entonces p no divide a nc0 F (0).
Completaremos la prueba mostrando que la primera suma en (3) es un número entero
divisible por p y que el lado derecho de la misma en 0 como en p se hace grande. Esto
mostrará que el lado izquierdo es al menos 1 en el valor absoluto, que entonces dará una
contradicción.
Ahora mostramos que rj=1 cj ni=1 F (σi (γP
P P
j )) es un número entero divisible por p. Ha-
cemos esto demostrando que cada término ni=1 F (σi (γj )) es un número entero divisible
por p. Ahora:
n
X n
XX
F (σi (γj )) = f (k) (σi (γj )).
i=1 k i=1
p
De ahı́ (gj (x)) divide a f (x) y cada σi (γj ) es una raı́z de gj (x), vemos que

0 = f (σi (γj )) = f 0 (σi (γj )) = · · · = f (p−1) (σi (γj )).

Para t ≥ p, donde f (t) (x) = p(b1 · · · br )prn ht (x),

n
X n
X
f (t) (σi (γj )) = p · (b1 · · · br )prn ht (σi (γj )).....(4)
i=1 i=1

Sin embargo, esta suma Pnes invariante bajo la acción Gal(K/Q), entonces es un núme-
prn
ro racional. Además, i=1 (b1 · · · br ) ht (xi ) es un polinomio simétrico en x1 , . . . , xn de
grado a lo más prn−1. Las σi (γj ) son raı́ces del polinomio gj (x), cuyo coeficiente principal
es bj , tal que la segunda suma en (4) es en realidad un número entero por una aplica-
ción del teorema de función simétrica. Éste demuestra que rj=1 cj ni=1 F (σi (γj )) es un
P P
número entero divisible por p; de ahı́, el lado izquierdo de (3) es un número entero no
nulo, es decir que
 
Xn X r Z σi (γj ) 
cj eσi (γj ) e−z f (z)dz  ≥ 1 .
 


i=1 j=1 0 

Sea

m1 = máx{|cj |},
j
 
m2 = máx{eσi (γj ) },
i,j

m3 = máx{|σi (γj )|},

i,j

3
 m4 = máxs∈[0,1] {|e−z | : z = sσi (γj )},
( r )
Y
m5 = máxs∈[0,1] |gj (z)| : z = sσi (γj ) .
j=1

Sobre el camino constante de 0 a σi (γj ) tenemos la cota |z p−1 | ≤ |σi (γj )|p−1 ≤ m3p−1 .
Esto nos da la desigualdad
Z 
 σi (γj )  (b1 · · · br )prn p−1 p
−z
e f (z)dz  ≤ m3 m4 m3 m5
 
(p − 1)!

 0 

(b1 · · · br )prn
= m4 (m3 m5 )p .
(p − 1)!
Combinando esto con la desigualdad anterior da
 
Xn Xr Z σi (γj ) 
1≤ cj eσi (γj ) e−z f (z)dz 
 

i=1 j=1 0 

(b1 · · · br )prn
 
≤ rnm1 m2 m4 (m3 m5 )p
(p − 1)!

((b1 · · · br )rn m3 m5 )p
≤ rnm1 m2 m4 .
(p − 1)!

Entonces up /(p − 1)! → 0 cuando p → ∞, el último término en la desigualdad enci-

ma puede ser de hecho arbitrariamente pequeño escogiendo p bastante grande. Esto da
una contradicción de nuestra hipótesis original, ya que las exponenciales eα1 , . . . , eαm son
linealmente dependientes sobre Q es falso. Es demuestra el teorema.

Mientras que hemos demostrado la trascendencia de π y e sobre la Q, es desconoci-

do si π es transcendental sobre Q(e) o si e es transcendental sobre Q(π). Para discu-
tir esto, necesitamos una definici de la sección 19. Si K es una extensión de campo de
F , entonces a1 , . . . , an ∈ K son algebraicamente independientes sobre F si siempre que
f ∈ F [x1 , . . . , xn ] es un polinomio con f (a1 , . . . , an ) = 0, entonces f = 0. No es difı́cil
demostrar que π y e son algebraicamente independientes sobre Q si y sólo si π es trascen-
dental sobre Q(e), si y sólo si e es trascendental sobre Q(π). Una posible generalización
del teorema de Lindemann-Weierstrass es la conjetura de Schanuel, que declara que si
y1 , . . . , yn son números complejos Q-linealmente independientes, entonces al menos n de
los números y1 , . . . , yn , ey1 , . . . , eyn es algebraicamente independiente sobre Q. Si la conje-
tura de Schanuel es verdadera, entonces e y π son algebraicamente independientes sobre
Q.