Número e

En matemáticas, la constante  es uno de los números irracionales y los números trascendentes más importantes. Es aproximadamente 2,71828 y aparece en diversas ramas de las matemáticas, al ser la base de los logaritmos naturales y formar parte de las ecuaciones del interés compuesto y otros muchos problemas.

El número , conocido en ocasiones como número de Euler o constante de Napier, fue reconocido y utilizado por primera vez por el matemático escocés John Napier, quien introdujo el concepto de logaritmo en el cálculo matemático.

Juega un papel importante en el cálculo y en el análisis matemático, en la definición de la función más importante de la matemática, la función exponencial, así como  lo es de la geometría y el número  del análisis complejo y del álgebra.

El número , al igual que el número  y el número áureo (φ), es un número irracional, no expresable mediante una razón de dos números enteros; o bien, no puede ser representado por un numeral decimal exacto o un decimal periódico. Además, también como , es un número trascendente, es decir, que no puede ser raíz de ecuación algebraica alguna con coeficientes racionales.
El valor de  truncado a sus primeras cifras decimales es el siguiente:

Historia 

A diferencia de , la introducción del número  en la matemática es relativamente reciente, lo cual tiene sentido si se considera que este último tuvo un origen analítico y no geométrico, como el primero. En las palabras de Eli Maor:

Las primeras referencias a la constante fueron publicadas en 1618 en la tabla en un apéndice de un trabajo sobre logaritmos de John Napier.
No obstante, esta tabla no contenía el valor de la constante, sino que era simplemente una lista de logaritmos naturales calculados a partir de esta. Se cree que la tabla fue escrita por William Oughtred. Unos años más tarde, en 1624,  se ve nuevamente involucrado en la literatura matemática, aunque no del todo. Ese año, Briggs dio una aproximación numérica a los logaritmos en base 10, pero no mencionó al número  explícitamente en su trabajo.

La siguiente aparición de  es algo dudosa. En 1647, Saint-Vincent calculó el área bajo la hipérbola rectangular. Si reconoció la conexión con los logaritmos es una cuestión abierta a debate, e incluso si lo hizo, no hubo razón para que tratara con  explícitamente. Quien sí comprendió la relación entre la hipérbola rectangular y el logaritmo fue Huygens allá por 1661, al estudiar el problema del área bajo la curva . El número  es aquel valor de abscisa a tomar para que el área 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 matemáticos de aquel entonces, de a poco iban acercándose a su comprensión.

Sin embargo, y tal vez inesperadamente, no es a través de los logaritmos que  es descubierto, sino del estudio del interés compuesto, problema abordado por Jacob Bernoulli en 1683. Si se invierte una Unidad Monetaria (que abreviaremos en lo sucesivo como UM) con un interés del 100% anual y se pagan los intereses una vez al año, se obtendrán 2 UM. Si se pagan los intereses 2 veces al año, dividiendo el interés 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 año en 4 períodos (trimestres), al igual que la tasa de interés, se obtienen 1 UM x 1,254 = 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 períodos de pago en un factor de n (que tiende a crecer sin límite) y se reduce la tasa de interés en el período, en un factor de , el total de unidades monetarias obtenidas estará dado por la siguiente expresión:

Bernoulli utilizó el teorema del binomio para mostrar que dicho límite se encontraba entre 2 y 3. Se puede considerar que ésta es la primera aproximación encontrada para . Incluso si aceptamos ésta como una definición de , sería la primera vez que un número se define como un proceso de límite. Con seguridad, Bernoulli no reconoció ninguna conexión entre su trabajo y los logaritmos.
De aquí proviene la definición que se da de  en finanzas, que expresa que este número es el límite de una inversión de 1 UM con una tasa de interés al 100% anual compuesto en forma continua. En forma más general, una inversión que se inicia con un capital C y una tasa de interés anual R, proporcionará  UM con interés 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 publicación fue en Mechanica, de Euler, publicado en 1736. Mientras que en los años subsiguientes algunos investigadores usaron la letra c,  fue la más común, y finalmente se convirtió en la terminología usual. Euler realizó varios aportes en relación con  en los años 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 aproximación para  de 18 cifras decimales, sin mostrar cómo la obtuvo. También dio su expresión como fracción continua reconociendo el patrón que sigue dicha expresión. Fue esta caracterización la que le sirvió de base para concluir que  es un número irracional, y la mayor parte de la comunidad acepta que Euler fue el primero en probar esta propiedad.

La pasión que guió a mucha gente a calcular más y más cifras decimales de  nunca pareció replicarse de la misma manera para . Sin embargo, algunos se embarcaron en la tarea de calcular su expansión decimal y el primero en contribuir con esto fue William Shanks en 1854. Vale la pena destacar que Shanks fue un entusiasta aún mayor del cálculo de los decimales de . James Whitbread Lee Glaisher mostró que los primeros 137 lugares de Shanks para el cálculo de  eran correctos, pero encontró un error que, tras ser corregido por el propio Shanks, arrojó cifras decimales de e hasta el lugar 205. De hecho, se necesita alrededor de 120 términos de 1 + 1/1! + 1/2! + 1/3! + … para obtener 200 decimales.

