定理25
円Oの外部の点Aをとり，点AにおいてOAに垂直な直線 \(l\) を引く。点Aから円Oに割線ADEを引き，交点D，Eから円Oの接線を引き直線 \(l\) との交点をそれぞれB，Cとすると線分ABと線分ACの長さは等しい。