正十七角形の作図は難しいですね。人類が2000年かかっても作図できなかったんですから。
z^17=1という17次方程式の解は、2次方程式を何回か解くことによって得られます。
フェルマー数に関連する作図法です。
この作図法の証明は以下のPDFファイルをご覧下さい。証明のための準備はすべての証明で共通になっています。合せてごらんください。
幾何学的な証明はとても長くなっています。 細かい部分があまり気にならない方は、「アイデアと考察」だけ読んでいただいてもよいと思います。
作図法のアニメーションのページを、作図法を自動構成するjavascriptを使用したものに置き換えました(2019/09/18)。
上の作図法と同様の方法で作図していますが、こちらのデータは手作業で作成しました。