pagina 1

NUMEROS ALGEBRAICOS
Y TRASCENDENTES
Eugenio P. Balanzario. Julio, 2003.
Instituto de Matematicas, UNAM-Morelia.
Apartado Postal 61-3 (Xangari).
58089, Morelia Michoacan, MEXICO.
e-mail address: ebg@matmor.unam.mx.
1. Introduccion.
Este trabajo esta dedicado a los n umeros algebraicos y trascendentes. Des-
pues de revisar las pruebas de que n umeros como

2, y (3) son irra-
cionales, vamos a enfocar nuestra atencion a demostrar la trascendencia
de n umeros como el n umero e de Euler. Mencionaremos tambien sin de-
mostracion un profundo teorema de K.F. Roth sobre las aproximaciones
a n umeros algebraicos mediante n umeros racionales. Aplicaremos el Teo-
rema de Roth al estudio de una clase de ecuaciones diofantinas.
2. N umeros Irracionales.
Denicion 1. Un n umero irracional es un n umero real que no es de la
forma a/b para algunos enteros a y b = 0.
El siguiente resultado era conocido ya en tiempos de Pitagoras (570-490
A.C.).
Teorema 2. El n umero

2 es irracional.
Demostracion. Supongamos lo contrario. Entonces existen dos enteros
positivos a, b tales que
(3)

2 =
a
b
, o bien, 2b
2
= a
2
,
y ademas a, b no tienen ning un factor primo en com un: (a, b) = 1. La
ecuacion (3) muestra que 2|a
2
y por lo tanto 2|a. Escribiendo a = 2
obtenemos que b
2
= 2
2
. Pero esta ecuacion muestra que 2|b. Por lo
tanto (a, b) 2, lo cual contradice que (a, b) = 1.
pagina 2
Ejercicio 4. Demuestre que toda solucion real de la ecuacion
x
m
+ c
m1
x
m1
+ + c
0
= 0, con c
j
Z,
es un n umero entero o bien un n umero irracional.
Ejercicio 5. Pruebe que
m

n es irracional siempre que n no sea una

m-esima potencia de un entero.
Ejercicio 6. Pruebe que

2 +

3 es irracional.
Sugerencia. Considere el polinomio x
4
10x
2
+ 1.
El hecho de que es un n umero irracional fue demostrado por primera
vez en 1770 por J.H. Lambert. La demostracion que se presenta aqu se
debe a I. Niven.
Teorema 7 (Lambert). El n umero es irracional.
Demostracion (Niven). Supongamos lo contrario. Entonces existen
enteros positivos a, b tales que = a/b. Sea
f(x) =
x
n
(a bx)
n
n!
=
1
n!
_
a
0
x
n
+ a
1
x
n+1
+ + a
n
x
2n
_
,
en donde claramente los coecientes a
0
, a
1
. . . , a
n
son n umeros enteros.
Denamos tambien la funcion
F(x) = f(x) f

(x) + f
(iv)
(x) + (1)
n
f
(2n)
(x)
en donde el entero n queda como un parametro libre cuyo valor se deter-
minara mas adelante. Es claro que
f(0) = f

(0) = = f
(n1)
(0) = 0.
Si n k 2n, entonces tambien se cumple que
f
(k)
(x) =
1
n!
n

=0
(n + )(n + 1) (n + k + 1) a

x
n+k
=
1
n!
n

=0
(n + )!
(n + k)!
a

x
n+k
.
pagina 3
Por lo tanto
f
(k)
(0) =
1
n!
k! a
kn
.
Vemos pues que para 0 j 2n cada uno de los n umeros f
(j)
(0) son
enteros: f
(j)
(0) Z. Puesto que f(x) = f( x) entonces tanto F(0)
como F() son n umeros enteros.
Por otro lado
d
dx
_
F

(x) sen x F(x) cos x

_
=
_
F

(x) + F(x)
_
sen x = f(x) sen x.
Por lo tanto

_
0
f(x) sen x dx =
_
F

