>>816
(a+b)/2≧√ab は a≧0 かつ b≧0 でないと成り立たないが
(a-b)^2≧0 は a<0 または b<0 でも成り立つから
多分同値変形してない。