ピタゴラス平均

（2つの数字aとbの）二乗平均平方根とピタゴラス平均を幾何的に構築したもの。調和平均はテンプレート:Colorboxテンプレート:NbspH、幾何平均はテンプレート:Colorboxテンプレート:NbspG、算術平均はテンプレート:Colorboxテンプレート:NbspA、二乗平均平方根はテンプレート:Colorboxテンプレート:NbspQで表される。

一組の数字の算術平均、幾何平均、調和平均の比較。縦の破線は調和平均の漸近線である。

数学において、古典的なピタゴラス平均（ピタゴラスへいきん、英: Pythagorean means）とは、算術平均(AM)、幾何平均(GM)、調和平均(HM)の3つである。これらの平均は、幾何学や音楽における重要性から、ピタゴラス教団やそれ以降の世代のギリシャの数学者たちによって研究されていた。

定義

これらは次のように定義される。

$\begin{array}{cc}\mathrm{AM}(x_1,\dots ,x_n)& =\frac{1}{n}(x_1+\cdots +x_n)\\ \mathrm{GM}(x_1,\dots ,x_n)& =\sqrt[n]{|x_1\times \cdots \times x_n|}\\ \mathrm{HM}(x_1,\dots ,x_n)& =\frac{n}{\frac{1}{x_1}+\cdots +\frac{1}{x_n}}\end{array}$

性質

それぞれの平均$\mathrm{M}$は以下の性質を持っている。

一次斉次性

$\mathrm{M}(b{x}_1,\dots ,b{x}_n)=b\mathrm{M}(x_1,\dots ,x_n)$

交換時の不変性

任意の$i$と$j$に対して

$\mathrm{M}(\dots ,x_i,\dots ,x_j,\dots )=\mathrm{M}(\dots ,x_j,\dots ,x_i,\dots )$

単調性

$a<b\Rightarrow \mathrm{M}(a,x_1,x_2,\dots x_n)<\mathrm{M}(b,x_1,x_2,\dots x_n)$

冪等性

$\mathrm{\forall }x,M(x,x,\dots x)=x$

単調性と冪等性の組み合わせは、ある集合の平均値が常にその集合の両極端の間にあることを意味する。

$\min (x_1,\dots ,x_n)\le \mathrm{M}(x_1,\dots ,x_n)\le \max (x_1,\dots ,x_n)$

調和平均と算術平均は、正の引数については互いに逆数と双対である。

$\mathrm{HM}(\frac{1}{x_1},\dots ,\frac{1}{x_n})=\frac{1}{\mathrm{AM}(x_1,\dots ,x_n)}$

一方、幾何平均はその逆数と双対である。

$\mathrm{GM}(\frac{1}{x_1},\dots ,\frac{1}{x_n})=\frac{1}{\mathrm{GM}(x_1,\dots ,x_n)}$

平均間の不等式

正の数a,bについて テンプレート:Nowrap > テンプレート:Nowrap > テンプレート:Nowrap > テンプレート:Nowrap > テンプレート:Nowrap > テンプレート:Nowrap の幾何的なテンプレート:仮リンク

これらの平均には順序があり（すべての$x_i$が正の場合）

$\min \le \mathrm{HM}\le \mathrm{GM}\le \mathrm{AM}\le \max$

となり、$x_i$がすべて等しい場合にのみ等しくなる。

これはテンプレート:仮リンクの一般化であり、テンプレート:仮リンクの不等式の特殊な場合である。証明は、テンプレート:仮リンク、$\mathrm{AM}\le \max$、また逆数との双対性（$\min$と$\min$にも逆数との双対性がある）に従う。

ピタゴラス平均の研究は、テンプレート:仮リンクやテンプレート:仮リンクの研究と密接な関係がある。調和平均と幾何平均は引数の凹対称函数であるため、Schur-concaveであり、算術平均は引数の一次関数であるため、凹と凸の両方である。

関連項目

• 算術幾何平均
• 平均
• 黄金比

外部リンク

• テンプレート:MathWorld