先化简
（lga+lgb）/2=lg根号（ab）
相当于证明a+b/2>根号（ab）
a+b/2>=2*根号（a）*根号（b/2）= 根号（2ab）>根号（ab）