3+6_>____2√(3*6) ; 6+1/2 ___>_____2*√(6*1/2)
7+7__=___2√(7*7)
a+b>=2√(ab)
仅当a=b时取等号.
由于a+b-2√(ab)=(√a-√b)^2>=0,当√a-√b=0时取等号.
故得证.