詳しくは『数学対話』「ポンスレの閉形定理」参考.
は を満たす正の定数とする.
平面の二つの円 がある.
上の一点 から にひとつの接線をひき,その延長が再び と交わる 点を とする. から に とは異なる接線をひき, その延長が再び と交わる点を とする. から に とは異なる接線をひき,その延長が再び と交わる点を とする.