Anda di halaman 1dari 74

1

PUEDE RESPONDERSE A LA PREGUNTA: CMO LOS


MTODOS TRASCENDENTES TRASCIENDEN LOS
MTODOS ALGEBRAICOS??


OSCAR EDUARDO GMEZ ROJAS.
CDIGO: 830210.


Trabajo de grado presentado para optar al ttulo de Magister en Matemticas.



DIRIGIDO POR:
DR. ALBERTO CAMPOS.


UNIVERSIDAD NACIONAL DE COLOMBIA
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMTICAS
BOGOT 2010
2

Tabla de contenido





I . I ntroduccin ........................................................................... 3
I I Euler ....................................................................................... 5
El nmero e ...................................................................................................................... 6
La funcin gamma ........................................................................................................... 7
I I I Fourier ................................................................................. 11
I V Liouville............................................................................... 13
Existencia de nmeros trascendentes .......................................................................... 15
Teorema de Liouville .................................................................................................... 15
V p es irracional....................................................................... 20
VI El campo de los nmeros algebraicos ................................ 23
Frmulas de Vieta .......................................................................................................... 23
Polinomios simtricos .................................................................................................... 24
Polinomios simtricos con respecto a dos sistemas de variables ............................... 28
VI I Hermite .............................................................................. 31
VI I I Lindemann ........................................................................ 36
I X Cantor ..................................................................................... 41
La demostracin de Cantor puede hacerse constructiva? ....................................... 41
Otras observaciones ....................................................................................................... 43
X Weierstrass .............................................................................. 45
Extensin de un campo................................................................................................. 47
Consecuencias del teorema generalizado de Lindemann ........................................... 58
XI Hilbert ................................................................................... 60
XI I Gelfond ................................................................................ 62
XI I I Secuencia de aproximaciones racionales para nmeros
algebraicos................................................................................... 63
XI V Compendio de resultados acerca de nmeros trascendentes
segn la obra de Alan Baker ...................................................... 65
XV Operaciones trascendentes ................................................... 69
XVI Conclusiones ...................................................................... 72
XVI I Bibliografa ....................................................................... 73




3


"Dios cre los nmeros naturales,
el resto es obra del hombre"
Leopoldo Kronecker



I . I ntroduccin


En su acucioso inters por entender el Universo el hombre ha creado sistemas conceptuales
como herramientas que lo ayuden en su ingente tarea. Entre los ms universales se
encuentran las matemticas. La complejidad de esta ciencia ha crecido tanto que las
diferentes definiciones que se dan de ella son cada vez ms imprecisas. Sin embargo, en
trminos generales, podramos afirmar que las matemticas se ocupan de conjuntos y de las
relaciones entre los elementos de tales conjuntos. Entre los conjuntos que se crearon y a
cuyo estudio se aplicaron luego los matemticos se encuentran los de los nmeros
naturales, enteros y racionales. Estos conjuntos surgen como respuesta a los problemas del
conteo, de la distincin entre lo que se tiene y lo que se debe, a la necesidad de calcular
con cantidades no enteras, entre otros. Este no es el caso de los nmeros irracionales, los
cuales no fueron concebidos para resolver algn tipo de problema prctico. El hombre se
encontr con ellos muy a su pesar. Segn la leyenda a Hipaso de Metaponte, quien
descubri la irracionalidad de 2 , sus compaeros pitagricos lo ahogaron arrojndolo al
mar desde la embarcacin en la que se encontraban. 2 aparece de forma natural al
encontrar la hipotenusa de un tringulo rectngulo issceles de lado 1 mediante el teorema
de Pitgoras. Adems de los elementos las operaciones entre, o sobre, estos tambin han
planteado serios retos a los matemticos de todos los tiempos. Como ejemplos de ello
tenemos los algoritmos para la extraccin de las races cuadradas y cbicas o la resolucin
de ecuaciones de grados 3 y 4. De la misma manera que la resolucin de cierto tipo de
problemas hizo necesaria la ampliacin de los diversos conjuntos de nmeros tambin las
operaciones con estos, o con otros elementos como las funciones, hizo necesaria la
ampliacin de los conjuntos de operaciones que se empleaban. Este trabajo presenta una
exposicin de resultados y enfoques muy puntuales acerca de dos entes matemticos
concretos: los nmeros y las operaciones trascendentes.

Conocido el hecho de que los nmeros reales constituyen un conjunto no numerable y que
los racionales en cambio s lo son, deducimos, de manera inmediata, la no numerabilidad
de los irracionales.

Podemos afirmar que un nmero c es racional s, y solo s, c es solucin de la ecuacin:

ax + b = 0, donde a y b son enteros.

El concepto de nmero algebraico es una generalizacin de esta definicin de nmero
racional.

4
Definicin: se dice que un nmero c es algebraico s, y solo s, c es solucin de alguna
ecuacin de la forma:

f ( x ) = a
n
x
n
+ a
n-1
x
n-1
+.+ a
1
x + a
0
= 0, n > 1, a
n
= 0 (1)

donde los a
i
son enteros.

Se sigue de esta definicin que c puede ser real o complejo. Si c no es algebraico se dice
que es trascendente.

En lmentes dhistoire des mathmatiques, de Bourbaki se lee: El descubrimiento de la
irracionalidad de 2 , que seala un momento capital en la historia de la matemtica,
acta profundamente sobre la concepcin del nmero entre los griegos, y los lleva a crear
un lgebra de carcter exclusivamente geomtrico, con el fin de hallar un modo de
representacin (o tal vez una prueba de existencia) para los inconmensurables, que
ellos rehusaban considerar como nmeros. Esta opcin proviene, probablemente, de un
hecho simple: la superioridad que en ese momento presentaba la geometra con respecto a
la aritmtica; al fin y al cabo 2 tena una existencia simple, como ya anotamos, desde el
punto de vista de la geometra, sin embargo, planteaba serios problemas desde el punto de
vista aritmtico, problemas que perduraron hasta que Eudoxo de Cnido propuso su teora
de las proporciones.

Es en el seno de este enfoque geomtrico donde fue concebido el problema de la
cuadratura del crculo. Problema que, como algunos otros grandes problemas de la historia
de las matemticas, tiene un planteamiento simple: Dado un crculo, encontrar mediante
construcciones con regla y comps exclusivamente, un cuadrado de rea igual. A
propsito de este problema se lee, en el artculo cuadratura del crculo de Wikipedia, lo
siguiente: La posibilidad de cuadrar superficies limitadas por curvas (superficies
curvilneas) y, en especial, la cuadratura del crculo, no habra parecido tan plausible a
los griegos de no haber sido por el hecho de que Hipcrates de Quos demostr que
ciertas figuras curvilneas construidas a propsito por l, llamadas lnulas, podan
cuadrarse. La resolucin de la cuadratura de las lnulas de Hipcrates cre una falsa
expectativa entre los matemticos de la antigedad, llevndoles a pensar que podra
cuadrarse el crculo.

La solucin del problema tuvo que esperar ms de dos mil aos cuando Descartes
concibi el camino inverso al seguido por los griegos: el de la algebrizacin de la
geometra, que hizo posible el desarrollo de las herramientas que finalmente permitieron la
demostracin de la imposibilidad de la construccin pedida. Esta demostracin se concret
en 1882 cuando Lindemann, generalizando paso a paso la demostracin que Hermite haba
dado en 1873 de la trascendencia de e, logr demostrar la trascendencia de p.

Este trabajo intenta una aproximacin desde el punto de vista de la Epistemologa
Matemtica al concepto de la trascendencia en matemticas as como a su evolucin en el
tiempo.


5
Como presentaremos teoremas en los que se demuestra, por ejemplo, que e es irracional y
trascendente comenzamos introduciendo las ideas de Euler sobre e y tambin sobre la
funcin G que emplearemos ms adelante.
I I Euler

Qu son estas fluxiones? Las velocidades de incrementos evanescentes.
Y qu son estos mismos incrementos evanescentes? No son cantidades fi-
nitas, ni cantidades infinitamente pequeas, ni siquiera son nada. No po-
dramos llamarlas fantasmas de cantidades difuntas?."
George Berkeley (1685-1753).


Mostraremos el trabajo de Euler de una manera bastante aproximada a como fueron sus
exposiciones originales. Es importante hacer, en este momento, algunos comentarios
acerca de la forma como trabajaban los matemticos en los inicios del clculo. Alguno de
los primeros captulos de cualquier texto actual de esta materia est dedicado al concepto
de lmite, posteriormente se introducen los conceptos de derivada e integral precisamente
como lmites, sin embargo, histricamente el concepto riguroso de lmite no aparece sino
hasta el siglo XIX cuando es introducido por Cauchy. Es en este siglo cuando Cauchy y
sus contemporneos (Gauss, Abel, Bolzano, Weirestrass, etc.) se dan a la tarea de dar una
forma rigurosa a los procesos del clculo. Gracias a los aportes de Newton, Leibniz, los
Bernoulli, Taylor, Euler, Lagrange etc., ya estaban establecidas, con propiedad, grandes
regiones del clculo. Cmo trabajaron estos grandes inventores sin tan fundamental
herramienta? La respuesta est en el concepto de infinitesimal. Los infinitesimales eran
cantidades infinitamente pequeas diferentes de cero. Leibniz fue quien mejor los
defini. Deca que eran cualquier cosa, distinta de cero, tan pequea que por ms que se
sumara a ella misma, siempre se mantendra ms pequea que cualquier otra cantidad finita
imaginable. Esta debilidad conceptual fue atacada principalmente por el obispo George
Berkeley quien sealaba que los matemticos extraamente llegaban a resultados correctos
siguiendo caminos injustificados. Qu haca que, a pesar de la falta de argumentos
contundentes, se tuviera fe en los procesos que llevaban a cabo los matemticos? Un
criterio pragmtico: funciona, por lo tanto es correcto.

Podemos afirmar que el proceso de formalizacin es totalmente positivo? O ms
exactamente la presentacin formal de los resultados? No. Para justificar la afirmacin
cito a Andr Lichnerowicz: Cuando hablamos de una actividad matemtica siempre
existen dos fases: la que podramos denominar fase del discurso de creacin, y la del
discurso de comunicacin. A menudo, lo que el matemtico comunica es el discurso
asctico, abstracto, que se presenta tal cual es y no pretende dar ninguna justificacin.
Pero la actividad matemtica no es esto, o por lo menos no es nicamente esto. En algunos
momentos existe un verdadero discurso de creacin. Los entes matemticos no estn
ligados en absoluto, por lazos realmente lgicos. Se adquiere cierta experiencia de la
situacin que permite moverse en ella antes de llegar al discurso apremiante que ser el
de comunicacin.
El papel de la intuicin es capital, incluso para seguir un discurso de comunicacin. Por
una parte podemos hacer juridicismo, es decir, seguir paso a paso el proceso para ver
si se han hecho trampas al pasar de una proposicin a la siguiente. Pero esto no
6
proporcionar la gua del pensamiento. El parapeto, la verificacin, es necesaria, ya que
todo matemtico puede equivocarse en un momento determinado. Pero es el propio
pensamiento matemtico quien lleva la intuicin


A propsito de los desarrollos que vamos a mostrar tenemos la opinin de Felix Klein:
Empecemos con la obra de Euler Introductio in Analysin infinitorum sealando por
adelantado la extraordinaria y admirable habilidad analtica que Euler muestra en todos
sus desarrollos, aunque mencionando al mismo tiempo que no hay en ellos ningn rastro
del rigor que se exige hoy

El nmero e
1


La primera vez que es empleado el smbolo e para el famoso nmero es en una carta de
Euler a Goldbach de 1731. En los aos posteriores Euler hizo una serie de descubrimientos
de las propiedades de e pero no fue sino hasta la publicacin de su Introductio in Analysin
infinitorum en 1748 cuando present la totalidad de sus descubrimientos al respecto.
Veamos algunos de estos resultados:

Dado que a
0
= 1 entonces para un valor c infinitamente pequeo se tiene que a
c
es
cercano a 1. Sea
a
c
= 1 + kc,

si x > 0 entonces N = x / e es infinitamente grande y as

a
x
= a
N
e
= (a
e
)
N
=(1 + kc)
N
.

Empleando el teorema del binomio tenemos


) 1 ( 1 = |
.
|

\
|
+ =
N
x
N
kx
a

+ |
.
|

\
|
+ + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+
n
N
kx
n
n N N N
N
kx N N N
N
kx N N
N
kx
N
!
)) 1 ( ( ) 1 (
! 3
) 2 )( 1 (
! 2
) 1 (
1
3 2


Como N es infinitamente grande se tiene que

( ) ( ) ( )
+ + + + + + = |
.
|

\
|
+ =
! ! 3 ! 2 ! 1
1 1
3 2
n
kx kx kx kx
N
kx
a
n N
x
(2)


Haciendo x = 1 y definiendo e como el nmero para el cual k = 1


1
Esta demostracin sigue las ideas dadas en [3] y [4].
7
+ + + + + + =
!
1
! 3
1
! 2
1
! 1
1
1
n
e

Reemplazando en (1)
N
x
N
x
e |
.
|

\
|
+ = 1 .

Lo que en notacin moderna equivale a

n
n
x
n
x
e |
.
|

\
|
+ =

1 lim ,
donde, si x = 1
n
n
n
e |
.
|

\
|
+ =

1
1 lim .

Tambin si k =1 (2) se transforma en


+ + + + + + =
! ! 3 ! 2 ! 1
1
3 2
n
x x x x
e
n
x



La funcin gamma
2



La funcin gamma surge como respuesta al problema de interpolacin de valores no
enteros en funciones, u operaciones, ideadas originalmente pensando exclusivamente en
nmeros enteros.

Cuando se realizan sumas de la forma 1 + 2 + 3 ++ n para algn n dado se obtienen
los llamados nmeros triangulares. Algunos ejemplos son:

3 = 1 + 2, 6 = 1 + 2 + 3, 10 = 1 + 2 + 3 + 4.

La frmula que permite obtener el resultado, sin realizar la suma en su forma extensa, es

1 + 2 + 3 ++ n =
2
) 1 ( + n n
= S
n
.


Adems de la evidente utilidad de esta frmula para abreviar los clculos permite, tambin,
dar un significado a la pregunta Cul es el resultado de sumar los primeros 7 nmeros
enteros? La respuesta es:


2
Esta demostracin sigue la lnea del artculo [2].
8
S
7
=
8
7
2
1
2
1
31
2
) 1 7 ( 7
=
+
.

Tenemos as un ejemplo de una operacin que en principio tiene sentido exclusivamente en
los naturales y que es extendida a los racionales. La funcin factorial se define as:

=
>
=
. 0 1
, 0 ... 3 2 1
!
n
n n
n

Cmo puede extenderse esta definicin a nmeros no enteros? La respuesta la dio Euler.
l comienza analizando la integral

}

1
0
) 1 ( dx x x
n r
(3)


en donde n es un entero y r un valor real arbitrario. Al integrar por partes
3
se tiene

, , ) 1 ( dx x dv x u
r n
= =
;
1
, ) 1 (
1
1
+
= =
+

r
x
v dx x n du
r
n

entonces

} }
+
+

+
+
+
=
1
0
1 1
1 1
0
) 1 (
1 1
) 1 ( ) 1 (
1
0
| dx x x
r
n
r
x
x dx x x
n r
r
n n r
;

el primer trmino del lado derecho vale cero en tanto que la integral del segundo trmino
tiene una forma anloga a la de (3) y por tanto puede emplearse la recurrencia

} }
+
+

+

+
=
1
0
1
0
1
...
2
1
1
) 1 ( dx x
n r r
n
r
n
dx x x
n r n r
;

de donde se obtiene

) 1 )...( 2 )( 1 (
!
) 1 (
1
0
+ + + +
=
}
n r r r
n
dx x x
n r


La idea de Euler es aislar el factorial, procede as: hace la sustitucin r = f /g y obtiene

+ + + +
=
+
}
) ) 1 ( )...( 2 )( (
!
) 1 (
1 1
0
/
g n f g f g f
n g
dx x x
n
n g f


3
El artculo afirma que Euler expande (1-x)
n
y llega sin dificultad al resultado. No pude hacer esto.
9

y as

}
=
+ + + + +
+
1
0
/
1
) 1 (
1
) ) 1 ( )( )...( 2 )( (
!
dx x x
g g n f ng f g f g f
n
n g f
n
. (4)


El integrando en (4) es un producto, para simplificarlo Euler hace la ingeniosa
sustitucin

) /( g f g
x x
+
= ;

de donde

dx x
g f
g
dx
g f f ) /( +
+
= ,

con lo cual el lado derecho de (4) asume la forma

}
+
+

+
1
0
) /(
1
) 1 (
1
dx x
g f
g
g
n g f g
n


que l reescribe

} |
|
.
|

\
|
+

+
+
+
1
0
) /(
1
) /(
1
) (
1
dx
g f g
x
g f
n
g f g
n
,


la cual se reduce, luego de la sustitucin f = 1 y g = 0, a

} |
|
.
|

\
|
1
0
0
0
1
dx
x
n
.

Euler considera entonces la expresin

z
x
z
1


para z nulo. Aplica la regla de LHopital y obtiene

) ln(x x
z


que para z = 0 queda ln(x). Y as de (4) (recuerde que f = 1 y g = 0) obtiene el resultado
esperado
10

( )
}
=
1
0
) ln( ! dx x n
n
. (5)

Hasta aqu llega Euler. Si hacemos el cambio de variable

) ln(x y = entonces
y
e x

= y dy e dx
y
=

y as, (5) se transforma en

}

=
0
! dy e y n
y n
, o,
}

=
0
! dy y e n
n y


La notacin y la presentacin

}


= I
0
1
) ( dt t e x
x t


se deben a Adrien Marie Legendre.

Al leer estas demostraciones las palabras de Klein adquieren gran claridad: Euler se nos
muestra como un avezado creador de ideas y mtodos matemticos pero, a la vez, acude a
escrituras como
} |
|
.
|

\
|
1
0
0
0
1
dx
x
n


que haran sobresaltar a cualquiera que se est iniciando en el estudio del Clculo. Sin
embargo, pasada la impresin inicial, podemos traducir estas ideas a la notacin moderna y
quedarnos nicamente con el gran ingenio euleriano.


En 1737 Euler demuestra la irracionalidad de e y conjetura la trascendencia de p. Sin
embargo no mostraremos su demostracin sino una idea de Fourier.









11
I I I Fourier
4



Presentamos ahora la demostracin de Fourier de que e es irracional. Esta demostracin es
de una sencillez impresionante, es, incluso, menos elaborada que la de 2 .

Teorema: e es irracional.

Demostracin: comenzamos con la expresin de e como serie:

+ + + + =
! 3
1
! 2
1
! 1
1
1 e (1)

En primer lugar notemos que e no es entero. De (1) obtenemos de manera inmediata que
e > 2. Veamos que e < 3. Para n > 2 se tiene

