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

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