（a+b）/2>根号下ab>2ab/(a+b)
（a+b）/2-根号下ab=(根号下a-根号下b)^2/2>0
根号下ab除以2ab/(a+b)=(a+b)/2根号下ab>`1
所以得证