a=(x+y)/2
b=根号xy
x+y>=2根号xy
所以a>=b
显然a>0
则x,y必须有一个是大于0
x,b,y是等比数列则xy必同号
所以xy都大于0
又因为(x^(1/2)-y^(1/2))^2>=0
所以x+y>=2根号xy