GeoGebra Classroom 円に内接する完全四角形のある性質
こんな性質も見つけてしまった。ICとEJの交点はFG上にある。でも証明ができないと焦っていたら、これはどこかで見たことがあることに気がついた。それは三角形の極と極線。青と赤の四角形の対角線は一致する。これが極で、したがってFGはその極線だ。しかも、この極はAとミケル点を結んだ線上にある。これでミケル点と完全四角形と極線と極が結びついた。素敵な広がりを感じる。
ここから証明できそう。極と極線の関係だ。そういうこと（意味）だったのか。