BF恒等式
(A^2+B^2)(X^2+Y^2)=(AX+BY)^2+(AY-BX)^2
BとXを入れ替えて
(A^2+X^2)(B^2+Y^2)=(AB+XY)^2+(AY-BX)^2
A^2→a　(a≧0)　等と置き換えると
(a+x)(b+y)=(√(ab)+√(xy))^2+(√(ay)-√(bx))^2
(a+x)(b+y)≧(√(ab)+√(xy))^2