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 ∑∞n=0xnn!=ex ¿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 ∞∑n=0xnn!=(∞∑n=01n!)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 (ex)′=ex y sea cual sea la definición, necesitarás algunos teoremas de análisis "complicados" para calcular e Por ejemplo, demostrar que limn(1+x/n)n=ex o ex=∑kxk/k! . No creo que se pueda encontrar una expresión para e directamente de lnxdef=∫x1dtt y 1def=ln(e) sin ninguno de esos teoremas