幾何平均のソースを表示

'''幾何平均'''（きかへいきん、{{lang-en-short|geometric mean}}）または'''相乗平均'''とは[[数学]]における広義の[[平均]]の一つである。多くの人が平均と聞いて思い浮かべる[[算術平均]]と似ているが、値の総和を {{mvar|n}}個で割るのでなく、値の[[総乗]]の {{mvar|n}}[[冪根|乗根]]を取る点が異なる。

相乗平均の[[対数]]は、値の対数の算術平均に等しくなる。

{{mvar|p}}一般化平均（{{mvar|p}} は実数）（一般化平均については[[平均#一般化平均 2]]を参照）で {{math2|''p'' → 0}} のときの[[極限]]は相乗平均に等しくなる。

== 定義と例 ==
数の[[集合]]または[[データ]] <math>a_1, a_2 , \cdots, a_n</math> の幾何平均は次の式で定義される：
:<math>\left( \textstyle\prod\limits_{i=1}^n a_i \right)^{\frac{1}{n}} = \sqrt[n]{a_1 a_2 \dotsb a_n\vphantom{A}}</math>

例えば、{{math2|2, 8}} の幾何平均は <math>\sqrt{2 \times 8} = 4</math> となる。3数 {{math2|4, 1, {{sfrac|1|32}}}} の幾何平均は <math>\sqrt[3]{4 \times 1 \times \frac{1}{32}} = \frac{1}{2}</math> となる。

幾何平均は[[幾何学]]的に説明することもできる。2数 {{math2|''a'', ''b''}} の幾何平均は、縦横の長さが {{math2|''a'', ''b''}} の[[長方形]]と同じ面積の[[正方形]]の1辺の長さに等しい。同様に 3数 {{math2|''a'', ''b'', ''c''}} の幾何平均は、それらで張られる[[直方体]]と同じ体積の[[立方体]]の1辺の長さに等しい。

幾何平均は正の数のみしか扱えない<ref>積が負で {{mvar|n}} が偶数だとその冪根は[[虚数]]になるため。また、数値として0 が含まれていると積が常に0となり幾何平均も 0 になってしまう。</ref>。互いにかけ合わせることが多い値や指数関数的性質のある値に使うことが多く、例えば[[世界人口|人口]]の成長に関するデータや財政投資の利率などに使われる。

== 性質 ==
幾何平均は「[[ピタゴラス平均]] ([[:en:Pythagorean means|en]])」と呼ばれる3つの古典的な平均の一つでもある（他は[[算術平均]]と[[調和平均]]）。異なる値を含む正の数からなる集合またはデータにおいて、調和平均、幾何平均、算術平均の順に小さくなる。

算術平均と幾何平均を混合した[[算術幾何平均]]というものがあり、常に算術平均と幾何平均の中間の値となる。2つの[[数列]] {{math2|(''a{{sub|n}}''), (''h{{sub|n}}'')}} を、連立[[漸化式]]
:<math>a_{n+1} = \frac{a_n + h_n}{2}, \quad a_0=x</math>
:<math>h_{n+1} = \frac{2}{\frac{1}{a_n} + \frac{1}{h_n}}, \quad h_0=y</math>
で定義するとき、幾何平均は'''算術調和平均'''となり、{{math2|''a{{sub|n}}'', ''h{{sub|n}}''}} はいずれも {{math2|''x'', ''y''}} の幾何平均に収束する。

これは2つの数列が同じ[[極限]]に収束するという事実（[[ボルツァーノ＝ワイエルシュトラスの定理]]）と幾何平均が常に同じという事実から容易に分かる。
:<math>\sqrt{a_ih_i}
= \sqrt{\frac{a_i+h_i}{(a_i+h_i) / h_ia_i}}
= \sqrt{\frac{a_i+h_i}{1 / a_i + 1 /h_i}}
= \sqrt{a_{i+1}h_{i+1}}</math>

=== 対数の算術平均との関係 ===
[[対数]]の性質を使って式を変形させると、乗算を加算で表すことができ、べき乗を乗算で表せる。
:<math>\left( \textstyle\prod\limits_{i=1}^n a_i \right)^{\frac{1}{n}} = \exp \left[ \frac{1}{n} \textstyle\sum\limits_{i=1}^n \ln a_i \right]</math>
これを log-average（[[対数平均]]、logarithmic mean と混同しないこと）とも呼ぶ。数の集合またはデータの値 <math>a_i</math> を対数に変換して[[算術平均]]を求め、指数関数を適用して元の数値の幾何平均を得る。これはすなわち、{{math2|''f''(''x'') {{=}} log ''x''}} とした一般化平均に他ならない。例えば、{{math2|2, 8}} の幾何平均は次のように計算できる。
:<math>b^{\left(\log_b (2)+\log_b (8) \right)/2} = 4</math>
ここで {{mvar|b}} は[[対数]]の底であり、どんな値でもよい（通常は 2, [[ネイピア数|{{mvar|e}}]], 10 のいずれかを使う）。

=== 算術平均と平均保存的拡散との関係 ===
それぞれ異なる値の数値群に[[平均保存的拡散]]<ref>数値群の複数の要素を算術平均を変化させないように拡散させること</ref>を施したとき、幾何平均は常に小さくなる<ref>Mitchell, Douglas W., "More on spreads and non-arithmetic means," ''The Mathematical Gazette'' 88, March 2004, 142-144.</ref>。

=== 一定間隔での計算 ===
何らかの量の平均成長率を求めるのに幾何平均を使う場合、初期値 <math>a_0</math> と最新の値 <math>a_n</math> が既知であれば、途中の値を使わずに最新の成長率の幾何平均を次の式で求められる。
:<math>\left(\frac{a_n}{a_0}\right)^{\frac{1}{n}}</math>
ここで <math>n</math> は初期値から最新状態までのステップ数である。

集合またはデータを <math>a_0, \cdots, a_n</math> とし、<math>a_k</math> と <math>a_{k+1}</math> の間の成長率を <math>\frac{a_{k+1}}{a_k}</math> とする。すると、成長率の幾何平均は次のようになる。
:<math>\left( \frac{a_1}{a_0} \frac{a_2}{a_1} \cdots \frac{a_n}{a_{n-1}} \right)^{\frac{1}{n}} = \left(\frac{a_n}{a_0}\right)^{\frac{1}{n}}</math>

== 用途 ==
=== 成長率 ===
成長率を表す場合、[[指数関数的成長]]（成長率が一定の場合）でもそうでなくても、[[算術平均]]より幾何平均の方が適している。ビジネス分野においてはこれを[[年平均成長率]] (CAGR) と呼ぶ。ある期間の成長率の幾何平均は、その期間で一定の割合で成長して同じ成長を達成する場合の成長率である。

あるオレンジの木からある年に100個のオレンジを収穫でき、その後180個、210個、300個と毎年推移したとすると、各年ごとの成長率は順に 80%、16.7%、42.9%となる。成長率の[[算術平均]]を求める（80% + 16.7% + 42.9% を3で割る）と、平均成長率は 46.5% となる。しかし、初年に100個のオレンジがとれ、その後毎年 46.5% ずつ成長したとすると、最終年では314個となり、300にはならない。つまり、成長率を単純に算術平均すると平均成長率を大きく見積もってしまう。

その代わりとして幾何平均を使うことができる。成長率 80% は1.80倍を意味する。そこで 1.80、1.167、1.429 の幾何平均をとると <math>\sqrt[3]{1.80 \times 1.167 \times 1.429} = 1.443</math> となり、平均成長率は 44.3% となる。初年を100として、その後毎年 44.3% ずつ成長したとすると、最終年には300となる。

=== 社会科学での応用 ===
社会的統計を計算する場合、幾何平均を使うことは少なかったが、[[国際連合]]の[[人間開発指数]]は2010年から幾何平均を使って求めるようになった。これは、その統計量の性質をよりよく反映するためとされている。
<blockquote>
幾何平均は（比較されている）次元間の代用可能性のレベルを低くし、同時に出生時平均余命の1%の低下が人間開発指数に教育や収入の1%の低下と同じ影響を与えることを保証する。従って達成度の比較の基礎としてはこちらの方が単純平均よりも次元を横断した本質的差異をよく表しているといえる<ref>[http://hdr.undp.org/en/statistics/faq/ FAQ - HUMAN DEVELOPMENT REPORT]</ref>。
</blockquote>

=== アスペクト比 ===
[[画像:Dr. Kerns Powers, SMPTE derivation of 16-9 aspect ratio.svg|300px|thumb|Kerns Powers が[[SMPTE]]の[[16:9]]規格を提案した際に示した同一面積の様々なアスペクト比<ref name="Cinemasource" />。{{Color|red|従来のテレビの 4:3/1.33 は赤}}、{{Color|#bb5500|1.66 はオレンジ}}、{{color|blue|'''16:9/1.7{{Overline|7}} は青'''}}、{{Color|#aaaa00|1.85 は黄色}}、{{Color|mauve|[[パナビジョン (会社)|{{Color|mauve|パナビジョン}}]]/2.2 は藤色}}、{{Color|purple|[[:en:CinemaScope|{{color|purple|CinemaScope}}]]/2.35 は紫}}]]
幾何平均は映画やビデオの妥協的[[画面アスペクト比]]の策定に使われてきた。2つの[[アスペクト比]]があるときそれらの幾何平均をとれば、両者を同程度に歪めるか切り取るかした妥協的アスペクト比を提供する。具体的には、面積が等しくアスペクト比が異なる領域を中心を揃えて辺が平行になるように重ねると、それらが重なった領域が両者の幾何平均のアスペクト比と等しくなる。また、両者を全部含む最小の長方形の領域も幾何平均と同じアスペクト比になる。

[[SMPTE]]は[[16:9]]というアスペクト比を選ぶにあたって、2.35:1（スコープ・サイズの映画）と4:3（従来のテレビ）の幾何平均をとって <math>\sqrt{2.35 \times \frac{4}{3}}=1.7\overline{7}</math> とし、16:9 = 1.77{{Overline|7}}... を選択した。これは Kerns Powers が経験的に到達したもので、彼は主なアスペクト比にあわせて面積の等しい長方形を作って比較した。それらの中心を合わせて重ねると、全体を包含する長方形のアスペクト比が 1.7{{Overline|7}}:1 となることを発見し、同時に全ての長方形が重なっている領域も同じく 1.7{{Overline|7}}:1 というアスペクト比になることを発見した<ref name="Cinemasource">{{Cite journal|url= http://www.cinemasource.com/articles/aspect_ratios.pdf#page=8 |title=TECHNICAL BULLETIN: Understanding Aspect Ratios |publisher=The CinemaSource Press |year=2001 |accessdate=2009-10-24}}</ref>。Powers が発見した値はまさしく 4:3 (1.33:1) と 2.35:1 の幾何平均であり、16:9 (1.78:1) に非常に近い。Powers はその2つ以外のアスペクト比も考慮したが、幾何平均に関わっているのは最も極端な形状の2つのみである。

この幾何平均の技法を 16:9 と 4:3 に適用するとおおよそ 14:9 (1.55{{Overline|5}}…) のアスペクト比が得られ、同様に妥協案的アスペクト比として使われている<ref>{{Cite patent |title=Method of showing 16:9 pictures on 4:3 displays |country=US |number=5956091 |gdate=1999-09-21}}</ref>。この場合、14:9 は実は 16:9 と 4:3 の[[算術平均]]であり（4:3 = 12:9 であり、16 と 12 の算術平均は14）、正確な幾何平均は <math>\sqrt{\frac{16}{9}\times\frac{4}{3}} \approx 1.5396 \approx 13.8:9</math> だが、算術平均も幾何平均も十分近い値でおおよそ等しいと見なせる。

=== スペクトル平坦性 ===
[[信号処理]]における[[スペクトル平坦性]]はそのスペクトルの平坦さの度合いを表すもので、[[スペクトル密度]]の幾何平均と算術平均の比で定義されている。

=== 幾何学 ===
[[画像:Teorema.png|thumb|f は d, e の幾何平均となっている]]
[[直角三角形]]の[[斜辺]]を底辺としたときの高さは、直角な角から斜辺に描いた垂線で斜辺を分割したときのそれぞれの線分の幾何平均に等しい。

[[楕円]]において短半径は[[焦点 (幾何学)|焦点]]から楕円の周上の点との距離の最大値と最小値の幾何平均である。一方、[[軌道長半径|長半径]]は中心点といずれかの焦点との距離と中心点と[[円錐曲線|準線]]との距離の幾何平均である。
{{-}}

== 脚注・出典 ==
{{脚注ヘルプ}}
{{Reflist}}

== 関連項目 ==
* [[平均]]
* [[算術平均]]
* [[算術幾何平均]]
* [[対数正規分布]]
* [[二乗平均平方根]]
* [[投資利益率]]

== 外部リンク ==
* [http://www.sengpielaudio.com/calculator-geommean.htm Calculation of the geometric mean of two numbers in comparison to the arithmetic solution]
* [http://www.cut-the-knot.org/Generalization/means.shtml Arithmetic and geometric means]
* [http://www.math.toronto.edu/mathnet/questionCorner/geomean.html When to use the geometric mean]
* [https://buzzardsbay.org/geomean.htm Practical solutions for calculating geometric mean with different kinds of data]
* {{MathWorld |urlname=GeometricMean |title=Geometric Mean}}
* [http://www.cut-the-knot.org/pythagoras/GeometricMean.shtml Geometric Meaning of the Geometric Mean]
* [http://www.graftacs.com/geomean.php3 Geometric Mean Calculator for larger data sets]

{{統計学}}

{{DEFAULTSORT:きかへいきん}}
[[Category:平均]]
[[Category:数学に関する記事]]