(a+b)/2-√ab
=(a+b-2√ab)/2
=(√a-√b)^2/2
≥0
所以,
(a+b)/2≥√ab