1
2
1
2
1
2
1
2
1 1
3
1
2
1
!
1

= < =
n
n n
,
y por lo tanto

. 3
2
1
1
1
1
2
1
2
1
2
1
2
1
1 1
3 2
=

+ = + + + + + + + <
n
e
Supongamos ahora, que
q
p
e = p, q e N*, q > 1. Entonces
+
+
+
+
+ + + + + + =
)! 2 (
1
)! 1 (
1
!
1
! 3
1
! 2
1
! 1
1
1
q q q q
p


multiplicando a ambos lados por q! (Aunque Fourier no dice nada acerca de la legitimidad
de multiplicar trmino a trmino una serie infinita como si fuera una suma finita, nosotros
sabemos, de los cursos de clculo, que este paso est justificado en virtud de la
convergencia de la serie)

+
+ +
+
+
+ + + + + + =
) 2 )( 1 (
1
) 1 (
1
1
! 3
!
! 2
!
! 1
!
! )! 1 (
q q q
q q q
q q p

trasponiendo trminos

+
+ +
+
+
=
) 2 )( 1 (
1
) 1 (
1
1
! 3
!
! 2
!
! 1
!
! )! 1 (
q q q
q q q
q q p ;

El lado izquierdo es un entero, por lo tanto debe serlo el lado derecho, sin embargo:


4
Esta demostracin sigue la lnea de la presentada en [5].
12
q
q
q q q q q q q
1
) 1 (
1
1
1
) 1 (
1
) 1 (
1
) 1 (
1
) 1 (
1
) 2 )( 1 (
1
) 1 (
1
3 2
=
+

+
= +
+
+
+
+
+
< +
+ +
+
+

lo cual constituye un contradiccin. Por tanto e es irracional.


Esta demostracin por contradiccin contiene una idea simple que sin embargo es la base
de las demostraciones de la trascendencia de e y de p, la de lograr combinar en una
igualdad sumas y restas de uno o dos enteros con una cantidad positiva menor que 1, lo
cual constituye una contradiccin.

Inspirado en la demostracin anterior, Liouville acomete la empresa de demostrar que e no
es raz de ninguna ecuacin de segundo grado con coeficientes enteros.


























13
I V Liouville

El inters de Liouville en los nmeros trascendentes tuvo dos orgenes:

1. Una correspondencia entre Cristian Goldbach y Daniel Bernoulli sobre series que
representan nmeros trascendentes.

2. Las muy conocidas investigaciones hechas durante el siglo XVIII de la naturaleza
de nmeros especficos, en particular e y p. (Euler demostr la irracionalidad de e
en 1737. Lambert hizo lo propio con p en 1761).

Liouville intent, en vano, demostrar la trascendencia de e, sin embargo, logr demostrar,
siguiendo la idea que emple Fourier para demostrar que e es irracional, que e no es
solucin de ninguna ecuacin cuadrtica de coeficientes enteros.

Teorema: e no satisface ninguna ecuacin de la forma ax
2
+ bx + c = 0, donde a, b y c
son enteros y a > 0
5
.

Demostracin: supongamos que existen enteros a, b y c tales que

ae
2
+ be + c = 0;

dividiendo por e y trasponiendo un trmino se tiene

b
e
c
ae = + ;

sustituyendo e y e
-1
por las expansiones


+
+
+
+
+ + + + + + =
)! 2 (
1
)! 1 (
1
!
1
! 3
1
! 2
1
! 1
1
1
n n n
e ,
y
|
|
.
|

\
|
+
+
+
+
+ + =


)! 2 (
1
)! 1 (
1
!
1
! 3
1
! 2
1
! 1
1
1
1
n n n
e ,

se tiene

+
|
|
.
|

\
|
+
+
+
+
+ + + + +
)! 2 (
1
)! 1 (
1
!
1
! 2
1
! 1
1
1
n n n
a

|
|
.
|

\
|
|
|
.
|

\
|

+
+
+
+ +
)! 2 (
1
)! 1 (
1
!
1
! 2
1
! 1
1
1
n n n
c = - b.

5
Esta demostracin sigue la lnea del artculo [5].
14


El signo de 1 / n! es + si n es par y si es impar (si n es par o impar se determinar ms
adelante). Multiplicando por n!

+
|
|
.
|

\
|
+
+ +
+
+
+ + + + +
) 2 )( 1 (
1
) 1 (
1
1
! 2
!
! 1
!
!
n n n
n n
n a
|
|
.
|

\
|
|
|
.
|

\
|

+ +
+
+
+ +
) 2 )( 1 (
1
) 1 (
1
1
! 2
!
! 1
!
!
n n n
n n
n c = - bn!.

Agrupando y factorizando 1/(n + 1)


|
|
.
|

\
|
+
+
+
+
+
|
.
|

\
|
+ + + +
) 2 (
1
1
) 1 (
1
! 2
!
! 1
!
!
n n
a n n
n a +

|
.
|

\
|
+
+

+
|
.
|

\
|
+ +
2
1
1
) 1 (
1
! 2
!
! 1
!
!
n n
c n n
n c = - bn!.

Trasponiendo trminos


|
|
.
|

\
|
+
+
+
+

) 2 (
1
1
) 1 ( n n
a
|
.
|

\
|
+
+

+

2
1
1
) 1 ( n n
c
=
-
|
.
|

\
|
+ + + + 1
! 2
!
! 1
!
!
n n
n a -
|
.
|

\
|
+ + 1
! 2
!
! 1
!
!
n n
n c - bn!.

Hagamos

d = |
.
|

\
|
+ + + + 1
! 2
!
! 1
!
!
n n
n a - |
.
|

\
|
+ + 1
! 2
!
! 1
!
!
n n
n c - bn!

as d es un entero y tenemos

|
|
.
|

\
|
+
+
+
+

) 2 (
1
1
) 1 ( n n
a
|
.
|

\
|
+
+

+

2
1
1
) 1 ( n n
c
= d (1)

Tomando en (1) n impar si c > 0 y n par si c < 0 el trmino

) 1 ( +

n
c
(2)

es siempre positivo. Adems, si en el factor

+
+ + +

+ +
+
+

) 4 )( 3 )( 2 (
1
) 3 )( 2 (
1
2
1
1
n n n n n n

15

que acompaa a (2) en (1) asociamos de esta manera

+
|
|
.
|

\
|
+ + +

+ +
+
|
.
|

\
|
+

) 4 )( 3 )( 2 (
1
) 3 )( 2 (
1
2
1
1
n n n n n n
, (3)

vemos que (3) es una cantidad positiva, as el lado izquierdo de (1) es positivo, por otra
parte, tomando n lo suficientemente grande, puede hacerse ms pequeo que 1. Por tanto
no puede ser un entero, lo cual constituye una contradiccin. Entonces e no puede ser
solucin de una ecuacin cuadrtica.

A pesar del ingenio manifestado en la demostracin hemos avanzado muy poco: para
concluir que e es trascendente debemos probar que no es solucin de una ecuacin
polinmica de coeficientes enteros de ningn grado.


Existencia de nmeros trascendentes

Hasta el momento no hemos demostrado la existencia de ningn nmero trascendente. Las
trascendencias de p y de e han sido apenas conjeturadas y Liouville no ha avanzado mucho
en la demostracin de la de e. Decide entonces abandonar la empresa de lograr esta
demostracin y opta por un proyecto menos ambicioso: ante su incapacidad de demostrar
la trascendencia de un nmero dado Liouville construir uno a la medida.


Teorema de Liouville

La idea central de la demostracin constructiva de Liouville radica en una observacin que
hizo acerca de la naturaleza de los nmeros algebraicos irracionales: estos no se dejan
aproximar bien mediante racionales. Precisaremos esto ms adelante.

Recordemos la definicin de nmero algebraico.

Definicin: se dice que un nmero c es algebraico s, y solo s, c es solucin de alguna
ecuacin de la forma:

f ( x ) = a
n
x
n
+ a
n-1
x
n-1
+.+ a
1
x + a
0
= 0, n > 1, a
n
= 0, (3)

donde los a
i
son enteros.

Tambin es importante la siguiente definicin.

Definicin: supongamos que z satisface (3) pero no satisface ninguna ecuacin de grado
menor. Entonces se dice que z es un nmero algebraico de grado n.

16
Es claro que 2 es algebraico de grado 2 ya que satisface la ecuacin x
2
2 = 0, pero no
una de grado menor. Un nmero algebraico real de grado mayor que 1 necesariamente es
irracional. Dado un nmero irracional z podemos encontrar una sucesin

3
3
2
2
1
1
, ,
q
p
q
p
q
p


de nmeros racionales, con denominadores cada vez mas grandes, tales que

z
q
p
n
lm
n
n
=



Por ejemplo, para el irracional 2 tenemos la sucesin

1000
1414
,
100
141
,
10
14
,
1
1



La idea de Liouville, contenida en su teorema, es ver que cualquier aproximacin racional
p/q a un irracional algebraico de grado n, para q suficientemente grande debe ser menos
precisa que
1
1
+ n
q
. A continuacin construye un nmero que no cumple esta condicin y
por lo tanto no puede ser algebraico de ningn grado.

En la argumentacin de Liouville se emplea el siguiente lema:

Lema 1: si m y n son enteros y m > n > 1 entonces (m + 1)! 1 > (n + 1)m!

Demostracin: como m > n entonces m - n > 1 y tambin (m + 1) (n + 1) > 1. Esto
implica que (m + 1) m! - (n + 1)m! > m! de donde se concluye (m + 1)! - (n + 1)m! >1. Y,
trasponiendo trminos, (m + 1)! - 1 > (n + 1)m!.


Teorema (de Liouville): dado z nmero algebraico real de grado n > 1, para q
suficientemente grande se cumple que:

1
1
+
>
n
q q
p
z .

Demostracin: Supongamos que z es un nmero algebraico real de grado n > 1 que
satisface (3). Esto es f (z) = 0. Sea
m
m
m
q
p
z = una sucesin de nmeros racionales tal que

z
m
z.
17

Entonces


f (z
m
) = f (z
m
) - f (z) = ) ( ) ( ) (
2 2
2 1
n n
m n m m
z z a z z a z z a + + + ;

factorizando

f (z
m
) = f (z
m
) - f (z) = )) ( ) ( )( (
1 2 1
2 1

+ + + + + + +
n n
m
n
m n m m
z z z z a z z a a z z ;

dividiendo entre (z
m
z) y teniendo en cuenta que f (z) = 0,

) ( ) (
) (
) (
1 2 1
2 1

+ + + + + + + =

n n
m
n
m n m
m
m
z z z z a z z a a
z z
z f
. (4)

Como z
m
z entonces, para m suficientemente grande, se debe cumplir que

z

- 1 < z
m
< z

+ 1;

si z < 0 entonces z = -| z | y

se tiene -| z |

- 1 < z
m
< -| z|

+ 1 y como -| z |

< | z | tambin se
tiene -| z |

- 1 < z
m
< | z |

+ 1. De lo cual concluimos que | z
m
| < | z |

+ 1.

Si z > 0 entonces z = | z | y

se tiene | z |

- 1 < z
m
< | z |

+ 1 y tambin -| z |

- 1 < z
m
< | z |

+ 1.
De nuevo se tiene que | z
m
| < | z |

+ 1.

Adems | z | < | z |

+ 1.

Entonces se tiene:

( ) . 1
1 1 2 1
1 2 1 1 2 1


+ < + + + = + + + s + + +
k k k
m
k
m
k k
m
k
m
k k
m
k
m
z k z z z z z z z z z z z z

Tomando valor absoluto en (4) y aplicando la ltima desigualdad obtenemos

( ) ( ) ( )
1 2
3 2 1
1 | | | | 1 | | | | 3 1 | | | | 2 | |
) (
) (

+ + + + + + + <

n
n
m
m
z a n z a z a a
z z
z f
= M.

Ahora se toma un m tan grande que en
m
m
m
q
p
z = el denominador sea mayor que M.
Entonces

m
m m
m
q
z f
M
z f
z z
) ( ) (
| ) ( | > > . (5)
Adems como

18
n
m
m
n
m
m
m
m
m
m
m
q
p
a
q
p
a
q
p
a a
q
p
f z f
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+
|
|
.
|

\
|
+ =
|
|
.
|

\
|
= ... ) (
2
2 1 0
,

haciendo la suma del lado derecho con
n
m
q como comn denominador y tomando valor
absoluto a ambos lados

n
m
n
m n m
n
m
n
m
m
q
p a p q a q a
z f
+ + +
=

1
1 0
| ) ( | . (6)

Ahora bien, el nmero racional
m
m
m
q
p
z = no es raz de (3) ya que de serlo se podra tomar
el factor comn (x z
m
) y z satisfara una ecuacin de grado menor a n. Entonces f (z
m
) = 0.
El numerador en (4) es un entero, debe, por tanto, ser mayor o igual a 1. Entonces por (5) y
(6) se tiene que:

1
1
| ) ( |
+
>
n
m
m
q
z z , (7)

que era lo que se quera demostrar.


Veamos ahora que el nmero de Liouville

... 000100 0000000000 1100010000 . 0 10
1
!
= =

i
i
z

es trascendente. Sea

=
m
i
i
m
z
1
!
10 ;
entonces
| z z
m
| < 10-10
-(m+1)!
=
1 )! 1 (
10
1
+ m
. (8)


Supongamos que z es algebraico de grado n. Hagamos en (7)

p/q = z
m
= p/10
m!
,

entonces se tiene
! ) 1 (
10
1
| ) ( |
m n
m
z z
+
> , (9)

para m suficientemente grande. De (8) y (9) se concluye que

1 )! 1 ( ! ) 1 (
10
1
10
1
+ +
<
m m n
,
19
lo que equivale a que
(n + 1)m! > (m + 1)! 1

para m suficientemente grande. Pero este ltimo resultado contradice el lema 1, por lo
tanto z es trascendente ya que llegamos a esta contradiccin al suponer que era algebraico.


































20
V p es irracional
6



En 1761, Johann Lambert demostr que p es irracional. En 1795, Legendre dio
demostraciones de la irracionalidad de p y de p
2
. Conjetur tambin la trascendencia de p.
Sin embargo aqu seguiremos las ideas de la demostracin que present Ivn Niven en
1947.

Supongamos que p = a / b, a y b enteros positivos. Definamos la funcin


!
) (
) (
n
bx a x
x f
n n

= . (1)
Entonces

( )
) (
! !
) ( x f
n
bx x
b
a
n
x
b
a
b a x
b
a
x
b
a
f x f
n
n
n
n
=
|
.
|

\
|

=
|
|
.
|

\
|
|
.
|

\
|

|
.
|

\
|

=
|
.
|

\
|
= t . (2)

De esta igualdad obtenemos de manera inmediata que

( ) x f x f
j j j
= t
) ( ) (
) 1 ( ) ( , (3)
y, en particular, que

( ) t
) 2 ( ) 2 (
) 0 (
j j
f f = para todo j = 1, 2 ,, n. (4)

Definamos ahora

) ( ) 1 ( ) ( ) ( ) ( ) (
) 2 ( ) 4 ( ) 2 (
x f x f x f x f x F
n n
+ + = ; (5)

entonces, por (2) y (4), se tiene

F(0) = F(p) . (6)

Volviendo a (1) tenemos que, si expandimos el binomio, las potencias de x estarn entre n
y 2n. Entonces f puede escribirse en la forma

=
=
n
n i
i
i
x c
n
x f
2
!
1
) ( , (7)

donde los c
i
son enteros. Si g(x) = x
n
entonces se cumple que



6
La demostracin sigue las lneas mostradas en [6] y [7].
21

>
=
<
=

n j
n j n
n j x j n n n
x g
j n
j
0
!
)) 1 ( )...( 1 (
) (
) (
(8)
por (8) tenemos para (7) que

f
(k)
(0) = 0, si k < n. (9)

Adems
n
n
c x f [ ) (
) (
= + trminos en x] (10)
y
k
k
c k n n x f ) )...( 2 )( 1 [( ) (
) (
+ + = + trminos en x] si n < k 2n. (11)

(10) y (11) implican que ) 0 ( , ), 0 ( ), 0 (
) 2 ( ) 1 ( ) ( n n n
f f f
+
son todos nmeros enteros.
Adems f (0) = 0, por lo tanto F(0) es tambin un nmero entero.

En lo que sigue vamos a entender la razn por la cual se defini la funcin F de la forma en
que se hizo y se emplearn ingeniosas transformaciones que nos llevarn al resultado
final. De (5) tenemos

) ( ) 1 ( ) ( ) ( ) ( ' ) ( '
) 1 2 ( ) 5 ( ) 3 (
x f x f x f x f x F
n n +
+ + = ,
y
) ( ) 1 ( ) ( ) ( ) ( ) ( ' '
) 2 2 ( ) 6 ( ) 4 ( ) 2 (
x f x f x f x f x F
n n +
+ + = ,

donde 0 ) ( ) (
) 2 2 ( ) 1 2 (
= =
+ +
x f x f
n n
. Entonces

) ( ) ( ) ( ' ' x f x F x F = + ;

multiplicando por sen(x).

) ( ) ( ) ( ) ( ) ( ) ( ' ' x sen x f x sen x F x sen x F = + ,

sumando y restando ) cos( ) ( ' x x F

( ) ) ( ) ( ) ( ) ( ) cos( ) ( ' ) cos( ) ( ' ) ( ) ( ' ' x sen x f x sen x F x x F x x F x sen x F = + ;

reescribiendo

( ) ( ) ) ( ) ( ' ) cos( ) ( ' ) ( ) ( ' x sen x f x x F x sen x F = ,
o sea
( ) ) ( ) ( ' ) cos( ) ( ) ( ) ( ' x sen x f x x F x sen x F = ;

entonces, por el teorema fundamental del clculo, tenemos

22
( ) ) 0 (
0
| ) cos( ) ( ) ( ) ( '
2
1
) ( ) (
2
1
0
F x x F x sen x F dx x sen x f = =
}
t
t
.

En los extremos del intervalo [0, p] las funciones sen(x) y f (x) se anulan, dentro del in-
tervalo toman valores positivos, por lo tanto F(0) es un entero positivo.

Volvamos a la funcin f. De la identidad

,
2 2
) (
2 2
|
.
|

\
|
|
.
|

\
|
=
t t
t x x x

concluimos que

2
2
) ( |
.
|

\
|
s
t
t x x ;
de donde

n
n n
n n
x x
2
2 !
1
!
) (
|
.
|

\
|
s
t t
;

como p = a / b, llegamos a que

f (x) =
n
n n n
n
b
n
bx a x
2
2 ! !
) (
|
.
|

\
|
s
t
.

Esta desigualdad, junto con el hecho de que 0 sen(x) 1 para 0 x p, nos lleva a
concluir que

}
+
|
.
|

