Раздел II. Дифференциальное исчисление функций одной переменной§ 7. Возрастание и убывание функции. Неравенства

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

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

Задача 1291

Доказать, что при x>0x>0 имеет место неравенство(1+1x)x<e<(1+1x)x+1\left(1+\frac1x\right)^x<e<\left(1+\frac1x\right)^{x+1}

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

Идея

Прологарифмируем требуемое двойное неравенство по основанию ee:

Проверка

xln(1+1x)<1<(x+1)ln(1+1x)x\ln\left(1+\frac{1}{x}\right) < 1 < (x+1)\ln\left(1+\frac{1}{x}\right)Рассмотрим функцию f(t)=lntf(t) = \ln t на отрезке [x,x+1]\left[x, x+1\right]. Поскольку x>0x > 0, функция непрерывна на этом отрезке и дифференцируема внутри него.
Применим теорему Лагранжа о конечных приращениях. Существует точка c(x,x+1)c \in (x, x+1), для которой:f(x+1)f(x)=f(c)((x+1)x)f(x+1) - f(x) = f'(c)((x+1) - x)Так как f(t)=1tf'(t) = \frac{1}{t}, получаем:ln(x+1)lnx=1c1\ln(x+1) - \ln x = \frac{1}{c} \cdot 1ln(x+1x)=1c    ln(1+1x)=1c\ln\left(\frac{x+1}{x}\right) = \frac{1}{c} \implies \ln\left(1+\frac{1}{x}\right) = \frac{1}{c}Поскольку точка cc лежит строго между xx и x+1x+1, справедливо двойное неравенство:x<c<x+1x < c < x+1Перейдём к обратным величинам (все числа положительны, поэтому знаки неравенств поменяются):1x+1<1c<1x\frac{1}{x+1} < \frac{1}{c} < \frac{1}{x}Заменим 1c\frac{1}{c} на логарифм:1x+1<ln(1+1x)<1x\frac{1}{x+1} < \ln\left(1+\frac{1}{x}\right) < \frac{1}{x}Из левого неравенства:1x+1<ln(1+1x)    1<(x+1)ln(1+1x)    e<(1+1x)x+1\frac{1}{x+1} < \ln\left(1+\frac{1}{x}\right) \implies 1 < (x+1)\ln\left(1+\frac{1}{x}\right) \implies e < \left(1+\frac{1}{x}\right)^{x+1}Из правого неравенства:ln(1+1x)<1x    xln(1+1x)<1    (1+1x)x<e\ln\left(1+\frac{1}{x}\right) < \frac{1}{x} \implies x\ln\left(1+\frac{1}{x}\right) < 1 \implies \left(1+\frac{1}{x}\right)^x < eОбъединяя результаты, получаем:(1+1x)x<e<(1+1x)x+1\left(1+\frac1x\right)^x < e < \left(1+\frac1x\right)^{x+1}Что и требовалось доказать.

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

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