Квадрат любого действительного числа больше или равна 0. Так что можем записать:

(a - b)^2 >= 0

Расскроем скобки

a^2 - 2 * a * b + b^2 >=0

a^2 + b^2 >= 2 * a * b