Demostración de que e es irracional

Demostración de que e es irracional

De Wikipedia, la enciclopedia libre

Artículo principal: Número e

En matemática, la representación en serie del número de Euler, e

e = \sum_{n = 0}^{\infty} \frac{1}{n!}

puede ser usado para probar que e es un número irracional. De las tantas representaciones posibles de e, esta es la serie de Taylor para la función exponencial ey evaluada en y = 1.

[editar] Demostración

Esta es una prueba por contradicción. Inicialmente e es asumido como un número racional de la forma a/b.
e = \frac{a}{b}

Se define el número

\ x = b!\,\biggl(e - \sum_{n = 0}^{b} \frac{1}{n!}\biggr).

Notar que x es un entero, que substituye e = a/b en esta definición para obtener

x = b!\,\biggl(\frac{a}{b} - \sum_{n = 0}^{b} \frac{1}{n!}\biggr) = a(b - 1)! - \sum_{n = 0}^{b} \frac{b!}{n!}\,.

El primer término es un entero, y cada fracción en la suma es un entero ya que n≤b para cada término. Por lo tanto, x es un entero.

Ahora probaremos que 0 < x < 1. Primero, insertamos la serie representación de e en la definición de x para obtener

x = \sum_{n = b+1}^{\infty} \frac{b!}{n!}>0\,.

Para todos los términos con n ≥ b + 1 tenemos el estimado superior

\frac{b!}{n!} =\frac1{(b+1)(b+2)\cdots(b+(n-b))} \le\frac1{(b+1)^{n-b}}\,,

el cual es estricto aún para cada n ≥ b + 2. Cambiando el índice de la sumatoria a k = n – b y usando la fórmula para la serie geométrica infinita, obtenemos

x =\sum_{n = b+1}^{\infty} \frac{b!}{n!} < \sum_{k=1}^\infty\frac1{(b+1)^k} =\frac{1}{b+1}\biggl(\frac1{1-\frac1{b+1}}\biggr) = \frac{1}{b} \le 1.

Como no hay un entero entre 0 y 1, hemos llegado a una contradicción, y por lo tanto, e debe ser irracional.

[editar] Véase también

El contenido de esta página (o parte de ella) fue extraído de wikipedia y puede redistribuirse libremente bajo la licencia de documentación libre GNU
 

LaEncuesta

¿Te presentarías voluntario para la nueva vacuna del SIDA que se va a probar en España?
Ver resultados
¿Sabías que William Lawrence Bragg(1890-) dijo...?
Lo importante en ciencia no es tanto obtener nuevos hechos como descubrir nuevas formas de pensar sobre ellos.