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

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

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

Задача 6

Доказать неравенство Бернулли:(1+x1)(1+x2)(1+xn)1+x1+x2++xn,(1+x_1)(1+x_2)\cdots(1+x_n)\ge 1+x_1+x_2+\cdots+x_n,где x1,x2,,xnx_1,x_2,\ldots,x_n — числа одного и того же знака, большие 1-1.

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

Идея

Условие об одинаковом знаке всех xkx_k позволяет не смешивать положительные и отрицательные слагаемые. Если xk0x_k\ge0, при раскрытии произведения все дополнительные произведения будут неотрицательными. Если же 1<xk0-1<x_k\le0, удобно записать xk=akx_k=-a_k: тогда каждый множитель 1ak1-a_k остаётся положительным, и неравенство можно доказать по индукции, не раскрывая всё произведение. Разберём эти два случая отдельно.
  1. 1

    Случай $x_k\ge0$

    При раскрытии произведения(1+x1)(1+xn)(1+x_1)\cdots(1+x_n)первые члены равны 1+x1++xn1+x_1+\cdots+x_n, а все произведения двух и более переменных неотрицательны. Поэтому требуемая оценка выполнена.
  2. 2

    Случай $-$1<x_k$\le0$

    Запишем xk=akx_k=-a_k, где 0ak<10\le a_k<1. Нужно доказать(1a1)(1an)1(a1++an).(1-a_1)\cdots(1-a_n)\ge1-(a_1+\cdots+a_n).Для n=1n=1 имеем равенство. Предположим, что утверждение верно для nn множителей, и обозначимSn=a1++an.S_n=a_1+\cdots+a_n.Поскольку 1an+1>01-a_{n+1}>0, индукционное неравенство можно умножить на этот множитель без изменения знака:(1a1)(1an)(1an+1)(1Sn)(1an+1)=1Snan+1+Snan+11Snan+1.\begin{aligned}
    (1-a_1)\cdots(1-a_n)(1-a_{n+1})
    &\ge(1-S_n)(1-a_{n+1})\\
    &=1-S_n-a_{n+1}+S_na_{n+1}\\
    &\ge1-S_n-a_{n+1}.
    \end{aligned}
    Последний переход корректен, поскольку Snan+10S_na_{n+1}\ge0.

    Обратим внимание на один тонкий момент: нам не требуется неравенство 1Sn01-S_n\ge0. Для умножения индукционного неравенства достаточно того, что множитель 1an+11-a_{n+1} положителен; именно это сохраняет направление знака.

Проверка

(1+x1)(1+xn)1+x1++xn.(1+x_1)\cdots(1+x_n)\ge1+x_1+\cdots+x_n.

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