Nmero e

Este artculo trata sobre la constante matemtica. Para el cdigo de aditivos

alimentarios, vase Nmero E.

Diez mil primeras cifras decimales del nmero e en formato cartel.

La constante matemtica e\, es uno de los ms importantes nmeros reales
que aparece en diversas reas de la matemtica.1 Es aproximadamente igual a
2.71828 y se relaciona con muchos interesantes resultados, como ser la base
de los logaritmos naturales y su aparicin en el estudio del inters compuesto.

El nmero e\,, conocido en ocasiones, 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.

Juega un rol importante en el clculo y en el anlisis matemtico, en la

definicin de la funcin ms importante de la matemtica,2 la funcin
exponencial, as como \pi\, lo es de la geometra y el nmero i\, del anlisis
complejo y del lgebra.3

El nmero e\,, al igual que el nmero \pi\, y el nmero ureo (), es un nmero
irracional, no expresable mediante una razn de dos nmeros enteros; o bien,
no puede ser representado por un numeral decimal exacto o un decimal
peridico. Adems, tambin como \pi\,, es un nmero trascendente, es decir,
que no puede ser raz de ninguna ecuacin algebraica con coeficientes
racionales4 .

El valor de e\, truncado a sus primeras cifras decimales es el siguiente:

e\ \approx 2,71828 18284 59045 23536 ...

Historia[editar]
Leonhard Euler populariz el uso de la letra e para representar la constante; adems fue el descubridor
de numerosas propiedades referentes a ella.

A diferencia de

, la introduccin del nmero

en la matemtica es relativamente reciente, lo

cual tiene sentido si se considera que este ltimo tuvo un origen analtico y no geomtrico,
como el primero. En las palabras de Eli Maor5 ,
The story of
has been extensively told, no doubt because its history goes back to ancient times, but
also because much of it can be grasped without a knowledge of advanced mathematics. Perhaps no
book did better than Petr Beckmann's A History of Pi, a model of popular yet clear and precise
exposition. The number e fared less well. Not only is it of more modem vintage, but its history is closely
associated with the calculus, the subject that is traditionally regarded as the gate to "higher"
mathematics.

Las primeras referencias a la constante fueron publicadas en 1618 en la tabla en un apndice

de un trabajo sobre logaritmos de John Napier.6 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 cree que la tabla fue escrita por William Oughtred. Unos aos ms tarde, en
1624,

se ve nuevamente involucrado en la literatura matemtica, aunque no del todo. Ese

ao, Briggs dio una aproximacin numrica a los logaritmos en base 10, pero no menciono al
nmero

explcitamente en su trabajo.

La siguiente aparicin de

es algo dudosa. En 1647, Saint-Vincent calcul el rea bajo la

hiprbola rectangular. Si reconoci la conexin con los logaritmos es una cuestin abierta a
debate, e incluso si lo hizo, no hubo razn para que tratara con

explcitamente. Quien si

comprendi la relacin entre la hiprbola rectangular y el logaritmo fue Huygens all por 1661,
al estudiar el problema del rea bajo la curva

. El numero

es aquel valor de abscisa

a tomar para que el area bajo esta curva a partir de 1 sea igual a 1. Esta es la propiedad que
hace que

sea la base de los logaritmos naturales, y si bien no era comprendida del todo por

los matemticos de aquel entonces, de a poco iban acercndose a su comprensin.

Sin embargo, y tal vez inesperadamente, no es a travs de los logaritmos que

es

descubierto, sino del estudio del inters compuesto, problema abordado por Jacob Bernoullien
1683. 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,25 4 = 2,4414... En
caso de pagos mensuales el monto asciende a 1 UM x

= 2,61303...UM. 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 estar dado por la siguiente expresin:

Bernoulli utiliz el teorema del binomio para mostrar que dicho limite se encontraba entre
2 y 3. Se puede considerar esta la primera aproximacin encontrada para . Incluso si
aceptamos esta como una definicin de , seria la primera vez que un numero se define
como un proceso de limite. Con seguridad, Bernoulli no reconoci ninguna conexin entre
su trabajo y los logaritmos. De aqu proviene la definicin que se da de

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 continua. En forma ms general, una inversin que se
inicia con un capital C y una tasa de inters anual R, proporcionar

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

