a-b>=0
c-d>=0
(a-b)(c-d)>=0
ac-ad-bc+bd>=0
ac+bd>=ad+bc
加上ac+bd
2(ac+bd)>=ac+bd+ad+bc=(a+b)(c+d)
(ac+bd)>=1/2(a+b)(c+d)