Для того чтобы доказать, что выражение ( 4x^2 - 4xy + 2y^2 ) принимает только неотрицательные значения, рассмотрим его как квадратичную форму и преобразуем её.
Начнём с преобразования выражения:
[ 4x^2 - 4xy + 2y^2 ]
Для этого представим его в виде суммы квадратов. Заметим, что выражение можно переписать следующим образом:
[ 4x^2 - 4xy + 2y^2 = 4(x^2 - xy) + 2y^2 ]
Теперь сосредоточимся на квадрате разности. Поскольку (x^2 - xy) можно дополнить до полного квадрата, рассмотрим следующее:
[ x^2 - xy = \left( x - \frac{y}{2} \right)^2 - \left( \frac{y}{2} \right)^2 ]
Тогда выражение примет вид:
[ 4 \left( \left( x - \frac{y}{2} \right)^2 - \left( \frac{y}{2} \right)^2 \right) + 2y^2 ]
Раскроем скобки:
[ 4 \left( x - \frac{y}{2} \right)^2 - 4 \left( \frac{y}{2} \right)^2 + 2y^2 ]
Теперь упростим:
[ 4 \left( x - \frac{y}{2} \right)^2 - y^2 + 2y^2 ]
[ 4 \left( x - \frac{y}{2} \right)^2 + y^2 ]
Мы видим, что выражение состоит из суммы квадратов:
[ 4 \left( x - \frac{y}{2} \right)^2 + y^2 ]
Теперь давайте посмотрим на это выражение. Квадраты любых вещественных чисел всегда принимают неотрицательные значения. Следовательно:
[ 4 \left( x - \frac{y}{2} \right)^2 \geq 0 ]
[ y^2 \geq 0 ]
Сумма двух неотрицательных чисел также неотрицательна:
[ 4 \left( x - \frac{y}{2} \right)^2 + y^2 \geq 0 ]
Таким образом, выражение ( 4x^2 - 4xy + 2y^2 ) всегда принимает неотрицательные значения.
Этот результат можно также проверить, используя методы линейной алгебры и матрицы квадратичных форм, но в данном случае наше преобразование полностью доказало, что выражение принимает только неотрицательные значения.