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

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