Неравенства на Иннополисе
Ошибка.
Попробуйте повторить позже
Пусть — неотрицательные числа, и
Докажите, что для любого
Источники:
Подсказка 1:
Выглядит страшно... В условии сказано, что нужно доказать утверждение для всех i = 1, 2, 3, ..., 2024. Какой метод доказательства напрашивается?
Подсказка 2:
Конечно! Метод математической индукции. Давайте заменим 2025 на n и докажем утверждение в общем виде. Так... Базу доказать достаточно просто: раскроем скобки, выразим ашки через бэшки. Тогда, написав нужное нам неравенство, выражая его через бэкши, оно становится очевидным. Теперь давайте напишем индукционное предположение и переход.
Подсказка 3:
Пусть bₙ₊₁ = b. Докажем, что умножив выражение из индукционного предположения на (x+b), неравенства сохраняют свою справедливость. Давайте приведём многочлен с ашками к виду aₙxⁿ⁺¹ + (aₙb + aₙ₋₁)xⁿ + ... + (a₂b + a₁)x² + (a₁b + a₀)x + a₀b. Как тогда выглядят неравенства, которые нам надо доказать? Какие из них стоит рассмотреть отдельно?
Подсказка 4:
Для доказательства индукционного перехода достаточно доказать следующие неравенства: 1. (aₙb + aₙ₋₁)² ≥ aₙ(aₙ₋₁b+aₙ₋₂); 2.(a₁b+a₀)² ≥ a₀b(a₂b +a₁); 3. (aᵢb + aᵢ₋₁)²
Подсказка 5:
Давайте раскроем скобки в левой и правой части неравенства. Теперь пару раз применим индукционное предположение, чтобы оценить (aᵢ²b²) и (aᵢ₋₁)² из левой части через слагаемые из правой части. Осталось сравнить средние слагаемые. Очевидно, что для этого достаточно сравнить aᵢaᵢ₋₁ и aᵢ₊₁aᵢ₋₂. Что нужно сделать, чтобы воспользоваться уже знакомым нам приёмом?
Подсказка 6:
Конечно! Умножим обе части на aᵢaᵢ₋₁ и напишем индукционное предположение!
Докажем индукцией более общее утверждение:
Для любого целого если
неотрицательны и
то для любого
База индукции в таком случае
и
а значит,
—
доказано.
Индукционное предположение: пусть для некоторого и любых неотрицательных
если
то для любого
Шаг индукции: рассмотрим многочлен где
Имеем
Для завершения индукционного шага достаточно рассмотреть (доказать) три неравенства:
- 1.
-
- 2.
-
- 3.
-
для всех i =
Рассмотрим их по порядку:
- 1.
-
Раскроем скобки и оценим выражение, откинув неотрицательные слагаемые,
Теперь, применяя предположение индукции, получаем то, что нужно
- 2.
-
Применяя базу, получаем то, что нужно
- 3.
-
Пусть теперь
— произвольное целое число. Раскроем скобки в левой части неравенства:
Раскроем скобки в правой части неравенства:
По предположению индукции первое слагаемое из левой части неравенства не меньше первого слагаемого из правой части неравенства:
Аналогично, последнее слагаемое из левой части неравенства не меньше последнего слагаемого из правой части неравенства:
Теперь сравним средние слагаемые в левой и правой частях неравенства: очевидно, что для этого достаточно сравнить
и
Для этого умножим обе величины на
и применим индукционное предположение:
Следовательно,
что завершает доказательство.
Шаг индукции доказан, а вместе с ним и утверждение, обобщающее утверждение задачи.
Ошибка.
Попробуйте повторить позже
Про положительные числа известно, что
, и каждое из них не превосходит
. Докажите, что
Источники:
Подсказка 1
Давайте подумаем, как можно применить то, что каждая переменная не превосходит 1/2. Например, можно получить выражение (1 - 2х), которое всегда больше 0. Как это сделать?
Подсказка 2
Мы можем всё, кроме корня из суммы квадратов, переместить влево. Тогда какое неравенство можно применить? Сумма скобок равна 1. На какое неравенство это может намекать?
Подсказка 3
Неравенство Йенсена! Его можно применить для корня, вогнутой функции. После недолгих преобразований под корнем не трудно прийти к искомому.
Перенесём влево чтобы вынести корни за скобки. Получаем, что нужно доказать:
В силу того, что и
меньше либо равны
числа
неотрицательны, а их сумма равна
ведь
Функция
является вогнутой, тогда применив неравенство Йенсена для этой функции, переменных
и
коэффициентов
и
получаем:
Теперь заметим, что