Действительно, на математических олимпиадах часто встречаются задания на доказательство неравенств, как, например, такое, с Международной олимпиады по математике 2001 года: $\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ac}}+\frac{c}{\sqrt{c^2+8ab}}\geq 1$ (для положительных a,b,c).
Обычно чтобы доказать олимпиадное неравенство, его нужно привести к одному из базовых: Коши, Коши-Буняковского, Йенсена, неравенству между средними и т.д. Причём часто приходится пробовать различные варианты базового неравенства до достижения успеха.
Однако часто у олимпиадных неравенств (как у приведённого выше) есть одна особенность. При перестановке переменных (например, замене a на b, b на c и c на a) они не изменятся.
Если функция нескольких переменных не меняется при любой их перестановке, то она называется симметрической. Для симметрической функции f от трёх переменных выполняется равенство:
f(x,y,z)= f(x,z,y)= f(y,x,z)= f(y,z,x)= f(z,x,y)= f(z,y,x)
Если же функция не меняется только при циклической перестановке переменных, она называется циклической.
f(x,y,z)= f(y,z,x)= f(z,x,y)
Для неравенств, которые строятся на основе симметрических функций, Вячеслав Андреевич разработал универсальный метод доказательства.
