MathLabs
定理証明済み

三角形の重心のベクトル恒等式

内容

点 GG が △ABC\triangle ABC の重心であることの必要十分条件は GA→+GB→+GC→=0⃗\overrightarrow{GA}+\overrightarrow{GB}+\overrightarrow{GC}=\vec{0} であり、同値な条件として平面上の任意の基準点 OO に対して OG→=13(OA→+OB→+OC→)\overrightarrow{OG}=\dfrac{1}{3}(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}) が成り立つ。

なぜ正しいのか?

三つの頂点 AA、BB、CC に等しい単位質量を置くと、ベクトル GA→\overrightarrow{GA}、GB→\overrightarrow{GB}、GC→\overrightarrow{GC} は GG から各頂点への引力を表す。それらの和が 0⃗\vec{0} になるのは、まさに GG が重心(質量中心)であるときである。

証明の概略

辺 BCBC の中点を MM とする。MM は BCBC を二等分するから、二つのベクトル MB→\overrightarrow{MB} と MC→\overrightarrow{MC} は同じ長さで逆向きとなり、MB→+MC→=0⃗\overrightarrow{MB}+\overrightarrow{MC}=\vec{0} である。GG から MM を経由する三角形の法則より、GB→+GC→=(GM→+MB→)+(GM→+MC→)=2GM→\overrightarrow{GB}+\overrightarrow{GC}=(\overrightarrow{GM}+\overrightarrow{MB})+(\overrightarrow{GM}+\overrightarrow{MC})=2\overrightarrow{GM} が成り立つ。

△ABC\triangle ABC の中線の性質より、重心 GG は中線 AMAM 上にあり頂点から 2:12:1 の比に内分するから、GA→=−2GM→\overrightarrow{GA}=-2\overrightarrow{GM} である。

二つの関係式を足し合わせると GA→+GB→+GC→=−2GM→+2GM→=0⃗\overrightarrow{GA}+\overrightarrow{GB}+\overrightarrow{GC}=-2\overrightarrow{GM}+2\overrightarrow{GM}=\vec{0} となる。最後に任意の点 OO に対して GA→=OA→−OG→\overrightarrow{GA}=\overrightarrow{OA}-\overrightarrow{OG}(BB と CC も同様)と書き換えれば (OA→+OB→+OC→)−3OG→=0⃗(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC})-3\overrightarrow{OG}=\vec{0}、すなわち OG→=13(OA→+OB→+OC→)\overrightarrow{OG}=\dfrac{1}{3}(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}) が得られる。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited
  2. Murray R. Spiegel (1959). Schaum's Outline of Vector Analysis