(x+y)² ≥ 4xy(x+y)² - 4xy ≥ 0x²+2xy+y²-4xy ≥ 0x²-2xy+y² ≥ 0(x-y)² ≥ 0 - верно, т.к. квадрат любого числа неотрицателенТ.к. последнее неравенство получено из исходного неравенства путём равносильных преобразований, то верно и исходное неравенство.Что и требовалось доказать.