>>164
> リンク先の解答:
> aa,bb ≧ cc ≧ dd としても一般性を失わない。
> 2{(左辺)-(右辺)}
> =(aa-cc)^2 +(bb-cc)^2 +(aa-dd)^2 +(bb-dd)^2 - 2(ab-cd)^2
> ≧(aa-dd)^2 +(bb-dd)^2 - 2(ab-cd)^2 …(1)
> ≧(1/2)(aa+bb - 2dd)^2 - 2(ab-cd)^2  …(2)
> ≧ 2(ab-cd)^2 -2(ab-cd)^2        …(3)
> = 0,

(1) は (aa-cc)^2 +(bb-cc)^2を捨てて、
(2) は (aa-dd)^2 +(bb-dd)^2 - (1/2)(aa+bb-2dd)^2 = (1/2)(aa-bb)^2 ≧0
(3) は aa+bb ≧2ab、-dd ≧-cd

c≧dしか使っていないようなハロゲンガス…