\
|
s
t
t
0
1 2
2 !
) ( ) (
2
1
n
n
n
b
dx x sen x f ;


pero el lado derecho de la ltima desigualdad puede hacerse ms pequeo que 1 tomando n
suficientemente grande, esto contradice el hecho de ser F(0) un entero positivo. Por lo
tanto la suposicin de que p es racional nos lleva a una contradiccin.

A propsito de esta demostracin cito el comentario que hace al respecto Michael Spivak
en su Calculus : Como ocurre con muchas demostraciones elementales de teoremas
profundos, no es posible dar una motivacin para muchos de los pasos de esta
demostracin; se puede, con todo, seguir la demostracin paso por paso..



23
VI El campo de los nmeros algebraicos


Al quedar establecida la existencia de los nmeros trascendentes surge una pregunta
importante: son cerrados los nmeros algebraicos bajo las cuatro operaciones
elementales? En otras palabras: si no existieran los nmeros trascendentes todos los
nmeros seran algebraicos y por lo tanto los resultados de las operaciones entre ellos
necesariamente estaran en este conjunto. La existencia de los trascendentes crea la
posibilidad de que los resultados de las operaciones entre nmeros algebraicos se salgan de
este conjunto, esto es, que sean trascendentes.

Teorema: el conjunto de los nmeros algebraicos es un subcampo del campo de los
nmeros complejos. En otras palabras, la suma, diferencia, producto y cociente de nmeros
algebraicos son tambin nmeros algebraicos.

La demostracin de este teorema requiere varios resultados y definiciones. La exposicin
mostrar resultados de enorme elegancia matemtica.

Definicin: los nmeros que son races de un mismo polinomio se llaman conjugados
entre s.

En primer lugar veamos que la suma de nmeros algebraicos es cerrada. Dados los
nmeros algebraicos o y | designemos mediante o
1
= o, o
2
, , o
n
, todos los nmeros
conjugados con o; mediante |
1
= |, |
2
, ,|
m
, todos los nmeros conjugados con |;
mediante f (x) y g(x) los polinomios mnicos que tienen a o y a | como races,
respectivamente. El polinomio
f
[ [
= =
=
m
j
n
i
x
1 1
) ( ( x - (o
i
+ |
j
)) (1)

tiene como races todas las sumas posibles de la forma o
i
+ |
j
, en particular a o + |. Si
demostramos que los coeficientes de f son racionales, tenemos demostrado el resultado, ya
que solo resta multiplicar por una constante adecuada para obtener coeficientes enteros.
Para lograr esto antes hay que ver algunos resultados sobre las frmulas de Vieta y los
polinomios simtricos.

Frmulas de Vieta

Dado el polinomio mnico

f (x) = x
n
+ a
1
x
n-1

+ a
2
x
n-2

+ + a
n-1
x + a
n
(2)

Sean o
1
, o
2
, , o
n
sus races. Entonces

f (x) = (x- o
1
) (x- o
2
) (x- o
n
) (3)


24
Desarrollando el producto indicado en (3) y comparando con (2) obtenemos las siguientes
identidades

a
1
= - ( o
1
+ o
2
+

+ o
n
),
a
2
= o
1
o
2
+ o
1
o
3
+ + o
1
o
n
+ o
2
o
3
+

+ o
n-1
o
n
,

a
3
= -( o
1
o
2
o
3
+ o
1
o
2
o
4
+ + o
n-2
o
n-1
o
n
) ,



a
n-1
= (-1)
n-1
( o
1
o
2
o
n-1
+ o
1
o
2
o
n-2
o
n
+ + o
2
o
3
o
n
) ,
a
n
= (-1)
n
( o
1
o
2
o
n
).

estas igualdades se conocen como frmulas de Vieta.

Este resultado puede en realidad verse como una equivalencia. Tenemos as el siguiente

Teorema recproco de las frmulas de Vieta: si los nmeros o
1
, o
2
, , o
n
son
tales que satisfacen las frmulas de Vieta entonces o
1
, o
2
, , o
n
son las races de la
ecuacin x
n
+ a
1
x
n-1

+ a
2
x
n-2

+ + a
n-1
x + a
n
= 0.

Demostracin: o
1
, o
2
,, o
n
son races de la ecuacin (x- o
1
) (x- o
2
) (x- o
n
) = 0. Si
desarrollamos el producto y aplicamos la hiptesis, esta ecuacin se transforma en x
n
+
a
1
x
n-1

+ a
2
x
n-2

+ + a
n-1
x + a
n
= 0. Con esto termina la demostracin.


Polinomios simtricos

Entre los polinomios en las variables x
1
, x
2
,, x
n
se distinguen aquellos que no varan con
cualquier permutacin de las variables. Por lo tanto en tales polinomios todas las variables
aparecen de modo simtrico, de ah que reciban el nombre de polinomios simtricos. Un
ejemplo de polinomio simtrico para n = 2 es

8 7
2
2 2 1
2
1
+ + + x x x x (4)

en el cual se cumple que si permutamos entre s x
1
, x
2
, el polinomio no cambia.

Los polinomios simtricos

o
1
= x
1
+ x
2
+

+ x
n
,
o
2
= x
1
x
2
+ x
1
x
3
+ + x
1
x
n
+ x
2
x
3
+

+ x
n-1
x
n
,

o
3
= x
1
x
2
x
3
+ x
1
x
2
x
4
+ + x
n-2
x
n-1
x
n
,



o
n-1
= x
1
x
2
x
n-1
+ x
1
x
2
x
n-2
x
n
+ + x
2
x
3
x
n
,
o
n
= x
1
x
2
x
n.


25
se llaman polinomios simtricos elementales. Es clara la relacin de estos ltimos con las
frmulas de Vieta, pudiendo afirmarse entonces que: los coeficientes de un polinomio
mnico, en una variable, son, salvo el signo, los polinomios simtricos elementales en sus
races.

Teorema fundamental de los polinomios simtricos: todo polinomio simtrico en
las variables x
1
, x
2
,, x
n
sobre el campo K es un polinomio en los polinomios simtricos
elementales o
1
, o
2
,, o
n
con coeficientes pertenecientes al campo K.

Demostracin: sea f (x
1
, x
2
,, x
n
) un polinomio simtrico dado. Disponerlo en orden
descendente segn el orden lexicogrfico, esto es, ordenarlo de forma descendente segn
los exponentes de x
1
. En caso de presentarse un empate se tienen en cuenta los exponentes
de x
2,
y as sucesivamente. Sea

kn
n
k k
x x x a ...
2
2
1
1 0
(5)

el trmino superior. Se debe cumplir necesariamente que:

k
1
k
2
. k
n.
(6)

En caso contrario podramos suponer que para alguna i se tiene que k
i
< k
i+1
. El polinomio
f (x
1
, x
2
, , x
n
), por ser simtrico, debe contener el trmino

kn
n
ki
i
ki
i
k k
x x x x x a
1
1 2
2
1
1 0
...
+
+
, (7)

el cual se obtiene de (5) mediante una trasposicin de x
i
y x
i+1.
En este caso el trmino (7)
sera mayor que el (5) lo cual constituye una contradiccin ya que este es el trmino
superior.

Consideremos ahora el siguiente producto de polinomios simtricos elementales

f
1
=a
0
o
1
k1-k2
o
2
k2-k3
o
n-1
kn-
1
-kn
o
n
kn
.

(8)

En razn de las desigualdades (6) todos los exponentes de (8) son no negativos. Adems
como cada o
i
es simtrico, f
1
tambin lo es y su trmino superior es precisamente (5).
Vemoslo: los trminos superiores de o
1
, o
2
, , o
n
son x
1
, x
1
x
2
, x
1
x
2
x
3
,

, x
1
x
2
x
n

respectivamente. Y como el trmino superior del producto es igual al producto de los
trminos superiores de los factores, el trmino superior de f
1
es

a
0
x
1
k1-k2


(x
1
x
2
)
k2-k3
(x
1
x
2
x
3
)
k3-k4
(x
1
x
2
x
n-1
)
kn-
1
-kn
(x
1
x
2
x
n
)
kn
=
kn
n
k k
x x x a ...
2
2
1
1 0


Entonces al restar f
1
de f (x
1
, x
2
, , x
n
) los trminos superiores se eliminan entre s y, en
consecuencia, el trmino superior del polinomio simtrico f - f
1
=

f
1
resulta menor que
(5). Tenemos entonces que
f = f
1
+

f
1
(9)


26
donde el trmino superior de f
1
es menor que el de f. Repitiendo este mismo procedi-
miento en el polinomio f
1
,

cuyos coeficientes pertenecen evidentemente al campo K ob-
tenemos la igualdad anloga
f
1
= f
2
+

f
2
,

(10)

donde f
2
es un polinomio simtrico cuyo trmino superior es menor que el de f
1
. De (9) y
(10) se llega a la igualdad

f = f
1
+

f
2
+

f
2
.


Si se contina este proceso, debido a que el trmino superior del f
i
obtenido es menor que
el del f
i-1
se debe obtener, para cierto s, que f s = 0. De esta manera llegaremos a obtener
una expresin para f en la forma de un polinomio en o
1
, o
2
, , o
n
con coeficientes
pertenecientes al campo K. Que era lo que queramos demostrar.

Ejemplo 1: en (4) tenemos
f = 8 7
2
2 2 1
2
1
+ + + x x x x ;

el trmino superior es
2
1
x entonces

f
1
= o
2
1
=
2
2 2 1
2
1
2 x x x x + +
y , entonces

f - f
1
=

8 5
2 1
+ x x = f
1
;

a su vez, el trmino superior de f
1
es
2 1
5 x x y as

f
2
= 5o
2
=
2 1
5 x x ;

de donde
f
1
- f
2
= 8

= f
2



que es de grado cero. Entonces como f = f
1
+

f
2
+

f
2
tenemos

f = o
2
1
+ 5o
2
+ 8. (11)

De la relacin entre los polinomios simtricos elementales y las frmulas de Vieta se
desprende el siguiente corolario del teorema fundamental de los polinomios simtricos.

Corolario: sea f (x) un polinomio mnico en una variable sobre un campo K. Entonces
cualquier polinomio simtrico, en las races de f (x), sobre K, es un polinomio en los
coeficientes de f (x) sobre K y por lo tanto es un elemento de K.

Ejemplo 2: dado el polinomio x
2
+ 4x 7, cuyos coeficientes estn en Z tenemos que sus
races son
27
r
1
= 11 2 + y r
2
= 11 2 ,

las cuales no estn en Z. Sin embargo si evaluamos, por ejemplo, el polinomio simtrico
(4) en r
1
y r
2
obtenemos

8 7
2
2 2 1
2
1
+ + + r r r r = -11

que pertenece a Z. La explicacin a fondo de este hecho est en la expresin (11) en la cual
aparece el polinomio (3) como un polinomio en los polinomios simtricos elementales de
r
1
y r
2
que toman los valores o
1
= - 4 y o
2
= -7. Entonces (11) queda

(-4)
2
+ 5(-7) + 8 = -11.


El ejemplo que sigue a continuacin cumple dos propsitos: por una parte muestra el
tratamiento de un caso particular que ilustra el ms general que es el objetivo de esta
seccin. Por otra parte ilustra un resultado que emplearemos cuando veamos la
demostracin de la trascendencia de p.

Ejemplo 3: dado el polinomio de coeficientes enteros 3x
3
+ 14x
2
+ 12x 9 cuyas races
son

6
61 5
1
+
= o ,
6
61 5
2

= o , y, 3
3
= o ;

queremos construir un polinomio de coeficientes enteros que tenga como races a a
1
+ a
2
,
a
1
+ a
3
y a
2
+ a
3
, esto es todas las sumas posibles de races tomadas de dos en dos. Un
procedimiento inicial es usar la idea segn la cual el polinomio que tiene como races a a, b
y c es (x - a) (x - b) (x - c). Tendramos entonces

3
65
9
232
3
28
3
5
6
61 23
6
61 23
2 3
+ + + = |
.
|

\
|
+
|
|
.
|

\
|
+

|
|
.
|

\
|

x x x x x x .

Solo resta multiplicar por 9 y ya est. Suerte de principiante? No. Esto siempre va a
ocurrir. Veamos que sucede: si dividimos 3x
3
+ 14x
2
+ 12x 9 entre 3 obtenemos el
polinomio mnico
3 3
3
14
2 3
+ + x x x , (12)
que tiene como races de nuevo a a
1
, a
2
y a
3
. Construimos el polinomio

( ) ( )
[
=
=
+
3
1 ,
j i
j i
j i
x o o , (13)

si ahora consideramos a x como constante y a a
1
, a
2
y a
3
como variables tenemos un
polinomio simtrico en el sistema de variables a
1
, a
2
y a
3
y segn el teorema fundamental
de los polinomios simtricos (13) puede expresarse como un polinomio en los polinomios
28
simtricos elementales de a
1
, a
2
y a
3
que toman como valores, salvo el signo, los
coeficientes de (12) y por lo tanto son nmeros racionales. Multiplicando por el mnimo
comn mltiplo de los denominadores obtenemos la expresin deseada.

Hemos obtenido as un polinomio de coeficientes enteros cuyas races son todas las
posibles sumas tomadas de 2 en 2; de manera similar podemos construir un polinomio
cuyas races sean todas las sumas posibles tomadas de 3 en 3 etc.


Polinomios simtricos con respecto a dos sistemas de variables

Sean dos sistemas de variables x
1
, x
2
, , x
n
y y
1
, y
2
, , y
m
. Un polinomio

f (x
1
, x
2
, , x
n
,y
1
, y
2
, , y
m
),

sobre el campo K se llama simtrico con respecto a los dos sistemas de variables, si no
vara al hacer cualesquiera permutaciones de las variables x
1
, x
2
, , x
n
entre s y de las
variables y
1
, y
2
,, y
m
entre s. Sean t
1
, t
2
,, t
m
los polinomios simtricos elementales en
y
1
, y
2
,, y
m
.

El teorema fundamental de los polinomios simtricos respecto a un sistema de variables se
puede generalizar a los polinomios simtricos con respecto a dos sistemas de variables. La
generalizacin se hace gracias a la aplicacin reiterada del teorema anterior. El
procedimiento se ilustra mediante un ejemplo.

Ejemplo: el polinomio

2 1 3 2 1 2 2 1 1 2 3 2 1 3 2
2 3 1 1 3 1 2 2 1 1 2 1 3 2 1 2 1 3 2 1
) , , , , (
y y x y y x y y x y x x y x x
y x x y x x y x x y x x x x x y y x x x f
+ + +
=
(14)

es simtrico con respecto a los dos sistemas de variables x
1
, x
2
, x
3
y y
1
, y
2
. Ahora bien, la
presencia del trmino - x
1
x
2
y
1
obliga, en razn de la simetra con respecto a x
1
, x
2
, x
3
, a que
tambin estn presentes los trminos - x
1
x
3
y
1
y x
2
x
3
y
1
. Esto nos permite hacer la
factorizacin -( x
1
x
2
+ x
1
x
3
+ x
2
x
3
)y
1
donde el trmino entre parntesis es un polinomio
simtrico con respecto a x
1
, x
2
, x
3
, y por lo tanto podemos aplicarle el teorema anterior.
Tomando tambin en cuenta los trminos - x
1
x
2
y
2
y x
1
y
1
y
2
y, procediendo de manera
anloga, obtenemos la factorizacin

. ) (
) ( ) ( ) , , , , (
2 1 3 2 1
2 3 2 3 1 2 1 1 3 2 3 1 2 1 3 2 1 2 1 3 2 1
y y x x x
y x x x x x x y x x x x x x x x x y y x x x f
+ + +
+ + + + + =
(15)

La propiedad de simetra con respecto a y
1
, y
2
que posee (14) no se altera con la
factorizacin, por lo tanto (15) tambin la presenta y se conservar cuando los polinomios
simtricos que aparecen como coeficientes sean reemplazados por polinomios en o
1
,, o
n


2 1 1 2 1 2 3 2 1 1 2 2 1 2 3 2 1 3 2 1
) ( ) , , , , ( y y y y y y y y y y x x x f o o o o o o o + + = + = ;

29
finalmente, aplicando el mismo razonamiento, pero ahora a los polinomios simtricos en
y
1
, y
2
tenemos

2 1 1 2 3 2 1 3 2 1
) , , , , ( t o t o o + = y y x x x f .


Teorema: todo polinomio f (x
1
, x
2
, , x
n
,y
1
, y
2
, , y
m
) sobre el campo K, que es
simtrico con respecto a los dos sistemas de variables x
1
, x
2
, , x
n
y y
1
, y
2
, , y
m
es un
polinomio en los polinomios simtricos elementales, respecto a estos dos sistemas de
variables, con coeficientes en K, esto es:

f (x
1
, x
2
, , x
n
,y
1
, y
2
, , y
m
) = f (o
1
, o
2
, , o
n
, t
1
, t
2
, , t
m
). (16)


Demostracin: el polinomio f se puede considerar como un polinomio

f (y
1
, y
2
, , y
m
)

cuyos coeficientes son polinomios en x
1
, x
2
, , x
n
. Como f no vara al permutar las
variables x
1
, x
2
,, x
n
, los coeficientes (luego de realizar las factorizaciones pertinentes)
del polinomio f sern polinomios simtricos en x
1
, x
2
, , x
n
y por lo tanto se podrn
expresar como polinomios en o
1
, o
2
, , o
n
sobre K. Al hacer las sustituciones tenemos
un polinomio

f (o
1
, o
2
, , o
n
, y
1
, y
2
, , y
m
), (17)

el cual es simtrico en y
1
, y
2
, , y
m
. En razn de esto los coeficientes de las o
i
en (17)
sern polinomios simtricos en y
1
, y
2
, , y
m
y por lo tanto se podrn expresar como
polinomios en t
1
, t
2
, , t
m
sobre K. Se obtiene as la identidad (16).


Volvamos a la expresin (1)
f
[ [
= =
=
m
j
n
i
x
1 1
) ( ( x - (o
i
+ |
j
)) (1)

Considerando x como constante y a las o
i
+ |
j
como variables (1) puede verse como un
polinomio en dos sistemas de variables. Este polinomio no vara al permutar entre s las o
i
o las |
j
. Por lo tanto, segn el teorema anterior, los coeficientes de (1) son polinomios en
los coeficientes de f (x) y g(x) sobre Z y por lo tanto son racionales, multiplicando por el
mnimo comn mltiplo de los denominadores obtenemos un polinomio con coeficientes
enteros, que era lo que queramos demostrar.

Del mismo modo mediante los polinomios

+
[ [
= =
=
m
j
n
i
x
1 1
) ( ( x - (o
i
- |
j
)),
30
y
A
[ [
= =
=
m
j
n
i
x
1 1
) ( ( x - (o
i
|
j
)),

demostramos que o | y o| son algebraicos.

Finalmente, para demostrar que el cociente de nmeros algebraicos es tambin un nmero
algebraico es suficiente ver que si o es algebraico diferente de 0 entonces o
-1
tambin es
algebraico.

Sea o raz del polinomio

f ( x ) = a
n
x
n
+ a
n-1
x
n-1
+.+ a
1
x + a
0
,


de coeficientes enteros, esto es

a
n
o
n
+ a
n-1
o
n-1
+.+ a
1
o + a
0
= 0;

dividiendo a ambos lados por o
n
tenemos

a
n
+ a
n-1
o
-1
+.+ a
1
o
(n1)
+ a
0
o
n


= 0,

esto es, o
-1
es raz del polinomio de coeficientes enteros

g ( x ) = a
0
x
n
+ a
1
x
n-1
+.+ a
n-1
x + a
n.

















31
VI I Hermite

El inters geomtrico por el nmero p se pierde en la noche de los tiempos. En I Reyes 7,
23 se lee: Hizo tambin de fundicin una gran concha, toda redonda, de diez codos de
dimetro de un borde al otro, tena cinco codos de profundidad y un cordn, o moldura, de
treinta codos cea toda su circunferencia de donde se deduce que para los hebreos el
valor de p era igual a 3. Si el Gemetra Universal hubiera empleado un grado mayor de
precisin probablemente su obra sera menos imperfecta.

Los griegos tenan clara la diferencia entre el clculo aproximado de p y su construccin
terica exacta. Arqumedes hizo grandes aportes concibiendo como mtodo de
aproximacin a la circunferencia el inscribir y circunscribir polgonos regulares de un
nmero cada vez mayor de lados, con ello logr la acotacin:

7
1
3
71
10
3 < < t .

El enfoque terico se orient hacia la cuestin de si era o no posible la construccin de p
con regla y comps. Todos los intentos fueron infructuosos. La explicacin de este
constante fracaso es que tal construccin es imposible, hecho que se desprende del carcter
trascendente de p. Este captulo sigue, en lneas generales, la demostracin que dio
Hermite en 1873 de la trascendencia de e, sin embargo, hemos mencionado a p ya que la
demostracin que dio Lindemann de que p es trascendente se basa en la famosa ecuacin

0 1= +
t i
e ,

que relaciona las dos constantes. Adems su demostracin sigue muy de cerca el mtodo
empleado por Hermite.

La demostracin de Hermite de 1873, como ya habamos anunciado, se basa en un
argumento de reduccin al absurdo en esencia elemental. Sin embargo, contiene una gran
cantidad de detalles que pueden hacer que el lector pierda de vista los lineamientos
generales, en razn a esto presentamos, como suele hacerse, primero un resumen de la idea
central y luego la demostracin en si.

Veremos que si se supone la ecuacin

a
n
e
n
+ a
n-1
e
n-1
+ . . . + a
0
= 0 donde a
n
0 (1)

donde todos los a
i
son enteros y a
0
0 se llega a una contradiccin. Para ello se logra
expresar a e y a sus potencias en la forma

M
M
e
1 1
c +
= y en general
M
M
e
k k k
c +
= para k = 2, 3,,n (2)

32
En donde M, M
1
,, M
n
son nmeros enteros y
M
1
c
,,
M
n
c
son fracciones positivas que
podemos hacer tan pequeas como queramos. Reemplazando (2) en (1) y multiplicando
por M obtenemos

[a
n
M
n
+ a
n-1
M
n-1
+ . . . + a
0
M] + [a
n
e
n
+ a
n-1
e
n-1
+ . . . + a
1
e
1
] = 0

el primer parntesis es un nmero entero, que demostraremos, diferente de cero. En lo que
respecta al segundo parntesis demostraremos que es una cantidad positiva que puede
hacerse menor que la unidad. Tendremos entonces la contradiccin de sumar un entero
diferente de cero con una cantidad menor que uno y obtener cero. Hemos llegado a esta
contradiccin a raz de suponer que se tiene (1) en consecuencia, esto es imposible.

Veamos ahora la demostracin con todo detalle.

Teorema: e es trascendente.

Demostracin
7
: supongamos que existen enteros a
0
, a
1
,. . . , a
n
, no todos nulos, tales que

a
n
e
n
+ a
n-1
e
n-1
+ . . . + a
0
= 0 (3)

Definamos

( )( ) | |
( )! 1
) ( 2 1
) (
1


=

p
e n x x x x
x f
x p p

,

donde p es un nmero primo que precisaremos ms tarde. Si se desarrolla (x-1).(x-n) se
obtiene un polinomio de coeficientes enteros de la forma x
n
+ . . . (n!) el cual elevado a
la p queda x
n p
+ . . . (n!)
p
. Entonces f (x) puede escribirse como

=
+

=
np
i
x i p
i
e x C
p
x f
0
1
)! 1 (
1
) ( ,

donde los C
i
son enteros con C
0
= (n!)
p
.



Definamos
} }


+

= =
0
1
0
0
) 1 (
1
) ( dx e x C
p
dx x f M
x i p
np
i
i
.

(Esta integral, llamada integral de Hermite, y la definicin de f (x) constituyen el punto
fundamental de la demostracin y son el eje de la ingeniosa construccin de Hermite)


7
La demostracin sigue las lneas mostradas en [6] y [7].
33
De lo visto en el captulo II sobre las propiedades de la funcin G, tenemos

}

=
0
! k dx e x
x k


y as
)! 1 (
) 1 (
1
0
i p C
p
M
np
i
i
+

=

=


donde cuando i = 0 se obtiene el sumando (n!)
p
. Considerando p > n (esto lo podemos
hacer en razn a que existen infinitos nmeros primos) se tiene que (n!)
p
no es divisible
por p. Mientras que para i > 0

p i p i p
p
i p C
i
) 2 )( 1 (
)! 1 (
)! 1 (
+ + =

+
,

que, indiscutiblemente, es divisible por p, por lo tanto M no lo es.

Sea ahora

} }


= =
k
k x p p
k
k
k
p
dx e n x x x
dx x f e M
)! 1 (
)] ( ) 1 [(
) (
) ( 1

k = 1, 2, . . . ,n;

haciendo la sustitucin
u = x k
du = dx

se tiene
}

+ + +
=
0
1
)! 1 (
)] ( ) 1 [( ) (
p
du e n k u u k u k u
M
u p p
k

.


Ntese que la expresin entre llaves tiene un factor u en la posicin k, por tanto al elevar a
la p aparece un factor u
p
y este garantiza que el producto

p p
n k u u k u k u )] ( ) 1 [( ) (
1
+ + +



es un polinomio de coeficientes enteros tal que cada uno de sus trminos es de grado
mayor o igual a p. En este polinomio los exponentes de u varan entre p y (n+1)p 1,
entonces se tiene

)! 1 (
)! 1 (
)! 1 (
1
0
1
1

+
=

=

}

+
=
p
i p
D du e u
p
D
M
np
i
i
u i p
np
i
i
k
,

34
donde los D
i
son enteros. Como i comienza en uno, cada uno de los trminos es mltiplo
de p, entonces cada M
k
es un entero mltiplo de p. Adems si definimos

}
=
k
k
k
dx x f e
0
) ( c ,

se tiene M
k
+ e
k
= e
k
M de donde

M
M
e
k k k
c +
= para k = 1, . . . , n;

sustituyendo en (3)

a
n
M
M
n n
c +
+ a
n-1
M
M
n n 1 1
+ c
+ . . . + a
0
= 0.

multiplicando por M y reordenando

[a
n
M
n
+ a
n-1
M
n-1
+ . . . + a
0
M] + [a
n
e
n
+ a
n-1
e
n-1
+ . . . + a
1
e
1
] = 0

Como ya dijimos, esta ecuacin se emplear para obtener una contradiccin haciendo ver
que el parntesis izquierdo contiene un entero no nulo mientras que el derecho puede
hacerse tan pequeo como queramos, lo cual hace que la igualdad sea absurda.

Si adems de la condicin de que p > n se exige que p > |a
0
| se tiene que p no divide a M ni
a a
0
y como p divide a cada M
k
para k = 1,2, . . . , n se tiene que

a
n
M
n
+ a
n-1
M
n-1
+ . . . + a
0
M

es necesariamente un entero no nulo ya que cero es divisible por cualquier nmero.

Por otra parte, si 1 s k s n entonces, por la desigualdad triangular,

}


s

k
x p p
k
k
p
dx e n x x x
e
0
1
)! 1 (
)] ( ) 1 [(
| |

c


}


s

n
x p p
n
p
dx e n x x n
e
0
1
)! 1 (
)] ( ) 1 [(
.


Sea ahora A el mximo de |(x-1).(x-n)| para x en [0, n]. Entonces


35
)! 1 (
) (
)! 1 ( )! 1 ( )! 1 ( )! 1 (
| |
1
0
1
0
1

} }
p
nA e
p
A n e
p
A n e
dx e
p
A n e
dx e
p
A n e
p n p p n p p n
x
p p n n
x
p p n
k
c ,


