Ya que está llamando a por intuición, una versión término a término . Intuitivamente, el coeficiente factorial inverso $\frac{1}{n!}$ es el más natural, ya que da lugar a " algún tipo de invariancia a la diferenciación ", ya que:
$$\left(\frac{x^n}{n!}\right)' = \left(n\frac{x^{n-1}}{n!}\right) = \frac{x^{n-1}}{(n-1)!} = \frac{x^{m}}{m!}$$ con $m= n-1$ .
Es posible que sepas, y empieces, una propiedad fundamental de la exponencial natural: es igual a su derivada. Entonces, supongamos que
$$ f(x) = \sum_{n=0}^\infty a_n{x^n}\,,$$ es igual a su derivada. Entonces, formalmente (me salto las cuestiones de convergencia), $$ f'(x) = \sum_{n=1}^\infty n a_n{x^{n-1}}\,,$$ así por reindexación: $$ f'(x) = \sum_{n=0}^\infty (n+1) a_{n+1}{x^{n}}\,,$$ entonces, se debe tener, término por término: $$ a_n= (n+1) a_{n+1}\,,$$ por lo que $$ a_{n+1} = \frac{a_n}{n+1} =\frac{a_0}{(n+1)!}\,.$$ Como el exponencial es el recíproco al $\log$ , usted requiere que $f(0)=1$ Por lo tanto $a_0=1$ . Así que, naturalmente,
$$ f(x) = \sum_{n=0}^\infty \frac{x^n}{n!}=e^x\,,$$ y $$ f(1) = \sum_{n=0}^\infty \frac{1}{n!}=e\,.$$
8 votos
¿Cómo define usted $e$ ? Este y sus enlaces, muestra que las formas habituales de definirlo son equivalentes.
0 votos
Bueno, creo que es más bien $ \sum_{n=0}^\infty \frac{x^n}{n!}=e^x$ ¿No es así?
0 votos
@servabat Uy, sí, mala errata. Gracias por señalarlo.
0 votos
@DavidMitra Estamos usando el límite uno. Gracias por el enlace, es útil.
0 votos
El caso $x=1$ de Prueba combinatoria responde a esto. Esto ya se ha preguntado antes.
0 votos
@robjohn Bueno, supongo que estarás de acuerdo en que no es un título que me haya ayudado a encontrarlo, cuando busqué una pregunta similar a la mía. Gracias.
0 votos
Ver equivalencia de las caracterizaciones de la función exponencial .
0 votos
@VincenzoOliva: Hay un par de preguntas enlazadas ahí cuyos títulos son más descriptivos: Prueba de que $\displaystyle\sum_{n=0}^{\infty}{\frac{x^{n}}{n!}} ={\left(\sum_{n=0}^{\infty}{\frac{1}{n!}}\right)}^{x}$ ? y Demuestre las definiciones de $e$ para ser equivalente .
0 votos
@robjohn Reconozco que si hubiera encontrado esto último, no habría hecho esta pregunta. Lamentablemente busqué algo así como "definición de factorial e". ¿Debo borrar esto?
0 votos
@VincenzoOliva: Tienes muchas respuestas, algunas upvoted. A ver si la gente vota para cerrar.
0 votos
Parece que en algún momento para definir $e$ es necesario afirmar que $(e^x)' = e^x$ y sea cual sea la definición, necesitarás algunos teoremas de análisis "complicados" para calcular $e$ Por ejemplo, demostrar que $\lim_n (1+x/n)^n = e^x$ o $e^x = \sum_k x^k / k!$ . No creo que se pueda encontrar una expresión para $e$ directamente de $\ln x \overset{def}= \int_1^x \frac{dt}{t}$ y $ 1\overset{def}= \ln (e)$ sin ninguno de esos teoremas