正17角形の作図

正十七角形の作図は難しいですね。人類が2000年かかっても作図できなかったんですから。 z^17=1という17次方程式の解は、2次方程式を何回か解くことによって得られます。
フェルマー数に関連する作図法です。
この作図法の証明は以下のPDFファイルをご覧下さい。証明のための準備はすべての証明で共通になっています。合せてごらんください。
幾何学的な証明はとても長くなっています。 細かい部分があまり気にならない方は、「作図法」「証明の概略」「アイデアと考察」だけ読んでいただいてもよいと思います。