Классические неравенства → .07 Транснеравенство
Ошибка.
Попробуйте повторить позже
Докажите, что для положительных чисел верно
Подсказка 1
В левой части у нас кубы переменных, а должна получиться сумма произведений квадратов на первую степень. Чтобы так переставить переменные, можно попробовать применить транснеравенство. Как это сделать?
Подсказка 2
Верно! Представим a³ = a²a и так далее. Тогда если упорядочить переменные, по транснеравенству все получится. А можно ли упорядочить переменные?
Сначала предположим, что Рассмотрим транснеравенство для наборов
и
Тогда левая часть —
наибольшая оценка транснеравенства, а правая часть — какая-то из меньших. Заметим, что значение левой части симметрично
относительно замены переменных, а потому можно при любом порядке между переменными доказать неравенство аналогичным
способом.
Ошибка.
Попробуйте повторить позже
Докажите, что для неотрицательных выполняется
Подсказка 1
В левой части сумма переменных, а в правой эти переменные умножаются на дроби. Можно ли слева сделать похожие дроби?
Подсказка 2
Верно! Представим a = a(a+1)/(a+1) и аналогично с остальными дробями. Можно ли теперь применить транснеравенство?
Будем для определенности полагать, что (остальные случаи рассматриваются аналогично). Тогда
Кроме
того,
Применим транснеравенство к наборам
и
Действительно, левая часть — максимальная оценка в транснеравенстве для этих наборов, а тогда правая — какая-то из меньших. Это неравенство в точности то, что требовалось.
Ошибка.
Попробуйте повторить позже
Докажите, что для наборов чисел
выполнено неравенство
Подсказка 1
Попробуем применить транснеравенство. Выражение в скобках левой части — наименьшая оценка в транснеравенстве. А как получить n таких оценок?
Подсказка 2
Верно! Нужно сложить n транснеравенств. А как можно представить правую часть?
Подсказка 3
Если раскрывать скобки, можно увидеть, что правая часть содержит, например, сумму a₁b₁ + a₂b₂ + ... А содержит ли она еще какие-то похожие суммы?
Заметим, что правая сторона равна
Каждая новая скобка получается циклическим сдвигом переменных И каждая из этих скобок не меньше, чем
поскольку это наименьшая оценка в транснеравенстве для наборов
и
Тогда получаем, что правая часть не меньше суммы
скобок вида
что и доказывает нужное
неравенство.
Ошибка.
Попробуйте повторить позже
Для положительных чисел докажите неравенство
Подсказка 1
Попробуем для начала избавиться от знаменателей. Тогда сумма восьмых степеней переменных должна оказаться больше суммы мономов степени 8. Можно ли подойти к доказательству с помощью транснеравенства?
Подсказка 2
Сначала попробуем получить сумму мономов, в каждом из которых будет куб и пятая степень. Для этого представим a⁸ = a⁵a³ и аналогично с остальными переменными и используем транснеравенство. Можно ли аналогичным образом еще раз перебросить переменные у мономов?
Неравенство симметрично относительно любых замен переменных друг на друга, поэтому будем считать, что Умножим обе части
на
Тогда неравенство примет вид
Докажем это неравенство. По транснеравенству имеем
Тогда снова по транснеравенству получаем
что и требовалось.
Ошибка.
Попробуйте повторить позже
Для положительных чисел докажите неравенство
Подсказка 1
В правой части раскроем скобки. Тогда часть мономов в неравенстве можно сократить. Справа останутся мономы, некоторые из которых состоят из одинаковых переменных. Можно ли их оценить с помощью транснеравенства?
Подсказка 2
Верно! Заметим, что 3a³ + 3b³ ≥ 3a²b + 3ab². А как оценить 6abc?
Сначала раскроем скобки справа. Тогда получится
Таким образом, достаточно доказать неравенство
Из неравенства о средних получаем, что По транснеравенству получаем
Суммируя все имеющиеся неравенства, получаем требуемое.
Ошибка.
Попробуйте повторить позже
Для положительных докажите неравенство
Подсказка 1
Обозначим знаменатели новыми переменными a, b, c. А как через них выражаются числители?
Подсказка 2
Верно! Числители будут равны (5b + 5c - 4a)/9, (5c + 5a - 4b)/9, (5a + 5b - 4c)/9. А можно ли теперь применить неравенство Чебышева?
Пусть
Тогда неравенство можно записать следующим образом
Легко видеть, что неравенство симметрично относительно замен переменных друг на друга. Тогда можно положить и
применить неравенство Чебышева для наборов
и
Тогда получим, что
По неравенству о средних и
Тогда
Неравенство доказано.
Ошибка.
Попробуйте повторить позже
Для любых докажите, что
Подсказка 1
Какие известные неравенства помогают оценивать сумму дробей, числители которых представимы в виде квадратов?
Подсказка 2
Неравенство Коши-Буняковского-Шварца для дробей. Почему при применении данного неравенства мы получим сумму всех чисел вида a_i?
Первое решение. Пусть переменные упорядочены произвольным образом Тогда для обратных величин порядок
обратный:
Поскольку переменные положительны, порядок у квадратов переменных, как у самих переменных
Заметим, что
Правая часть этого равенства есть наименьшая оценка в транснеравенстве для набора квадратов и обратных величин переменных! Тогда, подставив сверху подходящую оценку транснеравенства (ту, которая стоит в левой части доказываемого неравенства), получаем
что и требовалось.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. По неравству КБШ для дробей, имеем
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Исходное неравенство является однородным, более того количество слагаемых в каждой части равны. Какие классические неравенства помогают в доказательстве таких неравенств?
Подсказка 2, пункт а
Например, транснеравенство. В этом случае нам необходимо корректно подобрать пару упорядоченных наборов. Без ограничений общности, мы можем считать, что a ≥ b ≥ c. Как будут выглядеть наборы?
Подсказка 3, пункт а
Например {ab, ac, bc} и {a², b², c²}. Как упорядочены числа в наборе? Почему в левой/правой части стоит наибольшее/наименьшее сумма произведение соответствующих чисел?
Подсказка 1, пункт б
Иногда исходное неравенство полезно представлять как сумму двух, где каждое является траснеравенством. Как можно разделить данное неравенство на два, сумма которых давала бы его?
Подсказка 2, пункт б
Докажем, что a³ + b³ + c³ ≥ a²b + b²c+ c²a и аналогичное. Произведениями чисел из каких упорядоченных наборов являются слагаемые каждой из частей?
Подсказка 3, пункт б
{a², b², c²} и {a, b, c}. Почему в правой части стоит наибольшая из возможных сумм?
Пусть (все остальные случаи аналогичны).
(a) Заметим, что и
Применим транснеравенство к этим упорядоченным наборам и получим требуемое
неравенство (справа будем наименьшая оценка в неравенстве, а слева можно писать любую оценку).
(b) Применим транснеравенство к наборам и
два раза и получим (так как
— наибольшая оценка в
транснеравенстве)
Сложим получившиеся неравенства и получим
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что
Подсказка 1
В неравенствах полезно константы представлять как функции от переменных. Как можно представить 3 в виде, похожем на выражение в левой части (сумма трех слагаемых, где каждое суть отношение переменных)?
Подсказка 2
3 = a/a + b/b + c/c. Теперь в левой и правой части стоят суммы произведений двух чисел, первое которое является переменной, а второе - обратным к переменным значением. Какое неравенство помогает работать с оценкой выражения такого рода?
Подсказка 3
Транснеравенство. Достаточно проверить, что сумма a/a+b/b+c/c является произведением соответствующих чисел в упорядоченных наборах {a, b, c} и {1/a, 1/b, 1/c}. Почему если числа в первом наборе числа упорядочены по неубыванию, то во втором по невозрастанию?
Без ограничений общности будем считать для начала, что тогда
Таким образом, в силу транснеравенства, имеем
поскольку последнее является минимальной возможной суммой произведений элементов из соответствующих наборов.
Если же без ограничений общности упорядочивание такое, что тогда
Аналогично в силу транснеравенства, имеем
поскольку последнее является минимальной возможной суммой произведений элементов из соответствующих наборов.
Ошибка.
Попробуйте повторить позже
Для положительных значений докажите неравенство Минковского:
Подсказка 1
Допустим, мы упорядочили набор а. Тогда обратные к ним будут упорядочены в обратную сторону. Где мы уже видели произведение двух упорядоченных сумм?
Подсказка 2
Да, в неравенстве Чебышева, но здесь его нужно оценить снизу, а не сверху. Подумайте, как это можно сделать.
Рассмотрим порядок Пусть тогда
Из положительности следует
Давайте теперь
применим следующее неравенство, которое несложно доказать по транснеравенству
В нашем случае набор из это будут обратные числа, а
изначальные переменные. Тогда набор пар
даст справа
наименьшую сумму, которая будет как раз
Ошибка.
Попробуйте повторить позже
Подсказка 1
Дроби в левой части можно разбить на два набора: числители и дроби вида 1/знаменатель(не забудьте ещё сделать удобную замену S=a+b+c, и аналогичную для пункта б). Тогда они будут упорядочены понятным образом.
Подсказка 2
В правой части стоит число. В виде какого тождества его можно представить, чтобы получить какие-то произведения, связанные с нашими наборами?
Подсказка 3
Можно сказать, что 1=(a+b)/(a+b), аналогично для всех дробей, где в знаменателе будет сумма всех чисел, кроме одного. Теперь остаётся вновь заметить неравенство Чебышева.
(a) Будем считать Остальные случаи получаются переименованием переменных. Обозначим
Тогда
Домножим обе части неравенства на добавим по
с обеих сторон. В правой части скажем, что
Получим
что является неравенством Чебышева для трёх переменных.
(b) Будем считать Остальные случаи получаются переименованием переменных. Обозначим
Тогда
Домножим обе части неравенства на добавим по
с обеих сторон. В правой части скажем,
что
Получим
что является неравенством Чебышева для переменных (в правой части у нас как раз получились все слагаемые вида
Ошибка.
Попробуйте повторить позже
Положительные числа таковы, что
и
Докажите, что
Подсказка 1
У нас спрашивают про какое-то неравенство на выражение второй степени, а условие дано на первую. Как его можно преобразовать?
Подсказка 2
Конечно, возвести в квадрат. Теперь, используя неравенство Чебышева, можно получить выражение, состоящее только из слагаемых вида а². Осталось только придумать, как это связать с нашим неравенством.
Применим сначала неравенство Чебышева к наборам и
Тогда получим
Из упорядочивания переменных понятно, что и
Значит,
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Докажите, что
Пусть Рассмотрим наборы
и
Тогда левая часть неравенства — минимальная сумма слагаемых
вида
(
— перестановка
), а правая часть — какая-то сумма такого вида, значит мы получили требуемое по
транснеравенству.
Случаи упорядочивания переменных по-другому рассматриваются аналогично.
Ошибка.
Попробуйте повторить позже
Докажите, что
Положим, что (остальные случаи рассм. аналогично). Рассмотрим наборы
и
— некоторую
перестановку
Тогда в левой части по транснеравенству максимальная сумма слагаемых вида
а в правой — какая-то сумма такого
же вида. Следовательно, неравенство верно.
Ошибка.
Попробуйте повторить позже
Докажите, что
Упорядочим числа так: (другие случаи аналогичны). Возьмём наборы
и
— некоторую перестановку
Понятно, что по транснеравенству правая часть неравенства — минимальная сумма чисел вида
а
левая часть — какая-то сумма такого вида, значит мы получили требуемое.
Ошибка.
Попробуйте повторить позже
Докажите, что
Пусть (другие случаи аналогичны). Заметим, что
Значит, мы можем рассмотреть наборы
и
— некоторую перестановку
Ясно, что справа по транснеравенству находится максимальная
сумма слагаемых
а справа — какая-то сумма такого же вида. Значит, неравенство верно.
Ошибка.
Попробуйте повторить позже
Докажите, что для неотрицательных
Подсказка 1
Можно заметить, что неравенство является симметрическим. Тогда можно упорядочить переменные. Какое неравенство удобно применять для упорядоченных наборов?
Подсказка 2
Верно, транснеравенство! Если умножить неравенство на 2, то его части можно представить, как сумму натурального числа корней из произведений переменных без коэффициентов. Какие наборы будем оценивать?
Перепишем неравенство в виде:
Упорядочим числа таким образом: (другие случаи рассм. аналогично). Возьмём наборы
и — некоторую перестановку
Тогда по транснеравенству в правой части находится максимальная сумма чисел вида
а в
левой — какая-то сумма такого же вида. Следовательно, неравенство верно.
Ошибка.
Попробуйте повторить позже
Докажите неравенство
Подсказка 1
В левой части сумма дробей. Попробуем в этих дробях сократить переменные. Как можно это сделать?
Подсказка 2
Верно! С помощью транснеравенства можно переставить переменные в знаменателях. Как это сделать?
Пусть (другие случаи аналогичны). Рассмотрим наборы
и
— некоторую перестановку
Видно, что в правой части находится минимальная сумма слагаемых вида
а в левой — какая-то сумма такого же вида. Получили
требуемое.
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Какое классическое неравенство позволяет оценить снизу сумму произведений соответствующих элементов двух одинаково упорядоченных наборов?
Подсказка 2, пункт а
Транснеравенство. Согласно ему, данная сумма не меньше, чем сумма произвольных произведений чисел из тех же наборов. Как эта оценка помогает в нашей задаче?
Подсказка 3, пункт а
Произведение справа суть n сумм сумм произвольных произведений чисел, каждая из которых не больше суммы по всем i произведений a_ib_i.
Подсказка 1, пункт б
В доказательстве первого воспользуетесь оценкой сверху суммы произведений соответствующих элементов двух обратно упорядоченных наборов.
(a) Рассмотрим перестановок
набора
которые строятся таким образом: первая — тождественная перестановка, вторая
получается сдвигом тождественной на один вправо, третья — сдвигом второй на один вправо и так дальше. Для каждой такой перестановки
выпишем следующее неравенство:
Оно верно, так как является транснеравенством. Если просуммировать все такие неравенства, получится в точности требуемое неравенство.
(b) Заметим, что левая сторона равна
Каждая новая скобка получается циклическим сдвигом переменных И каждая из этих скобок не меньше, чем
поскольку это наименьшая оценка в транснеравенстве для наборов
и
Тогда получаем, что левая часть не меньше суммы
скобок вида
что и доказывает нужное
неравенство.