假设√(ab)>2ab/(a+b)成立
那么1/√(ab)<(a+b)/2ab
对角相乘
2ab*√(ab)2√(ab)根据不等式定理得
原式成立