(a+b+c+d)/2大于等于根号ab+根号cd
(a+b+c+d)/2=(a+b)/2+(c+d)/2
(a+b)/2大于等于根号ab
(c+d)/2大于等于根号 cd
所以(a+b+c+d)/2大于等于根号ab+根号cd