a^2+b^2-(a+b)^2/2=a^2+b^2-a^2/2-b^2/2_ab=(a^2+b^2)/2 - ab=(a^2+b^2-2ab)/4=(a^2-b^2)^2/4
because (a^2-b^2)^2大于等于0,所以得证.当a=b时,等号成立