√a+√b≤2√[(a+b)/2]
a,b都是正实数,不等式两边都大于0
同时平方,得：
a+2√（ab)+b≤2(a+b)
2√(ab)≤a+b
a+b-2√(ab)≥0
（√a-√b)^2≥0
此式恒成立
得证