正多角形正多角形(せいたかっけい、せいたかくけい、英: regular polygon)とは、全ての辺の長さが等しく、全ての内角の大きさが等しい多角形である。なお、この記事では断りのない限り n は3以上の自然数とする。 正多角形は線対称であり、正n角形の対称軸は n本である。また、正偶数角形は点対称でもある。 頂点の数が同じ正多角形同士は全て互いに相似である。 ユークリッド幾何学→詳細は「ユークリッド幾何学」を参照
正多角形の全ての頂点は同一円周上にある。つまり正多角形は円に内接する。角の数が最小であるのは正三角形である。三角形では、辺の長さが全て等しいか、または角の大きさが全て等しい三角形は正三角形になる。しかし他の多角形では辺の長さが全て等しく、かつ角の大きさも全て等しくなければ正多角形とはならない。例えば四角形では辺の長さがすべて等しいものは菱形、角の大きさがすべて等しいものは長方形であり、正四角形(正方形)とは限らない。菱形かつ長方形である四角形が正方形となる。 正n角形の一つの内角の大きさを度数法で表すと である。どの内角も180°より小さいので、全ての正多角形は凸多角形である。 正n角形の面積は一辺を a とすると と表される。この式は、正n角形の外心と各頂点を線分で結ぶと、合同な n個の二等辺三角形に分割できることで導出される。(二等辺三角形の高さが となる。) 多角形 F に対して、頂点が F の辺上にあり、なおかつ F の内部にあるとき、多角形は多角形 F に内接するという。また、F の頂点が辺上にあり、Fの外部にある多角形は多角形 F に外接するという。
以上のことを踏まえた上で、一辺の長さが a である正n角形 F において、F に内接する正n角形で、面積が最小であるものの面積 s、F に外接する正n角形で、面積が最大であるものの面積 S はそれぞれ、 と表される[疑問点 ]。 正多角形の重心は、外心および内心に一致する。正偶数角形に限れば、最長の対角線同士の交点と一致する。 半径が一定の円に内接する正n角形は、n → ∞ とするとその円に近づくので、十分大きい n について「周長÷外接円の直径」を計算すると円周率の近似値が得られる。これは、初期の円周率の求め方で、円周率の歴史上の始まりに位置する。これはいわば「正∞角形は円である」ということである。 正多角形は線対称である。その軸の本数は頂点の個数に等しい。
内角の求め方正n角形の内角は、次のようにして求めることができる。 n角形の内角の和は
であり、正多角形の内角は等しいから、1つの内角は となる。 多角形の外角の和は360°であることを用いると、正n角形の外角は であるから、それに対する内角は となる。 対角線の長さ正n角形の対角線の長さの種類は だけある(⌊x⌋ はガウス記号)。一辺の長さを a とすると、m番目に短い対角線の長さは である。m = 0 のとき辺の長さ、m = 1 のとき最短の対角線の長さを表す。 コンパスと定規を用いて描けるもの→詳細は「定規とコンパスによる作図」を参照
p を素数とする。正p角形のうち、作図可能なものは、頂点の個数 p がフェルマー素数 (3, 5, 17, 257, 65537) である場合のみであり、それぞれ正三角形、正五角形、正十七角形、正二百五十七角形、正六万五千五百三十七角形である。頂点の個数が素数でないものについては、その数を素因数分解した時に奇数の因数がフェルマー素数のみでかつ、同じものが存在しない場合、または奇数の因数が存在しない(2の冪)場合のみ作図することが可能である。
正十七角形の作図可能性は、1796年3月30日にカール・フリードリヒ・ガウスが発見した。さらにガウスは1801年に出版したDisquisitiones Arithmeticae(『ガウス整数論』)の第365条、第366条において、作図できる正多角形の必要十分条件も示している。 作図可能性の比較正多角形(正四十角形まで)が作図可能かどうかを以下に示す。なお、○は作図可能、×は作図不可能を示す。
正p角形(p は3以上の素数)、正(2n + 1)角形の作図に必要な値 cos(2π/2n+1) は、n次方程式の解として求められる[4]。
楕円幾何学
→詳細は「楕円幾何学」を参照
最も角が少ないのは正二角形である。二角形は必ず正二角形になる。 この幾何学上の正三角形は、内角の和は180°より大きく、ユークリッド幾何学上のルーローの三角形と同じ図形である。 双曲幾何学
→詳細は「双曲幾何学」を参照
最も角が少ないのは正三角形であり、内角の和は180°より小さい。 脚注
関連項目
Information related to 正多角形 |