カルノーの定理 (垂線)

カルノーの定理（カルノーのていり、英: Carnot's theorem） はラザール・カルノーに因んで名付けられた、三角形の辺に対する垂線が一点で交わる必要十分条件を示した定理である。 ピタゴラスの定理の一般化の一つとなっている。

カルノーの定理:三角形のそれぞれの辺の垂線が共点であるとき、

青い部分の面積 = 赤い部分の面積

定理

$\triangle ABC$の3辺を$a,b,c$とし、そのそれぞれの$F$を通る垂線が$a,b,c$と$P_{a},P_{b},P_{c}$で交わっているとき以下の式が成り立つ。

$|AP_{c}|^{2}+|BP_{a}|^{2}+|CP_{b}|^{2}=|BP_{c}|^{2}+|CP_{a}|^{2}+|AP_{b}|^{2}$

この定理の逆も同様に成り立つ。つまり、$P_{a},P_{b},P_{c}$を$a,b,c$の垂線の垂足として、上の式が満足する場合、その3垂線は共点である。したがってカルノーの定理は同値性を持つ。

特別な場合

$\triangle ABC$ を$C$が直角である直角三角形として$F=A$とすると、 $P_{a}=C$, $P_{b}=A$ $P_{c}=A$が従い、 $|AP_{b}|=0$, $|AP_{c}|=0$, $|CP_{a}|=0$, $|CP_{b}|=b$, $|BP_{a}|=a$ $|BP_{c}|=c$となるのでこれは三平方の定理$a^{2}+b^{2}=c^{2}$を表す。

3つの垂線を垂直二等分線とする、つまり $|AP_{c}|=|BP_{c}|$, $|BP_{a}|=|CP_{a}|$,$|CP_{b}|=|AP_{b}|$ であれば、当然上式は満たされる。特に3垂線の交点は三角形の外心である。

出典

• Wohlgemuth, Martin., ed (2010) (German). Mathematisch für fortgeschrittene Anfänger : Weitere beliebte Beiträge von Matroids Matheplanet. Heidelberg: Spektrum Akademischer Verlag. pp. 273–276. ISBN 9783827426079. OCLC 699828882 
• Alfred S. Posamentier; Charles T. Salkind (1996). Challenging Problems in Geometry. New York: Dover. pp. 85–86. ISBN 9780486134864. OCLC 829151719 

外部リンク

• Florian Modler: Vergessene Sätze am Dreieck - Der Satz von Carnot at matheplanet.com (German)
• Carnot's theorem at cut-the-knot.org
• Carnot's theorem at Interactive Geometry