(x) sen x F(x) cos x

_

0
= F() + F(0)
es un n umero entero. Pero para 0 < x <
0 < f(x) sen x <

n
a
n
n!
0 cuando n .
Se deduce entonces que la integral anterior es positiva pero menor que 1/2
siempre que n sea sucientemente grande. Esto contradice que F()+F(0)
sea un entero y por lo tanto es irracional.
3. La Irracionalidad (3).
Para cada x > 1, se escribe
(x) =

n=1
1
n
x
.
En 1734, L. Euler pudo evaluar (2n), para cada n N, en terminos
de potencias de . El siguiente resultado aporta informacion sobre la
naturaleza aritmetica de (3).
Teorema 8 (Apery). El n umero (3) es irracional.
Demostracion (Beukers). Sea
p
n
(x) =
1
n!
d
n
dx
n
x
n
(1 x)
n
.
pagina 4
Entonces p
n
(x) es un polinomio de grado n con coecientes enteros.
Armacion 10. La integral
(11)
1
_
0
1
_
0
p
n
(x)p
n
(y)
1 xy
log(xy) dxdy
es una combinacion lineal, con coecientes enteros, de expresiones de la
forma
(3)
j

m=1
1
m
3
,
1
j k
jk

m=1
1
(k + m)
2
,
1
k j
kj

m=1
1
(j + m)
2
,
con j, k = 0, 1, , n.
En efecto, la integral (11) es una combinacion lineal, con coecientes en-
teros de expresiones de la forma
(12)
1
_
0
1
_
0
x
j
y
k
1 xy
log(xy) dxdy
con j, k = 0, 1, , n. Expresando 1
_
(1 xy) como una serie geometrica,
vemos que (12) es igual a
(13)

m=0
1
(j + m + 1)
2
(k + m + 1)

m=0
1
(j + m + 1)(k + m + 1)
2
.
Si j = k, esta suma se simplica a
2

m=0
1
(j + m + 1)
3
= 2(3) + 2
j

m=1
1
m
3
.
Si j > k, entonces (13) es igual a
1
k j

m=0
_
1
(k + m + 1)
2

1
(j + m + 1)
2
_
=
1
k j
jk

m=1
1
(k + m)
2
.
El caso j < k es similar. Esto prueba la Armacion 10.
pagina 5
Supongamos ahora que (3) = a/b con a y b naturales. Sea n un n umero
natural mayor que b. Entonces podemos escribir
(14)
A
n
M
3
n
=
1
_
0
1
_
0
p
n
(x)p
n
(y)
1 xy
log(xy) dxdy
en donde A
n
es un entero y M
n
es el mnimo com un m ultiplo de 1, 2, . . . , n.
Puesto que
log w
1 w
=
1
_
0
dz
1 (1 w)z
entonces vemos que la integral en el lado derecho de (14) es igual a
(15)
1
_
0
1
_
0
1
_
0
p
n
(x)p
n
(y)
1 (1 xy)z
dxdy dz.
Integrando por partes con respecto a x, vemos que (15) es igual a
1
_
0
1
_
0
1
_
0
x
n
y
n
z
n
(1 x)
n
p
n
(y)
_
1 (1 xy)z
_
n+1
dxdy dz.
Con el cambio de variable z (1 z)/(1 wz), se cumple que
1
_
0
z
n
dz
(1 wz)
n+1
=
1
_
0
_
1 z
1 w
_
n
dz
1 wz
.
Con w = 1 xy, la integral (15) se puede escribir como
1
_
0
1
_
0
1
_
0
(1 x)
n
(1 z)
n
p
n
(y)
1 (1 xy)z
dxdy dz.
Integrando por partes, ahora con respecto a y, se tiene que (15) es igual a
1
_
0
1
_
0
1
_
0
_
xyz(1 x)(1 y)(1 z)
1 (1 xy)z
_
n
dxdy dz
1 (1 xy)z
.
pagina 6
Esta ultima integral es positiva y por lo tanto A
n
es distinta de cero.
Armacion 16. Para cada x, y, z (0, 1) se cumple que
xyz(1 x)(1 y)(1 z)
1 (1 xy)z

