ピタゴラス平均

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

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



 性質 
それぞれの平均は以下の性質を持っている。

 一次斉次性

 交換時の不変性

 任意のとに対して

 単調性

 冪等性


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



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



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



 平均間の不等式 
サムネイル|230px|正の数a,bについて  >  >  >  >  >  の幾何的な NM = a と PM = b の場合。 AM = aとbのAM であり、半径 r = AQ = AG である。ピタゴラスの定理より、QM² = AQ² + AM² ∴ QM =√AQ² + AM² = QM。ピタゴラスの定理より、AM² = AG² + GM² ∴ GM = √AM² − AG² = GM。三角形の相似より、 =  ∴ HM =  = HM。
これらの平均には順序があり（すべてのが正の場合）



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

これはの一般化であり、の不等式の特殊な場合である。証明は、、、また逆数との双対性（とにも逆数との双対性がある）に従う。

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

 関連項目 

 算術幾何平均
 平均
 黄金比

 脚注 

 外部リンク 



Category:平均
Category:ピタゴラス
Category:数学に関する記事
Category:数学のエポニム