Nmero e

La constante matemtica e es uno de los ms importantes nmeros reales.1 Se relaciona con muchos interesantes resultados. Por ejemplo, la derivada de la funcin exponencial f(x) = ex es esa misma funcin. El logaritmo en base e se llama logaritmo natural o neperiano. El nmero e, conocido a veces como nmero de Euler o constante de Napier fue reconocido y utilizado por primera vez por el matemtico escocs John Napier, quien introdujo el concepto de logaritmo en el clculo matemtico. Est considerado el nmero por excelencia del clculo, as como lo es de la geometra e i del anlisis complejo. El simple hecho de que la funcin ex coincida con su derivada hace que la funcin exponencial se encuentre frecuentemente en el resultado de ecuaciones diferenciales sencillas. Como consecuencia de esto, describe el comportamiento de acontecimientos fsicos regidos por leyes sencillas, como pueden ser la velocidad de vaciado de un depsito de agua, el giro de una veleta frente a una rfaga de viento, el movimiento del sistema de amortiguacin de un automvil o el cimbreo de un edificio metlico en caso de terremoto. De la misma manera, aparece en muchos otros campos de la ciencia y la tcnica, describiendo fenmenos elctricos y electrnicos (descarga de un condensador, amplificacin de corrientes en transistores BJT, etc.), biolgicos (crecimiento de clulas, etc.), qumicos (concentracin de iones, periodos de semidesintegracin, etc.), y muchos ms. El nmero e, al igual que el nmero , es un nmero trascendente, es decir, que no puede ser obtenido directamente mediante la resolucin de una ecuacin algebraica. Por lo tanto, es un irracional y su valor exacto no puede ser expresado como un nmero finito de cifras decimales o con decimales peridicos. Su valor aproximado (truncado) es

Historia
Las primeras referencias a la constante fueron publicadas en 1618 en la tabla en un apndice de un trabajo sobre logaritmos de John Napier.2 No obstante, esta tabla no contena el valor de la constante, sino que era simplemente una lista de logaritmos naturales calculados a partir de sta. Se asume que la tabla fue escrita por William Oughtred. El "descubrimiento" de la constante est acreditado a Jacob Bernoulli, quien estudi un problema particular del llamado inters compuesto. Si se invierte una Unidad Monetaria (que abreviaremos en lo sucesivo como UM) con un inters del 100% anual y se pagan los intereses una vez al ao, se obtendrn 2 UM. Si se pagan los intereses 2 veces al ao, dividiendo el inters entre 2, la cantidad obtenida es 1 UM multiplicado por 1,5 dos veces, es decir 1 UM x 1,502 = 2,25 UM. Si dividimos el ao en 4 perodos (trimestres), al igual que la tasa de inters, se obtienen 1 UM x 1,254 = 2,4414...En caso

de pagos mensuales el monto asciende a 1 UM x = 2,61303...UMs. Por tanto, cada vez que se aumenta la cantidad de perodos de pago en un factor de n (que tiende a crecer sin lmite) y se reduce la tasa de inters en el perodo, en un factor de , el total de unidades monetarias obtenidas est expresado por la siguiente ecuacin:

Bernoulli comprob que esta expresin se aproxima al valor de 2,7182818...UMs. De aqu proviene la definicin que se da de e en finanzas que expresa que este nmero es el lmite de una inversin de 1 UM con una tasa de inters al 100% anual compuesto en forma contnua. En forma ms general, una inversin que se inicia con un capital C y una tasa de inters anual R, proporcionar CeR UM con inters compuesto. El primer uso conocido de la constante, representado por la letra b, fue en una carta de Gottfried Leibniz a Christiaan Huygens en 1690 y 1691. Leonhard Euler comenz a utilizar la letra e para identificar la constante en 1727, y el primer uso de e en una publicacin fue en Mechanica, de Euler, publicado en 1736. Mientras que en los aos subsiguientes algunos investigadores usaron la letra c, e fue la ms comn, y finalmente se convirti en la terminologa usual.

Definicin
La definicin ms comn de e es como el valor lmite de la serie

que se expande como

Otra definicin habitual3 dada a travs del clculo integral es como solucin de la ecuacin: ln(x) = 1 que implica

es decir que se define e como el nmero para el que ln(e) = 1

o lo que es lo mismo, el nmero para el que

Propiedades
Clculo
La funcin exponencial f(x) = ex es importante, en parte debido a que es la nica funcin que es su propia derivada y vale 1 para x=0., y por lo tanto su propia primitiva tambin:

Adems, e es el lmite de la sucesin de trmino general:

Primero, la propiedad se puede generalizar a una variable real, pasando del lmite de una sucesin al de una funcin:

Como el trmino de derecha tiene un exponente que vara, lo ms prctico es tomar su logaritmo y hacer el cambio de variable h = 1 / x:

Como el logaritmo se aproxima a 1 cuando h tiende a cero por la derecha, la expresin original tiende hacia e.

Desarrollo decimal
El desarrollo decimal de e no muestra regularidad alguna. Sin embargo, con las fracciones continuas, que pueden ser normalizadas (con los numeradores todos iguales a 1) o no, obtenemos, en fraccin continua normalizada:

Lo que se escribe e = [2, 1,2,1, 1,4,1, 1,6,1 ... 1,2n,1, ... ], propiedad descubierta por Leonhard Euler, y en fraccin continua no normalizada:

En ambos casos, e presenta regularidades no fortuitas.

lgebra
El nmero real e es irracional, y tambin trascendental (ver Teorema de Lindemann Weierstrass). Fue el primer nmero trascendental que fue probado como tal, sin haber sido construido especficamente para tal propsito (comparar con el nmero de Liouville). La demostracin de esto fue dada por Charles Hermite en 1873. Se cree que e adems es un nmero normal.

Nmeros complejos
El nmero e presenta en la frmula de Euler un papel importante relacionado con los nmeros complejos:

El caso especial con x =

es conocido como identidad de Euler

de lo que se deduce que:

Adems, utilizando las leyes de la exponenciacin, se obtiene:

que es la frmula de De Moivre.

Funcin exponencial
Se llama exponencial la funcin definida sobre los reales por

La exponencial es la nica funcin que es siempre igual a su derivada (de ah su especial inters en el anlisis, ms precisamente para las ecuaciones diferenciales), y que toma el valor 1 cuando la variable vale 0. La exponencial se extiende al cuerpo de los complejos, mediante la relacin: . Un caso particular de esta relacin es la identidad de Euler.

En 1975, el suizo Felix A. Keller descubri la siguiente frmula4 que se aproxima a "e":

Otro lmite5 con el que se obtiene el nmero e es:

donde pn es el ensimo Nmero primo y

es el primorial del ensimo primo

Representaciones de e
El nmero e puede ser representado como un nmero real en varias formas: como una serie infinita, un producto infinito, una fraccin continua o como el lmite de una sucesin. La principal de estas representaciones, particularmente en los cursos bsicos de clculo es el lmite:

Desarrollando la potencia del binomio indicado en la propiedad anterior usando el teorema del binomio de Newton:

Cuando n tiende a infinito, los productos que estn en los numeradores tienden a 1, por lo que cada trmino de esta expresin tiende a , como se quera demostrar.

La serie infinita anterior no es nica, e tambin puede ser representado como:

Existen otras representaciones menos comunes. Por ejemplo, e se puede representar como una fraccin simple continua infinita:

Dgitos conocidos
El nmero de digitos conocidos de e ha aumentado enormemente durante las ltimas dcadas. Esto es debido al aumento del desempeo de las computadoras como tambin a la mejora de los algoritmos utilizados.

Nmero de dgitos conocidos de e

Fecha

Dgitos decimales

Clculo realizado por

1748 8

18

Leonhard Euler

1853

137

William Shanks

1871

205

William Shanks

1884

346

J. M. Boorman

1946

808

1949

2010

John von Neumann (en la ENIAC)

1961

100 265

Daniel Shanks y John W. Wrench

1994

10 000 000

Robert Nemiroff y Jerry Bonnell

Mayo de 1997

18 199 978

Patrick Demichel

Agosto de 1997

20 000 000

Birger Seifert

Septiembre de 1997

50 000 817

Patrick Demichel

Febrero de 1999

200 000 579

Sebastian Wedeniwski

Octubre de 1999

869 894 101

Sebastian Wedeniwski

21 de noviembre de 1999 1 250 000 000

Xavier Gourdon

10 de julio de 2000

2 147 483 648

Shigeru Kondo y Xavier Gourdon

16 de julio de 2000

3 221 225 472

Colin Martin y Xavier Gourdon

2 de agosto de 2000

6 442 450 944

Shigeru Kondo y Xavier Gourdon

16 de agosto de 2000

12 884 901 000

Shigeru Kondo y Xavier Gourdon

21 de agosto de 2003

25 100 000 000

Shigeru Kondo y Xavier Gourdon

18 de septiembre de 2003 50 100 000 000

Shigeru Kondo y Xavier Gourdon

27 de abril de 2007

100 000 000 000

Shigeru Kondo y Steve Pagliarulo

6 de mayo de 2009

200 000 000 000

Shigeru Kondo y Steve Pagliarulo