_
2 1
_
4
.
Armacion 17. Para n grande, se cumple la desigualdad M
n
3
n
.
Si las Armaciones 16 y 17 se cumplen, entonces tenemos que existe una
constante K tal que
0 < |A
n
|
_
27(

2 1)
4
_
n
K
_
4
5
_
n
K < 1
cuando n es sucientemente grande. Esto contradice el hecho de que A
n
es un entero y por lo tanto (3) es irracional.
La prueba de la Armacion 16 se reduce a un ejercicio en el calculo dife-
rencial de varias variables.
Para probar la Armacion 17, usaremos el teorema de los n umeros primos:
lim
n
(n)
n
_
log n
= 1
en donde (n) es el n umero de primos que no exceden a n. Entonces, se
cumple que
(n)
nlog 3
log n
para cada n sucientemente grande. Por lo tanto,
M
n
n
(n)
3
n
.
Esto termina de demostracion.
4. N umeros Trascendentes.
Denicion 18. Un n umero complejo que satisface la ecuacion
(19) a
0
+ a
1
x + + a
n
x
n
= 0, a
n
Z,
pagina 7
se llama n umero algebraico. Un n umero que no es algebraico se llama
trascendente. Por lo tanto un n umero trascendente no satisface ninguna
ecuacion de la forma (9).
En 1874 G. Cantor demostro la existencia de los n umeros trascendentes
a partir del hecho de que el conjunto de todos los n umeros algebraicos
tiene la misma cardinalidad que la del conjunto de los n umeros naturales,
mientras que el conjunto de todos los n umeros reales no es numerable. De
lo anterior se ve que casi todo n umero real es trascendente. Por otro lado,
decidir si un n umero particular es o no trascendente es un problema mas
difcil.
En 1844 J. Liouville construyo ciertos n umeros trascendentes particulares
(ver la seccion 5). En 1873 Ch. Hermite pudo demostrar que el n umero e
de Euler es trascendente. Un poco mas adelante, en 1882, F. Lindemann
demostro la trascendencia de . Este resultado de Lindemann resolvio el
problema de probar que no se puede construir un cuadrado cuya area sea
la de un crculo dado. La construcion de dicho cuadrado se entiende en
el sentido de que solo se permite usar regla y compas. Este es el famoso
problema griego de la cuadratura de crculo.
4. La Trascendencia de e.
Teorema 20 (Hermite). El n umero e es trascendente.
Demostracion (Hilbert). Sea k un entero positivo. Integrando por
partes se obtiene que

_
0
x
k
e
x
dx =
_
x
k
e
x
_

0
+ k

_
0
x
k1
e
x
dx = k

_
0
x
k1
e
x
dx,
de manera que si I
k
:=

_
0
x
k
e
x
dx entonces
I
k
= kI
k1
= k(k 1)I
k2
= = k!I
0
= k!
Sea p(x) un polinomio con coecientes enteros y con termino constante
p(0). Entonces, para m 0
(21)

_
0
x
m
p(x) e
x
dx p(0) m!, mod (m + 1)!
pagina 8
Por lo tanto la integral en (21) no es igual a cero si (m + 1) no divide a
p(0). Supongamos ahora que e es algebraico. Entonces existen n umeros
enteros a
0
, . . . , a
n
con a
0
= 0, tales que
(22) a
0
+ a
1
e + + a
n
e
n
= 0.
Sea r un n umero entero positivo. Sea
I
c
b
=
c
_
b
x
r
_
(x 1)(x 2) (x n)
_
r+1
e
x
dx
con 0 b c . Multiplicando (22) por I

0
, obtenemos
P
1
+ P
2
= 0,
en donde
(23)
_
P
1
= a
0
I

0
+ a
1
e I

1
+ + a
n
e
n
I

n
P
2
= + a
1
e I
1
0
+ + a
n
e
n
I
n
0
Obtendremos una contradiccion al mostrar que P
1
/r! es un entero distinto
de cero mientras que |P
2
|/r! < 1 cuando r es sucientemente grande.
Haciendo el cambio de variables y = x k obtenemos
a
k
e
k
I

k
= a
k

_
k
x
r
_
(x 1) (x n)
_
r+1
e
(xk)
dx
= a
k

_
0
_
y + k
_
r
_
(y + k 1) (y + k n)
_
r+1
e
y
dy
=
_

_
a
0

_
0
y
r
p
0
(y)e
y
dy si k = 0
a
k

_
0
y
r+1
p
k
(y)e
y
dy si 0 < k n,
en donde p
0
(y), , p
n
(y) son ciertos polinomios con coecientes enteros.
Por lo tanto, todos los terminos que contribuyen a P
1
en (23) son n umeros
enteros y todos estos terminos menos el primero son multiplos de (r +1)!.
Por lo tanto
P
1
a
0
p
0
(0) r! a
0
(1)
n(r+1)
(n!)
r+1
r! mod (r + 1)!
pagina 9
Por lo tanto
P
1
= a
0
(1)
n(r+1)
(n!)
r+1
r! + q(r + 1)! (con q Z)
es un m ultiplo de r! Ademas P
1
= 0 implica que
a
0
(1)
n(r+1)
(n!)
r+1
+ q(r + 1) = 0.
Pero esto es imposible siempre que (r+1) contenga un factor primo que no
divida a a
0
n! Por lo tanto, si r es sucientemente grande, entonces P
1
= 0.
Para obtener una cota superior de |P
2
|, sean
M = max
0xn
|x(x1) (xn)|, y N = max
0xn
|(x1) (xn)e
x
|.
Entonces para 1 k n
|a
k
I
k
0
| |a
k
|
k
_
0
M
r
N dx = k|a
k
|M
r
N.
Por lo tanto
|P
2
|
_
|a
1
|e + 2|a
2
|e
2
+ + n|a
n
|e
n
_
M
r
N.
Puesto que
lim
r
M
r
r!
= 0 (M es constante)
entonces
|P
2
| < r!
si r es sucientemente grande. Esto termina la demostracion.
5. N umeros de Liouville.
En esta seccion vamos a mostrar que ciertos n umeros son trascendentes.
La existencia de estos n umeros trascendentes especiales es consecuencia de
un teorema de Liouville sobre el grado en que un n umero real algebraico
de deja aproximar mediante n umeros racionales.
Denicion 24. Se dice que un n umero es algebraico de grado n si es
raz de un polinomio con coecientes enteros y de grado n, pero no es raz
de ning un polinomio de grado menor que n con coecientes enteros.
pagina 10
Teorema 25 (Liouville). Si es un n umero real algebraico de grado n
entonces para cada > 0 y A > 0 la desigualdad
(26)

p
q

<
A
q
n+
solo tiene un n umero nito de soluciones en n umeros enteros p, q.
Demostracion. Supongamos que satisface la ecuacion
f() = a
n

n
+ a
n1

n1
+ + a
0
= 0 con a
j
Z.
Existe una constante M > 0 tal que |f

(y)| < M siempre que |y | 1.

Sea p/q un n umero racional tal que q > 0. Supongamos que |p/q | 1
y que f(p/q) = 0. Entonces

f
_
p
q
_

=
|a
n
p
n
+ a
n1
p
n1
q + + a
0
q
n
|
q
n

1
q
n
ya que todos los coecientes a
j
Z. Por el teorema del valor intermedio
del calculo diferencial existe un n umero entre p/q y tal que
f
_
p
q
_
= f
_
p
q
_
f() =
_
p
q

_
f

().
Por lo tanto

p
q

f(p/q)
f

()

>
1
Mq
n
.
Si > 0 y A > 0 son constantes, entonces
A
q

