Среднее степенное

Так как среднее степени d обобщает известные с древности (т. н. архимедовы) средние, то его часто называют средним обобщённым.

По связи с неравенствами Минковского и Гёльдера среднее степенное имеет также названия: среднее по Гёльдеру и среднее по Минковскому.

Средние степеней 0, ±1, 2 и ${\displaystyle \pm \infty }$ имеют собственные имена:

• ${\displaystyle A_{1}(x_{1},\ldots ,x_{n})=m={\frac {x_{1}+x_{2}+\cdots +x_{n}}{n}}}$ называется средним арифметическим;

(иначе говоря: средним арифметическим n чисел является их сумма, делённая на n)

• ${\displaystyle A_{0}(x_{1},\ldots ,x_{n})=g={\sqrt[{n}]{x_{1}x_{2}\cdots x_{n}}}}$ называется средним геометрическим;

(иначе говоря: средним геометрическим n чисел является корень n-ой степени из произведения этих чисел)

• ${\displaystyle A_{-1}(x_{1},\ldots ,x_{n})=h={\frac {n}{{\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}+\cdots +{\frac {1}{x_{n}}}}}}$ называется средним гармоническим.

(иначе говоря: средним гармоническим чисел является обратная величина к среднему арифметическому их обратных)

• ${\displaystyle A_{2}(x_{1},\ldots ,x_{n})=s={\sqrt {\frac {x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}}{n}}}}$ называется средним квадратичным (квадратическим), известным так же под сокращением RMS (root-mean-square).
• В статистической практике также находят применение степенные средние третьего и более высоких порядков. Наиболее распространёнными из них являются среднее кубическое и среднее биквадратическое значения.
• Максимальное и минимальное число из набора положительных чисел выражаются как средние степеней ${\displaystyle +\infty }$ и ${\displaystyle -\infty }$ этих чисел:

${\displaystyle \operatorname {max} \{x_{1},\ldots ,x_{n}\}=A_{+\infty }(x_{1},\ldots ,x_{n});}$

${\displaystyle \operatorname {min} \{x_{1},\ldots ,x_{n}\}=A_{-\infty }(x_{1},\ldots ,x_{n}).}$

Неравенство о средних утверждает, что для любых ${\displaystyle d_{1}>d_{2}}$

${\displaystyle A_{d_{1}}(x_{1},\ldots ,x_{n})\geq A_{d_{2}}(x_{1},\ldots ,x_{n})}$,

причём равенство достигается только в случае равенства всех аргументов ${\displaystyle x_{1}=\ldots =x_{n}}$.

Для доказательства неравенства о средних достаточно показать, что частная производная ${\displaystyle A_{d}(x_{1},\ldots ,x_{n})}$ по ${\displaystyle d}$ неотрицательна и обращается в ноль только при ${\displaystyle x_{1}=\ldots =x_{n}}$ (например, используя неравенство Йенсена), и далее применить формулу конечных приращений.

Неравенство о среднем арифметическом, геометрическом и гармоническом

Частным случаем неравенства о средних является неравенство о среднем арифметическом, геометрическом и гармоническом

${\displaystyle \max\{x_{1},\ldots ,x_{n}\}\geq {\frac {x_{1}+\ldots +x_{n}}{n}}\geq \left(x_{1}\cdot \ldots \cdot x_{n}\right)^{1/n}\geq {\frac {n}{{\frac {1}{x_{1}}}+\ldots +{\frac {1}{x_{n}}}}}\geq \min\{x_{1},\ldots ,x_{n}\},}$

где каждое из неравенств обращается в равенство только при ${\displaystyle x_{1}=\ldots =x_{n}}$.

• Неравенство Швейцера

• И. И. Жогин. О средних // Математическое просвещение. Вторая серия. — 1961. — Вып. 6. — С. 217—226.