en una

publicacin fue en Mechanica, de Euler, publicado en 1736. Mientras que en los aos
subsiguientes algunos investigadores usaron la letra c,

fue la ms comn, y finalmente

se convirti en la terminologa usual. Euler realizo varios aportes en relacin a

en los

aos siguientes, pero no fue hasta 1748 cuando public su Introductio in Analysin
infinitorum que dio un tratamiento definitivo a las ideas sobre . All mostr que

y dio una aproximacin para

de 18 cifras decimales, sin mostrar cmo la obtuvo.

Tambin dio su expresin como fraccin continua reconociendo el patrn que sigue
dicha expresin. Fue esta caracterizacin la que le sirvi de base para concluir que
es un nmero irracional, y la mayor parte de la comunidad acepta que Euler fue el
primero en probar esta propiedad.
La pasin que gui a mucha gente a calcular ms y ms cifras decimales de

nunca

pareci replicarse de la misma manera para . Sin embargo, algunos se embarcaron

en la tarea de calcular su expansin decimal y el primero en contribuir con esto
fue William Shanks en 1854. Vale la pena destacar que Shanks fue un entusiasta an
mayor del clculo de los decimales de

. James Whitbread Lee Glaisher mostr que

los primeros 137 lugares de Shanks para el calculo de

eran correctos, pero encontr

un error que, luego de corregido por el propio Shanks, arrojo cifras decimales de e
hasta el lugar 205. De hecho, se necesitan alrededor de 120 trminos de 1 + 1/1! +
1/2! + 1/3! + ... para obtener 200 decimales.
Expansiones decimales aun mayores siguieron con los trabajos de Boorman en 1884,
quien calcul 346 lugares y hall que su cmputo coincida con el de Shanks hasta el
lugar 187, pero luego divergan. En 1887 Adams estim el logaritmo de
con 272 cifras exactas.

en base 10

En 1873, Charles Hermite (1822-1905) logr demostrar que

es trascendente, a

dicho logro lleg usando un polinomio, conseguido con ayuda de fracciones continuas,
empleadas, anteriormente, por Lambert.David Hilbert tambin Karl Weierstrass y
otros propusieron, posteriomente, variantes y modificaciones de las primeras
demostraciones.7

Definicin[editar]

El rea entre el eje x y la grfica y = 1/x, entre x = 1 y x = e es 1.

La definicin ms comn de

es como el valor lmite de la sucesion

smbolos,

A veces se toma tambin como punto de partida la serie

que se expande como

Otra definicin habitual8 dada a travs del clculo integral es como

solucin de la ecuacin

es decir que se define

como el nmero para el que

. En

Propiedades matemticas y aplicaciones[editar]

Anlisis matemtico[editar]
Funcin exponencial[editar]

e es el nico nmero a, tal que la derivada de la funcin exponencial f(x) =

ax (curva azul) en el punto x = 0 es igual a 1. En comparacin, las funciones
2x (curva a puntos) y 4x (curva a trazos) son mostradas; no son tangentes a la
lnea de pendiente 1 (rojo).
Para cualquier
limite con :

, la sucesin

converge. Podemos denotar dicho

Se llama funcin exponencial a la funcin real cuya variable independiente

recorre el conjunto
de los nmeros reales, y se define como

El rasgo ms relevante de la funcin exponencial es que su funcin derivada

(que existe en todo punto) coincide con la propia funcin, es decir,

Adems, es la nica funcin no idnticamente nula (a menos de multiplicacin

por constantes) con esta propiedad. Esto hace de la exponencial la funcin ms
importante del anlisis matemtico, y en particular para las ecuaciones
diferenciales. Por este motivo, sugerimos consultar el artculo de ms abajo
para un anlisis mas detallado.
El desarrollo en serie de la funcin
de Maclaurin. Puesto que

se realiza mediante la frmula

la frmula de Maclaurin se escribe de esta manera:

Suponiendo x=1, se obtiene el valor aproximado del nmero

Donde se entiende como un valor aproximado. 9

Artculo principal: Funcin exponencial
Problema de Steiner[editar]

El maximo global de

ocurre en

Este problema plantea encontrar el mximo absoluto de la funcin

