Только не сменных, а переменных. на укр. языке ЗМІННИХ
х²+y²-2(y+4x)+17≥0
(х²-2*х*4+4²)-4²+(у²-2у+1)-1+17=(х-4)²+(у-1)²≥0- есть число неотрицательное, т.к. обе скобки не могут быть равными отрицательному числу, они или обе положительны, либо нули, либо одна из них нуль, другая положительна. Доказано.
