割線と接線 O を中心とする定円の二本の割線 AB, CD　について、 その延長が円外の定点 P を通っているとする。 AD と BC, AC と BD の交点を 各々 L, M とする。 LM と定円との交点を S とおくとき PS は定円の接線である。 これは定円とその円の外にある定点が与えられたとき 定点から定円への接線を定規のみを使って引く 方法を示している。 戻る

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