カルノーの定理
カルノーの定理(英: Carnot's theorem)は、18世紀から19世紀にかけて活躍したフランスの数学者、
ラザール・カルノーにちなんで名付けられた幾何学の基本的な定理です。この定理は、
三角形とその内部あるいは外部に取られた任意の点から各辺に下ろされた垂線が、ある特定の条件下で一点、すなわち
共点となることを示します。特に、垂線が
共点となるための必要十分条件を、辺上の点の位置に関する等式で表現している点に特徴があります。また、よく知られた
ピタゴラスの定理の興味深い一般化の一つとしても位置づけられています。
定理の概要
任意の
三角形 $\triangle ABC$ を考えます。この
三角形の3辺 BC, CA, AB の長さをそれぞれ $a, b, c$ とします。
三角形の平面上に任意の点 F を取ります。点 F から各辺 BC, CA, AB に下ろした垂線の足をそれぞれ $P_a, P_b, P_c$ とします(垂線の足が辺の延長線上に来る場合もあります)。
このとき、3本の垂線 FP$_a$, FP$_b$, FP$_c$ (または点 F, P$_a$; F, P$_b$; F, P$_c$ を結ぶ直線)が一点で交わる、すなわち点 F を通るための必要十分条件は、以下の等式が成り立つことであるとカルノーの定理は述べています。
$$|AP_c|^2 + |BP_a|^2 + |CP_b|^2 = |BP_c|^2 + |CP_a|^2 + |AP_b|^2$$
ここで $|XY|$ は点 X と点 Y の間の距離を表します。この等式は、
三角形の各頂点から対応する辺上の垂線の足までの距離の平方和に関する、ある一定の関係を示しています。
必要十分条件としての意義
カルノーの定理の重要な点は、これが単なる十分条件ではなく、必要十分条件であるという点です。これは、もし点 F から下ろした垂線の足 $P_a, P_b, P_c$ に対して上記の等式が成り立っているならば、必然的にこれら3つの垂線は一点 F で交わることを意味します。幾何学において、ある性質が成り立つための「必要十分条件」を示すことは、その性質を完全に特徴づける上で非常に強力です。カルノーの定理は、
三角形における垂線の
共点性という重要な性質を、代数的な関係式によって見事に捉えていると言えます。
特殊なケース
カルノーの定理は、その一般的な性質の中に様々な基本的な幾何学的真実を含んでいます。
1.
ピタゴラスの定理の導出
$\triangle ABC$ が頂点 C を直角とする直角
三角形であると仮定します。また、点 F を頂点 A に取ってみましょう。この特殊な状況では、垂線の足の位置が具体的に定まります。辺 BC に対して頂点 A から下ろした垂線の足 $P_a$ は直角点 C になります。辺 CA に対して頂点 A から下ろした垂線の足 $P_b$ は当然 A 自身です。辺 AB に対して頂点 A から下ろした垂線の足 $P_c$ も A 自身となります。
したがって、$P_a=C, P_b=A, P_c=A$ となります。このとき、各線分の長さは次のようになります。
$|AP_b| = |AA| = 0$
$|AP_c| = |AA| = 0$
$|CP_a| = |CC| = 0$
$|CP_b| = |CA| = b$
$|BP_a| = |BC| = a$
$|BP_c| = |BA| = c$
これらの値をカルノーの定理の等式
$|AP_c|^2 + |BP_a|^2 + |CP_b|^2 = |BP_c|^2 + |CP_a|^2 + |AP_b|^2$
に代入すると、次のようになります。
$0^2 + a^2 + b^2 = c^2 + 0^2 + 0^2$
整理すると、$a^2 + b^2 = c^2$ となり、これはまさに
ピタゴラスの定理に他なりません。このように、カルノーの定理は
ピタゴラスの定理を特別な場合として含んでいることがわかります。
2.
垂直二等分線と外心
もう一つの特別なケースとして、点 F から各辺に下ろした垂線の足 $P_a, P_b, P_c$ が、それぞれの辺 BC, CA, AB の中点である場合を考えます。このとき、点 F から各辺に下ろした垂線は、同時にその辺を垂直に二等分する線、すなわち垂直
二等分線となります。垂線の足が辺の中点であるという条件は、例えば辺 AB の中点 $P_c$ に対して $|AP_c| = |BP_c|$ であることを意味します。同様に $|BP_a| = |CP_a|$ および $|CP_b| = |AP_b|$ も成り立ちます。
これらの関係をカルノーの定理の等式
$|AP_c|^2 + |BP_a|^2 + |CP_b|^2 = |BP_c|^2 + |CP_a|^2 + |AP_b|^2$
に代入すると、左辺は $|AP_c|^2 + |BP_a|^2 + |CP_b|^2$、右辺は $|AP_c|^2 + |BP_a|^2 + |CP_b|^2$ となり、両辺は常に等しくなることがわかります。
これは、各辺の垂直
二等分線が必ず一点で交わることを証明しています。この
共点は、
三角形の外部に接する円(外接円)の中心であり、外心と呼ばれます。
カルノーの定理は、
三角形における様々な
共点の問題を扱う上で基礎となる重要な定理であり、その必要十分性という性質から、多くの幾何学的証明や問題解決に活用されています。
ピタゴラスの定理や外心の存在といった、一見異なる基本的な事実が、この一つの定理の枠組みの中で統一的に理解できる点も、この定理の持つ美しさと言えるでしょう。