若a1>=a2>= >=an,b1>=b2>= >=bn
则a1b1+a2b2+ +anbn>=(a1+a2+ +an)*(b1+b2+ +bn)/n
若a1>=a2>= >=an,b1