Для доказательства данного неравенства можно воспользоваться методом полного квадрата. Рассмотрим выражение 10x^2 - 6xy + y^2 - 4x + 6 как квадратный трехчлен от x и y.
Сначала преобразуем выражение:
10x^2 - 6xy + y^2 - 4x + 6 = (3x - y)^2 + 2(x - 1)^2 + 4
Теперь видно, что данное выражение представляет собой сумму трех неотрицательных квадратов, увеличенных на 4. Поскольку квадрат любого числа неотрицателен, то их сумма также неотрицательна. Следовательно, исходное неравенство 10x^2 - 6xy + y^2 - 4x + 6 > 0 выполнено для всех действительных значений переменных x и y.