<
1
M
siempre que q sea sucientemente grande y por lo tanto la ecuacion (26)
solo tiene un n umero nito de soluciones en p y q.
Teorema 27 (Liouville). El siguiente n umero es trascendente
=
1
10
+
1
10
2!
+
1
10
3!
+ .
Demostracion. Escribamos
p
q
=
k

j=1
1
10
j!
, y q = 10
k!
.
pagina 11
Entonces tenemos que

p
q

j=k+1
1
10
j!
=
1
10
(k+1)!
+
_
1
10
(k+1)!
_
k+2
+
_
1
10
(k+1)!
_
(k+2)(k+3)
+

1
10
(k+1)!

_
1 +
1
10
2
+
1
10
3
+
_
<
2
10
(k+1)!
.
Por lo tanto

p
q

<
2
q
k+1
.
Puesto que esto ocurre para todo k = 1, 2, . . . , entonces no puede ser
algebraico.
6. Teorema de Roth y Aplicaciones.
El teorema de Liouville se puede mejorar de manera substancial. En efecto,
denotemos mediante = (n) el menor n umero positivo para el cual se
cumple la siguiente propiedad: dado cualquier n umero real algebraico de
grado n 2 y dado cualquier v > , la desigualdad

p
q

<
1
q
v
solo tiene un n umero nito de soluciones en enteros p, q.
Por el Teorema de Liouville, sabemos que n. Posteriormente A. Thue,
C.L. Siegel y F.J. Dyson probaron respectivamente que

n
2
+ 1, min
0<<n
_
+
n
+ 1
_
y

2n.
Finalmente en 1955, Roth probo que 2, siendo esta una estimacion
opitma ya que si es un n umero irracional cualquiera entonces existe una
innidad de enteros p y q tales que | p/q| < 1/q
2
.
Teorema 28 (Roth). Sea un n umero irracional algebraico. Sea > 0.
Entonces la desigualdad

p
q

<
1
q
2+
pagina 12
tiene solo un n umero nito de soluciones en n umeros enteros p, q.
Una ecuacion se llama diofantina cuando las soluciones se restringen a los
n umeros enteros. El siguiente teorema es una aplicacion del Teorema de
Roth a ciertas ecuaciones diofantinas.
Teorema 29. Sea n 3. Sea
f(x, y) = b
0
x
n
+ b
1
x
n1
y + + b
n
y
n
un polinomio homogeneo irreducible con coecientes enteros. Sea
g(x, y) =

r+tn3
g
rt
x
r
y
t
un polinomio de grado no mayor que n 3 y con coecientes racionales.
Entonces la ecuacion
(30) f(x, y) = g(x, y)
solo tiene un n umero nito de soluciones en enteros x, y.
Demostracion. Supondremos sin perdida de generalidad que |x| |y| y
tambien que y > 0. Sean a
1
, . . . , a
n
las raices de la ecuacion f(x, 1) = 0 y
sea M = max
_
|g
rs
|
_
. Puesto que |x| |y| entonces
|x
r
y
s
| y
r+s
.
Ademas la ecuacion y
r+s
= y
j
tiene a lo mas (j + 1) soluciones. De la
ecuacion (30) se obtiene que
|b
0
(x a
1
y) (x a
n
y)| M(1 + 2y + + (n 2)y
n3
)
(31) Mn
2
y
n3
.
Por lo tanto, existe tal que
|x a

y| < c
1
y
1
3
n
en donde c
1
, c
2
, . . . denotan constantes positivas. Si = y y es mayor
que una constante c
2
, sucientemente grande, entonces
|x a

y| = |(a

)y + (x a

y)| |a

|y |x a

y|
(32) c
3
y c
1
y
1
3
n
c
4
y.
pagina 13
Por (31) y (32) vemos que |x a

y| <
c
5
y
2
o bien
|a

