The two tangent theorem(2接線の定理)とは、円
Oの外にある点
Pを通る円
Oの2接線
PA,
PB(点
A, Bは円
Oの接点)の間に
PA=PB
という関係があることを表す定理です。
これが成立することを確かめてみます。
△OPAと
△OPBについて考えます。
PA, PBは円Oの接線なので∠OAP=∠OBP=90°
したがって、△OPAと△OPBは直角三角形です。
OPは共通、OA,
OBは円Oの半径なのでOA=OB
よって、直角三角形の斜辺と他の1組の辺の長さがそれぞれ等しいので△OPAと△OPBは合同です。
以上より、PA=PBであることがわかります。
これを利用したものに以下のようなものがあります。
円
Oの外の点
Pを通る円
Oの2接線
PA,
PBと弧
AB上の点を接点とする接線との交点を
C,
Dとする。ただし、
PA>PC,
PB>PD。このとき
△PCDの周の長さは
PAと
PBの和に等しい。
これが成立することを確かめてみます。
円
Oと
CDの接点を
Qとすると、
CA,
CQは点
Cを通る接線であるため
CA=CQ、
DB,
DQは点
Dを通る接線であるため
DB=DQまた、
PA=PC+CAより、
PA=PC+CQ、
PB=PD+DBより、
PB=PD+DQ△PCDの周の長さは
PC+PD+CDであり、
PC+PD+CQ+DQとも書けて後者に上記の式を代入すると
PC+PD+CD=PA+PB
したがって、△PCDの周の長さはPA+PBに等しいことがわかります。
外部リンク:The Two Tangent Theorem | Geometry Help