对于我们初中所学的完全平方公式 (x+y)^2 \ge 0 经过简单的变形可以得到 x^2+y^2 \ge 2xy

首先，结论与证明来自http://oeis.org/A005732/a005732.pdf，这里给出简单翻译和加工