w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo XIV
N umeros trascendentes
Dedicamos este ultimo captulo a dar una peque na muestra de las aplicacio-
nes de la teora algebraica de n umeros a las pruebas de trascendencia.

Estas
son esencialmente analticas, pero requieren conceptos algebraicos elementales,
como la teora de Galois (o al menos la teora sobre polinomios simetricos) y los
enteros algebraicos. En realidad, los ultimos avances en la teora de n umeros
trascendentes hacen uso de un aparato algebraico mucho m as sosticado, pero
no vamos a entrar en ello. Aqu probaremos dos resultados clasicos, el teorema
de Lindemann-Weierstrass, que data del siglo pasado, y el teorema de Gelfond-
Schneider, de 1934.
14.1 El teorema de Lindemann-Weierstrass
En 1873 Hermite demostro la trascendencia del n umero e. Anteriormente
ya se haba probado que e no era racional. De hecho era conocido su desarrollo
en fraccion continua, visto en el tema anterior. En 1882 Lindemann consigui o
generalizar el argumento de Hermite y demostro la trascendencia de . Linde-
mann arm o que sus tecnicas permitan probar de hecho un resultado mucho
mas general. La primera prueba detallada de este resultado fue publicada por
Weierstrass y constituira el contenido de esta seccion junto con sus consecuencias
inmediatas. Necesitaremos dos resultados auxiliares.
Teorema 14.1 Sean f
i
(x) Z[x], i = 1, . . . , r polinomios no constantes de
grado k
i
y para cada i sean
1i
, . . . ,
k
i
i
las races de f
i
(x). Supongamos que
son no nulas. Sean a
i
Z para i = 0, . . . , r tales que a
0
= 0. Entonces
a
0
+
r

i=1
a
i
k
i

k=1
e

ki
= 0.
Demostraci

on: Supongamos que se cumple la igualdad. Vamos a expresar

cada e

ki
como
e

ki
=
M
ki
+
ki
M
0
, k = 1, . . . , k
i
, i = 1, . . . , r,
345
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
346 Captulo 14. N umeros trascendentes
donde M
0
Z, M
0
= 0. Entonces, sustituyendo en la igualdad obtendremos
que
a
0
M
0
+
r

i=1
a
i
k
i

k=1
M
ki
+
r

i=1
a
i
k
i

k=1

ki
= 0, (14.1)
con a
0
M
0
= 0.
Vamos a encontrar un primo p tal que a
0
M
0
no sea divisible entre p, mientras
que la suma
r

i=1
a
i
k
i

k=1
M
ki
sera un n umero entero m ultiplo de p. Por otra parte se cumplir a que

i=1
a
i
k
i

k=1

ki

< 1, (14.2)
con lo que tendremos una contradicci on, pues en (14.1) los dos primeros suman-
dos son un entero no divisible entre p, luego no nulo, mientras que el tercero
tiene modulo menor que 1.
Para conseguir todo esto denimos primeramente
f(z) =
r

i=1
f
i
(z) = b
0
+ b
1
z + + b
N
z
N
= b
N
r

i=1
k
i

k=1
(z
ki
),
donde N =
r

i=1
k
i
y b
0
= 0, ya que las races son no nulas. Podemos suponer
que b
N
> 0. Sea
M
0
=
_
+
0
b
(N1)p1
N
z
p1
f
p
(z)e
z
(p 1)!
dz,
donde p es un n umero primo y la integraci on se realiza sobre el semieje real
positivo.
Vamos a probar que la integral es nita y que, si p es sucientemente grande,
se trata de un n umero entero no divisible entre p. Notar que
b
(N1)p1
N
z
p1
f
p
(z) = b
(N1)p1
N
b
p
0
z
p1
+
(N+1)p

s=p+1
c
s1
z
s1
,
para ciertos coecientes c
s
Z, y b
N
b
0
= 0. Por lo tanto
M
0
=
b
(N1)p1
N
b
p
0
(p 1)!
_
+
0
z
p1
e
z
dz +
(N+1)p

s=p+1
c
s1
(p 1)!
_
+
0
z
s1
e
z
dz
= b
(N1)p1
N
b
p
0
+
(N+1)p

s=p+1
(s 1)!
(p 1)!
c
s1
= b
(N1)p1
N
b
p
0
+ pC,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.1. El teorema de Lindemann-Weierstrass 347
para un cierto C Z. Hemos hecho uso de la conocida identidad de Euler
n! =
_
+
0
z
n
e
z
dz,
que se demuestra sin dicultad por inducci on sobre n integrando por partes.
As, cualquier primo p mayor que |a
0
|, b
N
, |b
0
| hace que M
0
sea un entero
racional y que p a
0
M
0
.
Ahora denimos
M
ki
= e

