數學上的切比雪夫總和不等式或切比雪夫不等式以數學家切比雪夫命名,可用以比較兩組數積的和及兩組數的線性和的積的大小:
若
且
,則:
。
上式也可以寫作
。
它是由排序不等式而來。
证明
设
且
,由排序不等式可知,最大的和为顺序和:
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/254a1e0de4967407f3a24e9810a2e85973cfd13b)
于是:
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}=a_{1}b_{1}+a_{2}b_{2}+\cdots +a_{n}b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46165610a9a216116389118ca5319f362b549fc7)
![{\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{2}+a_{2}b_{3}+\cdots +a_{n}b_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed9a0ad698f9e7229a3f81a887112a3061d58622)
![{\displaystyle \vdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8039d9feb6596ae092e5305108722975060c083)
![{\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/881cedd925a6077e43b3dc04a0787b6bcc08b937)
将这
个不等式分边相加,同时对右边进行因式分解,便得到:
![{\displaystyle n(a_{1}b_{1}+\cdots +a_{n}b_{n})\geq (a_{1}+\cdots +a_{n})(b_{1}+\cdots +b_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25d59f6f75c9709817428cc367be0b30ee1ed72c)
两边都除以
,就得到切比雪夫不等式的第一个不等号:
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cd59c14ed06186858562e53aaae0b4a6c882d45)
同理,右边的不等号可由最小的和为逆序和推得。
积分形式
切比雪夫不等式的积分形式如下:
若
和
是区间
上的可积的实函数,并且两者都是递增或两者都是递减的,则:
![{\displaystyle \int fg\geq \int f\int g}](https://wikimedia.org/api/rest_v1/media/math/render/svg/762336d59d73ac28abfc1a18616916f8d68df725)
上式可推广到任意区间。
相关条目
外部連結