Раздел I. Введение в анализ — § 2. Теория последовательностей
Демидович — задача 72
Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.
Задача 72
Зная, чтоn→∞lim(1+n1)n=e,доказать, чтоn→∞lim(1+1+2!1+3!1+⋯+n!1)=e.Вывести отсюда формулуe=2+2!1+3!1+⋯+n!1+n!nθn,(*)где 0<θn<1, и вычислить число e с точностью до 10−5.
Опирается на задачу 5, задачу 69
Доказательство
Идея
Бином Ньютона уже содержит слагаемые, похожие наk!1, но их число растёт вместе с n. Поэтому прямой почленный
переход к пределу был бы необоснованным. Сначала зафиксируем конечное число
слагаемых и получим одну оценку для их суммы, затем сравним всю биномиальную
сумму с факториальной и получим обратную оценку. После установления предела
отдельно оценим хвост; именно эта оценка даст формулу с θn и точность
вычисления.
- 1ОбозначимSm=k=0∑mk!1.По задаче 5(1+n1)n=k=0∑nk!1j=0∏k−1(1−nj).Зафиксируем натуральное m и возьмём n≥m. Отбрасывая положительные слагаемые с номерами k>m, получаем(1+n1)n≥k=0∑mk!1j=0∏k−1(1−nj).Здесь справа находится сумма с фиксированным числом слагаемых. При n→∞ каждое произведение стремится к 1, поэтому по задаче 69e≥Smдля каждого m.Последовательность Sm возрастает и ограничена сверху числом e. Следовательно, она имеет конечный предел L≤e.
С другой стороны, при n≥2 для каждого k=2,…,n0<j=0∏k−1(1−nj)<1.Поэтому(1+n1)n<Sn.Переходя к пределу и используя существование L, получаемe≤L.Следовательно, L=e, то естьe=k=0∑∞k!1. - 2Теперь оценим остаток после n-го члена:Rn=e−Sn=j=1∑∞(n+j)!1.Вынесем n!1:Rn=n!1j=1∑∞(n+1)(n+2)⋯(n+j)1.Каждый из j множителей в знаменателе не меньше n+1, поэтому0<Rn<n!1j=1∑∞(n+1)j1=n!1⋅n1.Следовательно, существует число θn∈(0,1) такое, чтоRn=n!nθn.Итак,e=2+2!1+⋯+n!1+n!nθn.Для n=80<R8<8!⋅81=3225601<3.11⋅10−6.При этомS8=k=0∑8k!1=40320109601=2.718278769…Кроме того,S8<e<S8+8!⋅81=322560876809.Следовательно,718278769<e<2.718281871.Теперь погрешность относится уже к записанному округлённому числу:∣e−2.71828∣<1.88⋅10−6<10−5.Поэтому с требуемой точностьюe≈2.71828.Число слагаемых в биномиальной сумме растёт, поэтому прямой почленный переход был бы ошибочным. Фиксация конечного m и отдельная оценка хвоста устраняют этот пробел; оценка остатка затем даёт контролируемую точность вычисления e.
Проверка
e=k=0∑∞k!1,0<e−Sn<n!n1,e≈2.71828.Что и требовалось доказать