割線と接線 O を中心とする定円の二本の割線 AB, CD　について、 その延長が円外の定点 P を通っているとする。 AD と BC, AC と BD の交点を 各々 L, M とするとき L, M は PO と直交する一直線上にある。 戻る

与えられた円を単位円、 PO が実軸にあるように座標をいれると
メインの補題より L, M に対応する複素数の実数部分が等しいので、この話は成立する。