定円 O の内部に中心と異なる点 P をとる。
P をとおる2つの弦 AC と BD をとる。
円 O の A で接線と C での接線との交点を E
円 O の B で接線と D での接線との交点を F
とする。
AB と CD が点 G で交わったとする。
このとき

E, F, G が OP と直交する直線上に
あることを示せ。

複素数を使った証明
平面幾何による証明はまだ思いついていません