Чтобы доказать неравенство \( a^2 + b^2 + c^2 \geq ab + ac + bc \), можно воспользоваться неравенством, известным как неравенство Коши-Буняковского или рассмотреть его с помощью преобразований.
- Начнем с преобразования самих выражений. Перепишем неравенство:
\[ a^2 + b^2 + c^2 - ab - ac - bc \geq 0. \]
- Мы можем группировать термины:
\[ \frac{1}{2} \left( (a-b)^2 + (b-c)^2 + (c-a)^2 \right) \geq 0. \]
Каждое из выражений \((a-b)^2\), \((b-c)^2\) и \((c-a)^2\) является квадратом разности, а значит, неотрицательно. Сумма неотрицательных чисел также неотрицательна.
Таким образом, получаем:
\[ (a-b)^2 + (b-c)^2 + (c-a)^2 \geq 0, \]
что позволяет сделать вывод о том, что
\[ a^2 + b^2 + c^2 - ab - ac - bc \geq 0, \]
и, следовательно,
\[ a^2 + b^2 + c^2 \geq ab + ac + bc. \]
Таким образом, неравенство подтверждено.