Раздел I. Введение в анализ§ 1. Вещественные числа

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

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

Задача 10

Доказать неравенства:а) 1+12+13++1n>n(n2);\text{а) }1+\frac1{\sqrt2}+\frac1{\sqrt3}+\cdots+\frac1{\sqrt n}>\sqrt n\quad(n\ge2);б) nn+1>(n+1)n(n3);\text{б) }n^{n+1}>(n+1)^n\quad(n\ge3);в) sin(k=1nxk)k=1nsinxk(0xkπ; k=1,2,,n);\text{в) }\left|\sin\left(\sum_{k=1}^{n}x_k\right)\right|
\le\sum_{k=1}^{n}\sin x_k
\quad(0\le x_k\le\pi;\ k=1,2,\ldots,n);
г) (2n)!<22n(n!)2.\text{г) }(2n)!<2^{2n}(n!)^2.

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

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

Идея

Четыре неравенства устроены по-разному, поэтому сначала отметим полезную особенность каждого.
а) Разность соседних корней позволяет получить телескопическую сумму.
б) Отношение двух степеней превращается в конечное биномиальное разложение.
в) Добавление очередного угла подсказывает индукцию по числу слагаемых.
г) Отношение факториалов является одним из биномиальных коэффициентов, и его можно сравнить со всей биномиальной суммой.
  1. 1
    Проведём эти четыре рассуждения последовательно.
  2. 2

    Пункт а)

    Поскольку функция квадратного корня строго возрастает, для любого k<nk < n справедливо неравенство k<n\sqrt{k} < \sqrt{n}. Переходя к обратным величинам, получаем 1k>1n\frac{1}{\sqrt{k}} > \frac{1}{\sqrt{n}}.

    Это означает, что последнее слагаемое в нашей сумме является самым маленьким. Заменим каждое слагаемое левой части (кроме последнего) на эту наименьшую дробь 1n\frac{1}{\sqrt{n}}. Так как n2n \ge 2, в сумме присутствует хотя бы одно слагаемое, которое строго больше 1n\frac{1}{\sqrt{n}} (например, первое слагаемое, равное единице). Следовательно, при такой замене вся сумма строго уменьшится:1+12++1n>1n+1n++1nn слагаемых.1+\frac1{\sqrt2}+\cdots+\frac1{\sqrt n} > \underbrace{\frac1{\sqrt n}+\frac1{\sqrt n}+\cdots+\frac1{\sqrt n}}_{n \text{ слагаемых}}.Правая часть полученного неравенства состоит ровно из nn одинаковых слагаемых, поэтому её значение равно:n1n=n.n \cdot \frac{1}{\sqrt{n}} = \sqrt{n}.Объединяя это с нашей строгой оценкой, мы мгновенно приходим к требуемому результату:1+12++1n>n.1+\frac1{\sqrt2}+\cdots+\frac1{\sqrt n} > \sqrt{n}.Утверждение доказано.
  3. 3

    Пункт б)

    После деления на nn>0n^n>0 требуемое неравенство принимает вид(1+1n)n<n.\left(1+\frac1n\right)^n<n.По формуле бинома Ньютона, выведенной в задаче 5,(1+1n)n=2+k=2n(nk)1nk.\left(1+\frac1n\right)^n
    =2+\sum_{k=2}^{n}\binom nk\frac1{n^k}.
    Для k2k\ge2(nk)1nk=n(n1)(nk+1)k!nk<1k!.\binom nk\frac1{n^k}
    =\frac{n(n-1)\cdots(n-k+1)}{k!\,n^k}
    <\frac1{k!}.
    Кроме того, k!2k1k!\ge2^{k-1} при k2k\ge2, поскольку каждый из множителей
    2,3,,k2,3,\ldots,k не меньше 22. Поэтому для n2n\ge2k=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.
    Последнее равенство можно проверить непосредственно: еслиS=12+122++12n1,S=\frac12+\frac1{2^2}+\cdots+\frac1{2^{n-1}},то вычитание SS из 2S2S даёт S=12(n1)S=1-2^{-(n-1)}. Таким образом,(1+1n)n<3n(n3).\left(1+\frac1n\right)^n<3\le n
    \qquad(n\ge3).
    Следовательно, nn+1>(n+1)nn^{n+1}>(n+1)^n.
  4. 4

    Пункт в)

    Так как 0xkπ0\le x_k\le\pi, то sinxk0\sin x_k\ge0. Докажем утверждение индукцией по числу слагаемых. Для n=1n=1 имеем равенство. Предположим, что утверждение доказано для nn слагаемых, и положимSn=x1++xn.S_n=x_1+\cdots+x_n.Тогдаsin(Sn+xn+1)=sinSncosxn+1+cosSnsinxn+1sinSncosxn+1+cosSnsinxn+1sinSn+sinxn+1k=1n+1sinxk.\begin{aligned}
    |\sin(S_n+x_{n+1})|
    &=|\sin S_n\cos x_{n+1}+\cos S_n\sin x_{n+1}|\\
    &\le |\sin S_n|\,|\cos x_{n+1}|+|\cos S_n|\sin x_{n+1}\\
    &\le |\sin S_n|+\sin x_{n+1}\\
    &\le\sum_{k=1}^{n+1}\sin x_k.
    \end{aligned}
    Индукционный переход выполнен.
  5. 5

    Пункт г)

    Имеем(2n)!(n!)2=(2nn).\frac{(2n)!}{(n!)^2}=\binom{2n}{n}.По формуле бинома Ньютона из задачи 5 при a=b=1a=b=1 и показателе степени 2n2n22n=(1+1)2n=k=02n(2nk).2^{2n}=(1+1)^{2n}=\sum_{k=0}^{2n}\binom{2n}{k}.Все слагаемые в этой сумме положительны, а (2nn)\binom{2n}{n} является только одним из них. Поэтому(2nn)<22n.\binom{2n}{n}<2^{2n}.Умножая на (n!)2>0(n!)^2>0, получаем(2n)!<22n(n!)2.(2n)!<2^{2n}(n!)^2.Все используемые суммы конечны. В частности, в пункте б) не используется ещё не введённый бесконечный ряд: применяется только точная формула конечной геометрической прогрессии.

Проверка

Все четыре неравенства доказаны.

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