レッスン
理論 — 三角形の中心とオイラー線
三角形の中心 とは、描かれた紙によってではなく、三角形そのものによって決定される点のことです。三角形を移動させたり、回転させたり、拡大縮小したりすると、その点も連動して動きます。そのうちの四つは古くから知られており、それぞれが特定の三本の線が交わる点として定義されています。三つの中線の交点が 重心 、各辺の垂直二等分線の交点が 外心 、三つの垂線の交点が 垂心 、そして三つの角の二等分線の交点が 内心 です。これら四つのケースすべてにおいて、三本の線が一点で交わるということ自体が、すでに一つの定理なのです。
各記号の意味
G- 重心。三つの頂点の平均値であり、この点で三角形の重さが釣り合います。
O- 外心。三つの頂点すべてから等距離にあるため、これらを通る外接円の中心となります。
H- 垂心。三本の垂線が交わる場所です。四つの中心の中で唯一、自分自身の円を持ちません。
I- 内心。三つの辺すべてから等距離にあり、常に三角形の内部に存在し続ける唯一の中心です。
- 成り立たない場合
- このページが何も語ることができない唯一の例外、それが正三角形です。四つの中心すべてが同じ一点に重なってしまうため、そこを通るあらゆる直線が四つの中心をすべて含むことになり、オイラー線を一本に特定することができません。そのため、ここではいずれかを選ぶ代わりに「線なし」と表示します。
全プロセスの詳細解説
-
誰も引かなかった線 6 ステップ
頂点が A = (0, 0)、B = (6, 0)、C = (2, 5) の三角形があります。それぞれの定義から重心、外心、垂心を求め、これら三点が同一直線上にあることを示しなさい。さらに、重心が他の二点を結ぶ線分をどのような比で分割するかを求めなさい。
-
まずは重心から求めましょう。これには幾何学の知識が不要だからです。中線は各頂点の座標の平均値で交わるため、G = ((0 + 6 + 2)/3, (0 + 0 + 5)/3) = (8/3, 5/3) となります。重心 G の表の値は (2.667, 1.667) を示します。
-
外心は、三つの頂点すべてから等距離にある点です。AとBから等距離にあるという条件から、水平な線分の垂直二等分線である x = 3 の上に乗ります。さらにAとCから等距離にあるという条件から 3² + y² = (3 − 2)² + (y − 5)² が得られます。両辺の y² を打ち消し合うと 9 = 1 + 25 − 10y となり、10y = 17 から y = 1.7 が導かれます。したがって O = (3, 1.7) となり、外心 O の値と一致します。
-
垂心を求めるには二本の垂線が必要ですが、さきほどの計算結果は使いません。Aからの垂線はBCに直交します。BCの方向ベクトルは C − B = (−4, 5) なので、垂線上のすべての点は −4x + 5y = 0 を満たします。一方、Bからの垂線は方向ベクトルが (2, 5) であるACに直交し、点 (6, 0) を通るため、方程式は 2(x − 6) + 5y = 0 になります。一つ目の式から得られた y = 4x/5 を二つ目に代入すると 2x − 12 + 4x = 0 となり、x = 2 と y = 1.6 が導かれます。つまり H = (2, 1.6) です。
-
さて、ここからが本題です。OからGへのベクトルは (8/3 − 3, 5/3 − 17/10) = (−1/3, −1/30) であり、OからHへのベクトルは (2 − 3, 1.6 − 1.7) = (−1, −1/10) となります。二つのベクトルが平行になるのは、その外積がゼロになるときです。計算すると (−1/3)(−1/10) − (−1/30)(−1) = 1/30 − 1/30 = 0 となります。丸め誤差などを一切含まず、分数の計算だけで完全にゼロになることがわかります。
-
二つ目のベクトルは一つ目の正確に三倍の大きさです。したがって、Oからの距離を比べると、HはGの三倍遠くに位置し、Gはその二点の間に存在することになります。これにより、HGの長さはGOの二つ分であることがわかります。実際の距離で確認してみましょう。GO = √(1/9 + 1/900) = √101/30 = 0.334996 であり、HG = √(4/9 + 1/225) = √101/15 = 0.669992 となります。HG : GO の値が 2.000 になるのは、割り算の過程で √101 が丸められることなく、きれいに約分されるからです。
-
四つ目の中心がここに加わることはありません。a = |BC| = √41、b = |CA| = √29、c = |AB| = 6 とおくと、内心は (aA + bB + cC)/(a + b + c) = (2.491, 1.687) として計算できます。直線からの内心の距離の値は 0.0372 です。小さな値ですが、ゼロではありません。頂点Cを x = 3 の位置までドラッグしてみてください。三角形が二等辺三角形になるため、この値は 0.0000 になります。
解答
ぴったり 2 です。そして、描くことのできるどんな三角形でも正確に 2 になります。重心は、垂心と外心を結ぶ線分の単なるどこかにあるわけではなく、常にその三分の二の道のりに位置しています。このツールが教えてくれないのは、その「理由」です。頂点をドラッグして確かめるのは証拠にはなっても、証明にはならないからです。最も簡潔な証明は、外心を原点と仮定して |A| = |B| = |C| = R と置き、P = A + B + C という一点に注目する方法です。ここで P − A = B + C となり、内積を取ると (B + C)·(C − B) = |C|² − |B|² = 0 となるため、点PはAからの垂線上に存在することがわかります。同様の計算によって、点Pは残る二つの垂線上にも存在することが示され、結果としてPが垂心であることが導かれます。重心は P/3 であり、原点からPまでの道のりの三分の一の場所にある点です。そしてその原点こそが外心だったのです。
-
参考文献 (3)
- The paper the line is named after, in which Euler works out all four centres in coordinates and then notices that three of them are collinear: L. Euler, "Solutio facilis problematum quorundam geometricorum difficillimorum." Novi Commentarii academiae scientiarum Petropolitanae 11 (for 1765), printed 1767, pp. 103–123. Euler Archive E325; reprinted in Opera Omnia I.26, pp. 139–157.
- The nine-point circle, the fifth point this page draws and the one with the longest list of claimants: K. W. Feuerbach, Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks. Wiessner, Nürnberg, 1822.
- A modern textbook treatment of the four centres and the line, at the level this page is pitched: H. S. M. Coxeter and S. L. Greitzer, Geometry Revisited. Mathematical Association of America, New Mathematical Library 19, 1967, chapter 1.