幾何中心

数学における幾何中心は、その図形に属する全ての点に亙ってとった算術平均の位置にある。この定義は任意の有限次元ユークリッド空間の任意の図形に対して一般化することができる。やや不正確な言い方だが、幾何中心はその点で図形をピン止めすればその図形が完全に釣り合うような点である。

初等幾何学において、「重心」 が幾何中心の同義語として用いられるが、天文学や天体物理学において 共通重心  は互いを周る多数の天体成す系の重心として用いられ、また物理学において質量中心は全ての点の重み付き算術平均を表している。考えている物理的対象が一様な密度を持つならば質量中心はその図形の幾何中心に一致する。

1. 性質
-----

凸図形の幾何中心は必ずその図形の内側に載っているが、凸でない図形の場合には図形の外部へ出る場合もある。例えば、アニュラスやボウル形の幾何中心は、それら図形の中空部分にある。

幾何中心が定まるならば、それはその図形の対称変換群に対するユークリッド空間における対称変換群の不動点である。特に、図形の幾何中心はその各鏡像対称の不変超平面全ての交わりの上に載っている。多くの図形の幾何中心がこの原理だけで決定できる。

特に平行四辺形の幾何中心はその二つの対角線の交点であるが、ほかの四辺形ではそれは正しくない。

同じ理由から、不動点を持たない平行移動対称性図形の幾何中心は定義されない。

2. 重心の計算
--------

k}} 個の点 //x//sub の成す有限集合の幾何中心は で与えられる点であるProtter。この点は、集合の各点からの平方ユークリッド距離の和を最小化する。

平面図形 X}} の重心を、図形を有限個のより単純な図形 //X//sub に分割することで計算することができる。各小図形片 Xsub の重心を Csub, 面積を Asub として、X}} の重心の各座標は と求められる。X}} に穴があったり、小片が重なっていたり、小片が図形の外にはみ出していたりする場合でも、面積を符号付きで考えていれば式は成立する。具体的には、各小片の符号付き面積の符号は、考えている図形の存在する空間の各点 p}} に対し、p}} が X}} に属すれば p}} を含むすべての小片 Xsub に対するAsub の符号の和が 1}}, さもなくば 0}} となるように正または負と決められる。

Xsub の「面積」のところを「体積」とし、z}}-座標にも同じ形の式を追加すれば、同じことは三次元でも成り立つ。また同様に、d}}-次元体積をとれば、任意の次元 d}} に対する Rsup の任意の部分集合に対しても成り立つ。

Rsup の部分集合 X}} の重心を積分 によって計算することもできる。ただし、積分は全空間 Rsup にわたってとるものとし、g}} は X}} の指示函数とするProtter。分母は単に X}} の測度のことであるのに注意せよ。この公式は X}} が零集合の場合や積分が発散する場合には有効でない。

別の公式として、//Ssub は X}} と方程式 1=//xsub の定める超平面との交わりの測度として、幾何中心 C}} の第 k}}-座標は で与えられる。これもやはり分母は単に X}} の測度である。

特に平面図形として、連続函数 f, g}} と区間 //a//, //b//}} で囲まれた領域を考えるとき、その重心  ≥ //g//}}  としてで与えられる。Protter

3. 各種図形の重心とその位置
---------------

3.1. 三角形の重心
-----------

三角形の重心は、三角形の三つの中線の交点である。三角形の重心は、その三角形のオイラー線上にあり、オイラー線はまた垂心や外心といった種々の中心も結ぶAltshiller-CourtKay。

重心を通る三つの中線は何れもその三角形の面積を二分するが、これは重心を通る他の種類の線に対しては成り立たない。等分割から最も遠い状況は、重心を通る直線が三角形の面と平行なるときに生じ、この場合にできる小さい三角形と台形に関して、台形の面積はもとの三角形の sfrac になる。

頂点を A, B, C}}, 重心を G}} とする三角形の載った平面上の任意の点を P}} とすれば、三頂点からの P}} の距離の平方和は、三頂点からの重心 G}} の距離の平方和よりも P, G}} 間の距離の平方の三倍だけ大きい。式で書けば

が成り立つAltshiller-Court。 三角形の三辺の長さの平方和は、重心から各頂点への距離の平方和の三倍：

であるAltshiller-Court。 三角形の重心は、三角形の辺からの向き付けられた距離の積を最大化する。

三角形の重心はその中線を 2 [[比 に分ける、つまり各辺から対する頂点へ結んだ距離の ⅓}} の位置にある。その各座標は三頂点の座標の算術平均になっている。つまり、三頂点 1=//L// = (//xsub に対し、幾何中心 C}}は で与えられる。したがって、この重心は重心座標系において 1/3 : 1/3 : 1/3}} の位置にある。//

三線座標系において三角形の重心は、三角形の各辺の長さ a, b, c}} および各頂点の角度 L, M, N}} を用いて以下のような形: に書ける。

3.2. 多角形の重心
-----------

自己交叉を持たない閉多角形の重心は、その n}} 個の頂点を反時計回りに (//x//sub とするとき、各座標が で与えられる点 (//Csub を言う。ただし A}} はこの多角形が囲む符号付き面積 であるBourkedate=2017年8月}}。//

上記の公式で 1=//i// = //n// − 1}} のときの 1=//i// + 1 }} に対応する頂点座標が現れているが、ここでは頂点たちは多角形の外周に沿って現れた順に番号付けしていって一周したら、さらに頂点 (//xsub は (//x//sub へ戻ったものと考える。上では反時計回りとしたが、時計回りにした場合すべての符号が反転するから、上記の重心座標の式はその場合にもそのまま有効である。//

3.3. 錐体の重心
----------

円錐または角錐の重心は、頭頂点と底面の重心を結ぶ線分上にある。錐体の重心は底面から頂点への 1/4}} のところにあり、錐面の場合は底面から頂点への 1/3}} のところにある。

3.4. 単体の重心
----------

四面体はその面が四つの三角形であるような三次元空間内の図形である。四面体の頂点から対面の重心へ結んだ線文は中線  と言い、二つの対辺の中点同士を結ぶ線分は陪中線  と呼ぶ。よって四面体には四つの中線と三つの陪中線があることになるが、これら七つの線分はすべて四面体の重心において交わる。この中線は重心によって 3 : 1}} に分けられる。四面体の重心は、その四面体のモンジュ点と外心との中点であり、これら三点が載った「オイラー線」は三角形のオイラー線の四面体版である。

これらの結果は任意の n}}-次元単体に以下のように一般化される。単体の頂点集合を mset とすれば、各頂点をその位置ベクトルと同一視して、重心は で与えられる。

3.5. 半球の重心
----------

半球体の重心は、球の中心と半球の極を結ぶ線分を 3 : 5}} に分ける。中空半球の重心は、球の中心と半球面の極を結ぶ線分を二分する。

4. 関連項目
-------

K平均法
重心の一覧
パップス&ndash;ギュルダンの定理
三角形の中心
点対称

5. 注釈
-----

6. 参考文献
-------

7. 外部リンク
--------

[1] by Clark Kimberling. The centroid is indexed as X.
[2] at cut-the-knot
[3] at cut-the-knot
Interactive animations showing [4] and [5]
[6] at [7], an interactive dynamic geometry sketch using the gravity simulator of Cinderella.