Loading [MathJax]/jax/element/mml/optable/MathOperators.js

28 votos

¿Por qué la suma de los recíprocos de los factoriales converge a e ?

Algunos compañeros me han preguntado por qué tenemos n=01n!=e. No pude decir mucho además de que el Γ función, continuación analítica del factorial, se define con una integral que implica e . Entonces también sé que en realidad n=0xnn!=ex. ¿Hay alguna razón para estos hechos?

P.D. He añadido la etiqueta "intuición", por favor, elimínala si crees que no es pertinente.

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.

24voto

Yves Daoust Puntos 30126

Por definición, e=limn(1+1n)n. Utilizando el teorema del binomio, el kth plazo del desarrollo es (nk)1nk=n(n1)(n2)(nk+1)k!.n.n.nn, y limn(nk)1nk=1k!.

Por ejemplo, (1+11000)1000=10!+11!+0.9992!+0.9970023!+0.9940109944!

14 votos

Aquí hay problemas de convergencia. Que cada término de una suma converja a un límite no indica inmediatamente que el límite de las sumas finitas sea la suma infinita de los límites.

6 votos

No es una prueba, sólo una intuición, como se pide.

2 votos

@Jack: Aunque, por supuesto, hay muchos teoremas amplios que dicen que este tipo de argumento funciona.

13voto

David K Puntos 19172

Estas dos sumas conocidas son las series de Taylor para ex sobre 0 . Para obtener e mismo, se evalúa esta serie en x=1.

Derivación: El n de la Serie Taylor de una función f sobre a es

f(n)(a)n!(xa)n.

Pero si f(x) entonces f'(x) = e^x y por un argumento inductivo, f^{(n)}(x) = e^x para cada número entero positivo n. Tomando la serie sobre a = 0, el n El término es

\frac{f^{(n)}(a)}{n!} (x-a)^n = \frac{e^a}{n!} (x-a)^n = \frac{e^0}{n!} (x-0)^n = \frac{x^n}{n!}.

Es decir, la serie de Taylor de e^x en función de x sobre 0 es

e^x = \sum_{n=0}^\infty \frac{x^n}{n!},

y al establecer x=1 obtenemos

e = \sum_{n=0}^\infty \frac{1}{n!},

5voto

Debra Puntos 2729

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\,.

0 votos

Notación a_n significa que podrían ser distintos entre sí n pero no es obligatorio, se pueden tener secuencias constantes

4voto

mathguy Puntos 864

Aquí hay una prueba completa y rigurosa, que no utiliza series de potencia/función exponencial. Supongamos que sólo estamos aprendiendo sobre límites y series - no aprendimos sobre la convergencia uniforme, etc.

Tome esto como la definición de e : e = \lim_{n \to \infty} (1 + \frac 1 n)^n . Entonces es trivial demostrar que para cualquier FIXED N por muy grande que sea (pero FIJA), también tenemos \lim_{n\to\infty}(1 + \frac 1 n)^{n+N} = e también.

Dejemos que S_n = \sum_{k=0}^n\frac 1 {k!} . Por el teorema del binomio, (1+\frac 1 n)^n \le S_n para todos n por lo que obtenemos que la suma de la serie infinita es al menos e (comparación término a término: {n \choose k} \cdot \frac 1 {n^k} \le \frac 1 {k!} para todos k de 0 a n ). Esta es la parte fácil.

Para la otra parte, FIJA un número natural N (aunque sea grande, pero FIJO). De nuevo por el teorema del binomio, y mediante el mismo tipo de cálculo, tenemos S_N \le (1+\frac 1 n)^{n+N} . Sólo necesitamos el primer N+1 términos de la suma expandida del teorema del binomio; \frac 1 {k!} \le { n+N \choose k} \cdot \frac 1 {n^k} . Ahora mantenga N fijo y dejar que n \to \infty Esto demuestra que S_N \le e . Por último, como esto es cierto para TODOS los N obtenemos la desigualdad inversa: la suma de la serie de los inversos de los factoriales es \le e . Por cierto, esto también muestra que la serie converge (lo que podríamos ver de otras maneras, pero esto por sí mismo es una prueba completa - mostramos que las sumas parciales están limitadas por e ).

0 votos

El término correcto es constante, no fijo. Pero, todavía +1 para usted.

0 votos

@Akangka - el término correcto es FIXED donde lo he utilizado. Puede que no entiendas el concepto de "constante" - ese es tu problema.

0 votos

Pues explícamelo. En este sitio mathsisfun.com/calculus/integration-rules.html . el término constante se utiliza para la situación análoga. Así, una regla conocida del cálculo se llama "multiplicación por constante" y no "multiplicación por número fijo". Aquí, N puede ser cualquier cosa mientras no sea una función de n. Así que es constante.

3voto

littleO Puntos 12894

Este es un enfoque.

Dejemos que b > 1 . Si se calcula la derivada de la función b^x , se encuentra que la respuesta es simplemente b^x multiplicado por una (molesta) constante.

Hay un valor de b para el que esta constante es igual a 1 . ¡Qué bien! Con este valor especial de b la derivada de b^x es sólo b^x lo mismo que empezamos. Esa es una propiedad muy limpia para que una función tenga.

Este valor especial de b es e = 2.718 \ldots .

Ahora es fácil calcular la serie de Taylor de la función e^x (centrado en 0 ). Encontramos que \begin {Ecuación} \tag { \spadesuit } e^x = 1 + x + \frac {x^2}{2!} + \frac {x^3}{3!} + \cdots. \end {Ecuación} Esto viene directamente de la fórmula de la serie de Taylor \begin {ecuación} f(x) = f(x_0) + f'(x_0)(x - x_0) + \frac {f''(x_0)}{2!}(x - x_0)^2 + \cdots. \end {Ecuación}

Enchufando x = 1 en ( \spadesuit ) produce \begin {Ecuación} e = \sum_ {n=0}^{ \infty } \frac {1}{n!}. \end {Ecuación}

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X