GeoGebraはどう? 様、GeoGebra を紹介していただき、また、貴重なコメントをありがとうございます。
平行であることは、円周角の性質から出ますね。
実は鈍臭くてこの部分が一番良く分かってません(滝汗)。
この問題は、直径とする円を描くのではなく、六芒星と垂線で出した方が適切だと思われますが、ヒントのためにそのようにしたのでしょうかね..
「六芒星と垂線」はこういうことですかね ?
「ヒントのため」ということは全然考えてなかったんですが、この図を見ると、確かに直径円はこの図の証明に対するヒントになりますね。
対辺が平行な六角形が円に内接にするのは、パスカルの定理でしょうね。
