Условие будет выполнятся, если сумма двух многочленов будет меньше нуля, тогда:
, так как квадраты переменных положительные числа.
Следовательно не существует таких значений x и y, при которых данные многочлены одновременно принимают отрицательные значения.