∵a平方+b平方+c平方+d平方-ab-bc-cd-da
=1/2（2a²+2b²+2c²+2d²-2ab-2bc-2cd-2da ）
=1/2[(a-b)²+(b-c)²+(d-c)²+(a-d)²]≥0
∴
a平方+b平方+c平方+d平方>=ab＋bc＋ca+da