Раздел I. Введение в анализ§ 5. Предел функции

Демидович — задача 611

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Задача 611

Доказать, чтоа) limn(1+xn)n=ex\text{а) }\lim_{n\to\infty}\left(1+\frac{x}{n}\right)^n=e^xб) limn(1+x+x22!++xnn!)=ex\text{б) }\lim_{n\to\infty}
\left(1+x+\frac{x^2}{2!}+\cdots+\frac{x^n}{n!}\right)=e^x
Доказано:limn(1+xn)n=ex\lim_{n\to\infty}\left(1+\frac{x}{n}\right)^n=e^xlimn(1+x+x22!++xnn!)=ex\lim_{n\to\infty}
\left(1+x+\frac{x^2}{2!}+\cdots+\frac{x^n}{n!}\right)=e^x

Доказательство

  1. 1

    Пункт а)

    При фиксированном xx основание положительно для всех
    достаточно больших nn. Если x=0x=0, утверждение очевидно. При
    x0x\ne0 логарифм выражения равенln(1+xn)n=nln(1+xn)==xln(1+x/n)x/n\begin{aligned}
    \ln\left(1+\frac xn\right)^n
    &=n\ln\left(1+\frac xn\right)=\\
    &=x\,
    \frac{\ln(1+x/n)}{x/n}
    \end{aligned}
    Так как x/n0x/n\to0 иlimu0ln(1+u)u=1\lim_{u\to0}\frac{\ln(1+u)}u=1логарифм стремится к xx. Следовательно, исходная степень стремится к
    exe^x
  2. 2

    Пункт б)

    Сначала пусть x0x\geqslant0 иSn(x)=k=0nxkk!S_n(x)=\sum_{k=0}^n\frac{x^k}{k!}При n>xn>x биномиальная формула даёт нижнюю оценку(1+xn)n=k=0nxkk!j=0k1(1jn)Sn(x)\left(1+\frac xn\right)^n
    =\sum_{k=0}^n
    \frac{x^k}{k!}
    \prod_{j=0}^{k-1}\left(1-\frac jn\right)
    \leqslant S_n(x)
    С другой стороны, разложение отрицательной степени даёт(1xn)n=k=0xkk!j=0k1(1+jn)Sn(x)\begin{aligned}
    \left(1-\frac xn\right)^{-n}
    &=\sum_{k=0}^{\infty}
    \frac{x^k}{k!}
    \prod_{j=0}^{k-1}\left(1+\frac jn\right)\geqslant\\
    &\geqslant S_n(x)
    \end{aligned}
    По части а)(1+xn)nex,(1xn)nex\left(1+\frac xn\right)^n\longrightarrow e^x,
    \qquad
    \left(1-\frac xn\right)^{-n}\longrightarrow e^x
    По теореме о зажатой последовательности Sn(x)exS_n(x)\to e^x

Проверка

Если x=y<0x=-y<0, то ряд yk/k!\sum y^k/k! сходится, поэтому ряд
(y)k/k!\sum(-y)^k/k! сходится абсолютно. Обозначим его сумму через TT.
По формуле Коши для произведения абсолютно сходящихся рядовeyT=m=0ymm!k=0m(1)k(mk)=1\begin{aligned}
e^yT
&=\sum_{m=0}^{\infty}\frac{y^m}{m!}
\sum_{k=0}^m(-1)^k\binom{m}{k}
=1
\end{aligned}
поскольку внутренняя сумма равна (11)m(1-1)^m. Значит,
T=ey=exT=e^{-y}=e^x

Что и требовалось доказать

Демидович № 611 — решение и ответ | Высшая математика — Профиматика