Expansiones decimales aún mayores siguieron con los trabajos de Boorman en 1884, quien calculó 346 lugares y halló que su cómputo coincidía con el de Shanks hasta el lugar 187, pero luego divergían. En 1887 Adams estimó el logaritmo de  en base 10 con 272 cifras exactas.

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 (también Karl Weierstrass y otros), propuso posteriormente variantes y modificaciones de las primeras demostraciones.

Definición 

La definición más común de  es como el valor límite de la sucesión . En símbolos,

A veces se toma también como punto de partida, resultado de aplicar el teorema del binomio, la serie siguiente:

que se expande como

Otra definición habitual dada a través del cálculo integral es como solución de la ecuación

es decir que se define  como el número para el que

Propiedades matemáticas y aplicaciones

Análisis matemático

Función exponencial 

Para cualquier , la sucesión  converge. Podemos denotar dicho límite con : 

 

Se llama función exponencial a la función real cuya variable independiente recorre el conjunto  de los números reales, y se define como

El rasgo más relevante de la función exponencial es que su función derivada (que existe en todo punto) coincide con la propia función, es decir,

Además, es la única función no idénticamente nula (a menos de multiplicación por constantes) con esta propiedad. Esto hace de la exponencial la función más importante del análisis matemático, y en particular para las ecuaciones diferenciales.

El desarrollo en serie de la función  se realiza mediante la fórmula de Maclaurin. Puesto que 

 

la fórmula de Maclaurin se escribe de la siguiente manera:

Suponiendo x=1, se obtiene el valor aproximado del número 

Donde ≈ se entiende como un valor aproximado.

Problema de Steiner

Este problema plantea encontrar el máximo absoluto de la función

Este máximo se da precisamente en .

Asimismo,  es el mínimo absoluto de la función

definida para . Más en general, la función

alcanza su máximo global en  para ; y el mínimo global se encuentra en  para .

La tetración infinita

 o 

converge si y solo si , por un teorema de Leonhard Euler.

Números complejos 

El número  presenta en la fórmula de Euler un papel importante relacionado con los números complejos:

El caso especial con  es conocido como identidad de Euler o fórmula mística de Euler

de lo que se deduce que:

Además, utilizando las leyes de la exponenciación, se obtiene:

que es la fórmula de De Moivre.

Esta fórmula llegó como una revelación a Benjamin Peirce, profesor de Harvard, quien la expuso ante sus alumnos, y manifestó su reconocimiento ante la maravillosa conexión de los cinco números más famosos de toda la matemática.

Probabilidad y estadística 

El número e también aparece en aplicaciones a la teoría de probabilidades. Un ejemplo es el problema de los desarreglos, descubierto en parte por Jacob Bernoulli junto con Pierre Raymond de Montmort, también conocido como el problema de los sombreros: los  invitados a una fiesta dejan a la entrada sus sombreros con el mayordomo, quien los coloca luego en  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 número  de invitados tiende a infinito,  se aproxima a . Más aún, el número de maneras en que se pueden colocar los sombreros en los compartimentos de forma que ninguno corresponda a su dueño es  redondeado al entero más cercano, para cada positivo .
El resultado anterior puede reformularse de la siguiente manera: sea  la probabilidad de que una función aleatoria del conjunto 1, 2, ..., n en sí mismo tenga al menos un punto fijo. Entonces
 

Otra aparición de  en la probabilidad es en el siguiente problema: se tiene una secuencia infinita de variables aleatorias , …, con distribución uniforme en [0,1]. Sea  el menor entero  tal que la suma de las primeras  observaciones es mayor que 1:

 

Luego, . Este resultado permite estimar el valor de la constante por medio de simulaciones aleatorias.

Sin embargo, el papel más relevante que juega el número  en esta rama de la matemática viene dado a través de la función de densidad de probabilidad para la distribución normal con media μ y desviación estándar σ, que depende de la integral gaussiana:

El rol de esta distribución es central en la teoría y la práctica.

Teoría de Números 

Las siguientes dos relaciones son corolarios directos del teorema de los números primos

donde  es n-esimo primo y  es el primorial del n-esimo primo.

donde  la función contadora de primos.

Geometría 

 
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 característica). Si tomamos dos puntos cualesquiera de la curva  con una separación angular de 1 radián, y  entonces se tiene

 
Esta construcción puede parecer forzada por el hecho de requerir medir un radián, sin embargo, esto puede conseguirse muy fácilmente si permitimos la operación de deslizar una circunferencia sobre una recta (operación más que usual dentro del conjunto de curvas mecánicas). 
La curva con la propiedad anteriormente señalada es un caso especial de espiral logarítmica o equiangular, y puede probarse fácilmente que a partir de su condición de «equiangularidad», su ecuación en coordenadas polares  viene dada por

Más generalmente, si la curva es cortada formando un ángulo , entonces su expresión en coordenadas polares es

