ax^2+by^2≥(ax+by)^2
∵ax^2+by^2-(ax+by)^2
∴=ax^2+by^2-(ax^2+2axby+by^2)
=2axby≥0
∴ax^2+by^2≥(ax+by)^2
^2代表平方