タレスの定理とその逆

タレスの定理とは

円周上に円の直径の端点A、Bとそれ以外の任意の点Pをおくと、$∠APB=90°$（直角）となる。

という定理です。

これはなぜ成り立つのでしょうか？また、タレスの定理の逆についても考えます。

タレスの定理

　まずはタレスの定理が成り立つことを確かめます。

　上図のように円$O$の周上に直径の端点$A,B$と$A,B$とは異なる点$P$をおきます。

$OA,OB,OP$はそれぞれ円$O$の半径なので$△OAP,△OBP$は二等辺三角形です。
$△OAP,△OBP$の底角をそれぞれ$α,β$とすると$△ABP$の内角は

\[2\alpha+2\beta=180°\]

となります。

これの両辺を$2$で割れば

\[\alpha+\beta=90°\]

$α+β$は$∠APB$の大きさでもあるので、直径$AB$に対する円周角$∠APB$は常に直角であることがわかります。

タレスの定理の逆

　タレスの定理はその逆も成り立ちます。
タレスの定理の逆は、

3点$A,B,C$が$∠ABC=90°$となる角をつくるとき、これら3点は$A,C$を直径とする円の円周上に存在する

あるいは

$∠ABC=90°$である直角三角形$ABC$の外接円を描くと斜辺$AC$は直径になる

と説明されます。
ここではタレスの定理の逆は後者のこととして、これが成り立つことを確かめます。

　直角三角形$ABC$の斜辺$AC$が外接円の直径となるならば$AC$の中点$M$が外接円の中心になります。すると、$AM,BM,CM$は外接円の半径となるので$AM=BM=CM$が成り立つはずです。

したがって、これを示すことができればタレスの定理の逆が成り立つということになります。

　$BM$の$M$の側を延長し、$BM=DM$となるように点$D$をとります。
すると$AM＝CM$かつ$BM=DM$が成り立つので、四角形$ABCD$は2本の対角線がそれぞれの中点$M$で交わることから平行四辺形であることがわかります。

また、平行四辺形の対角の大きさは等しいので$∠ABC=∠ADC=90°$です。
残るもう1組の対角の和が$180°$かつこちらの対角の大きさも等しいので$∠BAD=∠BCD=90°$です。
4つの内角がすべて$90°$なので、平行四辺形$ABCD$は長方形であることがわかります。
長方形の対角線は長さが等しいので、$AC=BD$です。

よって、$AM=BM=CM$が成り立つのでタレスの定理の逆も成り立つことがわかります。

関連：円周角の定理　なぜ成り立つのか？