切比雪夫總和不等式

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

若 $a_{1} \geq a_{2} \geq \dots \geq a_{n}$ 且 $b_{1} \geq b_{2} \geq \dots \geq b_{n}$ ，則：

n \sum_{k = 1}^{n} a_{k} b_{k} \geq (\sum_{k = 1}^{n} a_{k}) (\sum_{k = 1}^{n} b_{k}) \geq n \sum_{k = 1}^{n} a_{k} b_{n + 1 - k}

。

上式也可以寫作

\frac{1}{n} \sum_{k = 1}^{n} a_{k} b_{k} \geq (\frac{1}{n} \sum_{k = 1}^{n} a_{k}) (\frac{1}{n} \sum_{k = 1}^{n} b_{k}) \geq \frac{1}{n} \sum_{k = 1}^{n} a_{k} b_{n + 1 - k}

。

它是由排序不等式而來。

证明

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

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

于是：

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

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

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

⋮

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

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

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

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

\frac{a_{1} b_{1} + \dots + a_{n} b_{n}}{n} \geq \frac{a_{1} + \dots + a_{n}}{n} \cdot \frac{b_{1} + \dots + b_{n}}{n}

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

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

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

\int f g \geq \int f \int g

上式可推广到任意区间。