{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# El número $e$. El número de las finanzas" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "*Esta notebook fue creada originalmente como un blog post por [Raúl E. López Briega](http://relopezbriega.com.ar/) en [Matemáticas, análisis de datos y python](http://relopezbriega.github.io). El contenido esta bajo la licencia BSD.*" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "" ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "## Introducción\n", "\n", "El artículo de hoy se lo voy a dedicar a uno los números más fascinantes de las [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas), el número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e). Este número es de suma importancia, ya que lo podemos encontrar en una gran variedad de fenómenos, desde Física y Biología, hasta Finanzas, Arte y Música. Así como el famoso [$\\pi$](https://es.wikipedia.org/wiki/N%C3%BAmero_%CF%80), gobierna el círculo, [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) gobierna el [Cálculo](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/) y los [Logaritmos](https://es.wikipedia.org/wiki/Logaritmo). \n", "\n", "## ¿Qué es el número $e$?\n", "\n", "El número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) es una de las más importantes *constantes matemáticas*, pertenece al grupo de los [números irracionales](http://es.wikipedia.org/wiki/N%C3%BAmero_irracional), es decir, que el mismo no puede ser expresado como una [fracción](http://es.wikipedia.org/wiki/Fracci%C3%B3n) de dos [números enteros](http://es.wikipedia.org/wiki/Enteros) y su expansión decimal es infinita. Asimismo, también es un [número trascendental](http://es.wikipedia.org/wiki/N%C3%BAmero_trascendente), lo que quiere decir que tampoco puede ser expresado algebraicamente. Sus primeros dígitos son:\n", "\n", "$$e = 2.7182818284590452353602874713527\\dots$$\n", "\n", "Otra cosa que hace a [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) sumamente interesante, es que es la base del [Logaritmo natural](https://es.wikipedia.org/wiki/Logaritmo_natural), es decir que si $\\ln(x) = y$, entonces $e^y = x$. También podemos encontrar a [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e), en la [función exponencial](https://es.wikipedia.org/wiki/Funci%C3%B3n_exponencial), $e^x$, la cual es la inversa de la función del [Logaritmo natural](https://es.wikipedia.org/wiki/Logaritmo_natural), y tiene la particularidad de que la [derivada](https://es.wikipedia.org/wiki/Derivada) de $e^x$, es la misma función $e^x$. Esta característica, es lo que que hace a [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) fundamental para el [Cálculo](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/).\n", "\n", "## Historia del número $e$\n", "\n", "Para poder entender más en profundidad la naturaleza del número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e), debemos recorrer un poco de su historia, que a diferencia de $\\pi$, que tiene una historia milenaria, es relativamente reciente. \n", "\n", "### Invención del Logaritmo\n", "\n", "La historia del número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) comienza en el siglo XVII, cuando [John Napier](https://es.wikipedia.org/wiki/John_Napier) inventó el concepto de [Logaritmo](https://es.wikipedia.org/wiki/Logaritmo). Pocas veces en la historia de la ciencia, un concepto matemático fue recibido con tanto entusiasmo por la comunidad científica, como fue el caso del [Logaritmo](https://es.wikipedia.org/wiki/Logaritmo). La idea básica detrás de este concepto abstracto es la siguiente: Si uno pudiera escribir cualquier número positivo como la potencia de otro número fijo (llamado base), entonces la multiplicación y la división de números pasaría a ser equivalente a sumar o restar sus potencias; lo que simplificaría y facilitaría los cálculos. Para entenderlo mejor, veamos un ejemplo, supongamos que tenemos la siguiente tabla de potencias de 2.\n", "\n", "| $n$ | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |\n", "|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|\n", "|$2^n$ | 1/8 | 1/4 | 1/2 | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 128 | 256 | 512 | 1024 | 2048 | 4096 |\n", "\n", "Ahora si quisiéramos saber el resultado de multiplicar 32 por 64; simplemente deberíamos buscar las potencias de estos dos números en la tabla anterior, 5 para 32 y 6 para 64, luego sumamos estos dos números, los que nos da como resultado 11 y por último si vamos a buscar el resultado de elevar 2 a la 11 potencia en la misma tabla, encontramos el resultado de nuestra multiplicación, que es 2048. Utilizando una simple tabla de [Logaritmos](https://es.wikipedia.org/wiki/Logaritmo), se podían resolver multiplicaciones y divisiones complejas en segundos, algo muy útil en el siglo XVII, dónde no existían las calculadoras!. \n", "\n", "Si bien [John Napier](https://es.wikipedia.org/wiki/John_Napier) desarrollo el concepto de [Logaritmo](https://es.wikipedia.org/wiki/Logaritmo), el mismo difiere un poco del concepto moderno que tenemos hoy en día; y tampoco fue el responsable de notar el poder [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) como base de los mismos. Tendríamos que esperar algunos años más hasta que [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) se apoderara por completo de los [Logaritmos](https://es.wikipedia.org/wiki/Logaritmo), como la base más natural para ellos. Veamos el camino que hubo que recorrer.\n", "\n", "### El área de la hipérbola \n", "\n", "Un problema muy común en [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas), es el de encontrar el [área](https://es.wikipedia.org/wiki/%C3%81rea) de una figura plana, este proceso se conoce con el nombre de *cuadratura* o [integración](https://es.wikipedia.org/wiki/Integraci%C3%B3n). Desde que los matemáticos comenzaron a trabajar en estos problemas, una de las figuras que más ha resistido obstinadamente todos los intentos de cuadratura era la [hipérbola](https://es.wikipedia.org/wiki/Hip%C3%A9rbola), la cual esta definida por la función $f(x) = \\frac{1}{x}$.\n", "\n", "Un matemático que se interesó por un tema muy cercano a este, también en el siglo XVII, fue [Pierre de Fermat](https://es.wikipedia.org/wiki/Pierre_de_Fermat). [Fermat](https://es.wikipedia.org/wiki/Pierre_de_Fermat) se interesó en la *cuadratura* de curvas cuya función general tiene la forma $f(x) = x^n$, dónde $n$ es un [número entero](http://es.wikipedia.org/wiki/Enteros). Estas curvas son llamadas generalmente parábolas. Utilizando el [método de exhaución](https://es.wikipedia.org/wiki/M%C3%A9todo_exhaustivo), el cuál explique en mi [artículo anterior](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/), [Fermat](https://es.wikipedia.org/wiki/Pierre_de_Fermat) fue capaz de llegar a una fórmula general para encontrar el área de esta familia de curvas. La fórmula a la que arribó fue la siguiente:\n", "\n", "$$A = \\frac{a^{n + 1}}{n + 1}$$\n", "\n", "Como podemos ver, esta no es ni más ni menos que la regla de [integración](https://es.wikipedia.org/wiki/Integraci%C3%B3n) para funciones de grado $n$. \n", "\n", "$$\\int x^{n} \\ dx = \\frac{x^{n + 1}}{n + 1}$$\n", "\n", "Debemos recordar, sin embargo, que el trabajo de [Fermat](https://es.wikipedia.org/wiki/Pierre_de_Fermat) fue hecho alrededor de 1640, aproximadamente unos 30 años antes de que [Newton](https://es.wikipedia.org/wiki/Isaac_Newton) y [Leibniz](https://es.wikipedia.org/wiki/Gottfried_Leibniz) establecieran esta fórmula como parte del [cálculo integral](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/). A pesar de que [Fermat](https://es.wikipedia.org/wiki/Pierre_de_Fermat) pudo probar que su fórmula podía ser aplicada tanto para los casos de $n$ siendo un [entero](http://es.wikipedia.org/wiki/Enteros) positivo como negativo; hubo un caso que se le siguió escapando, el caso de $n = -1$, es decir el caso del [área](https://es.wikipedia.org/wiki/%C3%81rea) de la [hipérbola](https://es.wikipedia.org/wiki/Hip%C3%A9rbola), $f(x) = \\frac{1}{x}$; ya que este caso hace al denominador de su formula ($n + 1$) igual a 0. A pesar de todos sus esfuerzos, [Fermat](https://es.wikipedia.org/wiki/Pierre_de_Fermat) nunca pudo llegar a resolver este caso. \n", "\n", "La luz recién llegaría en el año 1661, cuando [Christiaan Huygens](https://es.wikipedia.org/wiki/Christiaan_Huygens) se diera cuenta de que para el caso de $n = -1$, todos los rectángulos utilizados en la aproximación del [área](https://es.wikipedia.org/wiki/%C3%81rea) bajo la [hipérbola](https://es.wikipedia.org/wiki/Hip%C3%A9rbola), tenían la misma [área](https://es.wikipedia.org/wiki/%C3%81rea), es decir que a medida que la distancia crece geométricamente desde 0, las [área](https://es.wikipedia.org/wiki/%C3%81rea) se incrementan en la misma proporción. Lo que implica que la relación entre el [área](https://es.wikipedia.org/wiki/%C3%81rea) y la distancia, es [logarítmica](https://es.wikipedia.org/wiki/Logaritmo)!. Por tanto para resolver el problema del [área](https://es.wikipedia.org/wiki/%C3%81rea) de la [hipérbola](https://es.wikipedia.org/wiki/Hip%C3%A9rbola), $y = \\frac{1}{x}$, simplemente deberíamos aplicar la función [logarítmica](https://es.wikipedia.org/wiki/Logaritmo) sobre $x$; el único problema restante, era encontrar la *base* de esa función [logarítmica](https://es.wikipedia.org/wiki/Logaritmo), que como ya se pueden ir imaginando, no es ni nada más ni nada menos que el número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e). \n", "\n", " \n", "\n", "Es decir, que entonces para resolver el [área](https://es.wikipedia.org/wiki/%C3%81rea) bajo la [hipérbola](https://es.wikipedia.org/wiki/Hip%C3%A9rbola), debemos calcular el [Logaritmo natural](https://es.wikipedia.org/wiki/Logaritmo_natural) de $x$. Lo que llevado a la notación actual del [cálculo integral](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/) equivale a decir que:\n", "\n", "$$\\int \\left(\\frac{1}{x}\\right) \\ dx = \\ln (x)$$\n", "\n", "Desde este momento en adelante, [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e) comenzaría a convertirse en el amo y señor de los [Logaritmos](https://es.wikipedia.org/wiki/Logaritmo). Pero no se iba a quedar solo con eso, ya que aún quedaban por descubrirse otras importantes propiedades de este misterioso número. \n", "\n", "### Euler\n", "\n", "Sin dudas, uno de los más grandes matemáticos de todos los tiempos fue [Leonhard Euler](https://es.wikipedia.org/wiki/Leonhard_Euler). Prácticamente no dejó una rama de las [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas) sin tocar, dejando su marca en campos tan diversos como el [análisis matemático](https://es.wikipedia.org/wiki/An%C3%A1lisis_matem%C3%A1tico), la [teoría de números](https://es.wikipedia.org/wiki/Teor%C3%ADa_de_n%C3%BAmeros), la [mecánica](https://es.wikipedia.org/wiki/Mec%C3%A1nica) y la [hidrodinámica](https://es.wikipedia.org/wiki/Hidrodin%C3%A1mica), la [cartografía](https://es.wikipedia.org/wiki/Cartograf%C3%ADa), la [topología](https://es.wikipedia.org/wiki/Topolog%C3%ADa), la [óptica](https://es.wikipedia.org/wiki/%C3%93ptica) y la [astronomía](https://es.wikipedia.org/wiki/Astronom%C3%ADa). A él también le debemos muchos de los símbolos matemáticos que usamos hoy en día, como ser, $i, \\ f(x), \\ \\pi$ y el mismo símbolo del número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e). La más influyente de sus numerosas obras fue su *Introductio in analysin infinitorum*, una obra en dos volúmenes publicados en 1748 y considerada como la base de [análisis matemático](https://es.wikipedia.org/wiki/An%C3%A1lisis_matem%C3%A1tico) moderno. En esta obra, [Euler](https://es.wikipedia.org/wiki/Leonhard_Euler) convierte a la *[función](https://es.wikipedia.org/wiki/Funci%C3%B3n_matem%C3%A1tica)* en el concepto central del [análisis](https://es.wikipedia.org/wiki/An%C3%A1lisis_matem%C3%A1tico). Su definición de *[función](https://es.wikipedia.org/wiki/Funci%C3%B3n_matem%C3%A1tica)* es la que se suele utilizar hoy en día tanto en [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas) aplicadas, como en [Física](https://es.wikipedia.org/wiki/F%C3%ADsica). \n", "\n", "En el *Introductio*, [Euler](https://es.wikipedia.org/wiki/Leonhard_Euler), hace notar por primera vez, el rol central que tiene el número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e), y más precisamente la [función exponencial](https://es.wikipedia.org/wiki/Funci%C3%B3n_exponencial) $e^x$, y su función inversa, la [función logarítmica](https://es.wikipedia.org/wiki/Logaritmo) $\\ln x$ para el [Cálculo](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/). [Euler](https://es.wikipedia.org/wiki/Leonhard_Euler) puso a éstas dos últimas funciones en iguales condiciones, al darles definiciones independientes a cada una de ellas. Como ser:\n", "\n", "$$e^x = \\lim_{n \\to \\infty} \\left(1 + \\frac{x}{n}\\right)^n\n", "\\\\\n", "\\\\\n", "\\\\\n", "\\ln x = \\lim_{n \\to \\infty} n(x^{1/n} - 1)$$\n", "\n", "Finalmente, a [Euler](https://es.wikipedia.org/wiki/Leonhard_Euler) también le debemos una de las [ecuaciones](https://es.wikipedia.org/wiki/Ecuaci%C3%B3n) más famosas e increíbles de todas las [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas). La ecuación:\n", "\n", "$$e^{i\\pi} + 1 = 0$$\n", "\n", "En una sola fórmula, [Euler](https://es.wikipedia.org/wiki/Leonhard_Euler) logró conectar a las cinco más importantes *constantes* de las [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas), y también tres de las más importantes *operaciones* matemáticas (adición, [multiplicación](https://es.wikipedia.org/wiki/Multiplicaci%C3%B3n) y [exponenciación](https://es.wikipedia.org/wiki/Exponenciaci%C3%B3n)). Las cinco *constantes* simbolizan las cuatro principales ramas de las [Matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas) clásicas: la [Aritmética](https://es.wikipedia.org/wiki/Aritm%C3%A9tica), representada por el 0 y el 1; el [Álgebra](https://es.wikipedia.org/wiki/%C3%81lgebra) por $i$; la [Geometría](https://es.wikipedia.org/wiki/Geometr%C3%ADa), por $\\pi$; y el [Análisis](https://es.wikipedia.org/wiki/An%C3%A1lisis_matem%C3%A1tico), representado por [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e).\n", "\n", "A partir de la obra de [Euler](https://es.wikipedia.org/wiki/Leonhard_Euler), el número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e), se convirtió también en amo y señor del [Cálculo](http://relopezbriega.github.io/blog/2015/12/02/introduccion-al-calculo-con-python/); gobernando así, tanto a los [Logaritmos](https://es.wikipedia.org/wiki/Logaritmo) como al [Análisis](https://es.wikipedia.org/wiki/An%C3%A1lisis_matem%C3%A1tico).\n", "\n", "## Calculando a $e$\n", "\n", "Existen muchas maneras de calcular al número [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e), por ejemplo una forma de calcularlo es aplicando el siguiente [límite](https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico):\n", "\n", "$$e = \\lim_{n \\to \\infty} \\left(1 + \\frac{1}{n}\\right)^n$$\n", "\n", "A medida que $n$ se va haciendo cada vez más grande, vamos ganando precisión en el cálculo de los decimales de [$e$](https://es.wikipedia.org/wiki/N%C3%BAmero_e)." ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": false, "hide_input": true }, "outputs": [ { "data": { "text/html": [ "
\n", " | n | \n", "e | \n", "
---|---|---|
0 | \n", "1 | \n", "2.000000 | \n", "
1 | \n", "5 | \n", "2.488320 | \n", "
2 | \n", "10 | \n", "2.593742 | \n", "
3 | \n", "100 | \n", "2.704814 | \n", "
4 | \n", "1000 | \n", "2.716924 | \n", "
5 | \n", "10000 | \n", "2.718146 | \n", "
6 | \n", "100000 | \n", "2.718268 | \n", "
7 | \n", "1000000 | \n", "2.718280 | \n", "
8 | \n", "100000000 | \n", "2.718282 | \n", "