Nierówność Cauchy’ego między średnimi jest szczególnym przypadkiem nierówności między średnimi potęgowymi, więc dowód nierówności między średnimi potęgowymi jest jednocześnie dowodem nierówności Cauchy’ego, ale można przeprowadzić również osobne dowody, mniej lub bardziej zbliżone do dowodu nierówności między średnimi potęgowymi, dla poszczególnych nierówności zawartych wśród nierówności Cauchy’ego.
Średnia arytmetyczna i geometryczna
edytuj
Dowód przy użyciu twierdzenia o ciągach jednomonotonicznych
edytuj
Niniejszy dowód korzysta z twierdzenia o ciągach jednomonotonicznych .
Weźmy dowolny ciąg liczb rzeczywistych dodatnich:
(
a
1
n
,
a
2
n
,
…
,
a
n
n
)
.
{\displaystyle \left({\sqrt[{n}]{a_{1}}},{\sqrt[{n}]{a_{2}}},\dots ,{\sqrt[{n}]{a_{n}}}\right).}
Możemy założyć bez straty ogólności, że jest on uporządkowany nierosnąco, ponieważ zbiór liczb rzeczywistych jest uporządkowany, ciąg ten jest wobec tego monotoniczny, a w szczególności jest jednomonotoniczny sam ze sobą. Następnie mnożąc kolejne elementy tego ciągu ‘po przekątnej’ i operację tę powtarzając
n
{\displaystyle n}
razy, jak na przykładzie dla
n
=
3
{\displaystyle n=3}
(mnożymy wyrazy tego samego koloru):
[
a
1
3
a
2
3
a
3
3
a
1
3
a
2
3
a
3
3
a
1
3
a
2
3
a
3
3
]
{\displaystyle {\begin{bmatrix}{\color {Blue}{\sqrt[{3}]{a_{1}}}}&{\color {red}{\sqrt[{3}]{a_{2}}}}&{\color {green}{\sqrt[{3}]{a_{3}}}}\\{\color {Green}{\sqrt[{3}]{a_{1}}}}&{\color {blue}{\sqrt[{3}]{a_{2}}}}&{\color {red}{\sqrt[{3}]{a_{3}}}}\\{\color {red}{\sqrt[{3}]{a_{1}}}}&{\color {green}{\sqrt[{3}]{a_{2}}}}&{\color {blue}{\sqrt[{3}]{a_{3}}}}\end{bmatrix}}}
po dodaniu otrzymujemy:
n
⋅
a
1
a
2
a
3
…
a
n
n
{\displaystyle n\cdot {\sqrt[{n}]{a_{1}a_{2}a_{3}\ldots a_{n}}}}
zgodnie z twierdzeniem o ciągach jednomonotonicznych:
a
1
n
n
+
a
2
n
n
+
…
+
a
n
n
n
=
a
1
+
a
2
+
…
+
a
n
⩾
n
⋅
a
1
a
2
a
3
…
a
n
n
,
{\displaystyle {\sqrt[{n}]{a_{1}}}\,^{n}+{\sqrt[{n}]{a_{2}}}\,^{n}+\ldots +{\sqrt[{n}]{a_{n}}}\,^{n}=a_{1}+a_{2}+\ldots +a_{n}\geqslant n\cdot {\sqrt[{n}]{a_{1}a_{2}a_{3}\ldots a_{n}}},}
co po podzieleniu obustronnie przez
n
{\displaystyle n}
daje żądaną nierówność:
a
1
+
a
2
+
…
+
a
n
n
⩾
a
1
a
2
a
3
…
a
n
n
.
{\displaystyle {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}\geqslant {\sqrt[{n}]{a_{1}a_{2}a_{3}\ldots a_{n}}}.}
Dowód przy użyciu nierówności Jensena
edytuj
Funkcja
log
x
{\displaystyle \log x}
jest wklęsła w przedziale
(
0
;
∞
)
.
{\displaystyle (0;\infty ).}
Z nierówności Jensena dla funkcji wklęsłej przy
α
1
=
α
2
=
…
=
α
n
=
1
n
{\displaystyle \alpha _{1}=\alpha _{2}=\ldots =\alpha _{n}={\tfrac {1}{n}}}
otrzymujemy, że dla dowolnych liczb dodatnich
x
1
,
x
2
,
…
,
x
n
{\displaystyle x_{1},x_{2},\dots ,x_{n}}
zachodzi
log
(
α
1
x
1
+
α
2
x
2
+
…
+
α
n
x
n
)
⩾
α
1
log
(
x
1
)
+
α
2
log
(
x
2
)
+
…
+
α
n
log
(
x
n
)
.
{\displaystyle \log(\alpha _{1}x_{1}+\alpha _{2}x_{2}+\ldots +\alpha _{n}x_{n})\geqslant \alpha _{1}\log(x_{1})+\alpha _{2}\log(x_{2})+\ldots +\alpha _{n}\log(x_{n}).}
Stąd:
log
(
1
n
(
x
1
+
x
2
+
…
+
x
n
)
)
⩾
1
n
(
log
(
x
1
)
+
log
(
x
2
)
+
…
+
log
(
x
n
)
)
=
log
(
(
x
1
x
2
…
x
n
)
1
n
)
.
{\displaystyle \log \left({\frac {1}{n}}(x_{1}+x_{2}+\ldots +x_{n})\right)\geqslant {\frac {1}{n}}(\log(x_{1})+\log(x_{2})+\ldots +\log(x_{n}))=\log \left((x_{1}x_{2}\ldots x_{n})^{\frac {1}{n}}\right).}
Funkcja
log
{\displaystyle \log }
jest rosnąca, więc jest to równoważne:
x
1
+
x
2
+
…
+
x
n
n
⩾
(
x
1
x
2
…
x
n
)
1
n
=
x
1
x
2
…
x
n
n
,
{\displaystyle {\frac {x_{1}+x_{2}+\ldots +x_{n}}{n}}\geqslant (x_{1}x_{2}\ldots x_{n})^{\frac {1}{n}}={\sqrt[{n}]{x_{1}x_{2}\ldots x_{n}}},}
co kończy dowód.
Dowód przy użyciu nierówności Muirheada
edytuj
Biorąc ciągi
a
=
(
1
,
0
,
0
,
…
,
0
)
{\displaystyle a=(1,0,0,\dots ,0)}
i
b
=
(
1
n
,
1
n
,
…
,
1
n
)
{\displaystyle b=\left({\frac {1}{n}},{\frac {1}{n}},\dots ,{\frac {1}{n}}\right)}
z nierówności Muirheada otrzymujemy natychmiast:
(
n
−
1
)
!
(
x
1
+
x
2
+
…
+
x
n
)
⩾
n
!
x
1
1
n
x
2
1
n
…
x
n
1
n
,
{\displaystyle (n-1)!(x_{1}+x_{2}+\ldots +x_{n})\geqslant n!x_{1}^{\frac {1}{n}}x_{2}^{\frac {1}{n}}\ldots x_{n}^{\frac {1}{n}},}
czyli
x
1
+
x
2
+
…
+
x
n
n
⩾
x
1
x
2
…
x
n
n
.
{\displaystyle {\frac {x_{1}+x_{2}+\ldots +x_{n}}{n}}\geqslant {\sqrt[{n}]{x_{1}x_{2}\ldots x_{n}}}.}
Dowód indukcyjny
edytuj
Poniższy dowód opiera się na indukcji matematycznej w nietypowy sposób, gdyż stosuje się w nim indukcję wsteczną. Został on podany przed Cauchy'ego w jego dziele Cours d’analyse de l’École Polytechnique [2]
Przypadek
n
=
1
{\displaystyle n=1}
jest trywialny, gdyż średnia arytmetyczna i geometryczna są zawsze równe sobie.
Przypadki dwóch składników
Na początku udowodnijmy nierówność w przypadku dwóch składników tj.
a
+
b
2
⩾
a
⋅
b
.
{\displaystyle {\frac {a+b}{2}}\geqslant {\sqrt {a\cdot b}}.}
Ponieważ każda liczba podniesiona do kwadratu jest nieujemna, zatem:
(
a
−
b
)
2
⩾
0
,
{\displaystyle (a-b)^{2}\geqslant 0{,}}
a
2
−
2
a
b
+
b
2
⩾
0
,
{\displaystyle a^{2}-2ab+b^{2}\geqslant 0,}
a
2
+
2
a
b
+
b
2
⩾
4
a
b
,
{\displaystyle a^{2}+2ab+b^{2}\geqslant 4ab{,}}
(
a
+
b
)
2
4
⩾
a
b
,
{\displaystyle {\frac {(a+b)^{2}}{4}}\geqslant ab,}
po spierwiastkowaniu:
(
a
+
b
)
2
⩾
a
b
,
{\displaystyle {\frac {(a+b)}{2}}\geqslant {\sqrt {ab}},}
co kończy dowód dla
n
=
2
{\displaystyle n=2}
.
Ponadto z podanej na początku nierówności wynika fakt, że średnie są równe wtedy i tylko wtedy, gdy wszystkie liczby są takie same.
Przypadek
n
=
2
k
{\displaystyle n=2^{k}}
Następnie można udowodnić za pomocą indukcji, że jeżeli twierdzenie jest prawdziwe dla
n
{\displaystyle n}
, to jest też prawdziwe dla
2
n
{\displaystyle 2n}
:
a
1
+
a
2
+
…
+
a
n
+
a
n
+
1
+
a
n
+
2
+
…
+
a
2
n
2
n
=
a
1
+
a
2
+
…
+
a
n
n
+
a
n
+
1
+
a
n
+
2
+
…
+
a
2
n
n
2
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
n
+
a
n
+
1
⋅
a
n
+
2
⋅
…
⋅
a
2
n
n
2
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
n
⋅
a
n
+
1
⋅
a
n
+
2
⋅
…
⋅
a
2
n
n
=
a
1
⋅
a
2
⋅
…
⋅
a
n
⋅
a
n
+
1
⋅
a
n
+
2
⋅
…
⋅
a
2
n
n
=
a
1
⋅
a
2
⋅
…
⋅
a
n
⋅
a
n
+
1
⋅
a
n
+
2
⋅
…
⋅
a
2
n
2
n
{\displaystyle {\begin{aligned}&{\frac {a_{1}+a_{2}+\ldots +a_{n}+a_{n+1}+a_{n+2}+\ldots +a_{2n}}{2n}}={\frac {{\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}+{\frac {a_{n+1}+a_{n+2}+\ldots +a_{2n}}{n}}}{2}}\\&\geqslant {\frac {{\sqrt[{n}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}}}+{\sqrt[{n}]{a_{n+1}\cdot a_{n+2}\cdot \ldots \cdot a_{2n}}}}{2}}\\&\geqslant {\sqrt {{\sqrt[{n}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}}}\cdot {\sqrt[{n}]{a_{n+1}\cdot a_{n+2}\cdot \ldots \cdot a_{2n}}}}}\\&={\sqrt {\sqrt[{n}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}\cdot a_{n+1}\cdot a_{n+2}\cdot \ldots \cdot a_{2n}}}}={\sqrt[{2n}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}\cdot a_{n+1}\cdot a_{n+2}\cdot \ldots \cdot a_{2n}}}\end{aligned}}}
Wynika stąd, że dla każdego naturalnego
k
{\displaystyle k}
:
a
1
+
a
2
+
…
+
a
2
k
2
k
⩾
a
1
⋅
a
2
⋅
…
⋅
a
2
k
2
k
.
{\displaystyle {\frac {a_{1}+a_{2}+\ldots +a_{2^{k}}}{2^{k}}}\geqslant {\sqrt[{2^{k}}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{2^{k}}}}{.}}
Pozostałe przypadki
Ponieważ ciąg
2
k
{\displaystyle 2^{k}}
nie jest ograniczony z góry, oznacza to, że każda liczba jest mniejsza od jakiejś liczby naturalnej będącej potęgą liczby 2.
Dzięki temu aby wykazać zachodzenie nierówności dla dowolnej ilości liczb, wystarczy wykazać indukcyjnie, że jeżeli jest ono prawdziwe dla
n
+
1
{\displaystyle n+1}
to jest ono także prawdziwe dla
n
{\displaystyle n}
:
Niech
a
n
+
1
=
a
1
+
a
2
+
…
+
a
n
n
{\displaystyle a_{n+1}={\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}}
. Wtedy
a
1
+
a
2
+
…
+
a
n
+
a
1
+
a
2
+
…
+
a
n
n
n
+
1
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
⋅
a
1
+
a
2
+
…
+
a
n
n
n
+
1
,
{\displaystyle {\frac {a_{1}+a_{2}+\ldots +a_{n}+{\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}}{n+1}}\geqslant {\sqrt[{n+1}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}\cdot {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}}},}
dalej:
(
a
1
+
a
2
+
…
+
a
n
)
⋅
n
+
1
n
n
+
1
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
⋅
a
1
+
a
2
+
…
+
a
n
n
n
+
1
,
{\displaystyle {\frac {(a_{1}+a_{2}+\ldots +a_{n})\cdot {\frac {n+1}{n}}}{n+1}}\geqslant {\sqrt[{n+1}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}\cdot {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}}},}
a
1
+
a
2
+
…
+
a
n
n
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
⋅
a
1
+
a
2
+
…
+
a
n
n
n
+
1
,
{\displaystyle {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}\geqslant {\sqrt[{n+1}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}\cdot {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}}}{,}}
(
a
1
+
a
2
+
…
+
a
n
n
)
n
+
1
=
(
a
1
+
a
2
+
…
+
a
n
n
)
n
⋅
a
1
+
a
2
+
…
+
a
n
n
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
⋅
a
1
+
a
2
+
…
+
a
n
n
,
{\displaystyle ({\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}})^{n+1}=({\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}})^{n}\cdot {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}\geqslant a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}\cdot {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}},}
a
1
+
a
2
+
…
+
a
n
n
⩾
a
1
⋅
a
2
⋅
…
⋅
a
n
n
.
{\displaystyle {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}}\geqslant {\sqrt[{n}]{a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n}}}.}
Stąd wiemy, że nierówność między średnimi ma miejsce dla dowolnej ilości liczb, co kończy dowód.
Średnia geometryczna i harmoniczna
edytuj
Zgodnie z nierównością między średnimi arytmetyczną i geometryczną:
1
x
1
⋅
1
x
2
⋅
…
⋅
1
x
n
n
⩽
1
x
1
+
1
x
2
+
…
+
1
x
n
n
,
{\displaystyle {\sqrt[{n}]{{\frac {1}{x_{1}}}\cdot {\frac {1}{x_{2}}}\cdot \ldots \cdot {\frac {1}{x_{n}}}}}\leqslant {\frac {{\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}+\ldots +{\frac {1}{x_{n}}}}{n}},}
gdzie
x
i
{\displaystyle x_{i}}
są dodatnie (z czego wynika, że ich odwrotności są dodatnie).
Funkcja
f
:
R
+
→
R
+
,
f
(
x
)
=
x
−
1
{\displaystyle f\colon \mathbb {R} _{+}\to \mathbb {R} _{+},\;\;f(x)=x^{-1}}
jest malejąca, więc po nałożeniu jej obustronnie na powyższą nierówność otrzymujemy:
x
1
x
2
…
x
n
n
⩾
n
1
x
1
+
1
x
2
+
…
+
1
x
n
,
{\displaystyle {\sqrt[{n}]{x_{1}x_{2}\ldots x_{n}}}\geqslant {\frac {n}{{\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}+\ldots +{\frac {1}{x_{n}}}}},}
co kończy dowód.
Średnia arytmetyczna i kwadratowa
edytuj
Dowód korzysta z twierdzenia o ciągach jednomonotonicznych .
Rozważmy sumę:
a
1
2
+
a
2
2
+
…
+
a
n
2
{\displaystyle a_{1}^{2}+a_{2}^{2}+\ldots +a_{n}^{2}}
nierosnącego ciągu liczb rzeczywistych dodatnich
a
1
,
…
,
a
n
.
{\displaystyle a_{1},\dots ,a_{n}.}
Zgodnie z twierdzeniem o ciągach jednomonotonicznych jest to największa suma, jaką możemy uzyskać poprzez mnożenie wyrazów podanego ciągu.
Po pomnożeniu jej przez
n
{\displaystyle n}
otrzymujemy:
n
⋅
(
a
1
2
+
a
2
2
+
…
+
a
n
2
)
,
{\displaystyle n\cdot (a_{1}^{2}+a_{2}^{2}+\ldots +a_{n}^{2}),}
co zgodnie z nierównością jest nie mniejsze niż suma dowolnych
n
{\displaystyle n}
sum powstałych w wyniku podobnego mnożenia.
Łatwo zauważyć, że iloczyn:
(
a
1
+
a
2
+
…
+
a
n
)
2
{\displaystyle (a_{1}+a_{2}+\ldots +a_{n})^{2}}
jest sumą dokładnie
n
{\displaystyle n}
takich sum, zatem:
n
⋅
(
a
1
2
+
a
2
2
+
…
+
a
n
2
)
⩾
(
a
1
+
a
2
+
…
+
a
n
)
2
{\displaystyle n\cdot (a_{1}^{2}+a_{2}^{2}+\ldots +a_{n}^{2})\geqslant (a_{1}+a_{2}+\ldots +a_{n})^{2}}
dzielimy obustronnie przez
n
2
{\displaystyle n^{2}}
a
1
2
+
a
2
2
+
…
+
a
n
2
n
⩾
(
a
1
+
a
2
+
…
+
a
n
)
2
n
2
{\displaystyle {\frac {a_{1}^{2}+a_{2}^{2}+\ldots +a_{n}^{2}}{n}}\geqslant {\frac {(a_{1}+a_{2}+\ldots +a_{n})^{2}}{n^{2}}}}
i wyciągamy obustronnie pierwiastek kwadratowy :
a
1
2
+
a
2
2
+
…
+
a
n
2
n
⩾
a
1
+
a
2
+
…
+
a
n
n
,
{\displaystyle {\sqrt {\frac {a_{1}^{2}+a_{2}^{2}+\ldots +a_{n}^{2}}{n}}}\geqslant {\frac {a_{1}+a_{2}+\ldots +a_{n}}{n}},}
co kończy dowód.