幾何中心

Centroid of a triangle

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

初等幾何学において、「重心」("barycenter") が幾何中心の同義語として用いられるが、天文学や天体物理学において テンプレート:Ill2 (barycenter) は互いを周る多数の天体成す系の重心（質量中心）として用いられ、また物理学において質量中心は（局所密度や比重量を重みとする）全ての点の重み付き算術平均を表している。考えている物理的対象が一様な密度を持つならば質量中心はその図形の幾何中心に一致する。

性質

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

幾何中心が定まるならば、それはその図形のテンプレート:仮リンクに対するテンプレート:Ill2である。特に、図形の幾何中心はその各鏡像対称の不変超平面全ての交わりの上に載っている。多くの図形（正多角形, 正多面体, 円筒, 矩形, 菱形, 円周, 球面, 楕円, 楕円体, スーパー楕円, テンプレート:Ill2, など）の幾何中心がこの原理だけで決定できる。

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

同じ理由から、不動点を持たないテンプレート:Ill2図形の幾何中心は定義されない（か考えている空間の外にあるとする）。

重心の計算

テンプレート:Mvar 個の点 テンプレート:Math の成す有限集合の幾何中心は $$C=\frac{x_1+x_2+\cdots +x_k}{k}$$ で与えられる点であるテンプレート:Sfn。この点は、集合の各点からの平方ユークリッド距離の和を最小化する。

平面図形 テンプレート:Mvar の重心を、図形を有限個のより単純な図形 テンプレート:Math に分割することで計算することができる。各小図形片 テンプレート:Mvar の重心を テンプレート:Mvar, 面積を テンプレート:Mvar として、テンプレート:Mvar の重心の各座標は $$C_x:=\frac{\sum C_{i_x}{A}_i}{\sum A_i},C_y:=\frac{\sum C_{i_y}{A}_i}{\sum A_i}$$ と求められる。テンプレート:Mvar に穴があったり、小片が重なっていたり、小片が図形の外にはみ出していたりする場合でも、面積を符号付きで考えていれば式は成立する。具体的には、各小片の符号付き面積の符号は、考えている図形の存在する空間の各点 テンプレート:Mvar に対し、テンプレート:Mvar が テンプレート:Mvar に属すれば テンプレート:Mvar を含むすべての小片 テンプレート:Mvar に対するテンプレート:Mvar の符号の和が テンプレート:Math, さもなくば テンプレート:Math となるように正または負と決められる。

テンプレート:Mvar の「面積」のところを「体積」とし、テンプレート:Mvar-座標にも同じ形の式を追加すれば、同じことは三次元でも成り立つ。また同様に、テンプレート:Mvar-次元体積（容積）をとれば、任意の次元 テンプレート:Mvar に対する テンプレート:Math の任意の部分集合に対しても成り立つ。

テンプレート:Math の部分集合 テンプレート:Mvar の重心を積分 $$C=\frac{\int xg(x)𝑑𝑥}{\int g(x)𝑑𝑥}$$ によって計算することもできる。ただし、積分は全空間 テンプレート:Math にわたってとるものとし、テンプレート:Mvar は テンプレート:Mvar の指示函数とするテンプレート:Sfn。分母は単に テンプレート:Mvar の測度（テンプレート:Mvar-次元容積）のことであるのに注意せよ。この公式は テンプレート:Mvar が零集合の場合や積分が発散する場合には有効でない。

別の公式として、テンプレート:Math は テンプレート:Mvar と方程式 テンプレート:Math の定める超平面との交わりの測度として、幾何中心 テンプレート:Mvar の第 テンプレート:Mvar-座標は $$C_k=\frac{\int z{S}_k(z)𝑑𝑧}{\int S_k(z)𝑑𝑧}$$ で与えられる。これもやはり分母は単に テンプレート:Mvar の測度である。

