十七角形（17角形）：定義、性質と作図可能性

基本的な性質

正十七角形には、n角形に関する公式から直接導かれる基本的な幾何学量がある。主な値は次のとおりである。

• 辺と頂点：それぞれ17個。
• 内角（各角）：(15/17)・180° ≈ 158.8235°。
• 中心角：360°/17 ≈ 21.1765°。
• 対称性：位数34の二面体群D17（回転と反射）。

作図可能性と歴史的事項

十七角形の最も注目すべき特徴の一つは、正17角形が定規とコンパスで作図可能であることである。1796年、カール・フリードリヒ・ガウスは、17がフェルマー素数であるため、17辺をもつ正多角形を作図できることを証明した。この結果は歴史的に重要であった。すなわち、特定の正多角形が古典的な方法で描けること、また cos(2π/17) が入れ子状の平方根を用いて表せることを示した。ただし、明示的な作図は代数的に複雑である。

星型多角形と変種

17は素数であるため、k = 2, 3, ..., 8 に対するシュレーフリ記号 {17/k} で表される複数の正星型十七角形が存在する。これらは、巡回順序でk個おきの頂点を結ぶことで得られる、互いに異なる星型である。対称性は同じ二面体型のままだが、見た目の形はステップの大きさに応じて異なる。

用途、例と注目すべき事実

十七角形は、作図可能性および体論との結び付きから、主として幾何学と代数学における理論的・教育的な関心の対象である。装飾的なモチーフや数学図版に用いられることもある。その研究は、初等的なユークリッド作図を数論やガロア理論の考え方へと結び付けており、作図を扱う講義における古典的な例となっている。

他の多角形との違い

三角形、正方形、五角形などの小さな正多角形とは異なり、十七角形は比較的大きく、初等的な作図問題に登場することはまれである。しかし、見かけの複雑さにもかかわらず厳密な古典的作図が可能な多角形として、広く知られた例であり続けている。