为了比较两个实数的大小,常用的方法是判定这两个数的差的符号,我们称这种方法为"作差比较法".要比较两个代数式的大小,同样可以采用类似的方法.因此,可以利用不等式比较大小.如果要证明A>B,只需要证明A−B>0;同样的,要证明A<B,只需要证明A−B<0.
例如:
小明对于命题:任意的实数a和b,总有a2+b2⩾2ab,当a=b并且只有a=b时,等号成立,给出了如下证明:
证明:∵a2+b2−2ab=(a−b)2⩾0,
∴a2+b2⩾2ab,当a=b并且只有a=b时,等号成立.
(1)请仿照小明的证明方法,证明如下命题:
若a,b,x,y⩾0,且a⩾x,则(a−x)2+(b−y)2⩽(a+b−x)2+y2.
(2)若a1⩾a2⩾……⩾an⩾0,b1⩾b2⩾……⩾bn⩾0,
且a1+a2+……+an=b1+b2+……+bn=1,
求(a1−b1)2+(a2−b2)2+……+(an−bn)2的最大值.