正20角形の作図

正十角形は作図できますから、これで円周を十等分できます。さらにこれを二等分すれば、円周の二十分の一が得られます。 実際には、正十角形を作図したときに円周を四等分していますので、円周の二十分の一が表れた部分があります。
この作図の証明ファイルはありません。
(参考)