ya que
}

=
0
1 dx e
x
. Como n y A son fijos (nA)
p
/ (p-1)! puede hacerse tan pequeo como
se quiera tomando p suficientemente grande. Y con esto concluimos las demostraciones de
los detalles que habamos anunciado para llegar a la contradiccin y ver que (1) (pgina
30) es imposible.






































36
VI I I Lindemann

En 1882, nueve aos despus de que Hermite presentara su demostracin de la
trascendencia de e, Lindemann hizo lo propio con la de p. La idea de Lindemann es, en
esencia, una generalizacin de la de Hermite, sin embargo es una generalizacin muy
ingeniosa.

Teorema
8
: p es trascendente.

La demostracin comienza a partir de la conocida identidad

e
ip
+ 1 = 0

Supongamos que p es algebraico, como i lo es, de lo visto en el captulo VI concluimos que
ip tambin lo es, en otras palabras, ip satisfar una ecuacin polinmica de coeficientes
enteros. Sean a
1
, a
2
,, a
n
todas las races de esta ltima ecuacin incluyendo a ip.
Entonces

(1 + e
a1
) (1 + e
a2
) (1 + e
an
) = 0

desarrollando el producto obtenemos

1 + (e
a1
+ e
a2
++ e
an
) + (e
a1+ a2
+ e
a1+ a3
++ e
an-1 + an
) +

+ (e
a1 + a2 ++ an
) = 0 (1)

Algunos de los exponentes pueden ser nulos, esto generar un 1 en cada caso, la suma de
estos unos, ms el inicial, ser llamada a
0
. A los restantes exponentes los llamaremos |
1
,
|
2
,, |
m
y podemos, por tanto, escribir (1) como

a
0
+ e
|1
+ e
|2
++ e
|m
= 0. (2)

De lo visto en el ejemplo 3 del captulo VI sabemos que podemos construir ecuaciones
polinmicas con coeficientes enteros tales que |
i
, 1 i m, sea raz de alguna de ellas.
Multiplicando todas estas ecuaciones obtenemos una cuyas races son |
1
, |
2
,, |
m
.
llegamos as a la ecuacin de grado m, de coeficientes enteros

b
m
z
m
+ b
m-1
z
m-1
+.+ b
1
z + b
0
= 0 donde b
0,
b
m
0. (3)

En la demostracin de la transcendencia de e la integral de Hermite contiene el factor
(x-1)(x-2)(x-n) cuyos ceros son los exponentes de e en la hipottica ecuacin polinmica
que este satisface. Procediendo por analoga escribimos

(z |
1
) (z |
2
)(z |
m
).

8
La demostracin sigue la lnea mostrada en [6].
37

Como |
1
, |
2
,, |
m
son las races de (3) necesariamente se tiene la igualdad

(z |
1
) (z |
2
)(z |
m
) =
m
b
1
( b
m
z
m
+ b
m-1
z
m-1
+.+ b
1
z + b
0
). (4)

Definimos entonces

| |
}



+ + +

=
0
1 ) 1 (
0 1
1
...
)! 1 (
dz b b z b z b
p
z e
M
p m
m
p
m
m
p z
. (5)

El miembro de (5) con el menor exponente para z es


}

=
0
1 ) 1 (
0
1
)! 1 (
dz b b
p
z e
M
p m
m
p
p z
,

que toma el valor, segn las propiedades vistas de la funcin I, de
1 ) 1 (
0
p m
m
p
b b . Los dems
sumandos tienen la potencia z
t
u otras de mayor grado y, por lo tanto, las integrales darn
como resultado, siempre empleando la funcin I, trminos que contendrn a p!/(p - 1)! = p
multiplicado por nmeros enteros y son, en consecuencia, divisibles por p. Tomando a p tal
que p > | b
0
| y p > | b
m
| tenemos que M no es divisible por p. Tambin es posible garantizar
que p no divide a a
0
M tomando p > a
0
.

Buscamos ahora llegar a la expresin

M
M
e
i i i
c
|
+
= , (6)

donde los |
i
pueden ser nmeros complejos (en particular uno de ellos es ip). Esto implica
que la descomposicin de la integral, anloga a la llevada a cabo en la demostracin de la
transcendencia de e, debe ser realizada en el plano complejo. Ubiquemos los puntos |
1
,
|
2
,, |
i,,
|
m
sobre el plano complejo

38

La integral se evala primero sobre el segmento rectilneo que va del origen a |
i
y luego
sobre la semirrecta que parte de este y va hacia el infinito paralela al eje real. Tenemos
entonces

| |
}


+ + +

=
i
dz b b z b z b
p
z e
e
p m
m
p
m
m
p z
i
i
|
|
c
0
1 ) 1 (
0 1
1
...
)! 1 (
,


| |
}



+ + +

=
i
dz b b z b z b
p
z e
e M
p m
m
p
m
m
p z
i
i
|
| 1 ) 1 (
0 1
1
...
)! 1 (
.

Con esto se cumple (6).

Para estimar los c
i
tenemos en cuenta que el valor absoluto de la integral es menor o igual
que el mximo del valor absoluto del integrando multiplicado por la longitud del camino
de integracin que en este caso es | |
i
|. Sea, entonces,


G = max ( )
) 1 (
0 1
...

+ + +
m
m
m
m
b b z b z b z ,

con lo cual

| |
}


+ + +

s
i
dz b b z b z b
p
G e
e
m
m
m
m
p z
i
i
|
|
c
0
2
0 1
1
...
)! 1 (
| | ;

esto es, tenemos el producto de )! 1 /(
1

p G
p
por un factor que es independiente de p, de
ah que, tomando p suficientemente grande, el valor de c
i
,y por lo tanto, el valor de c
1
+ c
2

++ c
n
puede hacerse tan pequeo como se quiera y, en particular, menor que 1.

Pasemos ahora a considerar los M
i
. Tomemos la suma

.|
1

.|
2

.|
3

|
i
.
.|
m

39
| |
}




= =
+ + +

=
i
dz b b z b z b
p
z e
e M
p m
m
p
m
m
p z
i
m
i
i
m
i |
| 1 ) 1 (
0 1
1
1 1
...
)! 1 (
;

si empleamos (4) obtenemos

| |
}


= =

=
i
dz b z z z
p
z e
e M
mp
m
p
m
p z
i
m
i
i
m
i |
| | |
| 1
2 1
1
1 1
) )...( )( (
)! 1 (
.

Haciendo el cambio de variable y = z - |
i


}


= =
+ + +

+
=
0
1
2 1
1
1 1
) ...( ) ...( ) ( ) (
)! 1 (
) (
dy b y y y y
p
y e
M
mp
m
p
m i
p p
i
p
i
p
i
y m
i
i
m
i
| | | | | |
|
,

que podemos escribir como


dy
p
y y e
M
p y
i
m
i
}


=

=
0
1
)! 1 (
) (
, (7)

si definimos

. ) (
... ) ( ) ...( ) ( ) ( ) (
1 1 1
1 1
1
p
m i
p
i i
p
i i
p
i
p
i
mp
m
m
i
y
y y y y b y
| |
| | | | | | |
+
+ + + + =
+

=

(8)

Ahora bien, f(y) es simtrico con respecto a |
1
, |
2
,, |
m
y por lo tanto, como |
1
, |
2
,, |
m

son las races de (3) segn el corolario del teorema fundamental de los polinomios
simtricos (Captulo VI) los coeficientes de f(y) son nmeros racionales.

Como necesitamos nmeros enteros distribuimos
1 mp
m
b entre los dems factores que
aparecen en (8) y obtenemos

. ) ...( ) (
) ...( ) ( ) ( ) (
1
1 1
1
1
p
m m i m m
p
i m i m m
p
i m i m m
p
m i m m
p
i m m
m
i
b b y b b b y b
b b y b b b y b b y b y
| | | |
| | | | |
+ +
+ + + =
+

(9)

Nuevamente f(y) es simtrico con respecto a b
m
|
1
, b
m
|
2
,, b
m
|
m
y por lo tanto, como
b
m
|
1
, b
m
|
2
,, b
m
|
m
son las races de la ecuacin que se obtiene de (3) sustituyendo z por
z / b
m
.

0 ...
0 1
1
1
= +
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+
|
|
.
|

\
|

b
b
z
b
b
z
b
b
z
b
m
m
m
m
m
m
m
,
40

que, multiplicando por
1 m
m
b se transforma en

z
m
+ b
m-1
z
m-1
+ b
m-2
b
m
z
m-2
+.+ b
1
2 m
m
b

z + b
0
1 m
m
b = 0. (10)

El lado izquierdo de (10) es un polinomio mnico, por lo tanto, aplicando nuevamente el
corolario del teorema fundamental de los polinomios simtricos (Captulo VI) concluimos
que los coeficientes de f(y) son nmeros enteros y, entonces, tenemos

f(y) = a
mp - 1
y
mp - 1
+ a
m p - 2
y
m p - 2
+.+ a
1
y + a
0

con lo que (7) se transforma en

dy a y a y a y a y e
p
M
mp
mp
mp
mp
p y
i
m
i
}

=
+ + + +

=
0
0 1
2
2
1
1
1
) ... (
)! 1 (
1
.

Si distribuimos y efectuamos las integrales aparecen los factores p!, (p+1)!, (p+2)!,...,(mp -
1)! que al ser divididos por (p - 1)!, dan como resultado unos productos de enteros en
todos los cuales aparece el factor p, en consecuencia
i
m
i
M

=1
es un nmero entero mltiplo
de p.
Como ya vimos a
0
M no es divisible por p, en consecuencia, a
0
M +
i
m
i
M

=1
tiene que ser
necesariamente un entero no divisible por p y, por tanto, diferente de cero. Este hecho nos
sirve para llegar de forma inmediata a una contradiccin, ya que si empleamos (6) en (2)
obtenemos

=
=
+
+
m
i
i i
M
M
a
1
0
0
c
,

que, multiplicando por M queda

0
1 1
0
=
)
`

+
)
`

+

= =
m
i
i
m
i
i
M M a c .

