千角形（1000辺の多角形）：性質・公式・対称性

幾何学的特性

正千角形（n = 1000）の主な値は次のとおりである。各頂点の内角は(n-2)・180°/nであり、179.64°となる。外角は360°/1000 = 0.36°である。対角線の本数はn(n-3)/2 = 498,500本で、三角形分割ではn-2 = 998個の三角形に分けられる。対称群は位数2000の二面体群D1000であり、1000の回転と1000の反射を含む。

公式と近似

外接円半径をR、辺の長さをsとする正千角形では、正n角形の標準的な関係式として、s = 2R・sin(π/1000)が成り立つ。面積はA = (1000/2)R²・sin(2π/1000)、またはA = (1000・s²)/(4・tan(π/1000))と表せる。nが大きくなるにつれて、周長と面積は外接円の値、すなわちP ≈ 2πRおよびA ≈ πR²に近づく。そのため、多角形は実用的なモデリングにおいて円を近似する手段となる。

作図可能性と数学的注記

定規とコンパスによる正n角形の古典的作図には、nが2^kと相異なるフェルマー素数の積との積に等しいことが必要である。1000 = 2^3・5^3であり、因数5の指数が1より大きいため、正千角形は定規とコンパスだけでは作図できない。ただし、数値的に表現し、計算機を用いて描画することは容易である。

用途、例と文化的注記

千角形は主として理論的または説明的な対象である。円の多角形近似に関する議論、曲線を多数の辺をもつ多角形で近似するコンピュータグラフィックス、組合せ論的な計数問題などに現れる。哲学者や教育者は、ときに千角形を概念的理解と感覚的想像の違いを示す例として挙げる。すなわち、1000本の辺を明瞭に視覚化できなくても、千角形を正確に定義することはできる。

正則形と非正則形の区別

• 正千角形：辺と角がすべて等しく、高い対称性（D1000）をもつ。
• 非正則千角形：辺の長さまたは角が異なる任意の単純な1000角形であり、組合せ論的にははるかに多様で、制約も少ない。