a,b,c,d都是正实数
(√a-√b)^2≥0
a-2√ab+√b≥0
a+b≥2√ab
同理
c+d≥2√cd
√ab≤1/2(a+b)
√cd≤1/2(c+d)
√ab+√cd≤1/2(a+b+c+d)