特に平面図形として、連続函数 テンプレート:Mvar と区間 テンプレート:Closed-closed で囲まれた領域を考えるとき、その重心 テンプレート:Math は、テンプレート:Math (テンプレート:Math のとき、テンプレート:Mvar をその領域の面積 ($={\int }_a^b[f(x)-g(x)]𝑑𝑥$) として$$\begin{array}{cc}\overline{x}& =\frac{1}{A}\underset{a}{\overset{b}{\int }}x[f(x)-g(x)]𝑑𝑥,\\ \overline{y}& =\frac{1}{A}\underset{a}{\overset{b}{\int }}\left[\frac{f(x)+g(x)}{2}\right][f(x)-g(x)]𝑑𝑥\end{array}$$で与えられる。テンプレート:Sfnテンプレート:Sfn

各種図形の重心とその位置

三角形の重心

三角形の重心は、三角形の三つの中線（各中線は各頂点とその対辺の中点を結ぶ）の交点である。三角形の重心は、その三角形のオイラー線上にあり、オイラー線はまた垂心や外心といった種々の中心も結ぶテンプレート:Sfnテンプレート:Sfn。

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

頂点を テンプレート:Mvar, 重心を テンプレート:Mvar とする三角形の載った平面上の任意の点を テンプレート:Mvar とすれば、三頂点からの テンプレート:Mvar の距離の平方和は、三頂点からの重心 テンプレート:Mvar の距離の平方和よりも テンプレート:Mvar 間の距離の平方の三倍だけ大きい。式で書けば

${\text{PA}}^2+{\text{PB}}^2+{\text{PC}}^2={\text{GA}}^2+{\text{GB}}^2+{\text{GC}}^2+3{\text{PG}}^2$

が成り立つテンプレート:Sfn。 三角形の三辺の長さの平方和は、重心から各頂点への距離の平方和の三倍：

${\text{AB}}^2+{\text{BC}}^2+{\text{CA}}^2=3({\text{GA}}^2+{\text{GB}}^2+{\text{GC}}^2)$

であるテンプレート:Sfn。 三角形の重心は、三角形の辺からの向き付けられた距離の積を最大化する。

三角形の重心はその中線を テンプレート:Math に分ける、つまり各辺から対する頂点へ結んだ距離の テンプレート:Math の位置にある。その各座標は三頂点の座標の算術平均になっている。つまり、三頂点 テンプレート:Math に対し、幾何中心 テンプレート:Mvar（テンプレート:Ill2では テンプレート:Mvar と書くのがふつう）は $$C=\frac{1}{3}(L+M+N)=(\frac{1}{3}(x_L+x_M+x_N),\frac{1}{3}(y_L+y_M+y_N))$$ で与えられる。したがって、この重心はテンプレート:Ill2において テンプレート:Math の位置にある。

テンプレート:Ill2において三角形の重心は、三角形の各辺の長さ テンプレート:Mvar および各頂点の角度 テンプレート:Mvar を用いて以下のような形（いずれも同値）:$$\begin{array}{cc}C& =\frac{1}{a}:\frac{1}{b}:\frac{1}{c}=bc:ca:ab=\csc L:\csc M:\csc N\\ & =\cos L+\cos M\cdot \cos N:\cos M+\cos N\cdot \cos L:\cos N+\cos L\cdot \cos M\\ & =\sec L+\sec M\cdot \sec N:\sec M+\sec N\cdot \sec L:\sec N+\sec L\cdot \sec M\end{array}$$ に書ける。

• 
  三角形の各辺を重心からの垂線との交点で分割した時、分割後の長さの辺を持つ各正方形を図のように時計回りの順番の奇偶でグループ分けすると、グループ別合計面積は互いに等しくなっている。
• 
  三角形の一辺を重心からの垂線との交点で分割した時、分割後の長さそれぞれの辺を持つ正方形同士の面積の差は、他の二辺それぞれの長さの辺を持つ正方形同士の面積の差の三分の一となっている。

多角形の重心

自己交叉を持たない閉多角形の重心は、その テンプレート:Mvar 個の頂点を反時計回りに テンプレート:Math とするとき、各座標が $$\begin{array}{cc}{C}_x& =\frac{1}{6A}\sum _{i=0}^{n-1}(x_i+x_{i+1})(x_i{y}_{i+1}-x_{i+1}{y}_i)\\ C_y& =\frac{1}{6A}\sum _{i=0}^{n-1}(y_i+y_{i+1})(x_i{y}_{i+1}-x_{i+1}{y}_i)\end{array}$$ で与えられる点 テンプレート:Math を言う。ただし テンプレート:Mvar はこの多角形が囲む符号付き面積 $$A=\frac{1}{2}\sum _{i=0}^{n-1}(x_i{y}_{i+1}-x_{i+1}{y}_i)$$ であるテンプレート:Sfnテンプレート:Full。

上記の公式で テンプレート:Math のときの テンプレート:Math に対応する頂点座標が現れているが、ここでは頂点たちは多角形の外周に沿って現れた順に番号付けしていって一周したら、さらに頂点 テンプレート:Math は テンプレート:Math へ戻ったものと考える。上では反時計回りとしたが、時計回りにした場合すべての符号が反転するから、上記の重心座標の式はその場合にもそのまま有効である。

錐体の重心

円錐または角錐の重心は、テンプレート:Ill2と底面の重心を結ぶ線分上にある。錐体の重心は底面から頂点への テンプレート:Math のところにあり、錐面の場合は底面から頂点への テンプレート:Math のところにある。

単体の重心

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

これらの結果は任意の テンプレート:Mvar-次元単体に以下のように一般化される。単体の頂点集合を テンプレート:Math とすれば、各頂点をその位置ベクトルと同一視して、重心は $$C=\frac{1}{n+1}\sum _{i=0}^n{v}_i$$ で与えられる。

半球の重心

半球体の重心は、球の中心と半球の極を結ぶ線分を テンプレート:Math に分ける。中空半球（中空球体の半分）の重心は、球の中心と半球面の極を結ぶ線分を二分する。

関連項目

• テンプレート:Ill2
• テンプレート:Ill2
• K平均法
• 重心の一覧
• パップス–ギュルダンの定理
• 三角形の中心
• テンプレート:仮リンク
• テンプレート:Ill2
• 点対称

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:PlanetMath
• テンプレート:SpringerEOM
• テンプレート:Nlab
• テンプレート:ProofWiki

• Encyclopedia of Triangle Centers by Clark Kimberling. The centroid is indexed as X(2).
• Characteristic Property of Centroid at cut-the-knot
• Barycentric Coordinates at cut-the-knot
• Interactive animations showing Centroid of a triangle and Centroid construction with compass and straightedge
• Experimentally finding the medians and centroid of a triangle at Dynamic Geometry Sketches, an interactive dynamic geometry sketch using the gravity simulator of Cinderella.