25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Capítulo XIV<br />

Números trascendentes<br />

Dedicamos este último capítulo a dar una pequeña muestra de las aplicaciones<br />

de la teoría algebraica de números a las pruebas de trascendencia. Éstas<br />

son esencialmente analíticas, pero requieren conceptos algebraicos elementales,<br />

como la teoría de Galois (o al menos la teoría sobre polinomios simétricos) y los<br />

enteros algebraicos. En realidad, los últimos avances en la teoría de números<br />

trascendentes hacen uso de un aparato algebraico mucho más sofisticado, pero<br />

no vamos a entrar en ello. Aquí probaremos dos resultados clásicos, el teorema<br />

de Lindemann-Weierstrass, que data del siglo pasado, y el teorema de Gelfond-<br />

Schneider, de 1934.<br />

14.1 El teorema de Lindemann-Weierstrass<br />

En 1873 Hermite demostró la trascendencia del número e. Anteriormente<br />

ya se había probado que e no era racional. De hecho era conocido su desarrollo<br />

en fracción continua, visto en el tema anterior. En 1882 Lindemann consiguió<br />

generalizar el argumento de Hermite y demostró la trascendencia de π. Lindemann<br />

afirmó que sus técnicas permitían probar de hecho un resultado mucho<br />

más general. La primera prueba detallada de este resultado fue publicada por<br />

Weierstrass y constituirá el contenido de esta sección junto con sus consecuencias<br />

inmediatas. Necesitaremos dos resultados auxiliares.<br />

Teorema 14.1 Sean f i (x) ∈ Z[x], i =1,...,r polinomios no constantes de<br />

grado k i y para cada i sean β 1i ,...,β kii las raíces de f i (x). Supongamos que<br />

son no nulas. Sean a i ∈ Z para i =0,...,r tales que a 0 ≠0. Entonces<br />

r∑ ∑k i<br />

a 0 + e β ki<br />

≠0.<br />

a i<br />

i=1 k=1<br />

Demostración: Supongamos que se cumple la igualdad. Vamos a expresar<br />

cada e β ki<br />

como<br />

e β ki<br />

= M ki + ɛ ki<br />

M 0<br />

, k =1,...,k i , i =1,...,r,<br />

347

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!