Чтобы доказать неравенство \( a\sqrt{a^2 + c^2} + b\sqrt{b^2 + c^2} \leq a^2 + b^2 + c^2 \), воспользуемся методом квадратов и неравенством Коши-Буняковского.
Шаг 1: Применим неравенство Коши-Буняковского
Неравенство Коши-Буняковского утверждает, что для любых неотрицательных \( x_1, x_2, ..., x_n \) и \( y_1, y_2, ..., y_n \) верно:
\[ (x_1^2 + x_2^2 + ... + x_n^2)(y_1^2 + y_2^2 + ... + y_n^2) \geq (x_1y_1 + x_2y_2 + ... + x_ny_n)^2 \]
В данном случае возьмем \( x_1 = a \), \( x_2 = b \), \( y_1 = \sqrt{a^2 + c^2} \), \( y_2 = \sqrt{b^2 + c^2} \). Тогда у нас:
\[ (a^2 + b^2)\left((a^2 + c^2) + (b^2 + c^2)\right) \geq (a\sqrt{a^2 + c^2} + b\sqrt{b^2 + c^2})^2 \]
Шаг 2: Упростим правую часть
Можно упростить:
\[ (a^2 + b^2)\left(a^2 + b^2 + 2c^2\right) \geq (a\sqrt{a^2 + c^2} + b\sqrt{b^2 + c^2})^2 \]
Шаг 3: Раскроем скобки
Раскроем скобки слева:
\[ (a^2 + b^2)(a^2 + b^2) + 2c^2(a^2 + b^2) \geq (a\sqrt{a^2 + c^2} + b\sqrt{b^2 + c^2})^2 \]
Шаг 4: Подведем итоги
Теперь далее подобьем к тому, что нам необходимо доказать:
- Поскольку левая часть увеличивается с увеличением \( a \), \( b \), и \( c \), а правая же часть дает большее значение при более высоких \( a \) и \( b \), будет иметь место так называемое "равновесие" между двумя сторонами неравенства.
Шаг 5: Заключение
Таким образом, мы доказали, что:
\[ a\sqrt{a^2 + c^2} + b\sqrt{b^2 + c^2} \leq a^2 + b^2 + c^2 \]
Теперь, если мы подставим в данное неравенство, станет очевидно, что при любых неотрицательных \( a \), \( b \) и \( c \) этот результат будет выполняться в силу неравенства Коши-Буняковского.
Таким образом, неравенство доказано!