十七角形(じゅうしちかくけい、じゅうななかっけい、heptadecagon)は、多角形の一つで、17本の辺と17個の頂点を持つ図形である。内角の和は2700°、対角線の本数は119本である。 正17角形においては、中心角と外角は約 21.18° で、内角は約 158.82°となる。また、一辺の長さが a である正17角形の面積は 17 a 2 4 cot π 17 ≈ 22.7354919 a 2 {\displaystyle {17a^{2} \over 4}\cot {\pi \over {17}}\approx 22.7354919a^{2}} である。 正十七角形は(目盛りのない)定規とコンパスによる作図が可能な図形の一つである。p が素数である正 p 角形のうち、このような作図が可能なものは p がフェルマー素数である場合に限られる。具体的には p = 3, 5, 17, 257, 65537 のとき、つまり正三角形、正五角形、正十七角形、正二百五十七角形、正六万五千五百三十七角形の5つしか知られていない。 正十七角形が(目盛りのない)定規とコンパスで作図できることは1796年3月30日の朝に19歳のカール・フリードリヒ・ガウスが目覚めてベッドから起き上がる時に発見した[1][2]。これは任意の三角関数において、その変数としての角が .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}2π/17 rad のとき、関数の値が有理数と平方根の組み合わせのみで表現できることを意味する。例えば 余弦 の値は以下のように表される[3][4]。 cos 2 π 17 = 1 16 ( − 1 + 17 + 34 − 2 17 + 2 17 + 3 17 − 34 − 2 17 − 2 34 + 2 17 ) = 1 16 ( − 1 + 17 + 34 − 2 17 + 2 17 + 3 17 − 170 + 38 17 ) {\displaystyle {\begin{aligned}\cos {\frac {2\pi }{17}}&={\frac {1}{16}}\left(-1+{\sqrt {17}}+{\sqrt {34-2{\sqrt {17}}}}+2{\sqrt {17+3{\sqrt {17}}-{\sqrt {34-2{\sqrt {17}}}}-2{\sqrt {34+2{\sqrt {17}}}}}}\right)\\&={\frac {1}{16}}\left(-1+{\sqrt {17}}+{\sqrt {34-2{\sqrt {17}}}}+2{\sqrt {17+3{\sqrt {17}}-{\sqrt {170+38{\sqrt {17}}}}}}\right)\end{aligned}}} 正17角形の具体的な作図方法はヨハネス・エルチンゲル 以下に、作図の手順の意味を説明する (括弧内はアニメーションにおける段階の番号)。 O を中心とする円周上に点 A, B があり、OA と OB は直交するものとする (1-5)。
正十七角形
正十七角形の作図
作図可能性
作図方法
線分 OB 上に点 C を 4OC = OB となるようにとる (6-10)。
線分 OA 上に点 D を 4∠OCD = ∠OCA となるようにとる (11-18)。