ki
_
+

ki
b
(N1)p1
N
z
p1
f
p
(z)e
z
(p 1)!
dz, k = 1, . . . , k
i
, i = 1, . . . , r,

ki
= e

ki
_

ki
0
b
(N1)p1
N
z
p1
f
p
(z)e
z
(p 1)!
dz, k = 1, . . . , k
i
, i = 1, . . . , r,
donde los caminos de integraci on son los indicados en la gura siguiente:

M
0

ki

ki

M
ki
La nitud de M
ki
se debe a que, puesto que el integrando es una funci on
entera, por el teorema de Cauchy sabemos que la integral a lo largo de una
trayectoria como la de la gura siguiente es nula para todo R sucientemente
grande:

M
0

ki

ki

M
ki

R
Ahora bien, es f acil ver que la integral sobre el segmento vertical tiende a
0 con R, luego la integral que dene M
ki
es nita y al sumarle la integral que
dene a
ki
da exactamente M
0
. As pues, M
ki
+
ki
= e

ki
M
0
, y tenemos la
descomposicion buscada.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
348 Captulo 14. N umeros trascendentes
Si en la denici on de M
ki
descomponemos en factores el polinomio f(z)
obtenemos
M
ki
=
_
+

ki
b
Np1
N
z
p1
r

j=1
k
j

t=1
(z
tj
)
p
e
z+
ki
(p 1)!
dz.
El camino de integraci on es z = u +
ki
, luego dz = du. Al hacer el cambio
la integral se convierte en
M
ki
=
_
+
0
b
Np1
N
(u +
ki
)
p1
u
p
e
u
r

j=1
k
j

t=1

(u +
ki

tj
)
p
(p 1)!
du,
donde el asterisco en el producto indica que falta el factor (t, j) = (k, i), que
hemos extrado como u
p
. Podemos redistribuir los coecientes b
N
:
M
ki
=
_
+
0
(b
N
u + b
N

ki
)
p1
u
p
e
u
r

j=1
k
j

t=1

(b
N
u + b
N

ki
b
N

tj
)
p
(p 1)!
du.
Es facil ver que, puesto que b
N
es el coeciente director de un polinomio
cuyas races son los
ij
, los n umeros
ij
= b
N

ij
son enteros algebraicos. Con
esta notacion:
M
ki
=
_
+
0
(b
N
u +
ki
)
p1
u
p
e
u
r

j=1
k
j

t=1

(b
N
u +
ki

tj
)
p
(p 1)!
du.
Sumando obtenemos que
r

i=1
a
i
k
i

k=1
M
ki
=
_
+
0
u
p
(u)e
u
(p 1)!
du,
donde
(u) =
r

i=1
a
i
k
i

k=1
(b
N
u +
ki
)
p1
r

j=1
k
j

t=1

(b
N
u +
ki

tj
)
p
.
Si consideramos una extensi on nita de Galois K de Q que contenga a todos
los
ij
, resulta que un automorsmo de K permuta los n umeros
1i
, . . . ,
k
i
i
,
y se ve claramente que entonces deja invariante a (u). Esto signica que
(u) Q[u], y como los
ij
son enteros, en realidad (u) Z[u]. Digamos que
u
p
(u) =
(N+1)p

s=p+1
d
s1
u
s1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.1. El teorema de Lindemann-Weierstrass 349
Entonces
r

i=1
a
i
k
i

k=1
M
ki
=
(N+1)p

s=p+1
d
s1
(p 1)!
_
+
0
u
s1
e
u
du =
(N+1)p

s=p+1
d
s1
(s 1)!
(p 1)!
= pC,
para un C Z. S olo queda demostrar (14.2).
Sea R tal que todos los n umeros
ij
esten contenidos en el disco de centro 0
y radio R. Llamemos
g
ki
= max
|z|R
|b
N2
N
f(z)e
z+
ki
|, g = max
|z|R
|b
N1
N
zf(z)|,
y sea g
0
el maximo de todos los n umeros g
ki
. Entonces
|
ki
| =

_

ki
0
b
(N1)p1
N
z
p1
f
p
(z)e
z+
ki
(p 1)!
dz