Pero esta ecuacin es imposible ya que la suma de un entero no nulo y
)
`

=
m
i
i
1
c , que, como
vimos, es menor que 1 en valor absoluto, no puede ser 0. Por lo tanto p es trascendente.

El siguiente es el comentario que hace Felix Klein a las dos demostraciones anteriores: Si
ustedes analizan otra vez en detalle estas demostraciones de trascendencia, seran capaces
de comprender estos pasos sencillos y elementales como un todo e interiorizarlos como
propios. Lo nico que es preciso confiar a la memoria es la integral de Hermite, todo lo
dems se desarrolla de un modo totalmente natural.
41
I X Cantor
9


En 1874, es decir un ao despus de que Hermite demostrara la trascendencia de e y ocho
antes de que Lindemann hiciera lo propio con p, Cantor enfrent el problema de la
existencia de los nmeros trascendentes mediante un enfoque completamente diferente.
Hasta el momento solo era conocida la trascendencia de los nmeros de Liouville,
construidos por este para tal fin, y la de e. La idea de Cantor consisti en demostrar que los
nmeros algebraicos constituyen un conjunto numerable. Al ser C un conjunto no
numerable que se obtiene de la unin de los nmeros trascendentes con los algebraicos se
tiene que, necesariamente, los nmeros trascendentes constituyen un conjunto no
numerable. La demostracin, comparada con el trabajo de Liouville, es de una sencillez
impresionante, sin embargo, sus conclusiones son mucho mas fuertes: no solo demuestra la
existencia de nmeros trascendentes sino que adems permite ver que hay mas nmeros
trascendentes que algebraicos en el sentido de constituir los primeros un conjunto con
cardinal igual al del continuo en tanto que los segundos son numerables. Se ha hecho,
empero, una objecin a este enfoque: la demostracin de Cantor no es constructiva, nos
prueba que los nmeros trascendentes constituyen un infinito no numerable pero no exhibe
uno solo de ellos. Mostraremos ideas desarrolladas en el artculo que defienden una
opinin diferente.


Teorema (de Cantor): el conjunto de los nmeros algebraicos es numerable.

Demostracin: a cada ecuacin de la forma

a
n
x
n
+ a
n-1
x
n-1
+.+ a
1
x + a
0
= 0 n > 1, a
n
= 0 (1)

se le asocia el entero positivo

h = |a
n
| + | a
n-1
|

++ | a
1
| + | a
0
| + n;

se dice que h es la altura de la ecuacin (1). Fijado h existe nicamente un conjunto finito
de ecuaciones de tipo (1) que tengan a h como su altura. Por el teorema fundamental del
lgebra a cada una de stas ecuaciones corresponden, a lo ms, n races. En consecuencia
es posible ordenar los nmeros algebraicos comenzando con los que corresponden a
ecuaciones de altura 2 (no existen ecuaciones de altura 1), luego a ecuaciones de altura 3 y
as sucesivamente. Con esto queda demostrado el teorema.


La demostracin de Cantor puede hacerse constructiva?

En principio, como ya anotamos, la demostracin de Cantor se consider no constructiva,
sin embargo Robert Gray tiene una opinin contraria. Su artculo responde la pregunta es

9
Este captulo es, en esencia, mi versin y comentarios del artculo [9].

42
posible generar un nmero trascendente a partir de la idea de Cantor? El artculo de Robert
Gray comienza con estas dos citas al respecto:

El contraste entre los mtodos de Liouville y Cantor es sorprendente, estos mtodos
proveen una excelente ilustracin de dos aproximaciones sumamente diferentes a la
prueba de la existencia de objetos matemticos. Liouville es puramente constructivo;
Cantor es puramente existencial.
-Mark Kac y Stanislaw M. Ulam

En ocasiones algunos han afirmado que el mtodo de Cantor no es constructivo, y
no puede proporcionar un nmero trascendente explcito. Las palabras de E.T. Bell
son tpicas:

Lo ms notable de la prueba de Cantor es que no provee un medio con el cual
se pueda construir un nmero trascendente particular.

Esto no es cierto. La idea de Cantor puede ser usada para construir completa-
mente un nmero trascendente.
-I. N. Herstein y Kaplansky

El procedimiento para obtener un nmero trascendente a partir de la idea de Cantor es el
siguiente: de la sucesin de nmeros algebraicos, implcita en la demostracin de Cantor,
se extrae la subsucesin {a
n
} formada por aquellos elementos que pertenecen al intervalo
(0, 1). A esta sucesin se le aplica el proceso de la diagonal de Cantor: el nmero as
obtenido es necesariamente trascendente. Es claro que ste nmero depende del orden
particular en el que se haya tomado la sucesin. En otras palabras, ordenaciones diferentes
producirn, en general, nmeros diferentes. Cules nmeros trascendentes en (0, 1)
pueden ser generados de esta forma? La sorprendente respuesta del artculo es: todos.

Emplearemos la siguiente notacin y terminologa: b(n) denota el n-simo trmino
decimal en la representacin binaria de un nmero real b.

Definicin: Dada la sucesin {b
n
} = {b
1
, b
2
, b
3
,} de nmeros en base 2, se define el
nmero diagonal d de la sucesin, obtenido mediante la siguiente regla

d(n) = 1 b
n
(n).


Cuando se afirme que una sucesin consta de todas las representaciones binarias de
nmeros reales algebraicos se est queriendo decir que tal sucesin contiene las dos
representaciones binarias que posee cada uno de sus miembros. Por ejemplo: tiene las
dos representaciones binarias siguientes: 0.1 y 0.01111111


Teorema: un nmero real en el intervalo (0, 1) es trascendente, si y solo si, es el nmero
diagonal de una sucesin que consiste de todas las representaciones binarias de los
nmeros reales algebraicos en (0, 1).

43
Demostracin: mediante la argumentacin en la que descansa el proceso diagonal de
Cantor queda establecido que el nmero diagonal de la mencionada sucesin es
trascendente.

Supongamos ahora que t e (0, 1) es trascendente (t representado en base 2). Sea {a
n
} una
sucesin que consta de todas las representaciones binarias de todos los nmeros reales
algebraicos que pertenecen al intervalo (0, 1). Se definir una sucesin {b
n
} que es una
permutacin de {a
n
} y que tiene a t como su nmero diagonal.

Se busca el primer a
k
tal que a
k
(1) = t(1). El xito de esta bsqueda est garantizado por
las dos representaciones binarias de ya que una de ellas comienza con 1 y la otra con 0.
Una vez encontrado el a
k
se marca como usado y se hace la asignacin b
1
= a
k
.
Supongamos ahora que, de la misma manera, se han determinado b
1
, b
2
,,b
n-1
, para ob-
tener el b
n
adecuado se determina el primer a
k
no usado tal que a
k
(n) = t(n). Si t(n) = 0 el
xito de la bsqueda esta garantizado por el conjunto de nmeros

)
`

s s +
+
n i
i n n
1
2
1
2
1


