thumb|2つの正の数 のピタゴラス平均、二乗平均平方根を幾何的に表したもの。調和平均はH、幾何平均はG、算術平均はA、二乗平均平方根はQで、この順に小さい。 thumb|一組の数字の算術平均、幾何平均、調和平均の比較。縦の破線は調和平均の漸近線である。 数学において、古典的なピタゴラス平均（ピタゴラスへいきん、英: Pythagorean means）とは、算術平均 (AM)、幾何平均 (GM)、調和平均 (HM) の3つの総称である。これらの平均は、幾何学や音楽における重要性から、ピタゴラス教団やそれ以降の世代のギリシャの数学者たちによって研究されていた。
定義 これらは次のように定義される。
性質 それぞれの平均 は以下の性質を持っている。 一次斉次性
対称性 任意の に対して
単調性
冪等性
単調性と冪等性の組み合わせは、ある集合の平均値が常にその集合の両極端の間にあることを意味する。
調和平均と算術平均は、正の引数については互いに逆数と双対である。
一方、幾何平均はその逆数と双対である。
平均間の不等式 230px|thumb|正の数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であり、算術平均は引数の一次関数であるため、凹と凸の両方である。
関連項目 算術幾何平均 平均 黄金比
脚注
外部リンク