Для доказательства неравенства для всех действительных значений , наиболее эффективным методом является выделение полных квадратов. Это позволяет представить выражение в виде суммы заведомо неотрицательных или положительных слагаемых. Шаг 1: Группировка слагаемых Посмотрим на часть выражения, содержащую и . Нам нужно выделить полный квадрат вида . Заметим, что слагаемые и часть от могут образовать квадрат разности. Возьмем (так как это ) или просто выделим квадрат для линейной части. Наиболее простым решением будет выделить квадрат из выражения . Однако у нас есть . Разобьем его: Тогда исходное выражение можно переписать так: Шаг 2: Выделение полного квадрата Преобразуем скобку , чтобы получить квадрат разности : Это не совсем удобно, так как появляется отрицательное число. Попробуем другой способ группировки. Используем слагаемое иначе. Заметим, что: Чтобы получить это в составе нашего неравенства, представим как или заберем часть от . Лучше всего выделить квадрат, который гарантированно «поглотит» линейную часть . Рассмотрим группировку: Это дает , что не доказывает положительность напрямую из-за . Шаг 3: Оптимальное разложение Попробуем выделить квадрат из выражения , оставив небольшой коэффициент при : Дополним до полного квадрата, используя часть свободных единиц: — все еще остается минус. Возьмем более точный подход. Выделим полный квадрат так: Здесь не является полным квадратом. Правильная группировка: Разобьем на и , а число на и : — снова минус. Применим метод выделения квадрата к трехчлену . Найдем его дискриминант ( ) для функции : Так как дискриминант и коэффициент при положителен ( ), это означает, что парабола всегда находится выше оси . Следовательно: Итоговое доказательство
- Мы имеем выражение . Слагаемое для любого действительного , так как любая четная степень неотрицательна. Рассмотрим квадратичную форму .
- Коэффициент . Дискриминант . Поскольку , квадратный трехчлен не имеет корней и всегда принимает значения того же знака, что и коэффициент . То есть .
Сумма неотрицательного числа ( ) и строго положительного числа ( ) всегда строго больше нуля.
Что и требовалось доказать. Хотите, чтобы я проверил это выражение на наличие экстремумов через производную, чтобы определить его минимальное значение?