ハーコートの定理

ハーコートの定理は、三角形の幾何学において、その面積と特定の直線への頂点からの距離との間に成り立つ興味深い関係を示すものです。この定理は、19世紀のアイルランドの数学者であるJ. Harcourt氏にその名を由来しています。

定理の内容

この定理が述べている内容は、以下のような設定のもとで定義されます。

1. 対象となる三角形: 面積を S とする任意の三角形 ABC を考えます。
2. 特別な直線: この三角形の内接円を考えます。内接円周上の任意の点 P を選び、その点 P において内接円に接する直線を L とします。
3. 頂点からの垂線: 三角形の各頂点 A, B, C から、上記で定義した直線 L へそれぞれ垂線を下ろします。これらの垂線の足を、それぞれ A', B', C' とします。
4. 符号付き距離: 各頂点から直線 L までの垂線の長さを考えます。ここで重要なのは、この長さが「符号付き距離」として扱われる点です。直線 L に対し、頂点が内接円と同じ側にある場合は垂線の長さを正とし、内接円と反対側にある場合は負とします。頂点 A, B, C から直線 L への符号付き垂線長をそれぞれ a', b', c' とします。
5. 辺の長さ: 三角形の辺 BC, CA, AB の長さをそれぞれ a, b, c とします。

これらの要素が定義されたとき、ハーコートの定理は以下の等式が常に成り立つことを主張しています。

$$ aa' + bb' + cc' = 2S $$

この等式は、三角形の各辺の長さとその辺の対頂点から内接円の任意の接線への符号付き垂線長の積の総和が、三角形の面積の2倍に等しいという驚くべき関係を示しています。

定理の幾何学的意味

ハーコートの定理は、内接円の接線という特定の基準線に対して、三角形の頂点の位置が面積とどのように結びついているかを示唆しています。符号付き距離を用いることで、直線 L に対する頂点の相対的な位置が等式に反映されます。この定理は、三角形の幾何学的な性質、特に面積と辺、そして特定の基準線からの距離という seemingly disparate な要素間に関係性を見出す点で興味深いものです。

要するに、三角形の内接円の接線がどのように引かれたとしても（つまり、内接円周上のどの点 P を通る接線であっても）、各辺の長さと対応する頂点からのその接線への符号付き距離の積を合計すると、常に三角形の面積の2倍という一定の値になるということです。これは、特定の接線の選択によらず成立する普遍的な関係性を示しており、三角形の基本的な性質の一つとして知られています。

もう一度検索