四十二億九千四百九十六万七千二百九十五角形

正四十二億九千四百九十六万七千二百九十五角形
種類正多角形
頂点4294967295
シュレーフリ記号{4294967295}
コクセター図形
対称性群二面体群 (D4294967295), order 2×4294967295
内角 (度)≈179.999 999 916°
双対多角形Self
要素凸状円状等辺等角、等軸

四十二億九千四百九十六万七千二百九十五角形(4,294,967,295かくけい、よんじゅうにおくきゅうせんよんひゃくきゅうじゅうろくまんななせんにひゃくきゅうじゅうごかっけい)は、多角形の一つで、4294967295本のと4294967295個の頂点を持つ図形である。内角は773094112740°、対角線の本数は9223372026117357570本である。

特筆すべきは、正4294967295角形は定規とコンパスによる作図が可能、ということである。作図可能な正多角形は無数に存在するが、正多角形の作図法は正奇数角形の場合に帰着されるのであり、正4294967295角形は作図可能な正奇数角形のうちでおそらく辺の個数が最大のものである。実際、正 n 角形が作図可能であるような奇数 n は、以下の31個のみが知られており、これで全てだろうと予想されている。

3, 5, 15, 17, 51, 85, 255, 257, 771, 1285, 3855, 4369, 13107, 21845, 65535, 65537, 196611, 327685, 983055, 1114129, 3342387, 5570645, 16711935, 16843009, 50529027, 84215045, 252645135, 286331153, 858993459, 1431655765, 4294967295 (オンライン整数列大辞典の数列 A045544)

以下、正4294967295角形について記述する。

性質

正4294967295角形の形状は、の数が非常に多いためほとんど真円と見分けが付かない。正4294967295角形の中心角と外角の大きさは

360 4294967295 8.389 × 10 8   0.0003 {\displaystyle {\frac {360^{\circ }}{4294967295}}\approx 8.389\times 10^{-8\ \circ }\approx 0.0003''}

である。半径 1 の円に内接する正4294967295角形の面積は、

4294967295 2 sin 2 π 4294967295 3.141592653589793237 {\displaystyle {\frac {4294967295}{2}}\sin {\frac {2\pi }{4294967295}}\approx 3.141592653589793237}

で、円の面積である円周率に極めて近く、小数第17位まで一致する。一辺の長さは

2 sin π 4294967295 1.462918 × 10 9 {\displaystyle 2\sin {\frac {\pi }{4294967295}}\approx 1.462918\times 10^{-9}}

である。例えば、半径1000キロメートルの円に内接する正4294967295角形の一辺の長さは1.5ミリメートル弱しかない。さらに、地球を半径6378キロメートル(地球半径参照)の真球と見なして、その大円(例えば赤道)に内接する正4294967295角形を考えたとしても、その一辺の長さは1センチメートルに満たない。

作図可能性

4294967295 は

2 2 5 1 {\displaystyle 2^{2^{5}}-1}

の形で表され、その素因数分解は

3 × 5 × 17 × 257 × 65537 {\displaystyle 3\times 5\times 17\times 257\times 65537}

と、知られているフェルマー素数全ての積である。カール・フリードリヒ・ガウスが明らかにしたところによると、正 n 角形が作図可能であるための必要十分条件は、n2の冪と相異なるフェルマー素数の積、すなわち

n = 2 m F a F b F c ( F a , F b , , F c {\displaystyle n=2^{m}F_{a}F_{b}\cdots F_{c}\quad (F_{a},F_{b},\cdots ,F_{c}} は相異なるフェルマー素数、 m {\displaystyle m} は非負整数)

の形で表されることである。ゆえに、65537 より大きなフェルマー素数が存在しないという予想がもし正しければ、正4294967295角形は作図可能な正奇数角形のうちで辺の個数が最大のもの、ということになる。

正4294967295角形がコンパスと定規で作図可能であることは、1の原始4294967295乗根(のひとつ)

cos 2 π 4294967295 + i sin 2 π 4294967295 ( 1 1.07006 × 10 18 ) + 1.462918 9 i {\displaystyle \cos {\frac {2\pi }{4294967295}}+i\sin {\frac {2\pi }{4294967295}}\approx (1-1.07006\times 10^{-18})+1.462918^{-9}i}

の実部と虚部が共に、有理数から始めて四則および平方根を取る操作を有限回組み合わせて表現できることを意味する。

正4294967295角形を実際に作図する手順は膨大なものになるが、理論的には以下のように考えればよい。例えば、正3角形と正5角形の作図ができれば、正15角形が作図できる。実際、円周を3等分することも5等分することもできれば、15等分することもできる。同様に、正15角形と正17角形の作図ができれば、正255角形の作図ができる。以下同様。よって、正多角形の作図は正素数角形の作図に帰着され、正素数角形の作図が本質的に難しい部分である。

関連項目

正三角形 - 五角形 - 十五角形 - 十七角形 - 五十一角形 - 八十五角形 - 二百五十五角形 - 二百五十七角形
非古典的 (2辺以下)
辺の数: 3–10
三角形
四角形
五角形
六角形
  • 正六角形
  • 円に内接する六角形
  • 円に外接する六角形
  • ルモワーヌの六角形(英語版)
辺の数: 11–20
辺の数: 21–30
辺の数: 31–40
辺の数: 41–50
辺の数: 51–70
(selected)
辺の数: 71–100
(selected)
辺の数: 101–
(selected)
無限
星型多角形
(辺の数: 5–12)
多角形のクラス