Неједнакости између бројевних средина су неопходан математички инструмент за доказивање многих других неједнакости.
Познато је да је хармонијска средина мања или једнака геометријској, геометријска мања или једнака аритметичкој, аритметичка мања или једнака квадратној, квадратна мања или једнака кубној и тд...
Ако је:
H - хармонијска средина
G - геометријска средина
А - аритметичка средина
К - квадратна средина
- минимални члан
- максимални члан
тада важи:
![{\displaystyle min\leq H\leq G\leq A\leq K\leq max}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86fabdfcc7729b60c66627e706cd95dfdfad67ee)
![{\displaystyle min(x_{1},...,x_{n})\leq {\frac {n}{{\frac {1}{x_{1}}}+...+{\frac {1}{x_{n}}}}}\leq {\sqrt[{n}]{x_{1}\cdot ...\cdot x_{n}}}\leq {x_{1}+...+x_{n} \over n}\leq {\sqrt[{}]{\frac {{x_{1}}^{2}+...+{x_{n}}^{2}}{n}}}\leq max(x_{1},...,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c3a95dc7bee4216536117c1b41f90926fe13c55)
Неједнакост аритметичке и геометријске средине. Доказ индукцијом[уреди | уреди извор]
Најпре доказујемо да за реалне бројеве x1 < 1 and x2 > 1 следи
![{\displaystyle x_{1}+x_{n}>x_{1}x_{2}+1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d75f243e4729b0e39997be84fc6a2caed7c839b)
Заиста, множење обе стране неједнакости x2 > 1 са 1 – x1, даје
![{\displaystyle x_{2}-x_{1}x_{2}>1-x_{1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb5b71ab21f2ac138408db1c8e0267b80321175d)
одакле непосредно следи тражена неједнакост.
Сада ћемо доказати да за позитивне реалне бројеве x1, . . . , xn, који задовољавају
једнакост x1 . . . xn = 1, важи
![{\displaystyle x_{1}+\cdots +x_{n}\geq n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/940aee36eb1cf1033eb0eac1a70fe73c96beafd2)
Знак једнакост стоји само ако је x1 = ... = xn = 1.
Индукцијска провера: За n = 2 тврђење је тачно на основу горње неједнакости.
Индукцијска претпоставка: Претпоставимо да је тврђење тачне за првих n – 1 природних бројева.
Индукцијски корак: Размотримо случај када за n позитивних реалних бројева x1, . . . , xn, важи x1 . . . xn = 1. Како постоји бар један број xk < 1, постоји бар један xj > 1. Неће се изгубити на општости, ако допустимо да је k =n – 1 and j = n.
Даље, једнакост x1 . . . xn = 1 напишимо у облику (x1 . . . xn–2) (xn–1 xn) = 1. Тада, из индукцијске претпоставке, следи
![{\displaystyle (x_{1}+\cdots +x_{n-2})+(x_{n-1}x_{n})>n-1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/541680b5eadef04fb9c03dadcaaafdb6efc79a1c)
Међутим, узимајући у обзир индукцијску проверу, имамо
![{\displaystyle x_{1}+\cdots +x_{n-2}+x_{n-1}+x_{n}=(x_{1}+\cdots +x_{n-2})+(x_{n-1}+x_{n})>(x_{1}+\cdots +x_{n-2})+x_{n-1}x_{n}+1>n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6fcec7f6c1dc2617d9fca6568c1d1fc1fed0dcc)
чиме је доказано тврђење.
Сада, за позитивне реалне бројеве a1, . . . , an, означимо
![{\displaystyle x_{1}={\frac {a_{1}}{\sqrt[{n}]{a_{1}\cdots a_{n}}}},...,x_{n}={\frac {a_{n}}{\sqrt[{n}]{a_{1}\cdots a_{n}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/417da2ea0d3d6e2e39973e3f00e9f5ff2847bf72)
Како бројеви x1, . . . , xn задовољавају услов
x1 . . . xn = 1, имамо
![{\displaystyle {\frac {a_{1}}{\sqrt[{n}]{a_{1}\cdots a_{n}}}}+\cdots +{\frac {a_{n}}{\sqrt[{n}]{a_{1}\cdots a_{n}}}}\geq n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec3d5278825ef9a40b8eff6acea290170e34892)
чиме се добија неједнакост аритметичке и геометријске средине
![{\displaystyle {\frac {a_{1}+\cdots +a_{n}}{n}}\geq {\sqrt[{n}]{a_{1}\cdots a_{n}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42f0231cd0d3f2cac2cf48e696e6beb4e883dd82)
при чему једнакост важи само за a1 = ... = an = 1.
Уколико за позитивне реалне бројеве a1, . . . , an, ставимо
![{\displaystyle x_{1}={\frac {\frac {1}{a_{1}}}{\sqrt[{n}]{{\frac {1}{a_{1}}}\cdots {\frac {1}{a_{n}}}}}},...,x_{n}={\frac {\frac {1}{a_{n}}}{\sqrt[{n}]{{\frac {1}{a_{1}}}\cdots {\frac {1}{a_{n}}}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb1ccb82b1b19a1fff138773ad723ea792342663)
уочавамо да је x1 . . . xn = 1, па је
![{\displaystyle {\frac {\frac {1}{a_{1}}}{\sqrt[{n}]{{\frac {1}{a_{1}}}\cdots {\frac {1}{a_{n}}}}}}+\cdots +{\frac {\frac {1}{a_{n}}}{\sqrt[{n}]{{\frac {1}{a_{1}}}\cdots {\frac {1}{a_{n}}}}}}\geq n,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00d4fedb4e04f86e6df57d9bc434e9c8f25b74f1)
одакле се добија неједнакост геометријске и хармонијске средине
![{\displaystyle {\sqrt[{n}]{a_{1}\cdots a_{n}}}\geq {\frac {n}{{\frac {1}{a_{1}}}+\cdots {\frac {1}{a_{n}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a75280d2211e64d8e0259cc007c0a492bc425622)