S Vikipedije, slobodne enciklopedije
Pafnuti Lavovič Čebišev
Čebiševljeva nejednakost suma nosi naziv prema ruskom matematičaru Pafnuti Čebiševu . Ako imamo dva opadajuća niza:
a
1
≥
a
2
≥
⋯
≥
a
n
{\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}
i
b
1
≥
b
2
≥
⋯
≥
b
n
,
{\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n},}
onda vredi Čebiševljeva nejednakost
1
n
∑
k
=
1
n
a
k
b
k
≥
(
1
n
∑
k
=
1
n
a
k
)
(
1
n
∑
k
=
1
n
b
k
)
.
{\displaystyle {1 \over n}\sum _{k=1}^{n}a_{k}b_{k}\geq \left({1 \over n}\sum _{k=1}^{n}a_{k}\right)\left({1 \over n}\sum _{k=1}^{n}b_{k}\right).}
Isto tako ako je jedan niz rastući, a drugi opadajući:
a
1
≤
a
2
≤
⋯
≤
a
n
{\displaystyle a_{1}\leq a_{2}\leq \cdots \leq a_{n}}
i
b
1
≥
b
2
≥
⋯
≥
b
n
,
{\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n},}
onda vredi
1
n
∑
k
=
1
n
a
k
b
k
≤
(
1
n
∑
k
=
1
n
a
k
)
(
1
n
∑
k
=
1
n
b
k
)
.
{\displaystyle {1 \over n}\sum _{k=1}^{n}a_{k}b_{k}\leq \left({1 \over n}\sum _{k=1}^{n}a_{k}\right)\left({1 \over n}\sum _{k=1}^{n}b_{k}\right).}
Pođimo od sume
S
=
∑
j
=
1
n
∑
k
=
1
n
(
a
j
−
a
k
)
(
b
j
−
b
k
)
.
{\displaystyle S=\sum _{j=1}^{n}\sum _{k=1}^{n}(a_{j}-a_{k})(b_{j}-b_{k}).}
Ako su dva niza opadajuća (odnosno nisu rastuća) onda a j − a k i b j − b k imaju isti predznak za bilo koji j , k . Zboga toga sledi da je S ≥ 0 .
Iz gornje jednačine i S ≥ 0 dobijamo:
0
≤
n
∑
j
=
1
n
a
j
b
j
+
n
∑
k
=
1
n
a
k
b
k
−
∑
j
=
1
n
a
j
∑
k
=
1
n
b
k
−
∑
k
=
1
n
a
k
∑
j
=
1
n
b
j
,
{\displaystyle 0\leq n\sum _{j=1}^{n}a_{j}b_{j}+n\sum _{k=1}^{n}a_{k}b_{k}-\sum _{j=1}^{n}a_{j}\,\sum _{k=1}^{n}b_{k}-\sum _{k=1}^{n}a_{k}\,\sum _{j=1}^{n}b_{j},}
Sabirajući iste članove dobijamo:
0
≤
2
n
∑
j
=
1
n
a
j
b
j
−
2
∑
j
=
1
n
a
j
∑
k
=
1
n
b
k
.
{\displaystyle 0\leq 2n\sum _{j=1}^{n}a_{j}b_{j}-2\sum _{j=1}^{n}a_{j}\,\sum _{k=1}^{n}b_{k}.}
Konačno sledi:
1
n
∑
j
=
1
n
a
j
b
j
≥
1
n
∑
j
=
1
n
a
j
1
n
∑
j
=
a
n
b
k
.
{\displaystyle {\frac {1}{n}}\sum _{j=1}^{n}a_{j}b_{j}\geq {\frac {1}{n}}\sum _{j=1}^{n}a_{j}\,{\frac {1}{n}}\sum _{j=a}^{n}b_{k}.}
Postoji generalizirana verzija Čebiševljeve nejednakosti u slučaju kontinuiranoga niza u vidu funkcije. Ako su f i g realne integrabilne funkcije na intervalu [0, 1] i ako su obe rastuće ili obe padajuće onda sledi:
∫
0
1
f
(
x
)
g
(
x
)
d
x
⩾
∫
0
1
f
(
x
)
d
x
∫
0
1
g
(
x
)
d
x
.
{\displaystyle \int \limits _{0}^{1}f(x)g(x)\,dx\geqslant \int \limits _{0}^{1}f(x)\,dx\int \limits _{0}^{1}g(x)\,dx.\,}
Hardy, G. H.; Littlewood, J. E.; Pólya, G. (1988). Inequalities. Cambridge Mathematical Library. Cambridge: Cambridge University Press. ISBN 0-521-35880-9