ya que la representacin binaria de todos ellos tiene un 1 en el n-simo lugar y al menos
uno de ellos no ha sido usado. De manera anloga si t(n) = 1 el xito de la bsqueda est
garantizado por el conjunto de nmeros

)
`

s s
+
n i
i n
1
2
1


Luego de determinado el a
k
se marca como usado y se hace la asignacin b
n
= a
k..

Para completar la prueba es necesario demostrar que {b
n
} es efectivamente una
permutacin de {a
n
}. Para ello supongamos que algunos a
n
no han sido usados. Sea a
k
el
elemento no usado con el menor ndice. Ahora cada a
i
con i < k fue usado para definir
algn b
j
. Sea N mayor que los ndices de estos b
j
. (Si k = 1 entonces no existen tales b
j
y
puede hacerse N = 1). Recurdese que en el procedimiento que determina los b
j
siempre se
busca el primer a
k
que cumple la condicin a
k
(n) = t(n), por lo tanto si a
k
nunca fue usado
es porque se tiene la igualdad a
k
(n) = t(n) para todo n > N. Entonces z = t a
k
es
racional (ya que tendra una expansin binaria finita). Pero entonces, como todo nmero
racional es algebraico, t = a
k
+ z sera algebraico, lo cual es una contradiccin. Por lo tanto
{b
n
}es una permutacin de {a
n
}.

Hasta aqu las muy interesantes ideas contenidas en el artculo.


Otras observaciones


El artculo trae adems una discusin acerca de la manera de implementar un programa de
computador que genere los primeros decimales de un nmero trascendente siguiendo el
44
proceso antes sealado. Incluso muestra la salida del programa en la que aparecen los
mencionados dgitos. Encuentro injustificado tanto esfuerzo en razn a que es posible
construir un nmero trascendente cuyos primeros dgitos decimales sean arbitrarios. La
razn de esto es que propiedades como la irracionalidad o la trascendencia de un nmero
a
0
.a
1
a
2
a
3
dependen de la cola de dgitos que aparecen desde una posicin determinada
y no de los primeros. Ilustro la idea: sea z el nmero obtenido a partir de p truncndolo en
sus primeras cien cifras decimales, y sea b = p z. Esto es b se expresa como un nmero
cuya parte entera es cero, sus primeros cien decimales son ceros tambin y de la posicin
101 en adelante coincide con los decimales de p. El nmero z tiene finitos decimales y por
lo tanto es racional (y algebraico) en consecuencia b es, necesariamente, irracional (y
trascendente) pues de no serlo p = b + z sera racional (y algebraico). Tenemos que hacer
una clara distincin: las propiedades prcticas de p (desde sus aplicaciones geomtricas
hasta el papel que juega en la frmula de la distribucin normal etc.) estn contenidas en z.
En tanto que sus propiedades tericas como el hecho de ser irracional o trascendente estn
contenidas en b. El espritu deportivo como lo califica Klein, que ha llevado a calcular p
(o e, o f) con millones de cifras decimales tiene el valor psicolgico de que en los primeros
dgitos de tales expansiones est contenida la propiedad que hace importante la existencia
de tal nmero, cada cifra adicional que se calcula puede entenderse como un aumento en la
precisin de la expresin decimal del nmero. En cambio la expansin decimal de un
nmero trascendente artificial creado mediante el proceso diagonal de Cantor no reviste
ningn inters ya que la propiedad de la trascendencia est contenida en la inasible cola
de decimales. Podemos, como deca antes, construir un nmero trascendente que comience
con nmeros arbitrarios simplemente hacindolo coincidir con la expansin de p a partir de
una posicin determinada.




















45
X Weierstrass


Como ya vimos, Hermite, en 1873, logra demostrar que la igualdad

a
n
e
n
+ a
n-1
e
n-1
+ . . . + a
0
= 0,

donde todos los a
i
son enteros, implica que a
i
= 0 cualquiera que sea i.

Lindemann escribe a Hermite (en una carta que ser publicada en 1882) que l
(Lindemann) ha generalizado doblemente tal resultado en cuanto lo demuestra en el caso
en que tanto los coeficientes como los exponentes son nmeros algebraicos.

Al terminar la nota Lindemann escribe: De donde, estas consecuencias particulares

- El numero t, razn de la circunferencia al dimetro, es un nmero trascendente.
- Los logaritmos neperianos de todos los nmeros racionales, exceptuando la unidad,
y de todos los irracionales algebraicos, son nmeros trascendentes.

Este hecho no es demostrado por Lindemann sino por Weierstrass en 1885. Es el llamado
teorema de Lindemann-Weierstrass.

Como consecuencias de este teorema tenemos las trascendencias de e y de t (este hecho
implica que tambin sean nmeros irracionales), el hecho de que la funcin exponencial y
su inversa, as como tambin las trigonomtricas y las trigonomtricas hiperblicas; as
como sus inversas, asignan nmeros trascendentes a argumentos algebraicos diferentes de
0 (y algunas veces de 1 en el caso de las inversas).

Teorema de Lindemann-Weierstrass: dados cualesquiera nmeros algebraicos
distintos o
1
,, o
n
la ecuacin

0
1
=

=
n
i
i
i
e a
o
(1)

es imposible si los a
i
son nmeros algebraicos no todos cero.

La demostracin de este teorema requiere de una buena cantidad de herramientas que
expondremos primero.

Lema 1: consideremos los n polinomios P
1
, P
2
,, P
n
en y
1
, y
2
,, y
m


P
j
= f
1
(x
j
)y
1
+ f
2
(x
j
)y
2
++ f
m
(x
j
)y
m
j = 1, 2,, n,

con coeficientes f
i
(x
j
) donde todos los f
i
(x) son polinomios sobre cualquier campo F. El
producto de todos estos polinomios tiene por coeficientes polinomios simtricos en x
1
,
x
2
,, x
n
.
46

Demostracin: el producto P
1
, P
2
,, P
n
puede escribirse como

P
1
P
2
, P
n
=

s s s
n
n
i i i
i i i n
y y y x x x c
...
2 1
2 1
2 1
... ) ,..., , ( , 1 s i
j
s m. (2)

Tenemos que demostrar que cada coeficiente c(x
1
, x
2
,, x
n
) es un polinomio simtrico en
x
1
, x
2
,, x
n
. Cualquier permutacin de x
1
, x
2
,, x
n
aplicada a (2) deja invariante el lado
izquierdo porque equivale, simplemente, a permutar los polinomios P
1
, P
2
,, P
n
, por tanto
tal permutacin deja invariante el lado derecho as que cada coeficiente c(x
1
, x
2
,, x
n
)
debe permanecer invariante .


Definicin: Supongamos que u es algebraico sobre el campo numrico F, consideremos
todos los polinomios sobre F de los cuales u es raz. Sea p(x) un polinomio de los
considerados que tenga el menor grado. Podemos dividir a p(x) entre su coeficiente
principal as que podemos asumir que p(x) es mnico. p(x) es llamado un polinomio
minimal de u sobre F.

Nota: p(x) es irreductible sobre F, en caso contrario u satisfara un polinomio de grado
menor.

Teorema 1: si u es algebraico sobre F, entonces u tiene un nico polinomio minimal.

Demostracin: sea p(x) un polinomio minimal de u sobre F y q(x) cualquier otro
polinomio sobre F que tiene a u como raz. Entonces, por el algoritmo de la divisin,
existen g(x) y h(x) tales que

q(x) = g(x) p(x) + h(x),

donde h(x) 0 o h(x) es de grado menor que p(x). Como p(u) = q(u) = 0 entonces h(u) =
0 lo que implica que h(x) 0 ya que en caso contrario p(x) no sera minimal. Entonces
p(x) | q(x). Ahora si q(x) fuera cualquier otro polinomio minimal de u sobre F, el mismo
argumento muestra que q(x) | p(x) entonces p(x) = cq(x) pero como ambos son mnicos,
necesariamente se tiene que p(x) = q(x).

Gracias a este resultado nos podemos referir a el polinomio minimal.

Contenido dentro de la demostracin del teorema 1 est el siguiente corolario.

Corolario 1: cualquier polinomio que tiene a u como raz contiene el polinomio minimal
de u como factor.

Corolario 2: un polinomio de grado n irreducible sobre F tiene n races distintas.

Demostracin: supongamos que el polinomio irreducible f (x) tiene una raz r de
multiplicidad 2 o superior. En cualquiera de los casos podemos escribir:
47
f (x) = a(x r)
2
g(x).

Derivando obtenemos f (x) = a(x r)
2
g(x) + 2a(x r)g(x). De donde f (r) = 0. Pero, segn
el corolario 1, f debe ser un mltiplo constante del polinomio minimal de r, pero esto es
imposible ya que el grado de f es menor que el grado de f.



Extensin de un campo

Definicin: Sea F un campo; cualquier campo K que contiene a F es llamado una
extensin de F.

Definicin: si u es algebraico sobre F, entonces al campo ms pequeo que contiene a F
y a u se le denomina extensin algebraica simple de F. Sea K tal campo, entonces
escribimos K = F(u). K consta de todos los cocientes f (u) / g(u) donde f (x) y g(x) son
polinomios arbitrarios sobre F con g(u) 0.

Teorema 2: todo elemento oe F(u) se puede representar de manera nica en la forma

o = a
0
+ a
1
u ++ a
n-1
u
n-1
= r(u),

donde los a
i
e F y n es el grado de u.

Demostracin: sea o = f (u) / g(u) donde g(u) 0 y sea p(x) el polinomio minimal de u
sobre F. Entonces p(x) es irreducible y p(x) g(x) ya que, en caso contrario, g(u) = 0.
Entonces p(x) y g(x) son primos relativos, por lo tanto existen polinomios s(x) y t(x) tales
que

s(x) p(x) + t(x) g(x) = 1;

sea x = u; como p(u) = 0 entonces t(u) = 1 / g(u) as que o = f (u) / g(u) = f (u)t(u).
Hacemos h(u) = f (u)t(u) y tenemos, entonces,

o = h (u).

Ahora, por el algoritmo de la divisin h(x) = q(x) p(x) + r(x) donde r(x) 0 o r(x) es de
grado menor que p(x). Como p(u) = 0 entonces o = h(u) = r(u). Entonces o se puede
representar como un polinomio de grado, a lo ms, n 1.
Para ver la unicidad supongamos que tambin se tiene que o = r
1
(u) donde r
1
(x) e F[x] es
de grado, a lo ms, n 1. Entonces r(u) - r
1
(u) = 0, por lo tanto, u es raz del polinomio
r(x) - r
1
(x), pero como u no satisface ningn polinomio de grado menor que n
necesariamente r(x) r
1
(x).

48
Corolario 3: si k e F y k = p(u) donde p(x) es un polinomio con coeficientes en F de
grado, a lo ms, n-1, entonces necesariamente p(x) = k, es decir, necesariamente p es un
polinomio constante.

Demostracin: q(x) = k es un polinomio de grado a lo ms, n 1 n > 0 tal que k
= q(u); como, segn el teorema 2, tal polinomio es nico necesariamente p(x) =
q(x) = k.

El teorema 2 puede generalizarse de la siguiente manera.

Teorema 3: todo elemento oe F(u
1
, u
2
,...,u
n
) puede representarse como un polinomio en
u
1
, u
2
,...,u
n
con coeficientes en F.

Demostracin: veamos el caso para n = 2. Supongamos que oe F(u
1
, u
2
) como F(u
1
,
u
2
) puede verse como (F(u
1
)) u
2
) entonces, por el teorema 2, o puede representarse como
un polinomio en u
2
con coeficientes en F(u
1
). Ahora cada uno de estos coeficientes,
nuevamente por el teorema 2, puede representarse como un polinomio en u
1
con
coeficientes en F. Al reemplazar, en la representacin de o como polinomio en u
2
, cada
uno de los coeficientes por el polinomio que lo representa obtenemos una representacin
de o como un polinomio en u
1
, u
2
con coeficientes en F.


Definicin: Si F es un campo y o
1
,, o
n
son nmeros algebraicos sobre F, al campo
ms pequeo que contiene a F y a los o
i
se le denomina extensin algebraica mltiple de
F. Sea K tal campo, escribimos entonces K = F(o
1
,, o
n
).

Teorema 4: toda extensin algebraica mltiple de F es una extensin algebraica simple
de F.

Demostracin: es suficiente demostrar que F(o, |) es simple, esto es, que existe u
algebraico sobre F tal que F(o,|) = F(u) ya que K = F(o
1
, o
2
, o
3
) = F(u, o
3
) y as
sucesivamente para extensiones con ms elementos.
Sean o = o
1
,, o
r
; | = |
1
,, |
s
conjugados entre si sobre F. Por el corolario 2 sabemos
que si k 1 entonces |
k
|. Por lo tanto para todo i y para todo k 1 la ecuacin
o
i
+ x |
k
= o + x |


tiene, a lo ms, una solucin para x en F. Como existe nicamente un nmero finito de
tales ecuaciones tenemos, entonces, nicamente un nmero finito de soluciones x,
podemos, por lo tanto, elegir un nmero c 0 en F diferente a todas las soluciones x.
Entonces
o
i
+ c |
k
o + c |

para todo i y para todo k 1. Sea u = o + c |, veamos que F(u) = F(o, |).
Sea x e F(u), entonces por el teorema 2

x = a
0
+ a
1
u ++ a
n-1
u
n-1

49
= a
0
+ a
1
(o + c |) ++ a
n-1
(o + c |)
n-1
;

entonces x e F(o,|) y as F(u) c F(o,|).

Para ver la otra contenencia veamos que o e F(u) y | e F(u). Bastar con hacer uno de los
casos. Sean f (x) y g(x) los polinomios minimales de o y | respectivamente. Como f (u -
c |) = f (o) = 0 entonces g(x) y f (u - cx) tienen nicamente la raz | en comn, ya que las
races de g(x) son |
1
,, |
s
y si f (u - c|
i
) = 0 para algn i 1 entonces u - c|
i
sera alguno
de los o
j
, tendramos en ese caso u - c|
i
= o
j
, o sea o + c | = o
j
+ c|
i
lo cual contradice la
manera como se eligi c.

Ahora, g(x) y f (u - cx) son polinomios en x con coeficientes en F(u) que tienen
exactamente una raz (|) en comn. Sea h(x) el polinomio minimal de | sobre F, entonces
por el corolario 1 h(x) | g(x) y h(x) | f (u - cx). El grado de h(x) no pude ser superior a 1 ya
que, en caso contrario, g(x) y f (u - cx) tendran mas de una raz en comn. As h(x) =
x + o donde y o estn en F(u). Pero h(|) = 0 entonces | + o = 0 y, en consecuencia
| = o / de donde | e F(u).


Definicin: la extensin algebraica Q(u) se dice normal sobre Q si siempre que
cualquier polinomio irreducible sobre Q que tiene una raz en Q(u) tiene todas sus races
en Q(u).

Teorema 5: dados cualesquiera nmeros algebraicos o
1
,, o
n
existe un nmero
algebraico u tal que la extensin Q(u) contiene al campo Q(o
1
,, o
n
) y es normal sobre
Q.

Demostracin: en primer lugar el teorema 4 nos garantiza la existencia de un nmero
algebraico sobre Q tal que Q() = Q(o
1
,, o
n
). Sea h(x) el polinomio minimal de con
coeficientes en Q y sean =
1
,
2
,,
m
las races de h(x). Nuevamente el teorema 4 nos
garantiza la existencia de un nmero u algebraico sobre Q tal que Q(u) = Q(
1
,
2
,,
m
)
Q() = Q(o
1
,, o
n
).

Veamos que Q(u) es normal. Sea g(x) un polinomio mnico irreducible que tiene una raz
en Q(u), entonces g(x) es el polinomio minimal de . Por el teorema 3, es un
polinomio en
1
,
2
,,
m
con coeficientes en Q, sea = f (
1
,
2
,,
m
). Definimos el
polinomio

( )
[
= ) ,..., , ( ) (
2 1 m
i i i
f x x G

de grado m! en x donde el producto es tomado sobre todas las permutaciones i
1
, i
2
,, i
m
de
1,2,, m. Los coeficientes de G son polinomios simtricos en
1
,
2
,,
m
y, adems, son
nmeros racionales segn el corolario al teorema fundamental de los polinomios simtricos
del captulo VI del presente texto. Los polinomios G(x) y g(x) tienen la raz en comn
entonces, segn el corolario 1, el polinomio minimal g(x) es un factor de G(x), pero todas
50
las races de G(x) estn en Q(u) y as, todas las races de g(x) estn en Q(u). Con esto
termina la demostracin.
Sea u un nmero algebraico de grado n sobre Q, entonces u satisface la ecuacin

f (x) = x
n
+ b
1
x
n - 1
+ b
2
x
n - 2
++ b
n
= 0. (3)

irreducible sobre Q. Sean u = u
(1)
, u
(2)
,, u
(n)
las races de f. Si Q(u) es normal sobre Q
entonces todas las races estn en Q(u) y, por lo tanto, segn el teorema 2, podemos
escribir
u
(i)

= h
i
(u) i = 1, 2,, n, (4)

donde cada h
i
(u) es un polinomio en u de grado, a lo mas, n 1, con coeficientes en Q. Los
polinomios simtricos elementales en h
1
(u), h
2
(u),,h
n
(u) o, lo que es lo mismo, en
u
(1)
, u
(2)
,, u
(n)
son tambin polinomios en u con coeficientes en Q. De acuerdo con las
frmulas de Vieta (captulo VI) estos polinomios simtricos elementales toman los valores
- b
1
, b
2
, -b
3
,,(-1)
n
b
n
.

Ms precisamente:

-b
1
= h
1
(u) + h
2
(u) + + h
n
(u);

si hacemos p(x) = h
1
(x) + h
2
(x) ++ h
n
(x) entonces tenemos

-b
1
= p(u)

como los h
i
(x) son todos de grado, a lo mas, n 1, entonces p(x) tambin lo es y, segn el
corolario 3, p(x) = - b
1
. Y, en consecuencia, p(u
i
) = - b
1
i = 1,2,, n.

Tenemos tambin que

b
2
= h
1
(u)h
2
(u) + h
1
(u)h
3
(u) ++ h
n-1
(u)h
n
(u);

en principio
h
1
(u)h
2
(u) + h
1
(u)h
3
(u) ++ h
n-1
(u)h
n
(u) (5)

no es, en general, un polinomio de grado, a lo ms, n 1, sin embargo como u satisface (3)
obtenemos la igualdad

u
n
= - b
1
u
n - 1
- b
2
u
n - 2
-- b
n
,

mediante ella podemos eliminar de (4) la potencia n y superiores expresando as a (5)
como un polinomio de grado, a lo ms, n 1. De nuevo empleando el corolario 3
concluimos que

b
2
= h
1
(x)h
2
(x) + h
1
(x)h
3
(x) ++ h
n-1
(x) h
n
(x);
y, en consecuencia

51
b
2
= h
1
(u
i
)h
2
(u
i
) + h
1
(u
i
)h
3
(u
i
) ++ h
n-1
(u
i
)h
n
(u
i
) i = 1,2,, n.

Un argumento similar aplicado a los dems polinomios simtricos nos permite concluir que
los nmeros h
1
(u
i
), h
2
(u
i
),,h
n
(u
i
) para i = 1,2,, n, satisfacen las frmulas de Vieta y, en
consecuencia, por el teorema recproco de las frmulas de Vieta (captulo VI), son races
de (3).

En otras palabras: hemos concluido que los nmeros h
1
(u
i
), h
2
(u
i
),,h
n
(u
i
) para i = 1,2, ,
n, son los mismos u
(1)
, u
(2)
,, u
(n)
en algn orden.

Como consecuencia de este anlisis enunciamos este resultado ms general

Lema 2: sea Q(u) una extensin normal algebraica de grado n sobre Q, y sean u =
u
(1)
, u
(2)
,, u
(n)
los conjugados de u. Entonces estos conjugados, vistos como polinomios
de u, son permutados al substituir u por u
(i)
. De manera ms general, si F(x) e Q [x]
entonces el conjunto

F(u
(1)
), F(u
(2)
),, F(u
(n)
) (6)

es permutado al substituir u por u
(i)
.

Demostracin: el conjunto (6) puede ser visto como un conjunto de polinomios en
u gracias a (4). El reemplazo de u por u
(i)
permuta los conjugados u
(1)
, u
(2)
,, u
(n)
segn el
argumento que precede al lema. Y, en consecuencia, permuta los valores en (6).

Cualquier elemento de Q(u) es un polinomio en u con coeficientes racionales de grado, a
lo ms, n - 1. Sea = F(u), entonces los valores en (6) son llamados los conjugados de
sobre el campo Q(u). Estos conjugados tambin se escriben como =
(1)
,
(2)
,,
(n)
.
Los polinomios simtricos elementales en
(1)
,
(2)
,,
(n)
son, a su vez, polinomios
simtricos elementales en u
(1)
, u
(2)
,, u
(n)
y, en consecuencia, son nmeros racionales. Si
aplicamos el teorema recproco de las frmulas de Vieta podemos construir una ecuacin
polinmica con coeficientes racionales que tenga a y a sus conjugados como races. Si
multiplicamos esta ecuacin por el mnimo comn mltiplo de los denominadores nos
quedan coeficientes enteros. Hemos demostrado as el

Lema 3: cualquier elemento de Q(u) y sus conjugados sobre Q(u) satisfacen una
ecuacin polinomial g(x) = 0 de grado n con coeficientes enteros.

Lema 4: consideremos las funciones

=
=
m
j
j
j
x a x f
1
) (
o
,

=
=
t
j
j
j
x b x g
1
) (
|
,

donde los coeficientes a
j
y b
j
son nmeros complejos diferentes de 0 y los exponentes o
j
y
|
j
son nmeros algebraicos. Supongamos tambin que los o
j
son diferentes entre s, lo
52
mismo que los |
j
. Entonces el producto f (x)g(x) tiene al menos un coeficiente diferente de
0.

Demostracin: aplicando el teorema 5 a los nmeros o
1
,, o
m
, |
1
,, |
t
tenemos un
campo normal Q(u) que contiene a todos estos nmeros. Sea n el grado del campo Q(u).
Por el teorema 2 para cada j (1 j m) podemos escribir

o
j
=

=
1
0
n
i
ji
i
r u ,

donde los r
ji
e Q. Ordenamos estos o
j
segn la siguiente regla lexicogrfica: o
j
precede a
o
k
si r
j0
> r
k0
, en el caso en que r
j0
= r
k0
debe tenerse que r
j1
> r
k1
, si tambin r
j1
=
r
k1
debe cumplirse que r
j2
> r
k2
y as sucesivamente, en algn momento la desigualdad ser
estricta debido a que los o
j
son diferentes. Consecuentes con este orden reordenamos los
ndices de tal manera que o
1
sea el primero de los o
j
y |
1
sea el primero de los |
j
. Entonces
o
1
+ |
1
ser el primero entre todas las sumas o
j
+ |
k
. As en el producto f (x)g(x) el trmino
a
1
b
1
x
oj + |k
no puede ser combinado o cancelado con otros trminos.


Antes de demostrar el teorema de manera general vamos a demostrar un caso especial.

Teorema 6: dados cualesquiera nmeros algebraicos distintos o
1
,, o
m
los valores e
o1
,
e
o2
,, e
om
son linealmente independientes sobre el campo Q.

Demostracin: supongamos que existen nmeros racionales a
1
,, a
m
diferentes de
cero tales que

0
1
=

=
m
i
i
i
e a
o
. (7)

Adems multiplicando por el mnimo comn mltiplo de los denominadores podemos
obtener coeficientes enteros. Aplicando el teorema 5 obtenemos un campo normal Q(u)
que contiene a o
1
,, o
m
. Sea n el grado del campo Q(u). Por el teorema 2 para cada j (1
j m) podemos escribir
o
j
=

=
1
0
n
i
ji
i
r u ,

donde los r
ji
e Q. Sean u = u
(1)
, u
(2)
,, u
(n)
los conjugados de u y as los conjugados de o
j

sobre Q(u) son

( )

=
=
1
0
) ( ) (
n
i
i
k
ji
k
j
r u o , j = 1,2,,m, k = 1,2,, n.

53
Cada u
(k)
es, como u, un nmero algebraico de grado n; as estas expresiones polinmicas
son nicas en u
(k)
. Por lo tanto la hiptesis de que los a
i
son distintos implica que para k
fijo los
) (k
j
o son distintos.

Formamos ahora el producto

[
= = =
=
m
j
r
j
j j
n
k
c a
1 0
j
(k)
j
1
) exp( ) exp( . (8)

Este producto es igual a cero en razn a (7) y al hecho de que
j j
o o =
) 1 (
. El lado derecho
es el resultado del lado izquierdo luego de hacer todas las operaciones y simplificaciones
por lo tanto los |
j
son todos diferentes. Como los a
j
son nmeros enteros de la misma
manera lo son los c
j
. Adems como los a
j
son diferentes de 0 entonces por el lema 4 hay al
menos un c
j
diferente de 0, llammosle c
0
.

Para un valor fijo de j, los n conjugados
) (k
j
o son permutados por la sustitucin de u por u
(i)

de acuerdo al lema 2. Por lo tanto la sustitucin de u por u
(i)
simplemente permuta los
factores en (8) y por lo tanto reemplaza cada
j
por el conjugado
) (

i
j
. Entonces (8)
implica

= = =
= = =
r
j
n
j j
r
j
j j
r
j
j j
c c c
0
) (
0
) 2 (
0
) 1 (
) exp(( ... ) exp(( ) exp(( = 0. (9)

Como habamos mencionado los
) 1 (

j
son distintos esto implica que los
) (

i
j
son distintos
para i fijo.

Multiplicamos ahora la primera suma en (9) por exp(
(1)
0
- ),la segunda suma por
exp(
(2)
0
- ),, la ltima suma por exp(
) (
0
-
n
) y obtenemos:


= = =
= = =
r
j
n n
j j
r
j
j j
r
j
j j
c c c
0
) (
0
) (
0
) 2 (
0
) 2 (
0
) 1 (
0
) 1 (
) exp( ... ) exp( ) exp( = 0. (10)

Definimos
) (
0
) ( ) (

i i
j
i
j
= i = 1,2,, n j = 1,2,, r. (11)
Como los
) (

i
j
son distintos para i fijo entonces los
) (i
j
son diferentes de 0. Podemos
entonces escribir (9) como


= = =
+ = = + = +
r
j
n
j j
r
j
j j
r
j
j j
c c c c c c
0
) (
0
0
) 2 (
0
1
) 1 (
0
) exp( ... ) exp( ) exp( = 0. (12)

Ahora por el lema 3 los conjugados
) 1 (
j
, ,...,
) 2 (
j

) (n
j
son races de un polinomio con
coeficientes enteros, sea este
54
g
j
(z) = b
j
z
n
+ = b
j
[
=

n
i
i
j
z
1
) (
) ( j = 1, 2,., r (13)
podemos tomar los enteros b
j
> 0. Adems como los
) (i
j
son diferentes de 0 entonces los
trminos constantes de estos polinomios son nmeros enteros diferentes de 0.

Para cualquier polinomio f (z) definimos:

F(z) = f (z) + f (z) + f
(2)
(z) +

entonces

(F(z)e
- z
) = F(z)e
z
- F(z)e
z
= e
- z
(F(z) - F(z)) = - f (z)e
z
;

integrando a ambos lados entre 0 y
) (i
j


F(
) (i
j
)exp(
) (i
j
)

- F(0) =
}

) (
0
) (
i
j
dz e z f
z

;
multiplicando por

exp(
) (i
j
)



F(
) (i
j
)

-

exp(
) (i
j
)

F(0) = -

exp(
) (i
j
)
}

) (
0
) (
i
j
dz e z f
z

.

Multiplicando cada ecuacin as obtenida por c
j
y sumando sobre i = 1,, n y j = 1,, r

= =
r
j
n
i
i
j j
F c
1 1
) (
) (

-

F(0)

= =
n
i
r
j
i
j j
c
1 1
) (
) exp(

= -

= =
r
j
n
i
j
c
1 1
exp(
) (i
j
)
}

) (
0
) (
i
j
dz e z f
z

.


Ahora aplicamos (12) al segundo trmino y obtenemos



= =
|
.
|

\
|
r
j
n
i
i
j j
F c
1 1
) (
) ( + nc
0
F(0) = -

= =
r
j
n
i
j
c
1 1
exp(
) (i
j
)
}

) (
0
) (
i
j
dz e z f
z

. (14)

Definimos ahora el polinomio f (z) de esta manera

p
r
j
j
p prn
r
z g
p
z b b b
z f
|
|
.
|

\
|

=
[
=

1
1
2 1
) (
)! 1 (
) ... (
) ( , (15)

donde p es un nmero primo que determinaremos de tal manera que el lado izquierdo de
(14) sea un entero no nulo en tanto que el lado derecho sea, en valor absoluto,
55
arbitrariamente pequeo. Notemos que f (z) es, sencillamente, un polinomio en z de grado
prn + p 1.

Teniendo en cuenta la presencia del factor h(z) = z
p-1
en f (z), la regla de Leibniz
10
y el
hecho de que

>
=
<
=

, 1 0
1 )! 1 (
1 ) )...( 2 )( 1 (
) (
1
) (
p j
p j p
p j z j p p p
z h
j p
j

lo cual implica que

=
=
=
1 0
1 )! 1 (
) 0 (
) (
p j
p j p
h
j

deducimos que

f (0) = f (0) = f
(2)
(0) = = f
(p-2)
(0) = 0,

y que

f
(p-1)
(0) =
[
=
r
j
p
j
prn
r
g b b b
1
2 1
)) 0 ( ( ) ... ( .

Escogemos ahora p > b
j
y p > g
j
(0) para j = 1,2,, r, en consecuencia p no es divisor
del entero no nulo f
(p-1)
(0).

Por otra parte para t > p se tiene que f
(t)
(0) es un entero divisible por p. Para ver esto
notemos que para todo natural n sus mltiplos 0, n, 2n, 3n, se encuentran igualmente
espaciados habiendo entre ellos exactamente n - 1 nmeros no mltiplos de n. Por lo tanto
en cada conjunto de n o ms nmeros naturales consecutivos hay necesariamente un
mltiplo de n, adems, por la misma razn, debe haber un mltiplo de n- 1 uno de n - 2
etc. As que el producto de n o ms naturales consecutivos es mltiplo de n!. Adems f (z)
puede ser visto como una suma de potencias de z y, por lo tanto, el coeficiente de cada
trmino de f
(t)
(z) tiene t enteros consecutivos como factores, entonces, como acabamos de
ver, debe ser mltiplo de p! que se simplifica con el denominador (p - 1)! y da como
resultado un mltiplo de p. Podemos as escribir

f
(t)
(z) = p(b
1
b
2
b
r
)
prn
G
t
(z), t > p. (16)

donde G
t
(z) es un polinomio de coeficientes enteros de grado, a lo ms, prn - 1.

En consecuencia F(0) es un entero no divisible por p. Si adems elegimos a p de tal manera
que sea mayor que n y que c
0
, tenemos que p no divide al trmino nc
0
F(0) de (14).

10
La regla de Leibniz es la identidad

|
|
.
|

\
|
=
n
k
k n k n
a g a h
k
n
a hg
0
) ( ) ( ) (
) ( ) ( ) ( ) ( para las derivadas de orden
superior de un producto.
56

Veamos ahora que el otro trmino de (14)


= =
|
.
|

\
|
r
j
n
i
i
j j
F c
1 1
) (
) (

es un entero divisible por p. Para ello es suficiente demostrar que

... ) ( ) ( ' ) ( ) (
1 1
) ( ) 2 ( ) (
1
) (
1
) (
+ + + =

= = = =
n
i
n
i
i
j
i
j
n
i
i
j
n
i
i
j
f f f F

lo es. El factor (g
j
(z))
p
presente en f (z) junto con la definicin (13) y la regla de Leibniz
nos garantizan que

0 ) (
) (
=
i
j
f , 0 ) ( '
) (
=
i
j
f ,, 0 ) (
) ( ) 1 (
=
i
j
p
f .

Para las derivadas de grado mayor o igual que p empleamos (16)


= =
=
n
i
i
j t
prn
r
n
i
i
j
t
G b b b p f
1
) (
2 1
1
) ( ) (
) ( ) ... ( ) ( , t > p

esto nos garantiza la presencia del factor p; resta, sin embargo, ver que el factor

=
n
i
i
j t
prn
r
G b b b
1
) (
2 1
) ( ) ... ( (17)

es un nmero entero. Para ello tenemos en cuenta que la sumatoria define un polinomio
simtrico en los
) (i
j
, entonces, por el teorema fundamental de los polinomios simtricos
(captulo VI) es un nmero racional. De la definicin (13) vemos que esos racionales
tienen como denominador a b
j
y como G
t
(z) es de grado, a lo ms, pnr - 1 podemos tener
como denominador a (b
j
)
pnr - 1
como denominador, la presencia en (17) del factor (b
j
)
pnr
elimina este denominador y as el resultado es un entero.

Hemos logrado establecer entonces que los dos trminos a la izquierda en (14) son enteros,
el primero mltiplo de p en tanto que el segundo no, en consecuencia el lado izquierdo de
(14) es un entero diferente de 0. Por lo tanto, tomando valor absoluto al lado derecho,
podemos afirmar que

1 |

= =
r
j
n
i
j
c
1 1
exp(
) (i
j
)
}

) (
0
) (
i
j
dz e z f
z

|. (18)

Hacemos ahora las siguientes definiciones

m
1
= max | c
j
|,
57
m
2
= max | exp(
) (i
j
)

|,
m
3
= max |
) (i
j


|,
m
4
= max | exp(-z)

| sobre el intervalo [0,
) (i
j
],
m
5
= max
[
=
r
j
j
z g
1
) (

sobre el intervalo [0,
) (i
j
],

donde estos mximos se toman sobre todo j = 1, 2,,r y sobre todo i = 1, 2,,n.
Notemos adems que (m
3
)
p-1
es el mximo de |z
p-1
|; entonces la desigualdad (18) junto con
(15) implican que

1 rnm
1
m
2
m
3
m
4
(b
1
b
2
b
r
)
prn
(m
3
)
p-1
(m
5
)
p
/(p-1)!

= rnm
1
m
2
m
4
((b
1
b
2
b
r
)
rn
m
3
m
5
)
p
/(p-1)!

Pero como r, n, m
1
, m
2
, m
3
, m
4
, m
5
, b
1
, b
2
,, b
r
no dependen de p entonces esta ltima
expresin tiende a cero cuando p tiende a infinito. Tenemos as una contradiccin y con
esto concluye la demostracin del teorema 6.


Demostracin del teorema de Lindemann-Weierstrass: supongamos que existen
nmeros algebraicos a
1
, a
2
,, a
n
todos diferentes de cero tales que

0
1
=

=
n
i
i
i
e a
o
. (19)

Empleamos el teorema 5 para establecer la existencia de un campo Q(u), normal sobre Q,
que contiene los nmeros algebraicos a
j
. Los conjugados
) (
j
i
a pertenecen a Q(u). Sea Q(u)
de grado m sobre Q. Formamos el producto

0 ) ... (
1
) ( 2 ) (
2
1 ) (
1
= + + +
[
=
m
i
n i
n
i i
e a e a e a
o o o


Si vemos los coeficientes
) (
j
i
a como polinomios en u
(i)
y aplicamos el lema 1 vemos que
este producto tiene como coeficientes polinomios simtricos en u
(1)
, u
(2)
,, u
(m)
y, segn el
teorema fundamental de los polinomios simtricos, son nmeros racionales. Adems, como
consecuencia del lema 4 este producto no es idnticamente nulo. Tenemos entonces que la
ecuacin (19) implica una anloga con coeficientes racionales pero el teorema 6 nos
muestra que esta ltima es imposible. Con esto concluye la demostracin del teorema de
Lindemann-Weierstrass.




58
Consecuencias del teorema generalizado de Lindemann


Teorema 7: e
o
es trascendente para cualquier nmero algebraico o diferente de 0.

Demostracin: supongamos que e
o
= a algebraico, entonces

e
o
- ae
0
= 0,

lo cual contradice el teorema de Lindemann-Weierstrass.
.


Corolario: e es trascendente.


Teorema 8: t es trascendente.

Demostracin: supongamos que t es algebraico, entonces it es algebraico pero

e
it
+ 1 = e
it
+ e
0
= 0,

y esto contradice el teorema.


Teorema 9: sen(u), cos(u), tan(u) son trascendentes para cualquier u algebraico distinto
de cero.

Demostracin: (hacemos la de sen(u), las dems son similares) a partir de la identidad

e
i u
= cos(u) + isen(u), (20)
tenemos
e
-i u
= cos(u) - isen(u); (21)

restando (2) de (1) y trasponiendo un trmino obtenemos la identidad

e
i u
- e
-i u
- 2isen(u) = 0. (22)

Supongamos ahora que u es algebraico distinto de cero y que a = sen(u) es algebraico,
adems como e
0
= 1 tenemos, segn (22), la ecuacin

e
i u
- e
-i u
- 2iae
0
= 0.

Pero, segn el teorema generalizado de Lindemann esta ecuacin es imposible ya que tanto
los coeficientes como los exponentes son nmeros algebraicos.


59
Teorema 10: senh(u), cosh(u), tanh(u) son trascendentes para cualquier u algebraico
distinto de cero.

Demostracin: (hacemos la de senh(u), las dems son similares) a partir de la identidad
senh(u) =
2

e e


obtenemos e
-u
e
u
+ 2senh(u) = 0. Supongamos que a = sen(u) es algebraico, adems
como e
0
= 1 tenemos
e
- u
- e
u
+ 2ae
0
= 0

Pero, segn el teorema generalizado de Lindemann esta ecuacin es imposible ya que tanto
los coeficientes como los exponentes son nmeros algebraicos.


Teorema 11: ln(u) es trascendente para cualquier u algebraico distinto de uno.

Demostracin: supongamos que a = ln(u) es algebraico, entonces e
a
= u. Pero, segn el
teorema 7 esto es imposible para a = 0.


Teorema 12: sen
-1
(u), cos
-1
(u), tan
-1
(u), senh
-1
(u), cosh
-1
(u), tanh
-1
(u), son trascendentes
para cualquier u algebraico distinto de cero y, en algunos casos, distinto de uno.

Demostracin: (hacemos la de sen
-1
(u), las dems son similares) supongamos que a =
sen
-1
(u) es algebraico, entonces sen(a) = u. Pero, segn el teorema 9 esto es imposible
para a = 0.


Luego de ver los alcances del teorema de Lindemann-Weierstrass veamos sus limitaciones.

Qu podemos decir acerca de la trascendencia de e
t
o
2
2 ? El teorema 7 afirma que e
o

es trascendente para cualquier nmero algebraico o diferente de 0, sin embargo, el teorema
8 nos dice que t es trascendente, as que el teorema de Lindemann-Weierstrass no es
aplicable para decidir acerca de la trascendencia de e
t
. Lo propio ocurre en el caso de
2
2
ya que
2
2 =
) 2 ln( 2
e y del teorema 11 concluimos que ln(2) es trascendente, lo que implica
que 2 ln(2) lo es y, de nuevo, es inaplicable el teorema de Lindemann-Weierstrass. Este
era el estado del arte en 1900.







60
XI Hilbert

Quin de nosotros no quisiera levantar el velo tras el cual yace escondido el futuro, y
asomarse, aunque fuera por un instante, a los prximos avances de nuestra ciencia y a los
secretos de su desarrollo ulterior en los siglos futuros? Cules sern las metas
particulares que tratarn de alcanzar los lderes del pensamiento matemtico de las
generaciones futuras? Qu nuevos mtodos y nuevos hechos nos depararn los siglos por
venir en el ancho y rico campo del pensamiento matemtico?

La historia nos ensea la continuidad del desarrollo de la ciencia. Sabemos que cada
poca tiene sus propios problemas, y depender de la prxima generacin, ya sea,
resolverlos o bien, desecharlos por considerarlos improductivos y remplazarlos por
nuevos problemas. Si queremos darnos una idea del desarrollo probable del conocimiento
matemtico en el futuro inmediato, debemos plantear a nuestras mentes aquellas
cuestiones dudosas al observar los problemas que la ciencia de hoy nos propone y cuya
solucin la esperamos del futuro.

Los prrafos anteriores corresponden al encabezado de la conferencia que dict David
Hilbert en el Segundo Congreso Internacional de Matemticas realizado en Pars del 6 al
12 de agosto de 1900 y en la cual propuso 17 problemas (en la publicacin de las
memorias aparecieron 23).

Vayamos hacia atrs en el tiempo. Hilbert naci el 23 de enero de 1862, se doctor en la
Universidad de Knigsberg, su ciudad natal, en 1885, con una disertacin supervisada por
Lindemann. Coincidi all con Hermann Minkowski (quien fue profesor de Einstein) con
quien lleg a establecer una gran amistad. La primera parte de su vida investigativa la
realiz en Knigsberg donde estuvo de manera permanente, con la excepcin de un viaje
en el que visit a Klein en Leipzig y a Hermite en Pars. Luego, gracias a la intervencin
de Klein, obtuvo una ctedra de matemticas en la Universidad de Gttingen, que por
entonces era el mejor centro de investigacin matemtica en el mundo. Permaneci all
hasta su muerte.

En 1897 se haba llevado a cabo en Zurich el Primer Congreso Internacional de
Matemticas en donde la redaccin de la charla central estuvo a cargo de Poincar, quien,
junto con Hilbert, son considerados como los ltimos matemticos con un conocimiento
universal de la materia. La charla de Poincar se trat sobre las relaciones entre el anlisis
puro y la fsica matemtica. Al recibir la invitacin a pronunciar la charla central del
Segundo Congreso Internacional de Matemticas en Pars, Hilbert pens en presentar una
visin alternativa a la expuesta por Poincar tres aos atrs. Sin embargo recibi una carta
que desde Zurich le envi Minkowski en la que le aconsejaba: Lo ms atractivo sera que
intentes dar un vistazo al futuro, a enumerar los problemas a los cuales deberan
dedicarse los matemticos en adelante. As podrs crear las circunstancias para que se
siga hablando de tu charla en las dcadas venideras. Eso s, debes tener en cuenta que la
profeca tiene sus dificultades.

Hilbert acept el consejo. El siguiente prrafo de su conferencia nos da luz sobre los
motivos que tuvo para hacer su planteamiento en forma de problemas:
61

No podemos negar el profundo significado que representan ciertos problemas tanto para
el avance de la ciencia matemtica en general, como por el importante papel que juegan
estos problemas en el trabajo del investigador particular. Siempre que una rama de la
ciencia nos ofrezca una abundancia de problemas, permanecer viva; una carencia de
problemas pronosticara una extincin o cesanta en su desarrollo independiente. As
como cada empresa humana persigue ciertos objetivos, as tambin la investigacin
matemtica requiere sus problemas. Es por medio de la solucin de problemas como se
templa la fuerza del investigador, descubriendo nuevos mtodos y nuevos enfoques, y
ganando un horizonte ms vasto y ms libre.

Es as como Hilbert concibe la lista de 23 problemas que sern tomados por algunos
matemticos como gua en sus rutas de investigacin. El primero de estos es la hiptesis
del continuo que motiv los trabajos de Gdel (1939) y Cohen (1963) concluyndose que
se trata de un problema indecidible en el sistema ZFC (Zermelo-Fraenkel con Axioma de
eleccin). Esto se demostr complementando ZFC por una parte con la hiptesis del
continuo (Gdel, 1938) y por otra parte con su contrario (Paul Cohen), obteniendo sistemas
axiomticos consistentes en ambos casos. El segundo problema, el de la consistencia de los
axiomas de la aritmtica, condujo al famoso Teorema de Incompletitud de Gdel que dice
que en todo sistema que contenga los axiomas de Peano existen proposiciones indecidibles,
esto es, proposiciones que no pueden ser demostradas ni refutadas a partir de los axiomas.

El sptimo de los problemas est dedicado a nuestro tema, se enuncia as: Es
o
|
trascendente, siendo o 0,1 algebraico y | irracional algebraico? La historia de este
problema se remonta a Euler quien en 1748 conjetur que
) ln(
) ln(
log
a
b
b
a
= con a, b
racionales estrictamente mayores que 1 era, o bien racional o bien trascendente. La
respuesta a este problema es positiva, la solucin es el teorema de Gelfond-Schneider que
es el objeto del siguiente captulo.



















62
XI I Gelfond

El reto de Hilbert fue respondido por el matemtico ruso Alexander Osipovich Gelfond
(1906 - 1968) en 1934 y, de manera independiente, por el matemtico alemn Theodor
Schneider (1911 -1988) un ao despus.

Terorema de Gelfond-Schneider: si o y | son nmeros algebraicos con o = 0, o =
1 y | no es racional entonces o
|
es trascendente.

Curiosamente este teorema sirve para demostrar que e
p
es trascendente. En un primer
momento esto no es evidente ya que ni e ni p son algebraicos, sin embargo, como:

e
ip
= -1

entonces, elevando a ambos lados a la -i

e
p
= (-1)
- i


con lo que ahora si estamos en las hiptesis del teorema.


Existe un enunciado alternativo.


Terorema de Gelfond-Schneider: si o y | son nmeros algebraicos diferentes de 0,
y si o = 1 entonces

) ln(
) ln(
o
|


es, o bien racional, o bien trascendente.

Este ltimo enunciado recuerda la conjetura de Euler. Se pueden encontrar demostraciones
de este teorema en el libro de Ivan Niven Irrational numbers captulo 10 o, en espaol,
en la pgina http://www.uv.es/~ivorra/Libros/Numeros.pdf del profesor de la universidad
de Valencia, Carlos Ivorra Castillo.

La siguiente pregunta, que surge de manera natural es si o
|
es necesariamente trascendente
si lo son o y |. Ya vimos que este es el caso para e
p
. Son problemas abiertos la
trascendencia de e
e
, t
t
, t
e
. As como la trascendencia de la constante de Euler

|
.
|

\
|
+ + + + =

) ln(
1
...
3
1
2
1
1 lim n
n
n
,

de esta ltima se ignora incluso su carcter de nmero racional o irracional.
63
XI I I Secuencia de aproximaciones racionales para nmeros
algebraicos

Es interesante observar cun lentamente fue desarrollndose este tema, desde Liouville en
el siglo XIX, pasando por alguien que gana en la carrera y pasa adelante hasta los teoremas
de Schmidt y de Baker.

Teorema de Liouville: (1844 1851) si x es un nmero algebraico irracional de grado
n (es decir, raz de un polinomio irreducible de grado n) entonces existe un natural A tal
que para cualesquiera nmeros racionales p/q, q > 0, p/q = x, se cumple

n
Aq q
p
x
1
>

Solo en 1909 hubo un avance para el teorema de Liouville cuando Axel Thue (1863 -
1922) demostr que si

- o es un nmero algebraico de grado n > 1.
- k > n + 1,

entonces existe c = c(o, k) > 0 tal que

k
q
c
q
p
x >

para cualesquiera nmeros racionales p/q, q > 0.


En 1921, Siegel prob el mismo teorema para

N e
+
+ > s
s
n
s k ,
1
;

en particular para k > n 2 .


En 1947 Dyson y Gelfond, trabajando de manera independiente, lograron rebajar a

k > n 2 .

En 1955 Roth mostr que el mismo teorema vale cuando k > 2. Este era el mejor resultado
posible, dado que el grado ha de ser mnimo dos. Por este resultado a Roth le fue otorgada
la medalla Fields (1958) XIII. CIM. Edimburgo.

64
Teorema de Roth: (1955). Todo nmero irracional algebraico o es racionalmente
aproximable hasta el orden dos y no ms all.
En otras palabras: cualquiera sea c > 0, la desigualdad

c +
<
2
1

q q
p


tiene solamente un nmero finito de soluciones racionales.

Schmidt (1970) forj un teorema general.

Teorema de Schmidt: para cualesquiera nmeros algebraicos o
1
,, o
n
tales que
1, o
1
,, o
n
son linealmente independientes sobre los racionales, existe solo un nmero
finito de naturales q, tales que para c > 0, se tenga

q
1+c
||qo
1
||||qo
n
|| < 1,

donde la doble barra indica la distancia del nmero interior hasta el natural ms cercano.

Un corolario, inmediato segn Baker, es que hay solo un nmero finito de enteros p
1
,,
p
n
, q > 0 tales que

n j
q
q
p
n
s s <
+ +
1
1

1
1
j
j
c
.

Haciendo n = 1 obtenemos el resultado de Roth.

Es digno de anotar que en 1899, mile Borel haba obtenido un refinamiento del teorema
de Hermite acerca de la funcin exponencial y estableci una primera medida de
trascendencia para e. Hay solo un nmero finito de polinomios P con coeficientes enteros y
grado n, cualquiera sea el natural n, tales que

)) ln(ln(
1
) (
h c
h
e P <

donde h es la altura de P y c = c(n) > 0.

Este teorema tuvo generalizaciones de Popken en 1929 y luego de Mahler; finalmente de
Baker (1965) quien lo estudia detenidamente en el captulo dcimo de su libro.






65
XI V Compendio de resultados acerca de nmeros trascendentes
segn la obra de Alan Baker

Sin duda alguna el texto del matemtico ingls Alan Baker ([16]) es, matemticamente
hablando, el texto ms completo, aunque muy conciso, y, el ms autorizado en la
exposicin de la teora de los nmeros trascendentes. Su autor es un investigador en la
materia y de tal categora que le fue otorgada la medalla Fields en 1970, por un teorema
demostrado en 1966 sealado en lo que sigue como teorema de Baker.

En 128 pginas cubiertas por 12 captulos, se obtiene la explicacin, frecuentemente
motivada por alusiones histricas, de los lugares ms importantes para la teora de los
nmeros trascendentes. Mostramos los hitos ms importantes.

Euler estableci, 1744, la irracionalidad del nmero e.

Lambert haba confirmado, 1761, la irracionalidad de p.

Adems, estudios de fracciones continuadas haban revelado algunas propiedades bsicas
concernientes a la aproximacin de nmeros irracionales por nmeros racionales.

Era conocido, por ejemplo, que para cualquier irracional o existe una secuencia infinita de
racionales p/q, q>0, de modo que

2
1
q q
p
< o

Tambin se saba que la fraccin continuada de un irracional cuadrtico es peridica;
existe, por lo tanto, c = c(o) > 0, tal que, cualesquiera sean los racionales p/q, q>0, se
cumple que
2
q
c
q
p
> o .

Liouville compuso una clebre memoria: Sur des classes trs tendues des quantits dont
la valeur nest ni algbrique, ni mme reductible des irrationnelles algbriques.
1844. C.R. XVIII. 883-885, 910-911.
1851. J. Math. Pures en appl. 133-142.
Describi all la clase de nmeros que no satisfacen ecuaciones algebraicas con
coeficientes enteros. Liouville estableci que existe una cota para la precisin con la que
un nmero algebraico, no racional, puede ser aproximado mediante racionales.

El siguiente es el enunciado de su teorema principal.

Teorema de Liouville: para cualquier nmero algebraico o de grado n > 1, existe c =
c(o) tal que para todos los racionales p/q, q>0, se cumple que
66
n
q
c
q
p
> o

Avances decisivos fueron protagonizados por Hermite y por Lindemann. Hermite
demostr la trascendencia de e en la memoria: Sur la function exponentielle. C.R.
LXXXVII. 1873. 18-24, 74-79, 226-233, 285-293.

Luego Ferdinand Lindemann en Acerca del nmero t demostr la trascendencia de t,
publicada en Math. Ann. XX. 1882. 213-225..

En una segunda memoria de Lindemann, 1882, caben como casos particulares tanto la
trascendencia de e como la de t, segn el teorema que enunci, cuya demostracin
completa fue obra de Weierstrass en 1885.

El enunciado del teorema principal es as:

Teorema: cualesquiera sean los nmeros algebraicos distintos o
1
,,o
n
y cualesquiera
sean los nmeros algebraicos no nulos |
1
,, |n se cumple que

|
1
e
o1
++|
n
e
on
0.

e
o1
++e
on
son algebraicamente independientes cualesquiera sean los nmeros algebraicos
o
1
,,o
n
linealmente independientes sobre los racionales. Este es propiamente el teorema
que lleva el nombre de Lindemann.

Como corolarios resultan la trascendencia de las funciones trigonomtricas circulares coso,
seno, tano, cualquiera sea o 0.

Tambien logo es trascendente para todo nmero algebraico o 1.

Formas lineales con logaritmos. El problema VII de Hilbert en II C.I.M. Paris 1900
pregunta si el cociente irracional de logaritmos naturales de nmeros algebraicos es
trascendente.

Puede enunciarse tambin as: es o
|
trascendente cualquiera sea el nmero algebraico o,
ni cero, ni uno y cualquiera sea el irracional algebraico |?

A partir de 1929, Gelfond public investigaciones esclarecedoras de la cuestin. Mostr
que el logaritmo de un nmero algebraico respecto de una base algebraica no puede ser un
irracional cuadrtico imaginario, es decir, o
|
es trascendente cualquiera sea el nmero
algebraico o, ni cero, ni uno y cualquiera sea el irracional cuadrtico imaginario |. Por
ejemplo e
t
= (-1)
-i
es trascendente.

En 1930, Kuzmin extendi el resultado a irracionales cuadrticos reales |.

En 1934, Gelfond y Schneider, independientemente, fueron extendiendo resultados.

67
A ello contribuy la construccin a la manera de Siegel de una funcin auxiliar, nula en
ciertos puntos escogidos.

As se lleg a la solucin del problema VII de Hilbert.

El teorema de Gelfond-Schneider establece que cualesquiera sean los nmeros algebraicos
no nulos o
1
, o
2
,

|
1
, |
2
, tales que log o
1
, log o
2
sean linealmente independientes sobre los
racionales se cumple que

|
1
log o
1
+ |
2
log o
2
0.

En 1966, Baker generaliz el teorema que haban demostrado Gelfond y Schneider, 1935,
lo cual superaba la cuestin puesta por Hilbert.

Teorema de Baker (1966): sean
- o
1
,,o
n
nmeros algebraicos no nulos.
- logo
1
,,logo
n
linealmente independientes sobre los racionales.

Entonces
- 1, logo
1
,, log o
n
son linealmente independientes sobre el campo de todos los
nmeros algebraicos.
Desde luego para establecer el teorema general, Baker tuvo que hacer un arduo trabajo
indagatorio para generalizar las tcnicas. Baker utiliza los trminos refinamientos y
generalizaciones. Dieudonn [17], present en 6 teoremas, un compendio del trabajo de
Baker y advierte que hay en este detalles delicados y complicados.

En Trascendental Number Theory, 1975, la exposicin del teorema cubre 13 pginas.
Como en Gelfond o, en Schneider, o antes en las demostraciones de Hermite, o,
Lindemann resalta el uso sistemtico de desigualdades y de reducciones al absurdo.

Algunos corolarios, captulo II, son particularmente interesantes.

Cualquier combinacin lineal no nula de logaritmos de nmeros algebraicos con
coeficientes algebraicos es trascendente.

As, |
0
+ |
1
log o
1
+ |
2
log o
2
0, si |
0
0 y |
1
, , |
n
, o
1
, , o
n
, son nmeros
algebraicos.

Teorema: e
|0
o
1
|1
o
n
|n
es trascendente para cualesquiera nmeros algebraicos no nulos
o
1
, , o
n
, |
0
, , |
n
.

Teorema: o
1
|1
o
n
|n
es trascendente cualesquiera sean los nmeros algebraicos o
1
, ,
o
n
, ni cero, ni uno; y cualesquiera sean los nmeors algebraicos |
1
, , |
n
tales que 1, |
1
,
, |
n
son linealmente independientes sobre los racionales.

68
Casos particulares: t + logo es trascendente cualquiera sea el nmero algebraico
o 0.

e
ot + |
es trascendente cualesquiera sean los nmeros algebraicos o, |, | 0.












































69
XV Operaciones trascendentes

En lmentes dhistoire des mathmatiques de Bourbaki se lee la confusin creada por
Descartes, cuando este haba, en primer lugar, expulsado de la geometra todas las
curvas no susceptibles de una definicin analtica precisa, y, en segundo lugar, restringido
nicamente a las operaciones algebraicas los procedimientos de formacin admisibles en
tal definicin. Es cierto que, en este ltimo punto, no fue seguido por la mayora de sus
contemporneos; poco a poco, y a veces por caminos muy indirectos, diversas operaciones
trascendentes, el logaritmo, la exponencial, las funciones trigonomtricas, las
cuadraturas, la resolucin de ecuaciones diferenciales, el paso al lmite, la sumacin de
series, van adquiriendo el derecho de ciudadana, sin que sea fcil para cada una de ellas
indicar el momento preciso en que se da el paso adelante.

Para insistir en la importancia de la operacin trascendente de paso al lmite se puede citar
el pasaje de Bourbaki en el que da cuenta que tal operacin le sirve a Gregory para precisar
la nocin de expresin analtica: Para encontrar la nocin general de expresin analtica
hay que llegar hasta Gregory, quien la define, en 1667, como una cantidad que se obtiene
a partir de otras cantidades mediante una sucesin de operaciones algebraicas o de
cualquier otra operacin imaginable, e intenta precisar esta nocin en su prefacio
explicando la necesidad de aadir a las cinco operaciones del algebra (las cuatro
operaciones racionales y la extraccin de races de cualquier orden) una sexta operacin,
que no es otra cosa en definitiva que el paso al lmite.

Hasta ahora la idea de trascender el algebra no haba sido precisada, no se haba hecho
claridad sobre donde radicaba la esencia de ir ms all del algebra.

En su Introduccin a la historia y a la filosofa de la matemtica el profesor Alberto
Campos afirma: Desde el punto de vista del desenvolvimiento de las ideas, las aporas de
Zenn sobre el movimiento pueden presentarse como un presentimiento de la nocin de
lmite, en cuanto son una exhibicin de circunstancias de las que no es posible salir sin un
nuevo mtodo. No hay duda, las dificultades de Zenn tienen que ver con las dificultades
que condujeron a los matemticos a la nocin de lmite; nocin fundamental cuya
necesidad se hace sentir en varios episodios de la matemtica griega, su uso se acrecienta
en el Renacimiento hasta convertirse en la base del clculo infinitesimal de Leibniz y de
Newton, pero que solo fue bien definida por Cauchy hacia 1817. Este nuevo mtodo es,
precisamente, el paso al lmite.

En [1] aparecen una definicin del lmite de una sucesin y una forma muy original de
explicar el concepto de lmite. Dice: La sucesin a
1
, a
2
, a
3
, tiende al lmite a cuando n
tiende a infinito si correspondiendo a cualquier nmero positivo c, sin importar que tan
pequeo sea, puede encontrarse un entero N (que depende de c) tal que

| a a
n
| < c para todo n N.

Esta formulacin familiar le merece a los seores Courant y Robbins el siguiente
comentario: Esta es la formulacin abstracta de la nocin de lmite de una sucesin. No
hay duda de que al encontrarse con ella por primera vez uno no pueda sondearla en unos
70
pocos minutos. Hay una actitud desafortunada, casi snob, por parte de algunos escritores
de libros de texto, que presentan esta definicin al lector sin ofrecerle una buena
preparacin previa, como si una explicacin estuviese debajo de la dignidad de un
matemtico. Comentario con el cual no puedo menos que estar de acuerdo.

Los autores continan:La definicin sugiere una competencia entre dos personas A y B. A
pone la condicin de que debe aproximarse a la cantidad fija a con un grado de exactitud
mayor que un margen escogido c = c
1
; B cumple la condicin demostrando que hay cierto
entero N = N
1
tal que todos los a
n
despus de a
N1
satisfacen la condicin c
1
. Entonces A
puede ponerse ms exigente e imponer un nuevo margen c = c
2
, mas pequeo. B satisface
nuevamente la exigencia de A encontrando un entero (tal vez mucho mayor) N = N
2
. Si B
puede satisfacer a la persona A sin importar que tan pequeo ponga A su margen, tenemos
la situacin expresada por
a a
n
n
=

lim
.

Es claro, segn se desprende de la cita, que el lmite a debe ser conocido de antemano. El
algoritmo sugerido no permite el clculo de a simplemente demuestra que en efecto es el
lmite buscado. Como ejemplo tenemos la sucesin

,...
1
,...,
5
4
,
4
3
,
3
2
,
2
1
+ n
n


la cual, nos dice la intuicin, tiene a 1 como lmite. Ya que para c =10, se satisface la
ecuacin tomando N = 10; puesto que

10
1
1
1
1
1
1
1 <
+
=
+
+
=
+

n n
n n
n
n
,

siempre que n 10. En general es suficiente tomar cualquier entero N > 1/ c.



La paradoja de Aquiles y la tortuga dice que si Aquiles da a una tortuga una distancia de
ventaja en una carrera nunca lograr alcanzarla, ya que cuando Aquiles llegue al lugar que
ocupaba la tortuga al inicio de la carrera esta ya no estar all sino que habr avanzado una
distancia. Este raciocinio se repite cada vez que Aquiles alcance el lugar que ocupaba la
tortuga en la etapa anterior, por lo tanto nunca lograr darle alcance.


Ataquemos el problema desde el punto de vista de las matemticas enriquecidas con el
paso al lmite. Supongamos que la ventaja inicial es de 100m y que la velocidad de la
tortuga es de 1m/s y la de Aquiles es de 10m/s. Entonces Aquiles requiere 10 segundos
para alcanzar la posicin inicial de la tortuga, en este tiempo la tortuga habr avanzado 10
metros, por lo tanto Aquiles requiere ahora de 1 segundo para alcanzar la posicin actual
de la tortuga tiempo en el que esta avanzar 0,1m. Continuando la competencia tenemos la
situacin consignada en la siguiente tabla

71

n Tiempo (s) Espacio recorrido por Aquiles
(m)
Espacio recorrido por la tortuga
(m)
0 10 100 10
1 1 10 1
2 0,1 1 0.1
3 0,01 0.1 0,01



Las columnas del tiempo y del espacio recorrido por la tortuga coinciden. La del espacio
recorrido por Aquiles tiene un desfase de un rengln. Las sumas de cada columna quedan
incluidas en la expresin:

100 + 10 + 0.1 + 0.01 ++ 0.1
n

que es igual a
100 + 10
1 . 0 1
1 . 0 1

n


El algebra nos permite llegar hasta aqu. Esta frmula nos proporciona la suma de la
columna del espacio recorrido por Aquiles para cada n. Omitiendo el 100 tambin tenemos
las sumas de las otras dos columnas que son iguales (la suma hasta la fila n1). En cambio
haciendo paso al lmite cuando n tiende al infinito podemos ir un paso ms all y obtener

9
1
11 100 + +

que podemos interpretar de la siguiente manera: en un tiempo igual a
9
1
11+ s, la tortuga
habr avanzado
9
1
11+ m y Aquiles
9
1
11 100 + + m. Por lo tanto en este momento y a esa
distancia Aquiles alcanzar a la tortuga.















72
XVI Conclusiones

Retomando la frase de Hilbert: Siempre que una rama de la ciencia nos ofrezca una
abundancia de problemas, permanecer viva; una carencia de problemas pronosticara
una extincin o cesanta en su desarrollo independiente. As como cada empresa humana
persigue ciertos objetivos, as tambin la investigacin matemtica requiere sus
problemas. Es por medio de la solucin de problemas como se templa la fuerza del
investigador, descubriendo nuevos mtodos y nuevos enfoques, y ganando un horizonte
ms vasto y ms libre. podemos afirmar que el tema de este escrito tiene una gran
vitalidad matemtica: una vigencia de ms de 2.500 aos, proveyendo a los matemticos
temas de investigacin de variados gneros, que recorre desde los problemas de los
siempre insatisfechos griegos, hasta los que motivaron el otorgamiento de medallas Fields
en el siglo XX, corroboran esta afirmacin.

La respuesta a la pregunta que titula este trabajo es un tanto inesperada; aparece en las
citas del captulo anterior tomadas del libro de Bourbaki. El elemento que hace que un
proceso vaya ms all del algebra, esto es, que la trascienda, es el paso al lmite. Sin
lmites no hay trascendencia. Su presencia es ubicua en este trabajo. Los nmeros

+ + + + + + =
!
1
! 3
1
! 2
1
! 1
1
1
n
e y
|
|
.
|

\
|
+

+ + + =
+

) 1 2 (
) 1 (
7
1
5
1
3
1
1 4
1
n
n
t

son nmeros que se definen como lmites.

En el prlogo del anlisis de Apostol aparece un cuadro sinptico en el que se hace patente
el hecho de que los lmites se encuentran en la base de conceptos como la continuidad, las
derivadas, las integrales, las series infinitas y los productos infinitos, las sucesiones de
funciones, las series de Fourier etc. Algunos de ellos son la base de muchas de las
demostraciones que hemos presentado.

Otro elemento constante a lo largo del trabajo es el hecho de que las demostraciones
capitales que en l aparecen son todas por reduccin al absurdo. Y, como ya se anot, en
muchos casos la contradiccin consiste en conseguir igualar una cantidad entera con un
nmero positivo menor que 1.











73
XVI I Bibliografa

[1] R. COURANT,. and H ROBBINS,. What Is Mathematics?: An Elementary
Approach to Ideas and Methods, 2nd ed 1996. Oxford University Press.
[2] Philip J. DAVIS. Leonhard Eulers integral: a historical profile of gamma
funciton. . The American Mathematical Monthly 1959. Volume 66. 849-869.
[3] C.H. EDWARDS, Jr. The Historical Development of the Calculus. 1979.
Springer-Verlag. vii + 351 pp.
[4] Ivn CASTRO Chadid. Leonard Euler. 1988. Sin editorial.
[5] Jesper LTZEN. Joseph Liouville 1809-1882. Master of pure and applied
mathematics. 1990. 513-526. Springer-Verlag. xix + 884 pp.
[6] Felix KLEIN. Matemtica elemental desde un punto de vista superior. 2006.
Nivola. 379 pp.
[7] Michael SPIVAK. Calculus. 1986. Revert. xii + 843 pp.
[8] Heinrich DRRIE. The Hermite-Lindemann Transcendence Theorem. 128-137
en 100 Great Problems Of Elementary Mathematics. Their history and
solutions. 1965 Dover Publications. x +393 pp.
[9] Robert GRAY. Georg Cantor and Transcendental Numbers. 1994. The
American Mathematical Monthly. Volume 101. 819-832.
[10] Erich HECKE. Lectures on the theory of algebraic numbers. 1981.
Springer-Verlag. xii + 239 pp.
[11] Michel SERFATI. Quadrature du cercle, fractions continues et autres
contes. Sur lhistoire des nombres irrationnels et transcendants aux XVIII et
XIX sicles. Brochure A.P.M.E.P. N 86. 1992. x + 202 pp.
[12] R. TIJDEMAN On the Gelfond-Baker mehod and its applications. 1976.
Proceedings of Symposia in Pure Matematics. Volume 28. 241-267.
[13] Ben H. YANDEL. Transcending Local Conditions. The Seventh Problem.
Gelfond, Schneider, Siegel. The Honors Class Hilberts Problems and their
solvers. 171-202. 2002. A.K. Peters. ix + 486 pp.
[14] Ivan NIVEN. Irrational numbers. 1956. The Carus Mathematical
Monographs. ix + 164 p.p.
74
[15] Harry POLARD and Harold G. DIAMOND. The Theory of Algebraic
Numbers. 1975. The Carus Mathematical Monographs. 162 p.p.
[16] Alan BAKER. Transcendental number theory. 1975. Cambridge University
Press. x + 147 pp.
[17] Jean DIEUDONN. Nombres transcendants. pp 870-874. en:
Encyclopaedia Universalis Dictionnaire des Matematiques. 1997. Paris. Albin
Michel. 922 pp.