相減
(a^2+b^2)-(ab+a+b-1)
=a^2+b^2-ab-a-b+1
=(2a^2+2b^2-2ab-2a-2b+2)/2
=[(a^2-2a+1)+(b^2-2b+1)+(a^2+b^2-2ab)]/2
=[(a-1)^2+(b-1)^2+(a-b)^2]/2
因?yàn)?a-1)^2≥0,(b-1)^2≥0,(a-b)^2≥0
所以[(a-1)^2+(b-1)^2+(a-b)^2]/2≥
a的平方+b的平方≥ab+a+b—1