显然不等式:

\[a^2+b^2\geqslant 2ab \]

提出者@Ishar-zdl