1
(p 1)!
|
ki
| |b
N2
N
f(z)e
z+
ki
| |b
N1
N
zf(z)|
p1
g
0
R
g
p1
(p 1)!
.
Puesto que la ultima expresion tiende a 0 con p, eligiendo p sucientemente
grande podemos garantizar que se cumple (14.2).
Teorema 14.2 Consideremos n umeros
k
i

k=1
A
ki
e

ki
, donde k
i
1, i = 1, . . . , r,
r 2, A
ki
C \ {0} y
1i
, . . . ,
k
i
i
son n umeros complejos distintos para cada
i. Si operamos el producto
r

i=1
k
i

k=1
A
ki
e

ki
=
N

i=1
B
i
e

i
,
donde
1
, . . . ,
N
son distintos dos a dos (es decir, los coecientes B
i
se obtienen
multiplicando un A
ki
para cada i y despues sumando todos los productos que
acompa nan a un mismo exponente), se cumple que alguno de los coecientes B
i
es no nulo.
Demostraci

on: Ordenemos los n umeros

1i
, . . . ,
k
i
i
seg un el crecimiento
de sus partes reales y, en caso de igualdad, seg un el crecimiento de sus partes
imaginarias. Entonces el n umero
11
+ +
1r
no puede alcanzarse mediante
otra combinacion
j
1
1
+ +
j
r
r
, pues la parte real de una cualquiera de
estas sumas sera mayor o igual que la de la primera, y en caso de igualdad
la parte imaginaria ser a mayor. Consecuentemente existe un i de modo que

i
=
11
+ +
1r
y el coeciente B
i
sera exactamente A
11
A
1r
= 0.
Teorema 14.3 (Teorema de Lindemann-Weierstrass) Si
1
, . . . ,
n
son
n umeros algebraicos distintos (n 2) y c
1
, . . . , c
n
son n umeros algebraicos no
todos nulos, entonces
c
1
e

1
+ + c
n
e

n
= 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
350 Captulo 14. N umeros trascendentes
Demostraci

on: Supongamos, por el contrario, que

c
1
e

1
+ + c
n
e

n
= 0. (14.3)
Podemos suponer que todos los coecientes c
i
son no nulos. Multiplicando la
ecuacion por un n umero natural sucientemente grande podemos suponer que
de hecho son enteros algebraicos. Veremos en primer lugar que podemos suponer
tambien que son enteros racionales.
Sean c
i1
, . . . , c
ik
i
los conjugados de cada c
i
. Entonces
k
1

i
1
=1

k
n

i
n
=1
(c
1i
1
e

1
+ + c
ni
n
e

n
) = 0,
pues entre los factores se encuentra (14.3). Operemos el polinomio
k
1

i
1
=1

k
n

i
n
=1
(c
1i
1
z
1
+ + c
ni
n
z
n
) =

c
h
1
,...,h
n
z
h
1
1
z
h
n
n
,
donde el ultimo sumatorio se extiende sobre todas las n-tuplas (h
1
, . . . , h
n
) de
n umeros naturales tales que h
1
+ + h
n
= N = k
1
+ + k
n
.
Si consideramos una extensi on nita de Galois K de Q que contenga a to-
dos los n umeros c
ij
, resulta que todo automorsmo de K permuta los n umeros
c
i1
, . . . , c
ik
i
, luego deja invariante a este polinomio, lo que implica que sus coe-
cientes c
h
1
,...,h
n
son n umeros racionales. Como ademas son enteros, tenemos
que c
h
1
,...,h
n
Z.
Sustituimos z
i
= e

i
y nos queda
k
1

i
1
=1

k
n

i
n
=1
(c
1i
1
e

1
+ + c
ni
n
e

n
) =

c
h
1
,...,h
n
e
h
1

1
++h
n

n
=
M

i=1
b
i
e

i
,
donde los coecientes b
i
son enteros racionales obtenidos sumando los c
h
1
,...,h
n
que acompa nan a un mismo exponente, es decir, seg un las hip otesis del teorema
anterior, por lo que alguno de ellos es no nulo (y claramente ha de haber al
menos dos no nulos). Los n umeros b
i
son n umeros algebraicos distintos, luego
tenemos una expresion como la original pero con coecientes enteros.
A partir de ahora suponemos (14.3) con c
i
Z y donde
1
, . . . ,
n
son
n umeros algebraicos distintos.
Sea f(x) Q[x] el producto de los polinomios mnimos de los n umeros
i
(sin repetir dos veces el mismo factor). Sea m n el grado de f, sean
1
, . . . ,
m
todas las races de f. Llamemos = m(m 1). . . (m n + 1), al n umero de
n-tuplas posibles (i
1
, . . . , i
n
) de n umeros distintos comprendidos entre 1 y m.
Entonces

