9x² + y² > 6xy - 3
9x² - 6xy + y² > -3
Заметим формулу сокращенного умножения: в общем виде выглядит так: (a - b)² = a² - 2ab + b², в нашем случае в качестве уменьшаемого (т.е. а) 3х, вычитаемого (т.е. b в данной формуле) - y, тогда выражение в левой части неравенства принимает вид (3x - y)².
(3x - y)² > - 3
Получили неравенство: выражение в квадрате больше -3. Т.к. любое выражение в квадрате неотрицательно (т.е. ≥ 0), оно больше -3.
Что и требовалось доказать.