Este mximo se da precisamente en .10

Asimismo,

es el mnimo absoluto de la funcin

definida para

. Ms en general, la funcin

alcanza su mximo global en

en

para

para

; y el mnimo global se encuentra

La tetracin infinita
o
, por un teorema de Leonhard Euler11 .

converge si y solo si

Nmeros complejos[editar]

Representacin geomtrica de la frmula de Euler.

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

El caso especial con

mstica de Euler

de lo que se deduce que:

es conocido como identidad de Euler o frmula

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

que es la frmula de De Moivre.

Esta frmula lleg como una revelacin a Benjamin Peirce, profesor de Harvard,
quien la expuso ante sus alumnos, y manifest su reconocimiento ante la
maravillosa conexin de los cinco nmeros ms famosos de toda la
matemtica12 .
Probabilidad y estadstica[editar]
El numero e tambin aparece en aplicaciones a la teora de probabilidades. Un
ejemplo es el problema de los desarreglos, decubierto en parte por Jacob
Bernoulli junto con Pierre Raymond de Montmort, tamben conocido como el
problema de los sombreros13 : los n invitados a una fiesta dejan a la entrada
sus sombreros con el mayordomo, quien los coloca luego en n compartimentos,
cada uno con el nombre de uno de los invitados. Pero el mayordomo no conoce
la identidad de los invitados, y entonces coloca los sombreros en los
compartimentos al azar. El problema de De Montmort es encontrar la
probabilidad de que ninguno de los sombreros sea colocado en el
compartimento correcto. La respuesta es:

A medida que el numero n de invitados tiende a infinito, pn se aproxima a 1/e.

Mas aun, el numero de maneras en que se pueden colocar los sombreros en los
compartimentos de forma que ninguno corresponda a su dueo
es n!/e redondeado al entero mas cercano, para cada positivo n.14 El resultado
anterior puede reformularse de la siguiente manera: sea
la probabilidad
de que una funcin aleatoria del conjunto 1,2,...,n en si mismo tenga al menos
un punto fijo. Entonces

(A068996 en OEIS)
Otra aparicin de en la probabilidad es en el siguiente problema: se tiene una
secuencia infinita de variables aleatorias X1, X2..., con distribucin uniforme en
[0, 1]. Sea V el menor entero n tal que la suma de las primeras n observaciones
es mayor que 1:

Luego,
.15 Este resultado permite estimar el valor de la constante
por medio de simulaciones aleatorias16 17 .
Sin embargo, el papel ms relevante que juega el numero en esta rama de la
matemtica viene dado a travs de la funcin de densidad de
probabilidad para la distribucin normal con media y desviacin estndar ,
que depende de la integral gaussiana18 :

El rol de esta distribucin es central en la teora y la prctica.

Teora de Nmeros[editar]
Las siguientes dos relaciones son corolarios directos del teorema de los
nmeros primos19

donde

donde

es n-esimo primo y

es el primorial del n-esimo primo.

la funcion contadora de primos.

Geometra[editar]

Espiral equiangular de ngulo .

Al igual que , puede interpretarse como un cociente entre cantidades
ligadas a cierta curva del plano. Consideremos una curva con la propiedad de
que cualquier semirrecta que nace en el origen corta a esta formando un
ngulo de
radianes (existen instrumentos que permiten trazar curvas con
esta caracterstica20 21 ). Si tomamos dos puntos cualesquiera de la
curva
y

con una separacin angular de 1 radin,

entonce se tiene

Esta construccin puede parecer forzada por el hecho de requerir medir un

radin, sin embargo, esto puede conseguirse muy fcilmente si permitimos la
operacin de deslizar una circunferencia sobre una recta (operacin ms que
usual dentro del conjunto de curvas mecnicas). La curva con la propiedad
anteriormente sealada es un caso especial de espiral logartmica o
equiangular, y puede probarse fcilmente que a partir de su condicin de
"equiangularidad", su ecuacin en coordenadas polares

viene dada por

Ms generalmente, si la curva es cortada formando un ngulo

entonces su expresin en coordenadas polares es

Otra manifestacin relevante de e en la geometra se da con la catenaria. La