(c
1
e

i
1
+ + c
n
e

i
n
) = 0,
donde el producto recorre las citadas n-tuplas. El producto es 0 porque entre
sus factores se encuentra (14.3).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.1. El teorema de Lindemann-Weierstrass 351
Consideremos el polinomio

(c
1
z
i
1
+ + c
n
z
i
n
) =

B
h
1
,...,h
m
z
h
1
1
z
h
m
m
,
donde la suma se extiende sobre las m-tuplas (h
1
, . . . , h
m
) de n umeros naturales
que suman y los coecientes B
h
1
,...,h
m
son enteros racionales.
La expresion de la izquierda es claramente invariante por permutaciones de
las indeterminadas z
1
, . . . , z
m
, luego los coecientes B
h
1
,...,h
m
son invariantes
por permutaciones de h
1
, . . . , h
m
. Consecuentemente podemos agrupar as los
sumandos:

(c
1
z
i
1
+ + c
n
z
i
n
) =
r

k=1
B
k

z
h
k1
k
1
. . . z
h
km
k
m
,
donde r es el n umero de elementos de un conjunto de m-tuplas (h
k1
, . . . , h
km
)
de n umeros naturales que suman sin que haya dos que se diferencien s olo
en el orden, y el segundo sumatorio vara en un conjunto P
k
de permutaciones
(k
1
, . . . , k
m
) de (1, . . . , m) que dan lugar, sin repeticiones, a todos los monomios
posibles z
h
k1
k
1
. . . z
h
km
k
m
. Sustituimos las indeterminadas por exponenciales y queda

(c
1
e

i
1
+ + c
n
e

i
n
) =
r

k=1
B
k

e
h
k1

k
1
++h
km

k
m
= 0.
La denici on del conjunto P
k
hace que el polinomio

_
x (h
k1
z
k
1
+ + h
km
z
k
m
)
_
sea invariante por permutaciones de z
1
, . . . , z
m
, luego
F
k
(x) =

_
x (h
k1

k
1
+ + h
km

k
m
)
_
Q[x].
Si llamamos
1k
, . . . ,
t
k
k
a las races de F
k
(x) (repetidas con su multiplicidad),
nuestra ecuacion puede escribirse como

(c
1
e

i
1
+ + c
n
e

i
n
) =
r

k=1
B
k
(e

1k
+ + e

t
k
k
) = 0.
Sean s
i
(x) Q[x], i = 1, . . . , q los distintos factores monicos irreducibles de los
polinomios F
k
(x). As cada F
k
(x) se expresa como
F
k
(x) =
q

i=1
s
p
ik
i
(x),
para ciertos n umeros naturales p
ik
.
Sean
1i
, . . . ,
t
i
i
las races de s
i
(x) (todas son simples, porque el polinomio
es irreducible). Entonces el polinomio F
k
(x) tiene p
ik
veces cada raz
ji
, luego
B
k
(e

1k
+ + e

t
k
k
) =
q

i=1
p
ik
B
k
(e

1i
+ + e

t
i
i
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
352 Captulo 14. N umeros trascendentes
Sumando resulta

(c
1
e

i
1
+ + c
n
e

i
n
) =
r

k=1
B
k
(e

1k
+ + e

t
k
k
)
=
q

i=1
A
i
(e

1i
+ + e

t
i
i
) = 0,
donde
A
i
=
r

k=1
p
ik
B
k
Z.
Notemos que todos los n umeros
ij
son distintos, pues son races de polino-
mios irreducibles distintos. Por construcci on, los exponentes
ij
son todas las
sumas distintas de exponentes
ij
que aparecen al efectuar el producto de la
izquierda de la ecuacion. Podemos aplicar el teorema anterior y concluir que
alguno de los coecientes A
i
es no nulo. Eliminando los nulos podemos suponer
que ninguno lo es. En resumen tenemos
q

i=1
A
i
(e

1i
+ + e

t
i
i
) = 0,
donde los coecientes son enteros racionales no nulos y los exponentes de cada
sumando son familias de n umeros conjugados correspondientes a polinomios
irreducibles distintos s
i
(x) de grado t
i
. Distinguimos dos casos:
1) Alg un
ki
= 0. Pongamos por ejemplo i = 1. Esto signica que s
1
(x) = x,
luego ademas t
1
= 1 y la ecuacion se reduce a
A
1
+
q

