Раздел I. Введение в анализ§ 2. Теория последовательностей

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

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

Задача 70

Доказать, что0<e(1+1n)n<3n(n=1,2,).0<e-\left(1+\frac1n\right)^n<\frac3n
\qquad(n=1,2,\ldots).
При каких значениях показателя nn выражение (1+1n)n\left(1+\frac1n\right)^n будет отличаться от числа ee меньше чем на 0,0010{,}001?

Опирается на задачу 5, задачу 69

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

Идея

По задаче 69 число ee расположено междуxn=(1+1n)nиyn=(1+1n)n+1.x_n=\left(1+\frac1n\right)^n
\quad\text{и}\quad
y_n=\left(1+\frac1n\right)^{n+1}.
Разность ynxny_n-x_n вычисляется точно. Затем оценим xn<3x_n<3, используя формулу бинома Ньютона из задачи 5 и только конечную геометрическую сумму.
  1. 1
    По задаче 69xn<e<yn.x_n<e<y_n.Следовательно,0<exn<ynxn.0<e-x_n<y_n-x_n.При этомynxn=y_n-x_n\mathrel{=}xn(1+1n1)=x_n\left(1+\frac1n-1\right)\mathrel{=}xnn.\frac{x_n}{n}.
  2. 2
    Докажем, что xn<3x_n<3. При n=1n=1 имеем x1=2<3x_1=2<3. Пусть n2n\ge2. По биному Ньютона из задачи 5xn=2+k=2n1k!j=0k1(1jn).x_n
    =2+\sum_{k=2}^{n}
    \frac1{k!}\prod_{j=0}^{k-1}\left(1-\frac jn\right).
    Каждое произведение в сумме положительно и меньше 11, поэтомуxn<2+k=2n1k!.x_n<2+\sum_{k=2}^{n}\frac1{k!}.Так как k!2k1k!\ge2^{k-1} при k2k\ge2, тоk=2n1k!k=2n12k1=112n1<1.\sum_{k=2}^{n}\frac1{k!}
    \le\sum_{k=2}^{n}\frac1{2^{k-1}}
    =1-\frac1{2^{n-1}}<1.
    Следовательно, xn<3x_n<3 для всех натуральных nn. Поэтому0<exn<xnn<3n.0<e-x_n<\frac{x_n}{n}<\frac3n.Чтобы гарантировать погрешность меньше 0.0010.001, достаточно иметь3n0.001.\frac3n\le0.001.Это выполняется при n3000n\ge3000. В частности, при n=3000n=3000 из строгого неравенства
    exn<3n=0.001e-x_n<\frac3n=0.001 также следует требуемая точность.

    Оценка ошибки выводится из зажатия задачи 69. Указанный номер nn гарантирует, а не только приблизительно предполагает, требуемую точность 0.0010.001.

Проверка

0<e(1+1n)n<3n.0<e-\left(1+\frac1n\right)^n<\frac3n.Полученная оценка гарантирует погрешность меньше 0.0010.001 для всехn3000.n\ge3000.

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

Демидович № 70 — решение