直極点がGJHIの円周上にあることの証明

作成者:
Bunryu Kamimura

GJHIは同一円周上にあります。そしてEFの直極点Mがこの円周上にあることが証明できます。ナビゲーションを動かしていくと証明が進みます。GeoGebraのおかげで証明を書くのが楽になりました。