十七角形

十七角形（じゅうしちかくけい、じゅうななかっけい、heptadecagon）は、多角形の一つで、17本の辺と17個の頂点を持つ図形である。内角の和は2700°、対角線の本数は119本である。

正十七角形 
正17角形においては、中心角と外角は約  で、内角は約 となる。また、一辺の長さが  である正17角形の面積は  である。

正十七角形の作図 
正十七角形は（目盛りのない）定規とコンパスによる作図が可能な図形の一つである。 が素数である正  角形のうち、このような作図が可能なものは  がフェルマー素数である場合に限られる。具体的には  のとき、つまり正三角形、正五角形、正十七角形、正二百五十七角形、正六万五千五百三十七角形の5つしか知られていない。

作図可能性 
正十七角形が（目盛りのない）定規とコンパスで作図できることは1796年3月30日の朝に19歳のカール・フリードリヒ・ガウスが目覚めてベッドから起き上がる時に発見した。これは任意の三角関数において、その変数としての角が  のとき、関数の値が有理数と平方根の組み合わせのみで表現できることを意味する。例えば 余弦 の値は以下のように表される。

作図方法 
正17角形の具体的な作図方法はによって1800年頃に見つけられた。実際の作図方法をアニメーションで示すとこのようになる。全部で64段階である。

以下に、作図の手順の意味を説明する (括弧内はアニメーションにおける段階の番号)。

 を中心とする円周上に点  があり、 と  は直交するものとする (1-5)。
 線分  上に点  を  となるようにとる (6-10)。
 線分  上に点  を  となるようにとる (11-18)。
  の延長上に点  を  となるようにとる (19-24)。
  を直径とする円と  との交点を  とする (25-28)。
  を半径とする円と線分  との交点を  とする (29)。
  を通り、 に直交する直線と円  との交点を  とする (30-33)。
 点  は 点  から数えて正十七角形の3番目の頂点であるから、コンパスの幅を  にとることで、全ての頂点を得ることができる (34-47)。
 最後に頂点を全て結べば正十七角形を得る (48-64)。

やや詳細なイラスト付き作図

17角形の作図から等倍の正多角形が作図できる。正34角形：

正51角形：

正85角形：

正255角形：

参考文献 
 - 歴史的文献。特に第365条を参照。

脚注

外部リンク 

 

多角形
カール・フリードリヒ・ガウス
数学に関する記事