i=2
A
i
(e

1i
+ + e

t
i
i
) = 0,
donde los exponentes son todos no nulos, y esto contradice al teorema 14.1.
2) Todos los
ki
son distintos de 0. Dividimos la ecuaci on entre e

k1
para
k = 1, . . . , t
1
, con lo que obtenemos las ecuaciones
q

i=1
A
i
t
i

t=1
e

ti

k1
= 0, k = 1, . . . , t
1
.
Las sumamos y queda
q

i=1
A
i
t
1

k=1
t
i

t=1
e

ti

k1
= 0.
En el sumando i = 1, los sumandos con k = t valen todos 1. Los separamos:
t
1
A
1
+ A
1

k=t
e

ti

k1
+
q

i=2
A
i
t
1

k=1
t
i

t=1
e

ti

k1
= 0,
donde en el primer sumatorio k y t varan entre 1 y t
1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.1. El teorema de Lindemann-Weierstrass 353
El polinomio
g
1
(x) =

k=t
_
x (
t1

k1
)
_
es invariante por permutaciones de los conjugados
k1
, luego sus coecientes
son racionales. Igualmente ocurre con los polinomios
g
i
(x) =
t
1

k=1
t
i

t=1
_
x (
ti

k1
)
_
para i = 2, . . . , q. Ademas todos tienen las races no nulas.
Llamando A
0
= t
1
A
1
= 0, k
1
= t
1
(t
1
1), k
i
= t
1
t
i
para i = 2, . . . , q y

1i
, . . . ,
k
i
i
a las races de g
i
(x), la ecuacion se convierte en
A
0
+
q

i=1
A
i
k
i

k=1
e

ki
= 0,
que contradice al teorema 14.1.
Ejercicio: Probar que si
1
, . . . ,
n
son n umeros algebraicos linealmente indepen-
dientes sobre Q entonces e

1
, . . . , e

n
son algebraicamente independientes sobre Q, es
decir, no son races de ning un polinomio P(x
1
, . . . , x
n
) Q[x
1
, . . . , x
n
] no nulo.
Algunas consecuencias inmediatas son las siguientes:
1. Si = 0 es un n umero algebraico, entonces e

es un n umero trascendente.
En particular el n umero e es trascendente.
En efecto, si c = e

fuera algebraico, tendramos e

ce
0
= 0, en contra-
diccion con el teorema de Lindemann-Weierstrass.
2. El n umero es trascendente.
Si fuera algebraico tambien lo sera i, y el n umero e
i
= 1 sera
trascendente.
3. Si = 1 es un n umero algebraico, entonces log es trascendente.
Si = log = 0 fuera algebraico, entonces = e

sera trascendente.
4. Si = 0 es un n umero algebraico, entonces sen , cos , tan son n ume-
ros trascendentes.
Si = sen = (e
i
e
i
)/2i fuera algebraico, entonces
e
i
e
i
2ie
0
= 0,
en contradiccion con el teorema de Lindemann-Weierstrass. Igualmente
con el coseno.
Si = tan = (e
i
e
i
)/(e
i
+ e
i
) fuera algebraico, entonces
( 1)e
i
+ ( + 1)e
i
= 0,
en contradiccion con el teorema de Lindemann-Weierstrass.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
354 Captulo 14. N umeros trascendentes
Ejercicio: Probar que las funciones arcsen, arccos y arctan toman valores trascen-
dentes sobre n umeros algebraicos (salvo casos triviales).
14.2 El teorema de Gelfond-Schneider
Entre los famosos problemas planteados por Hilbert a principios de siglo, el
septimo consista en determinar el caracter algebraico o trascendente de ciertos
n umeros concretos, tales como la constante de Euler. Entre otras cosas Hil-
bert preguntaba si en general

es un n umero trascendente cuando y son

n umeros algebraicos, = 0, 1 y es irracional (en los casos exceptuados

es obviamente algebraico). Por

se entiende e
log
, donde log es cualquier
logaritmo complejo de . Esta parte del septimo problema fue demostrada in-
dependientemente por Gelfond y Schneider en 1934. De este hecho se sigue en
particular que los n umeros 2

2
o e

= (1)
i
son trascendentes.
Sea K un cuerpo numerico de grado h y
1
, . . . ,
h
una base entera de K.
Si K llamaremos
(i)
, para i = 1, . . . , h, a los conjugados de en un cierto
orden. Llamaremos || = m ax
1ih
|
(i)
|.
Si
1
, . . . ,
h
es la base dual de
1
, . . . ,
h
entonces, todo entero de K
se expresa en forma unica como = a
1

1
+ + a
h

h
, para ciertos enteros
racionales a
i
tales que
|a
i
| = | Tr(
i
)| = |
(1)

(1)
i
+ +
(h)

(h)
i
| max
1ih
|
(i)
| ||.
As pues, existe una constante c que depende solo de K y de la base
1
, . . . ,
h
tal que para todo entero K se cumple
= a
1

1
+ + a
h

h
con |a
i
| c, i = 1, . . . , h.
Probamos dos teoremas previos:
Teorema 14.4 Sea (a
jk
) una matriz MN con coecientes enteros racionales
tal que M < N y de modo que todos los coecientes esten acotados por A 1.
Entonces el sistema de ecuaciones lineales
a
j1
x
1
+ + a
jN
x
N
= 0, 1 j M,
tiene una soluci on entera no trivial tal que |x
k
| E
_
(NA)
M/(NM)
_
, para
1 k N (donde E denota la parte entera).
Demostraci

on: Para cada N-tupla de enteros racionales (x

1
, . . . , x
N
) con-
sideremos la M-tupla de enteros racionales (y
1
, . . . , y
M
) dada por
y
j
= a
j1
x
1
+ + a
jN
x
N
, 1 j M.
Sea H = E
_
(NA)
M/(NM)
_
. De este modo, (NA)
M/(NM)
< H + 1, luego
NA < (H+1)
(NM)/M
, NAH+1 NA(H+1) < (H+1)
N/M
, luego tenemos
que (NAH + 1)
M
< (H + 1)
N
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.2. El teorema de Gelfond-Schneider 355
Sea (x
1
, . . . , x
N
) tal que 0 x
k
H para 1 k N. Sea B
j
la suma de
los a
jk
negativos y C
j
la suma de los a
jk
positivos. Entonces
B
j
+ C
j
= |a
j1
| + +|a
jN
| NA,
y claramente B
j
H y
j
C
j
H.
Ahora bien, el n umero de N-tuplas (x
1
, . . . , x
N
) tales que 0 x
k
H
es (H + 1)N, mientras que sus M-tuplas asociadas (y
1
, . . . , y
M
) varan en un
conjunto de a lo sumo (C
j
H + B
j
H + 1)M (NAH + 1)
M
elementos. Como
(NAH + 1)
M
< (H + 1)
N
, ha de haber dos N-tuplas distintas con la misma
imagen. Su diferencia cumple el teorema.
Teorema 14.5 Sea (
kl
) una matriz p q con coecientes enteros en K tal
que p < q y de modo que |
kl
| A. Entonces el sistema de ecuaciones lineales

k1

1
+ +
kq

q
= 0, 1 k p,
tiene una soluci on entera (en K) no trivial tal que |
l
| c(1 + (cqA)
p/(qp)
),
para 1 l q, donde c es una constante que depende de K y de la base

1
, . . . ,
h
, pero no de la matriz.
Demostraci

on: : Para cualquier q-tupla (x

1
, . . . , x
q
) de enteros de K
consideremos sus coordenadas

l
= x
l1

1
+ + x
lh

h
, 1 l q,
donde x
l1
, . . . , x
lh
son enteros racionales. As mismo sea

kl

r
= a
klr1

1
+ + a
klrh

h
, 1 k p, 1 l q, 1 r h.
Entonces
q

l=1

kl

l
=
q

l=1

kl
h

r=1
x
lr

r
=
h

r=1
q

l=1
x
lr
h

u=1
a
klru

u
=
h

u=1
_
h

r=1
q

l=1
a
klru
x
lr
_

u
,
luego (
1
, . . . ,
q
) sera solucion del sistema de ecuaciones si y solo si las coorde-
nadas (x
l1
, . . . , x
lh
) son solucion del sistema de M = hp ecuaciones con N = hq
incognitas
h

r=1
q

l=1
a
klru
x
lr
= 0, 1 u h, 1 k p.
Seg un hemos observado al comienzo de la seccion, existe una constante c

tal que
|a
klru
| c

|
kl

r
| c

max
1ih
|
i
|A = c