catenaria es la curva cuya forma es adoptada por una cuerda de densidad
uniforme sujeta por sus dos extremos y sometida unicamente a la fuerza de la
gravedad. Queda determinada por la posicin de sus extremos y su longitud.

Irracionalidad y trascendencia[editar]
El nmero real es irracional22 , lo que significa que no puede expresarse como
fraccin de dos nmeros enteros, como demostr Euler en 1737. En su
demostracin, Euler se vali de la representacin de e como fraccin continua,
que al ser infinita, no puede corresponder a un nmero racional. Sin embargo,
la demostracin mas conocida fue dada por Fourier, y se basa en el desarrollo
en serie del nmero. J. H. Lambertprob en 1768 que
un racional positivo.

es irracional si

es

Tambin es un trascendente, es decir, que no es la raz de ningn polinomio de

coeficientes enteros (ver Teorema de LindemannWeierstrass). Fue el primer

nmero trascendente 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 187323 . Se cree
que e adems es un nmero normal.
Vase tambin: Demostracin de que e es irracional

Frmulas que contienen al nmero e[editar]

A continuacin, se exhiben varias frmulas que involucran de diversas formas
a :

24

la cual se obtiene de la identidad

Identidad de Euler o frmula mstica de Euler

Frmula de Stirling:

Frmula de Gosper:

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

En 1975, el suizo Felix A. Keller obtuvo el lmite simtrico25

26

De la frmula de Stirling se obtiene

.
Se mostr tambin que

donde

donde

es ensimo primo y

es el primorial del ensimo primo.

la funcin contadora de primos.

Como serie o suma infinita[editar]

donde

es el

-esimo numero de Bell.

Algunos ejemplos de esta ultima caracterizacin:

Como producto infinito[editar]

El numero puede expresarse tambin mediante productos infinitos "del tipo
Wallis" de diversas formas27 , incluyendo el producto de Pippenger28 29

el producto de Catalan

y el producto de Guillera

30 31

donde el n-simo factor es la n-sima raz del producto

como tambin el producto infinito

Como fraccin continua[editar]

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
,
propiedad descubierta por Leonhard Euler32 (A003417 en OEIS). En fraccin
continua no normalizada se tiene

En ambos casos, e presenta regularidades no fortuitas.

Dgitos conocidos[editar]
El nmero de dgitos conocidos de e ha aumentado enormemente durante las
ltimas dcadas. Esto es debido tanto al aumento del desempeo de las
computadoras como tambin a la mejora de los algoritmos utilizados 33 34 . En
1949, J. von Neumann y su grupo utilizaron el ENIAC para obtener 2010
decimales. D. Shanks y J.W. Wrench hallaron hasta 100.265 en 1961 con la
frmula de Euler con un IBM 7090. Se emplearon 2,5 horas. Ya para 1994, R.
Nemiroff y J. Bonnell habian llegado a 10.000.000 de decimales.
En las ultimas dcadas, los ordenadores fueron capaces de obtener nmeros
que poseen una inmensa cantidad de decimales. As, por ejemplo, en el ao
2000, utilizando el programa de clculo PiFast33 en un ordenador Pentium III
800, se obtuvieron 12 884 901 000 cifras decimales, para lo que se necesito
167 horas.
Primeras cien cifras decimales[editar]
A pesar de tratarse de un nmero irracional contina siendo averiguada la
mxima cantidad posible de cifras. Las cien primeras son:

Para ver secuencias mayores de este nmero consltese

las referencias (51011 decimales)45 , as como Las primeras diez mil cifras
decimales del nmero e, A001113 y OEIS.
Curiosidades[editar]
Las secciones de curiosidades deben ser evitadas.
Puedes mejorar este artculo introduciendo la informacin til de
esta seccin en el resto del texto y quitando los datos inapropiados.
Reglas mnemotcnicas[editar]

En su desarrollo decimal, despus del 2,7 el nmero 1828 aparece

dos veces, y despus vienen los ngulos de un tringulo rectngulo
issceles que son 45, 90, 45: 2,7 1828 1828 45 90 45.

878/323 = 2.718266254 ... es la mejor aproximacin racional

utilizando enteros menores que 100046 . Adems, ambos son
palndromos y 878-323=555.

