04.06.2013 Views

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3.10. Apéndice: La trascendencia de e y π 151<br />

Todo polinomio simétrico p(x1,...,xn) es de la forma q(e1,...,en),<br />

para cierto polinomio q(x1,...,xn).<br />

Los coeficientes (x − α1) ···(x − αn) son (−1) iei(α1,...,αn), para<br />

i =0,...,n.<br />

Teorema 3.43 El número e es trascendente.<br />

Demostración: Si e fuera algebraico sería la raíz de un polinomio con<br />

coeficientes enteros. Digamos n<br />

ctet = 0, con n ≥ 1, ct ∈ Z, c0 = 0 (si c0<br />

t=0<br />

fuera 0 podríamos dividir entre e y quedarnos con un polinomio menor).<br />

Sea p un primo tal que p>ny p>|c0|. Sea<br />

Por el teorema 3.41:<br />

n<br />

0= cte t φ(h) =<br />

t=0<br />

φ(x) = xp−1 p. (x − 1)(x − 2) ···(x − n)<br />

(p − 1)!<br />

n<br />

ctφ(t + h)+<br />

t=0<br />

n<br />

ctψ(t)e t = S1 + S2.<br />

t=0<br />

Tomando m = p, el teorema 3.42 nos da que φ(h) ∈ Z y<br />

Si 1 ≤ t ≤ n, entonces<br />

φ(t + x) =<br />

y sacando el factor x queda<br />

φ(h) ≡ (−1) pn (n!) p (mód p).<br />

(x + t)p−1 p, (x + t − 1)(x + t − 2) ···x ···(x + t − n)<br />

(p − 1)!<br />

φ(t + h) =<br />

xp<br />

(p − 1)! f(x),<br />

con f(x) ∈ Z[x]. Por el teorema 3.42 tenemos que φ(t + h) ∈ Z yesunmúltiplo<br />

de p. Ahora,<br />

n<br />

S1 = ctφ(t + h) ≡ c0φ(h) ≡ c0(−1) pn (n!) p ≡ 0(mód p),<br />

t=0<br />

ya que c0 = 0yp>n,|c0|. Asípues, S1 ∈ Z y S1 = 0, luego |S1| ≥1. Como<br />

S1 + S2 = 0, lo mismo vale para S2, es decir, |S2| ≥1. Por otro lado, sea<br />

φ(x) = s<br />

arxr . Entonces<br />

r=0<br />

<br />

s <br />

|ψ(t)| = arɛr(t)t<br />

<br />

r<br />

<br />

<br />

<br />

<br />

≤<br />

r=0<br />

s<br />

|ar||ɛr(t)|t r ≤<br />

r=0<br />

s<br />

|ar|t r .<br />

r=0

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

Saved successfully!

Ooh no, something went wrong!