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