Выносим за скобки два общих множителя:
Очевидно, что каждый множитель не отрицателен, значит, их произведение не отрицательно.
(a^2+b^2)(a-b)^2\geq 0 " alt=" \left \{ {{a^+b^2\geq}0 \atop {(a-b)^2\geq0}} \right. => (a^2+b^2)(a-b)^2\geq 0 " align="absmiddle" class="latex-formula">