Тождественные преобразования выражений с переменными выполняются на основе свойств действий над числами. подобных слагаемых,раскрытие скобок.правила выполнения этих преобразований: чтобы подобные слагаемые,надо сложить их коэффициенты и результат умножить на общую буквенную часть; если перед скобками стоит знак плюс,то скобки можно опустить,сохранив знак каждого слагаемого,заключённого в скобки; если перед скобками стоит знак минус,то скобки можно опустить,изменив знак каждого слагаемого,заключённого в скобки.
Преобразуем данное неравенство:
a^4+b^4 ≥ a^3b+b^3a ≥ ab(a^2+b^2)
(a^2+b^2)^2 = a^4+2a^2b^2+b^4, а (a+b)^2 = a^2+2ab+b^2,
тогда a^4+b^4 = (a^2+b^2)^2-2a^2b^2, а a^2+b^2 = (a+b)^2-2ab. Отсюда
(a^2+b^2)^2-2a^2b^2 ≥ ab((a^2+b^2)-2ab)
(a^2+b^2)^2-2a^2b^2 ≥ ab(a^2+b^2) -2a^2b^2
(a^2+b^2)(a^2+b^2)-2a^2b^2 ≥ ab(a^2+b^2) -2a^2b^2
Поскольку a^2+b^2 ≥ ab, (a^2+b^2)^2 ≥ ab(a^2+b^2)
и исходное неравенство доказано.