这要用到一个不等式,叫什么来着我忘了,好像是叫车比雪夫不等式吧.
(a1b1+a2b2+……+anbn)^2≤[(a1)^2+…+(an)^2]*[(b1)^2+…+(bn)^2]
又(a1)^2+…+(an)^2=(b1)^2+…+(bn)^2
所以a1b1+a2b2+……+anbn≤(a1)^2+…+(an)^2