Неравенства: методы доказательства и средние величины
Доказательство неравенств — сложный раздел алгебры. Основу составляют классические неравенства: о средних (AM-GM), Коши-Буняковского-Шварца, Бернулли и транснеравенство.
Неравенство о средних (AM-GM) гласит, что среднее арифметическое неотрицательных чисел не меньше их среднего геометрического. Равенство достигается только тогда, когда все числа равны. Это мощный инструмент для нахождения минимумов и максимумов функций без производной.
Метод штурма и метод неопределенных коэффициентов помогают в более сложных случаях. Часто применяется замена переменных для сведения неравенства к более простому виду. В олимпиадах высокого уровня встречаются неравенства, решаемые через свойства выпуклых функций (неравенство Йенсена).
Геометрическая интерпретация неравенств также полезна. Например, неравенство треугольника является фундаментальным свойством метрических пространств и используется для оценки длин и расстояний.
