円の接線接線の長さ

円の外部の点から円に引くことができる接線は2本ある。円の外部の点から円に接線を引いたとき、外部の点と接点の間の距離を接線の長さという。接線の長さについては、次の定理が成り立つ。

定理　　円の外部の点Pからその円に引いた2本の接線の長さは等しい。　　すなわち、図において　PA=PB　が成り立つ。

探索資源