A.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
356 Captulo 14. N umeros trascendentes
Por el teorema anterior este sistema de ecuaciones tiene una solucion entera no
trivial tal que
|x
lr
| E
_
(hqc

A)
p/(qp)
_
1 + (hqc

A)
p/(qp)
, 1 l q, 1 r h.
Los (
1
, . . . ,
q
) con estas coordenadas son enteros de K no todos nulos que
cumplen el sistema de ecuaciones y ademas
|
l
| |x
l1
| |
1
| + +|x
lh
| |
h
| max
1ih
|
i
|(|x
l1
| + +|x
lh
|)
hc

(1 + (hqc

A)
p/(qp)
) = c(1 + (cqA)
p/(qp)
).
Teorema 14.6 (Gelfond-Schneider) Si y son n umeros algebraicos tales
que = 0, 1 y es irracional, entonces el n umero

es trascendente.
Demostraci

on: Fijemos un valor para log y supongamos que = e

log
es algebraico. Sea K un cuerpo numerico de grado h que contenga a , y .
Sean m = 2h + 2 y n = q
2
/(2m), donde t = q
2
es un m ultiplo de 2m.
Observar que podemos tomar valores para n arbitrariamente grandes en estas
condiciones. En lo sucesivo las letras c, c
1
, c
2
, . . . representaran constantes que
depender an de K, de una base entera de K prejada y de , , , pero nunca
de n.
Sean
1
, . . . ,
t
los n umeros (a+b) log , con 1 a q, 1 b q. Observar
que como es irracional, los n umeros 1 y son linealmente independientes,
luego los n umeros
1
, . . . ,
t
son distintos dos a dos.
Sean
1
, . . . ,
t
n umeros complejos en K arbitrarios. Consideremos la funci on
holomorfa en C dada por R(z) =
1
e

1
z
+ +
t
e

t
z
. Consideremos las mn
ecuaciones lineales con t = 2mn incognitas (
1
, . . . ,
t
)
(log )
k
R
k)
(l) = 0, 0 k n 1, 1 l m.
Los coecientes de la ecuacion (k, l) son los n umeros
(log )
k

k
i
e

i
l
= (log )
k
_
(a + b) log )
k
e
l(a+b) log
= (a + b)
k

al

bl
K,
con 1 l m, 1 a, b q, 0 k n 1.
Sea c
1
un n umero natural no nulo tal que c
1
, c
1
y c
1
sean enteros en K.
En cada coeciente, al desarrollar el binomio (a + b)
k
aparecen monomios de
, y con grado a lo sumo
k + al + bl n 1 + mq + mq n + 4m
2
n = (4m
2
+ 1)n,
luego si multiplicamos cualquiera de los coecientes por c
4(m
2
+1)n
1
= c
n
2
obtene-
mos un entero de K.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.2. El teorema de Gelfond-Schneider 357
El modulo de los conjugados de los coecientes multiplicados por c
n
2
es a lo
sumo
|c
n
2
(a + b
(i)
)
k
(
(i)
)
al
(
(i)
)
bl
| c
n
2
(a + b||)
k
||
al
||
bl
c
n
2
(q + q||)
n1
||
mq
||
mq
c
n
2
_

2m
_
n +

2m
_
n||
_
n1
||
2m
2
n
||
2m
2
n
c
n
2
_

2m +

2m||
_
n
||
2m
2
n
||
2m
2
n

n
n1
= c
n
3
n
(n1)/2
.
Podemos aplicar el teorema anterior, que nos garantiza que
1
, . . . ,
t
pue-
den elegirse de modo que sean enteros en K, no todos nulos, satisfagan las 2t
ecuaciones (multiplicadas o no por c
n
2
, da igual) y adem as
|
k
| c
_
1 + (c 2t c
n
3
n
(n1)/2
)
_
4ct c
n
3
n
(n1)/2
8mc nc
n
3
n
(n1)/2
c
n
4
n
(n+1)/2
, (14.4)
para 1 k t.
A partir de ahora consideramos la funci on R(z) para estos
1
, . . . ,
t
. En
primer lugar, R(z) no puede ser identicamente nula, pues desarroll andola en
serie de Taylor en el origen resultara entonces que

k
1
+ +
t

k
t
= 0, para k = 0, 1, 2, 3, . . .
pero las t primeras ecuaciones son un sistema de ecuaciones lineales en
1
, . . . ,
t
cuyo determinante es de Vandermonde, luego es no nulo, puesto que
1
, . . . ,
t
son distintos dos a dos. Esto implica que
1
= =
t
= 0, lo cual es falso.
En resumen tenemos que la funci on entera R(z) es no nula pero tiene sus
n 1 primeras derivadas nulas en los puntos l = 1, . . . , m.
Existe, pues, un natural r n tal que R
k)
(l) = 0 para 0 k r 1,
1 l m y R
r)
(l
0
) = 0 para un cierto l
0
tal que 1 l
0
m.
Llamemos = (log )
r
R
r)
(l
0
) = 0. El mismo an alisis que hemos realizado
antes sobre los coecientes del sistema nos da ahora que K y que c
r+2mq
1

