これはなぜ成り立つのでしょうか?また、タレスの定理の逆についても考えます。
タレスの定理
\text{OA, OB, OP}はそれぞれ円\text{O}の半径なので△\text{OAP},△\text{OBP}は二等辺三角形です。
△\text{OAP},△\text{OBP}の底角をそれぞれα,βとすると△\text{ABP}の内角は
△\text{OAP},△\text{OBP}の底角をそれぞれα,βとすると△\text{ABP}の内角は
2\alpha+2\beta=180°
となります。
これの両辺を2で割れば
\alpha+\beta=90°
α+βは∠\text{APB}の大きさでもあるので、直径\text{AB}に対する円周角∠\text{APB}は常に直角であることがわかります。
タレスの定理の逆
タレスの定理はその逆も成り立ちます。
タレスの定理の逆は、
ここではタレスの定理の逆は後者のこととして、これが成り立つことを確かめます。
タレスの定理の逆は、
3点\text{A, B, C}が∠\text{ABC}=90°となる角をつくるとき、これら3点は\text{A, C}を直径とする円の円周上に存在する
あるいは
∠\text{ABC}=90°である直角三角形\text{ABC}の外接円を描くと斜辺\text{AC}は直径になる
と説明されます。
ここではタレスの定理の逆は後者のこととして、これが成り立つことを確かめます。
直角三角形\text{ABC}の斜辺\text{AC}が外接円の直径となるならば\text{AC}の中点\text{M}が外接円の中心になります。すると、\text{AM, BM, CM}は外接円の半径となるので\text{AM}=\text{BM}=\text{CM}が成り立つはずです。
したがって、これを示すことができればタレスの定理の逆が成り立つということになります。
\text{BM}の\text{M}の側を延長し、\text{BM}=\text{DM}となるように点\text{D}をとります。
すると\text{AM}=\text{CM}かつ\text{BM}=\text{DM}が成り立つので、四角形\text{ABCD}は2本の対角線がそれぞれの中点\text{M}で交わることから平行四辺形であることがわかります。
すると\text{AM}=\text{CM}かつ\text{BM}=\text{DM}が成り立つので、四角形\text{ABCD}は2本の対角線がそれぞれの中点\text{M}で交わることから平行四辺形であることがわかります。
また、平行四辺形の対角の大きさは等しいので∠\text{ABC}=∠\text{ADC}=90°です。
残るもう1組の対角の和が180°かつこちらの対角の大きさも等しいので∠\text{BAD}=∠\text{BCD}=90°です。
4つの内角がすべて90°なので、平行四辺形\text{ABCD}は長方形であることがわかります。
長方形の対角線は長さが等しいので、\text{AC}=\text{BD}です。
よって、\text{AM}=\text{BM}=\text{CM}が成り立つのでタレスの定理の逆も成り立つことがわかります。
Share: