>>829
証明する途中過程で↓のような式も現れるから要らぬ誤解をもたらす。
(a+b)/2-√ab ≧　0

(a+b)/2-√ab=［(a-b)^2］/2 と変形してから　
したがって［(a-b)^2］/2 ≧　0　であるとした方が素直な表現に思うけど。