>>532
(a+b)^2-4ab=(a-b)^2≧0
(a+b)^2≧4ab(等号はa=b)
a,b>0だから両辺のルートを取ると
a+b≧2√(ab) (等号はa=b)