カルノーの定理 (垂線)

カルノーの定理（カルノーのていり、英: 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