毕达哥拉斯平均

毕达哥拉斯平均是三種平均數的總稱，分別是算術平均數（AM）、幾何平均數（GM）及調和平均數（HM）。這些平均數在幾何學和音樂上有許多應用，畢達哥拉斯學派以及往後的古希臘數學家對這些平均數的比例進行了許多研究。

定義
其定義如下：

• AM(x_1, \ldots, x_n) = \frac{1}{n}(x_1 + \cdots + x_n)
• GM(x_1, \ldots, x_n) = \sqrt[n]{x_1 \cdots x_n}
• HM(x_1, \ldots, x_n) = \frac{n}{\frac{1}{x_1} + \cdots + \frac{1}{x_n}}

性質
上述的任一個平均數\operatorname{M}，在正的實數輸入下，都滿足以下性質：

; 一階齊次: \operatorname{M}(bx_1, \ldots, bx_n) = b \operatorname{M}(x_1, \ldots, x_n)
; 交換下的不變: \operatorname{M}(\ldots, x_i, \ldots, x_j, \ldots) = \operatorname{M}(\ldots, x_j, \ldots, x_i, \ldots)，對於任意i和j.
; 單調: 若 a \leq b，則\operatorname{M}(a,x_1,x_2,\ldots x_n) \leq \operatorname{M}(b,x_1,x_2,\ldots x_n)
; 冪等: M(x,x,\ldots x) = x ，針對所有的x

由於單調和幂等，可知以下平均和極值之間的關係恆存在：
\min(x_1, \ldots, x_n) \leq \operatorname{M}(x_1, \ldots, x_n) \leq \max(x_1, \ldots, x_n).

若所有 x_i 均為正，調和平均數和算術平均數互為倒數的對偶：
\operatorname{HM}\left(\frac{1}{x_1}, \ldots, \frac{1}{x_n}\right) = \frac{1}{\operatorname{AM}\left(x_1, \ldots, x_n\right)},
而幾何平均數是其本身倒數的對偶：
\operatorname{GM}\left(\frac{1}{x_1}, \ldots, \frac{1}{x_n}\right) = \frac{1}{\operatorname{GM}\left(x_1, \ldots, x_n\right)}.

平均之間的不等式
若所有 x_i 均為正，三個平均數之間有以下的順序關係：

: min \geq AM(x_1,\ldots,x_n) \geq GM(x_1,\ldots,x_n) \geq HM(x_1,\ldots,x_n)

其中的等式成立若且唯若所有的 x_i 都相等。上式的不等式即為平均数不等式，也是冪平均不等式中的一個特例。其證明根據算术-几何平均值不等式、\operatorname{AM} \leq \max以及倒數對偶性（\min和\max兩者也是倒數對偶）

毕达哥拉斯平均的研究和和的研究有密切關係。調和平均數和幾何平均數是其引數的凸對稱函數，因此是舒爾凸函數，而算數平均數是引數的線性函數，是凸函數也是凹函數。

參照

• 算术-几何平均数

參考資料
外部連結

• [http://mathworld.wolfram.com/PythagoreanMeans.html Pythagorean means on MathWorld]