Otra manifestación relevante de e en la geometría 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 únicamente a la fuerza de la
gravedad. Queda determinada por la posición de sus extremos y su longitud.

Irracionalidad y trascendencia 

El número real  es irracional, lo que significa que no puede expresarse como fracción de dos números enteros, como demostró Euler en 1737. En su demostración, Euler se valió de la representación de e como fracción continua, que al ser infinita, no puede corresponder a un número racional. Sin embargo, la demostración más conocida fue dada por Fourier, y se basa en el desarrollo en serie del número. 
J. H. Lambert probó en 1768 que  es irracional si  es un racional positivo.

También es un trascendente, es decir, que no es la raíz de ningún polinomio de coeficientes enteros (ver Teorema de Lindemann–Weierstrass). Fue el primer número trascendente que fue probado como tal, sin haber sido construido específicamente para tal propósito (comparar con el número de Liouville). La demostración de esto fue dada por Charles Hermite en 1873. Se cree que e además es un número normal.

Fórmulas que contienen al número e 

A continuación, se exhiben varias fórmulas que involucran de diversas formas a :

la cual se obtiene de la identidad 

Identidad de Euler o fórmula mística de Euler

Fórmula de Stirling:
 

Fórmula de Gosper:

Representaciones de e 

El número  puede ser representado como un número real en varias formas: como serie infinita, como producto infinito, como fracción continua o como límite de una sucesión.

Como límite 

La principal de estas representaciones, particularmente en los cursos básicos de cálculo, es la propia definición de , es decir, el límite:

En 1975, el suizo Felix A. Keller obtuvo el límite simétrico:

De la fórmula de Stirling se obtiene

 y

.

Se mostró también que

donde  es enésimo primo y  es el primorial del enésimo primo.

donde  la función contadora de primos.

Como serie o suma infinita 

 donde  es el -esimo número de Bell. 
Algunos ejemplos de esta última caracterización:

Como producto infinito 

El número  puede expresarse también mediante productos infinitos «del tipo Wallis» de diversas formas, incluyendo el producto de Pippenger

el producto de Catalán 

y el producto de Guillera

donde el n-ésimo factor es la n-ésima raíz del producto

como también el producto infinito

Como fracción continua 

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 fracción continua normalizada:

lo que se escribe , propiedad descubierta por Leonhard Euler (A003417 en OEIS). En fracción continua no normalizada se tiene

En ambos casos, e presenta regularidades no fortuitas.

Dígitos conocidos 

El número de dígitos conocidos de e ha aumentado enormemente durante las últimas décadas. Esto es debido tanto al aumento del desempeño de las computadoras como también a la mejora de los algoritmos utilizados. 
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 fórmula de Euler con un IBM 7090. Se emplearon 2,5 horas. Ya para 1994, R. Nemiroff y J. Bonnell habían llegado a 10.000.000 de decimales.

En las últimas décadas, los ordenadores fueron capaces de obtener números que poseen una inmensa cantidad de decimales. Así, por
ejemplo, en el año 2000, utilizando el programa de cálculo PiFast33 en un ordenador Pentium III 800, se obtuvieron
12 884 901 000 cifras decimales, para lo que se necesitaron 167 horas.

En la época computacional del cálculo de e las cifras se han disparado, no solo debido a la potencia de cálculo que estas máquinas son capaces de generar, sino también por el prestigio que conlleva para el constructor de la máquina cuando su marca aparece en la lista de los récords.

Primeras cien cifras decimales

Las cien primeras cifras de  son:

Cuestiones abiertas sobre 
 No se sabe si  es simplemente normal en base 10 (o alguna otra base). Esto es, que cada uno de los diez dígitos del sistema decimal tenga la misma probabilidad de aparición en una expansión decimal.
 No se sabe si  es trascendente
 No se sabe si  y  son irracionales. Se sabe que no son raíces de polinomios de grado inferior a nueve y con coeficientes enteros del orden 109.

Cultura popular 
A diferencia del número π, el número e no es tan popular como el primero. Sin embargo, hay cientos de entusiastas que memorizan sus dígitos. El récord actual lo posee Sharma, Rahul con 25 000 cifras memorizadas y la plusmarca de la categoría con malabares es de 571.

Véase también 

 Demostración de la irracionalidad de e
 Función exponencial
 Lista de constantes matemáticas
 Logaritmo
 Logaritmo de una matriz
 Número irracional
 Número π
 Número trascendente

Referencias

Bibliografía

Enlaces externos 
 Descubriendo el número e: el número e como límite de una determinada sucesión.
 Recursos Educativos Sobre el Número e.

 Las primeras diez mil cifras decimales del número e
 Un millón de cifras del número e.
 Fórmula para el cálculo de límites de sucesiones del tipo 1 elevado a infinito
 Programa para el cálculo de e y de otro gran número de constantes 
  Approximations – Wolfram MathWorld
 http://www.numberworld.org/misc_runs/e-500b.html
 The On-line Encyclopedia of Integer Sequences

Constantes matemáticas
Logaritmos
Exponenciales
Números trascendentes
Leonhard Euler