切比雪夫總和不等式

數學上的切比雪夫總和不等式或切比雪夫不等式以數學家切比雪夫命名，可用以比較兩組數積的和及兩組數的線性和的積的大小：

关于概率论中相似名稱的不等式，请见「切比雪夫不等式」。

若${\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 （页面存档备份，存于互联网档案馆）