Раздел I. Введение в анализ — § 2. Теория последовательностей
Демидович — задача 76
Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.
Задача 76
Доказать, чтоn→∞limn(an1−1)=lna(a>0),где lna есть логарифм числа a при основании e=2,718… .
Опирается на задачу 75
Доказательство
Идея
Положимtn=nlna.Тогда an1=etn, а tn→0. Нам нужно понять поведениеотношенияtnetn−1именно вдоль этой последовательности. Сначала с помощью задачи 75 зажмём
его для положительной последовательности, стремящейся к нулю. Затем
отрицательный случай сведём к положительному заменой знака. Такой путь
остаётся целиком в теории последовательностей. Случай a=1 рассмотрим
отдельно, поскольку тогда tn=0 и делить на него нельзя.
- 1Сначала установим вспомогательный последовательностный результат.
Пустьun>0,un→0.Начиная с некоторого номера 0<un<1. По пункту б) задачи 751+un<eun.Применяя то же неравенство к числу −un=0, получаем1−un<e−un.Здесь обе части положительны, поэтому после перехода к обратным величинамeun<1−un1.Таким образом,1+un<eun<1−un1.Вычитая 1 и деля на un>0, имеем1<uneun−1<1−un1.Обе крайние последовательности стремятся к 1, поэтому по теореме о
зажатой последовательностиuneun−1⟶1. - 2Для отрицательной последовательности пустьvn<0,vn→0,и положим wn=−vn>0. Из полученной выше цепочки после обращения следует1−wn<e−wn<1+wn1.По теореме о зажатой последовательностиe−wn⟶1.Кроме того,vnevn−1=−wne−wn−1=e−wnwnewn−1.Оба множителя справа стремятся к 1, следовательно,vnevn−1⟶1.
- 3Теперь вернёмся к исходной задаче. Если a=1, тоn(an1−1)=0=ln1для каждого n.
Пусть a=1 иtn=nlna.Тогда tn=0 и tn→0. При a>1 последовательность tn
положительна, а при 0<a<1 отрицательна. В обоих случаях доказанные выше
оценки даютtnetn−1⟶1.Поэтомуn(an1−1)=n(etn−1)=lnatnetn−1⟶lna.Все зажатия применены к последовательностям. При un>0
деление выполняется только после проверки un=0, а обращение неравенств
— после проверки положительности 1−un. Случай a=1 отделён до
появления отношения с нулевым знаменателем.
Проверка
n→∞limn(an1−1)=lna(a>0).Что и требовалось доказать