x
y
| <
c
5
y
3
.
Por el Teorema de Roth, esta desigualdad solo tiene un n umero nito de
soluciones. El caso y c
2
es claro. El teorema esta probado.
El siguiente es un caso particular del Teorema 29.
Teorema 33 (Thue). Sea n 3. Sea
f(x, y) = b
0
x
n
+ b
1
x
n1
y + + b
n
y
n
un polinomio homogeneo irreducible con coecientes enteros. Sea m un
entero: m Z. Entonces la ecuacion
f(x, y) = m
solo tiene un n umero nito de soluciones en n umeros enteros x, y.
7. El Problema Siete de Hilbert.
En el a no 1900, D. Hilbert elaboro una lista de 23 problemas que el
creia seran de importancia para la matematica del siglo XX. El problema
n umero siete dice as:
La expresion

para una base algebraica y un exponente irracional

algebraico, e.g., los n umeros 2

2
o e

= i
2i
, siempre representan n umeros
trascendentes o al menos n umeros irracionales.
En 1929, el matematico ruso A.O. Gelfond probo la trascendencia de e

y
observo que su metodo de prueba poda usarse para resolver el problema
de Hilbert cuando yace en un campo cuadratico imaginario. En 1930,
R.O. Kusmin uso el metodo de Gelfond para resolver el problema cuando
yace en un campo cuadratico real y en particular probo que 2

2
es
trascendente. En 1934, Gelfond y T. Schneider, independientemente uno
del otro, dieron la solucion completa al problema siete de Hilbert.
En la actualidad, todava se desconoce si son o no trascendentes n umeros
como e + , e, (2n + 1), (en donde (x) es la funcion zeta de Riemann
y n N) y la constante de Euler
= lim
n
_
1 +
1
2
+ +
1
n
log n
_
.
pagina 14
En una de sus clases, estando Siegel presente como alumno (1919), Hilbert
dio su opinion sobre el grado de dicultad de tres problemas de la teora de
n umeros. Sobre la hipotesis de Riemann, Hilbert dijo que probablemente
el vivira para ver la solucion, esto en vista de los recientes progresos en
la materia. Sobre el ultimo teorema de Fermat, Hilbert dijo que algunos
de sus alumnos mas jovenes, viviran lo suciente como para ver resuelto
el problema. Sin embargo, con respecto al problema n umero siete, Hilbert
penso que ninguno de sus alumnos ahi presentes vivira para ver resuelto
el problema.
8. Ejercicios.
Ejercicio 34. Demostrar que el conjunto de todos los n umeros real alge-
braicos es numerable.
Ejercicio 35. Sea a 1 un entero. Entonces

j=1
1
a
n!
es trascendente.
Ejercicio 36. Sea a 1 un entero. Entonces

j=1
1
a
3
n
es trascendente.
Ejercicio 37. Sea f : N R una sucesion tal que lim
n
f(n+1)/f(n) > 2.
Sea a 1 un entero. Demuestre que el siguiente n umero es trascendente

j=1
1
a
f(n)
.
Ejercicio 38. Usar la identidad
_
2

2
_

2
= 2 para probar que un
n umero irracional elevado a una potencia irracional puede se racional.
Ejercicio 39. Usar la identidad

2
(

2+1)
=
_
2

2
_
2 para probar que
un n umero irracional elevado a una potencia irracional puede se irracional.
BIBLIOGRAFIA
Para la redaccion de estas notas hemos usado algunas de las fuentes que
se listan a continuacion. La demostracion del Teorema de Roth, la puede
encontrar el lector en LeVeque 1956.
pagina 15
Baker, A. 1990. Transcendental number theory. Cambridge, 1990.
Beukers, F. 1979. A note on the irrationality of (2) and (3). Bull.
London. Math. Soc. 11 (1979) 268-272.
Hua, L.K. 1982. Introduction to number theory. Springer, 1982.
Jones, J.P. & Toporowski, S. 1973. Irrational numbers. Amer. Math.
Month. 80 (1973) 423-424.
LeVeque, W.J. 1956. Topics in number theory. Vol. II. Addison Wesley,
1956.
Rose, H.E. 1994. A course in number theory. Second Edition. Oxford,
1994.