Сложение и умножение числовых неравенств. Оценивание значения выражения
Теорема — почленное сложение неравенств
Доказательство. Рассмотрим разность $(a+c)-(b+d)$. Перегруппируем слагаемые: $$(a+c)-(b+d) = (a-b)+(c-d).$$ По условию $a>b$ и $c>d$, значит обе разности $a-b$ и $c-d$ положительны. Сумма двух положительных чисел положительна — значит, положительна и разность $(a+c)-(b+d)$, то есть $a+c > b+d$.
Аналогично: если $a\lt b$ и $c\lt d$, то $a+c\lt b+d$. Такие неравенства (оба со знаком $>$ или оба со знаком $<$) называют неравенствами одного знака — их можно почленно складывать. Теорема верна и для трёх и более неравенств одного знака: если $a_1>b_1$, $a_2>b_2$, $a_3>b_3$, то $a_1+a_2+a_3 > b_1+b_2+b_3$.
Теорема — почленное умножение неравенств
Доказательство. Рассмотрим разность $ac - bd$ и распишем её через промежуточное слагаемое $bc$: $$ac - bd = ac - bc + bc - bd = c(a-b) + b(c-d).$$ Так как $a>b$ и $c>d$, то $a-b>0$ и $c-d>0$; а так как $b>0$ и $c>0$ по условию, то оба слагаемых $c(a-b)$ и $b(c-d)$ положительны. Их сумма положительна, значит $ac-bd>0$, то есть $ac>bd$.
Аналогично для знака $<$. Теорема тоже обобщается на три и более неравенств с положительными частями, а из неё следует: если $a>b$ и $a,b$ — положительные числа, то $a^n>b^n$ для любого натурального $n$ (перемножаем $n$ одинаковых верных неравенств $a>b$ подряд).
Оценивание значения выражения
Значения, полученные при измерении (длина, масса, время), почти никогда не точны — известны лишь границы, между которыми лежит истинное значение. Если известны границы нескольких величин, теоремы 3.1 и 3.2 позволяют найти границы для выражения, которое из них составлено, то есть оценить его значение.
Попробуй сам во вкладке «Оценка a+b, ab»: двигай границы интервалов для $a$ и $b$ и смотри, как пересчитываются границы суммы и произведения.
Пример 1 — оценка выражений с $a$ и $b$
Дано: $6 < a < 8$ и $10 < b < 12$. Оцените значения выражений: $a+b$, $a-b$, $ab$, $\tfrac{a}{b}$, $3a+\tfrac{b}{2}$.
Дополнительно: другие способы доказательства неравенств
Кроме сравнения разности с нулём, существуют и другие приёмы. Например, метод «от противного» позволяет доказать неравенство Коши — Буняковского (в честь Огюстена Луи Коши и Виктора Яковлевича Буняковского): для любых чисел $a_1,a_2,b_1,b_2$ верно $$(a_1b_1+a_2b_2)^2 \le (a_1^2+a_2^2)(b_1^2+b_2^2).$$ А ранее доказанное неравенство Коши для двух чисел $\tfrac{a+b}{2}\ge\sqrt{ab}$ (для $a\ge0$, $b\ge0$) само становится инструментом для доказательства новых неравенств — например, для положительных $a,b$ верно $(a+\tfrac1b)(b+\tfrac1a)\ge4$.
2) Неравенства одного знака с положительными частями можно почленно умножать: $a>b$, $c>d$, все положительны ⇒ $ac>bd$.
3) Чтобы оценить $a-b$, представь как $a+(-b)$ и сначала смени знак у неравенства для $b$.
4) Чтобы оценить $\tfrac{a}{b}$, представь как $a\cdot\tfrac1b$ и сначала «перевернlikelihood» неравенство для $b$.