x>0,y>0,(x+y)/2≥√(xy)
(√x-√y)²≥0
x-2√(xy)+y≥0
x+y≥2√(xy)
(x+y)/2≥√(xy)