Классические неравенства
Ошибка.
Попробуйте повторить позже
Положительные числа
не превосходят
Докажите неравенство
Сразу понятно, что если все числа равны между собой, то неравенство, очевидно, верное. Давайте рассмотрим числа
Если все они отрицательны, то тогда можно построить цепочку неравенств
, которая, очевидно, неверна. Аналогично будет,
если все они положительны. Если какое-то одно из чисел положительное, а остальные не превосходят нуля, тогда (пусть
Пусть какие-то два из них положительны. Например, первые два. Тогда
Для других случаев доказательство аналогичное.
Ошибка.
Попробуйте повторить позже
Положительные числа
таковы, что
и
Докажите, что из чисел
какие-то два
отличаются более чем на
Вычтем из второго равенства первое и разложим левую часть на множители, получим:
Не умаляя общности (в условии имеется циклическая симметрия переменных будем считать, что
наибольшее из данных чисел.
Тогда
но из (*) видим, что
Значит,
Аналогично
Тогда из
следует
Получается
Обозначим так что
тогда
принимает вид
Нам нужно доказать, что
Заметим, что так как это неравенство преобразуется к виду
(или следует из неравенства о среднем
арифметическом и среднем геометрическом). Отсюда
и далее
Получаем откуда
и поэтому
Остаётся показать, что
невозможно. Если
то
и тогда в
предыдущем рассуждении мы получим строгое неравенство
Значит,
возможно лишь при
Рассмотрим этот случай
отдельно.
В этом случае и
Тогда
что противоречит первому равенству из условия задачи.
Ошибка.
Попробуйте повторить позже
Даны положительные числа Докажите, что
Поскольку неравенство циклическое, не умаляя общности, пусть — второе по величине число. Тогда
то есть
Используя это неравенство, получаем
Ошибка.
Попробуйте повторить позже
Обозначим через
длины медиан, проведенных к сторонам
соответственно, а
— полупериметр
треугольника
Докажите, что
С помощью формул медианы левую часть можно записать как Если расписать полупериметр через
раскрыть квадрат и
привести подобные, получим неравенство:
Далее перенесём всё влево и выделим полные квадраты:
Получили требуемое.
Ошибка.
Попробуйте повторить позже
Обозначим через длины высот, проведенных к сторонам
соответственно. Докажите, что
Пусть — площадь треугольника. Тогда
(остальные высоты выражаются аналогично),
Если подставить это в
неравенство, оно превратится в:
А это неравенство верно, например, по неравенству Седракяна (КБШ для дробей).
Ошибка.
Попробуйте повторить позже
Для положительных чисел докажите неравенство
Сделаем замену Тогда у нас есть условие
и мы хотим доказать, что
Будем считать, что Тогда по неравенству о средних верно:
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Положительные числа
и
удовлетворяют условию
Докажите, что
Первое решение.
Первый случай. Если Тогда по неравенству между средним квадратичным и арифметическим верно:
Второй случай. Если Тогда по неравенству о средних:
______________________________________________________________________________________________________________________________________________________
Второе решение.
Знаем, что
и, например, по КБШ
А тогда правую часть можно оценить с помощью условия и первого неравенства, как:
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Неравенство Мюрхеда. Даны два упорядоченных набора и
из
элементов, причем
мажорирует
Тогда для любых
неотрицательных
…,
выполнено неравенство
(a) Назовем наборы и
смежными, если существуют натуральные
такие, что
,
и
для
Докажите неравенство Мюрхеда в случае, когда
и
смежные.
(b) Докажите неравенство Мюрхеда в произвольном случае.
_________________________________________________________________________________________________________________________________________________________________________________
Замечание. Определение. Пусть даны два упорядоченных набора и
из
элементов с равной суммой. Будем говорить, что
набор
мажорирует набор
, если
,
, …,
. То есть для любого
сумма первых
элементов
не меньше суммы первых
элементов
.
Для упорядоченного набора , элементы которого
являются целыми неотрицательными числами, и
переменных
,
,
, …
определим
где сумма берется по всем возможным перестановкам .
(a) Пусть и
Докажем, что
По определению смежных наборов это неравенство, если перенести слагаемые в одну сторону и вынести за скобки общие множители, можно записать так
при этом — некоторый многочлен. Далее, раскладывая в произведение, имеем
Для случаев и
это неравенство очевидно верно, а случая
по определению не бывает.
Теперь, чтобы доказать неравенство для смежных наборов, достаточно просуммировать все неравенства, о которых шла речь
выше.
_________________________________________________________________________________________________________________________________________________________________________________
(b) Найдем наименьшее такое что для наборов
и
(
мажорирует
) верно
(если такого
не
существует, то неравенство верно). Тогда
Найдем наименьшее такое
что
Пусть теперь
— такое
максимальное
такое, что
и
Тогда уменьшим
на 1 и
увеличим на 1. Мы знаем,
что
поэтому при уменьшении на 1 знак неравенства сохранится (возможно, станет нестрогим), поскольку все числа набора
и
целые. Неравенство
для тоже верно, поскольку эти частичные суммы не менялись. Если
то неравенство верно. Если же
то заметим,
что
при этом
поэтому неравенство при таких
тоже верно. Таким образом, мы
построили новый набор
мажорирующий
при этом
мажорирует
и они смежны (тогда неравенство для них следует из
предыдущего пункта). Продолжая аналогичные операции рано или поздно мы придем к набору
и неравенство будет доказано.
Теперь, если подходящего
не нашлось, то
для
и
Но тогда
поэтому
(поскольку в некоторый момент появилось строгое неравенство) — противоречие. Значит, подходящее всегда найдется, и неравенство
доказано.
Ошибка.
Попробуйте повторить позже
Пусть упорядоченные наборы и
имеют одинаковое количество элементов. Докажите, что неравенство Мюрхеда не верно, если
не
мажорирует
Если где
— число элементов в наборе
то можно подставить вместо всех переменных в
неравенство Мюрхеда одно и то же число
Тогда получим утверждение о том, что
которое верно для любых Очевидно, что существует
для которого это не так (одна из сумм больше, значит, одна из сумм
ненулевая, тогда
которое противоречит этому утверждению, легко подбирается).
Рассмотрим еще один случай. Если
причем — наименьшее натуральное, для которого это верно. Пусть
и
— значения
переменных в неравенстве Мюрхеда. Если бы неравенство Мюрхеда было верно, то мы бы получили утверждение о том, что многочлен
степени
для любых
не меньше многочлена
степени
где
Это, конечно, неверно, и мы снова получили
противоречие.
Ошибка.
Попробуйте повторить позже
Для положительных
докажите неравенство
Умножим неравенство на все встречающиеся знаменатели и раскроем все скобки. Получившееся представляем в виде выражений
из неравенства Мюрхеда
Последнее неравенство верно по неравенству Мюрхеда.
Ошибка.
Попробуйте повторить позже
Сумма неотрицательных чисел
и
равна
Докажите неравенство
Поскольку удобнее доказывать однородные неравенства, сначала сделаем исходное неравенство однородным. Так как
имеем
и
После соответствующих замен наше неравенство станет
однородным:
Раскроем все скобки
После преобразований неравенство принимает вид
Перегруппируем слагаемые
Каждую скобку разложим на множители
Неравенство симметрично относительно Тогда можно полагать
Тогда
Оценим теперь сумму
первых двух слагаемых.
Так как и
то последнее выражение является произведением двух неотрицательных скобок, тогда и само выражение
неотрицательно. Неравенство доказано.
Ошибка.
Попробуйте повторить позже
Неравенство Шура. Докажите, что для любых неотрицательных чисел
и натурального
выполнено
неравенство
Неравенство из условия равносильно
Перегруппируем слагаемые
Теперь каждую из скобок раскладываем на множители
Неравенство симметрично относительно переменных Тогда можно полагать, что
Ясно, что
Оценим сумму двух других слагаемых.
Так как и
то последнее выражение есть произведение двух неотрицательных выражений, поэтому сумма
первых двух слагаемых неотрицательно, и неравенство доказано.
Ошибка.
Попробуйте повторить позже
Сумма неотрицательных чисел
и
равна
Докажите неравенство
Без ограничений общности можно полагать, что Рассмотрим
Так как переменные
упорядочены, имеем
поэтому рассматриваемое выражение неотрицательно, поэтому и
неотрицательно.
Докажем теперь верхнюю оценку. Так как исходное неравенство равносильно
В обозначениях неравенства Мюрхеда исходное неравенство может быть записано так:
Для краткости далее будем опускать аргументы многочленов Умножаем неравенство на
По неравенству Шура По неравенству Мюрхеда
Сложив данные неравенства, получаем
требуемое. Неравенство доказано.
Ошибка.
Попробуйте повторить позже
Даны положительные числа
каждое из которых больше
Известно, что
Докажите неравенство
Пусть
Предположим противное:
Тогда из условия следует, что
По
неравенству о средних
Противоречие. Значит, что и требовалось.
Ошибка.
Попробуйте повторить позже
Положительные числа и
таковы, что
Докажите неравенство
По неравенству о среднем гармоническом и среднем арифметическом достаточно показать, что
Это равносильно тому, что Из неравенства КБШ легко получить
Ошибка.
Попробуйте повторить позже
Сумма трех положительных чисел
и
равна
Докажите неравенство
Пусть
Тогда
По условию
Нужно доказать, что Действительно, поскольку
то нужное неравенство доказано.
Ошибка.
Попробуйте повторить позже
Сумма четвертых степеней вещественных чисел
и
равна
Докажите неравенство
Пусть
Нужно доказать, что
Заметим, что
Поскольку
то что и требовалось.
Ошибка.
Попробуйте повторить позже
Сумма положительных чисел
и
равна
Докажите неравенство
если известно, что все знаменатели положительные.
Давайте рассмотрим выражение — сумму обратных дробей. Для чего мы её рассматриваем?
Например, если получится её как-то оценить, то мы сможем оценить и первоначальную сумму, используя неравенство
КБШ:
Из этого неравенства становится понятно, что необходимо доказать неравенство ведь это сразу даст требуемое. Если в дробях
почленно поделить слагаемые числителя на знаменатель и привести подобные, получим следующее неравенство:
Осталось заметить, что три последних слагаемых левой части по неравенству между средними арифметическим и геометрическим не
меньше также
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Докажите, что для положительных и
имеет место неравенство
Применим неравенство о средних для пяти чисел (они положительные):
Ошибка.
Попробуйте повторить позже
Натуральные числа и
таковы, что
и
Что больше:
или
Докажем, что Допустим противное, тогда
Поэтому
откуда
Следовательно,
что противоречит условию. Итак, т. е.
Тогда
откуда
Итак,
и
поэтому