es un entero en K.
As pues, 1 |
N
(c
r+2mq
1
)| = |
N
()|, luego
|
N
()| c
h(r+2mq)
1
> c
r
5
. (14.5)
Por otro lado tenemos que es una suma de t terminos, cada uno de los
cuales es el producto de un
k
, para el que tenemos la cota (14.4), y de un
coeciente de la forma (a + b)
r

al
0

bl
0
, cuyos conjugados estan acotados por
(a + b||)
r
||
al
0
||bl
0
(q + q||)
r
||
mq
||
mq
(c
6
q)
r
c
q
7
.
Consecuentemente || t c
n
4
n
(n+1)/2
(c
6
q)
r
c
q
7
.
Ahora acotamos t = q
2
= 2mn 2mr, n r, q

2m
_
n

2mr
1/2
y
llegamos a
|| 2mr c
r
4
r
(r+1)/2
c
r
6
_

2m
_
r
r
r/2
c
2mr
7
c
r
8
r
r+3/2
. (14.6)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
358 Captulo 14. N umeros trascendentes
Vamos a obtener una cota mas na para ||. Para ello aplicaremos la f ormula
integral de Cauchy a la funci on
S(z) = r!
R(z)
(z l
0
)
r
m

k=1
k=l
0
_
l
0
k
z k
_
r
.
Puesto que las derivadas anteriores al orden r son nulas en 1, . . . , m, la
funci on S es entera. Ademas
= (log )
r
R
r)
(l
0
) = (log )
r
S(l
0
) = (log )
r
1
2i
_
C
S(z)
z l
0
dz,
donde C es la circunferencia |z| = m(1 + r/q), que contiene a los n umeros
1, . . . , m, en particular a l
0
. Para los puntos z C tenemos las cotas
|R(z)| t c
n
4
n
(n+1)/2
exp
_
(q + q||) |log | m(1 + r/q)
_
t c
n
4
n
(n+1)/2
c
r+q
9
c
r
10
r
(r+3)/2
,
|z k| |z| |k| m(1 + r/q) m = mr/q, para k = 1, . . . , m,

(z l
0
)
r
m

k=1
k=l
0
_
l
0
k
z k
_
r

_
q
mr
_
r
m

k=1
k=l
0
m
r
_
q
mr
_
r
= c
11
_
q
r
_
mr
,
|S(x)| r! c
r
10
r
(r+3)/2
c
r
11
_
q
r
_
mr
r
r
c
r
10
r
(r+3)/2
c
r
11
_

2m
_
mr
r
mr/2
= c
r
12
r
(3r+3mr)/2
.
Acotando la integral llegamos a que
||
1
2
|(log )
r
|2
_
1 +
r
q
_
c
r
12
r
(3r+3mr)/2
_
q
mr
_
= | log |
r
_
q
mr
+
1
m
_
c
r
12
r
(3r+3mr)/2
| log |
r
(q + 1)
r
c
r
12
r
(3r+3mr)/2
= c
r
13
r
(3r+3mr)/2
.
Ahora vamos a acotar |
N
()|, que es el producto de los modulos de los
conjugados de , usando la cota anterior para || y la cota (14.6) para los h 1
conjugados restantes. Concretamente
|
N
()| c
r
13
r
(3r+3mr)/2
(c
r
8
r
r+3/2
)
h1
= c
r
14
r
(3r+3mr)/2+(h1)(r+3/2)
.
Si sustituimos m = 2h + 2 la expresion se simplica hasta
|
N
()| r
(3hr)/2
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14.2. El teorema de Gelfond-Schneider 359
Pero combinando esto con (14.5) resulta c
r
5
< c
r
14
r
(3hr)/2
, o lo que es lo
mismo, r
(r3h)/2
< c
r
14
c
r
5
= c
r
15
. Tomando logaritmos es facil llegar a que
_
1
2

3h
2r
_
log r < log c
15
.
Hemos probado que esto se cumple para una constante c
15
y para valores de
r arbitrariamente grandes (pues r n), pero esto es claramente contradictorio,
pues el miembro de la izquierda tiende a + cuando r tiende a +.