切比雪夫总和不等式

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

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

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}

。

上式也可以写作

{\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}

。

它是由排序不等式而来。

证明[编辑]

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

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

于是：

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

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

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

\vdots

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

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

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

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

{\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}}

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

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

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

\int fg\geq \int f\int g

上式可推广到任意区间。