切比雪夫总和不等式

数学上的切比雪夫总和不等式或切比雪夫不等式以数学家切比雪夫命名，可用以比较两组数积的和及两组数的线性和的积的大小：

关于概率论中相似名称的不等式，请见“切比雪夫不等式”。

若${\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}$且${\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}}$，则：

${\displaystyle n\sum _{k=1}^{n}a_{k}b_{k}\geq \left(\sum _{k=1}^{n}a_{k}\right)\left(\sum _{k=1}^{n}b_{k}\right)\geq n\sum _{k=1}^{n}a_{k}b_{n+1-k}}$。

上式也可以写作

${\displaystyle {\frac {1}{n}}\sum _{k=1}^{n}a_{k}b_{k}\geq \left({\frac {1}{n}}\sum _{k=1}^{n}a_{k}\right)\left({\frac {1}{n}}\sum _{k=1}^{n}b_{k}\right)\geq {\frac {1}{n}}\sum _{k=1}^{n}a_{k}b_{n+1-k}}$。

它是由排序不等式而来。

证明

设${\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}$且${\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}}$，由排序不等式可知，最大的和为顺序和：

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}}$

于是：

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}=a_{1}b_{1}+a_{2}b_{2}+\cdots +a_{n}b_{n}}$

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{2}+a_{2}b_{3}+\cdots +a_{n}b_{1}}$

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{3}+a_{2}b_{4}+\cdots +a_{n}b_{2}}$

${\displaystyle \vdots }$

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{n}+a_{2}b_{1}+\cdots +a_{n}b_{n-1}}$

将这${\displaystyle n}$个不等式分边相加，同时对右边进行因式分解，便得到：

${\displaystyle n(a_{1}b_{1}+\cdots +a_{n}b_{n})\geq (a_{1}+\cdots +a_{n})(b_{1}+\cdots +b_{n})}$

两边都除以${\displaystyle n^{2}}$，就得到切比雪夫不等式的第一个不等号：

${\displaystyle {\frac {a_{1}b_{1}+\cdots +a_{n}b_{n}}{n}}\geq {\frac {a_{1}+\cdots +a_{n}}{n}}\cdot {\frac {b_{1}+\cdots +b_{n}}{n}}}$

同理，右边的不等号可由最小的和为逆序和推得。

积分形式

切比雪夫不等式的积分形式如下:

若${\displaystyle f}$和${\displaystyle g}$是区间${\displaystyle [0,1]}$上的可积的实函数，并且两者都是递增或两者都是递减的，则：

${\displaystyle \int fg\geq \int f\int g}$

上式可推广到任意区间。

相关条目

• 排序不等式

外部链接

• Mathworld: Chebyshev Sum Inequality （页面存档备份，存于互联网档案馆）