Es muy frecuente emplear frases como regla mnemotcnica para poder

recordar las primeras cifras. Una forma de memorizar los 13 primeros
dgitos es con esta frase, slo hay que contar las letras de cada palabra:
"El trabajo y esfuerzo de recordar e revuelve mi estmago, pero podr
acordarme". Otro ejemplo, en francs: "Tu aideras a rappeler ta quantite
a beaucoup de docteurs amis" (T ayudars a recordar la cantidad a
muchos doctores amigos).

Suele invocarse tambin la figura del presidente de Estados

Unidos Andrew Jackson: tuvo 2 mandatos presidenciales, fue el
presidente n7, fue electo por primera vez en 1828, el cual repetimos
por sus dos mandatos, y murio en el 45. Con esto se puede recordar las
primeras 12 cifras.

e en la cultura informtica[editar]

Cartel publicitario de Google que planteaba problema relacionado con e.

En su oferta publica inicial de 2004, Google anunci su intencin de

recaudar $2,718,281,828, que son e miles de millones de dlares,
redondeados a un valor entero.

Google fue tambin responsable de un cartel publicitario 47 que apareci

en el corazn de Silicon Valley, y mas tarde en Cambridge,
Massachusetts; Seattle, Washington; yAustin, Texas. En l se lea
"{primer primo de 10 dgitos hallado entre 1os dgitos consecutivos
de e}.com". Resolviendo este problema y visitando el anunciado sitio
web, se acceda a un problema aun ms difcil, el cual a su vez conduca
los Google Labs, donde el visitante estaba invitado a dejar su
currculum48 . El primer primo de 10 dgitos ene es 7427466391, que
comienza en el nonagsimo noveno (99) dgito 49 .

El cientfico de la computacin Donald Knuth hace que el numero de

versin de su programa Metafont se aproxime a e. Las versiones son 2,
2.7, 2.71, 2.718, etc.50

Poemas al nmero e[editar]

La matemtica y poetisa Sarah Glaz escribi un elaborado y extenso

poema en el que describe la historia de e y sus principales
propiedades51 52 .

Otro poema:

Singular y encantador es el nmero (e).

Sus primeros nueve dgitos decimales no deben confundirte,
718281828, el 18 28 que se repite,
pues al igual que (pi) es un nmero irracional.
De la frmula del inters compuesto,
extiende el lmite hasta el infinito
y comprenders lo que digo.
Oh! qu nmero tan fascinante que aparece en las finanzas,
del clculo de Newton y Leibniz ni hablar,
que ha encontrado en los logaritmos de Neper
su morada al ser su base natural.
Intrigante es el nmero (e),
que al elevarlo a la su derivada permanece igual;
qu grandioso trascendental!
sin ser su intencin del gran Euler es la inicial
y en las funciones trigonomtricas hiperblicas lo podemos encontrar,
a ese interminable numeral.
Las estrellas lograremos contar,
mas las cifras de (e) jams,
pues como cociente de enteros nunca lo podremos expresar;
y como por mandato divino,
con (pi) y la unidad imaginaria se puede relacionar mediante una hermosa
identidad,
que slo a Euler se le pudo revelar.
Por eso y mucho ms en diversas ramas de las matemticas,
el nmero (e) nunca, jams ha de faltar.
Otras curiosidades[editar]

e en chocolate
es un nmero real y est dado por53

El valor principal de la expresin

Deslumbrado por la identidad de Euler, Benjamin Pierce sugiri crear

nuevos smbolos para y . Pierce public su sugerencia en revistas de
matemtica y libros de su autoria. Debido a las dificultades tipogrficas
y la similitud entre los smbolos, su propuesta no fue bien recibida y cay
en el olvido rpidamente.

Algunos matemticos proponen declarar el 2 de Julio de 2018 como el

da .

Cuestiones abiertas sobre e[editar]

No se sabe si e es simplemente normal en base 10 (o alguna otra base).

Esto es, que cada uno de los diez dgitos del sistema decimal tenga la
misma probabilidad de aparicin en una expansin decimal.

No se sabe si

No se sabe si
y
son irracionales. Se sabe que no son races
de polinomios de grado inferior a nueve y con coeficientes enteros del
orden 109.54 55

es trascendente