Чтобы доказать неравенство \( a^4 + b^4 \geq a^3b + ab^3 \), мы можем воспользоваться неравенством AM-GM (неравенство арифметической и геометрической средних).
Рассмотрим левую часть неравенства:
\[ a^4 + b^4 \]
Мы знаем, что \( a^4 \) и \( b^4 \) являются неотрицательными числами, так как любое число в четвёртой степени неотрицательно.
Теперь используем неравенство AM-GM для двух положительных чисел \( a^4 \) и \( b^4 \):
\[ \frac{a^4 + b^4}{2} \geq \sqrt{a^4 \cdot b^4} = ab^2 \]
Умножив обе стороны на 2, получаем:
\[ a^4 + b^4 \geq 2ab^2 \]
Теперь рассмотри правую часть неравенства \( a^3b + ab^3 \):
\[ a^3b + ab^3 = ab(a^2 + b^2) \]
Обратим внимание, что \( a^2 + b^2 \geq 2ab \) согласно тому же неравенству AM-GM, поэтому имеем:
\[ ab(a^2 + b^2) \leq ab(2ab) = 2a^2b^2 \]
Таким образом, мы можем записать:
\[ a^3b + ab^3 \leq 2a^2b^2 \]
Теперь нам нужно показать, что:
\[ a^4 + b^4 \geq a^3b + ab^3 \]
Сравнив предыдущие результаты, мы видим, что:
\[ a^4 + b^4 \geq 2a^2b^2 \quad \text{и} \quad ab(a^2 + b^2) \leq 2a^2b^2 \]
Поскольку \( 2ab^2 \) и \( a^3b + ab^3 \) сравнимы, мы приходим к выводу, что:
\[ a^4 + b^4 \geq a^3b + ab^3 \]
Таким образом, неравенство доказано.