正多角形
正多角形(せいたかっけい、せいたかくけい、regular polygon)とは、全ての辺の長さが等しく、全ての内角の大きさが等しい多角形である。
正多角形は線対称の図形であり、正 n 角形に対称軸は n 本ある。また、正偶数角形は点対称の図形でもある。
辺の数が同じ正多角形どうしは全て互いに相似である。
ユークリッド幾何学
正多角形のすべての頂点は一つの円周上にある。つまり正多角形は円に内接する。最も角の数が少ないのは正三角形である。三角形では、すべての辺の長さが等しいもの、またはすべての角の大きさが等しいものは必ず正三角形になる。しかし他の多角形では辺の長さがすべて等しく、なおかつ角の大きさがすべて等しいものでなければ正多角形とはならない。例えば四角形では辺の長さがすべて等しいものは菱形、角の大きさがすべて等しいものは長方形であって必ずしも正四角形(正方形)にはならない。菱形でありなおかつ長方形でもある四角形が正方形である。
度数法における正 n 角形の一つの内角の大きさは
- である。どの内角も180°よりは小さいので、すべての正多角形は凸多角形である。
正 n 角形の面積は一辺を a とすると
- と求められる。
この式は、正 n 角形の外心から、各頂点に向けて、線分を引き、n 個の二等辺三角形に分割することで容易に証明できる。(それぞれの二等辺三角形の高さが となる。)
ある適当な多角形Fがあって、その多角形Fの辺上に頂点があって、なおかつそれらを結んでできる多角形がもとの多角形Fの内部にあるとき、その多角形は多角形Fに内接するといい、逆に、多角形Fの頂点に接する直線を辺として持ち、Fの外部にあるような多角形は多角形Fに外接するという。 (例):正六角形ABCDEFがあって、辺AB,CD,EFの中点を頂点とする三角形PQRは正六角形ABCDEFに内接する図形である。
以上のことを踏まえたうえで、一辺の長さが a である正 n 角形Fに相似である多角形のうち、Fに内接する、最も面積の小さいものの面積s、Fに外接する、最も面積の大きいものの面積Sはそれぞれ、
と表される。[疑問点 ]。
正多角形の重心は最長の対角線どうしの交点(正 2n 角形に限る)や外接円および内接円の中心に一致する。
正多角形は、角(辺)の数が増えるごとに円に近づいていくので、「周の長さ÷外接円の直径」を角の数が多い正多角形で計算すると、円周率に近づいていく。これは、初期の円周率の求め方で、円周率の歴史上の始まりに位置する。
また、上記のことを言い換えると「正多角形の極限は円になる」ということになる。これはつまり、「正∞角形を円とする」ということである。このような見方をする場合も増えている。
正偶数角形(正 2n 角形)の n 組の対辺はすべて平行であるが、正奇数角形ではどの2辺も平行にはならない。
対角線の長さ
一辺の長さが a の正 n 角形の、任意の点から m 番目に近い点までの距離は、
- である。
この時、m が 1 であれば、辺の長さ、m が 2 であれば、一番短い対角線の長さを表す。
コンパスと定規を用いて描けるもの
角の数が素数 p のものを正p角形と呼ぶ。正p角形のうち、作図可能なものは、角(辺)の数 p がフェルマー素数 (3、5、17、257、65537) である場合のみであり、それぞれ正三角形、正五角形、正十七角形、正二百五十七角形、正六万五千五百三十七角形である。角の数が素数でないものについては、その数を素因数分解した時に奇数の因数がフェルマー素数のみでかつ、同じものが存在しない場合、または奇数の因数が存在しない(2の累乗数)場合のみ作図することが可能である。
例:正方形は、奇数の因数がないので (4=2×2) 作図することができる。正六角形や正十五角形は、奇数の因数がフェルマー素数のみなので (6=2×3、15=3×5) 作図する事ができる。正九角形は、奇数の因数はフェルマー素数のみだが同じ数の重複があるので (9=3×3) 作図できない。
正十七角形の作図可能性は、1796年3月30日にカール・フリードリヒ・ガウスが発見した。さらにガウスは1801年に出版したDisquisitiones Arithmeticae(『ガウス整数論』)の第365条、第366条において、作図できる正多角形の必要十分条件も示している。
作図可能の比較
正多角形(正二十四角形までで)が作図可能かどうかを以下に示す。なお、〇は作図可能、×は作図不可能を示す。
正多角形 | 定規とコンパスによる作図 | ネウシス作図(Neusis ) | 折紙による作図 | 備考 |
---|---|---|---|---|
正三角形 | 〇 | 〇 | 〇 | |
正四角形 | 〇 | 〇 | 〇 | |
正五角形 | 〇 | 〇 | 〇 | |
正六角形 | 〇 | 〇 | 〇 | |
正七角形 | × | 〇 | 〇 | |
正八角形 | 〇 | 〇 | 〇 | |
正九角形 | × | 〇 | 〇 | |
正十角形 | 〇 | 〇 | 〇 | |
正十一角形 | × | ×→〇[1] | × | 折り紙は1回ずつ折る方法だが、3重折りを許せば折り紙で作図可能[2] |
正十二角形 | 〇 | 〇 | 〇 | |
正十三角形 | × | 〇 | 〇 | |
正十四角形 | × | 〇 | 〇 | |
正十五角形 | 〇 | 〇 | 〇 | |
正十六角形 | 〇 | 〇 | 〇 | |
正十七角形 | 〇 | 〇 | 〇 | |
正十八角形 | × | 〇 | 〇 | |
正十九角形 | × | 〇 | 〇 | |
正二十角形 | 〇 | 〇 | 〇 | |
正二十一角形 | × | 〇 | 〇 | |
正二十二角形 | × | ×→〇[3] | × | |
正二十三角形 | × | × | × | |
正二十四角形 | 〇 | 〇 | 〇 |
楕円幾何学
この節の正確性に疑問が呈されています。 |
もっとも角が少ないのは正二角形である。二角形は必ず正二角形になる。
この幾何学上の正三角形は、内角の和は180°より大きく、ユークリッド幾何学上のルーローの三角形と同じ図形である。
双曲幾何学
この節の正確性に疑問が呈されています。 |
もっとも角が少ないのは正三角形であり、内角の和は180°より小さい。
脚注
関連項目
族 | An | Bn | I2(p) / Dn | E6 / E7 / E8 / E9 / E10 / F4 / G2 | Hn | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
正多角形 | 正三角形 | 正方形 | p 角形 | 正六角形 | 正五角形 | |||||||
一様多面体 | 正四面体 | 正八面体 • 立方体 | 半切立方体 | 正十二面体 • 正二十面体 | ||||||||
一様4次元多胞体 | 正五胞体 | 正十六胞体 • 正八胞体 | 半切正八胞体 | 正二十四胞体 | 正百二十胞体 • 正六百胞体 | |||||||
一様5次元多胞体 | 5次元単体 | 5次元正軸体 • 5次元立方体 | 5次元半切立方体 | |||||||||
一様6次元多胞体 | 6次元単体 | 6次元正軸体 • 6次元立方体 | 6次元半切立方体 | 122 • 221 | ||||||||
一様7次元多胞体 | 7次元単体 | 7次元正軸体 • 7次元立方体 | 7次元半切立方体 | 132 • 231 • 321 | ||||||||
一様8次元多胞体 | 8次元単体 | 8次元正軸体 • 8次元立方体 | 8次元半切立方体 | 142 • 241• 421 | ||||||||
一様9次元多胞体 | 9次元単体 | 9次元正軸体 • 9次元立方体 | 9次元半切立方体 | |||||||||
一様10次元多胞体 | 10次元単体 | 10次元正軸体 • 10次元立方体 | 10次元半切立方体 | |||||||||
一様 n-多胞体 | n-単体 | n-正軸体 • n-立方体 | n-半切立方体 | 1k2 • 2k1 • k21 | n-五角多面体 | |||||||
トピック:多胞体の族 • 正多胞体 • 正多胞体と複合体の一覧 |