基本不等式 ：如果a、b都为实数,那么a^2 + b^2 ≥ 2 ab,当且仅当a = b 时等号成立
证明：
∵ (a-b)^2 ≥ 0
∴ a^2 + b^2 - 2 ab ≥ 0
∴ a^2 + b^2 ≥ 2 ab
证毕