多角形

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索
いくつか異なる種類の多角形: 開多角形 (境界は含まない), 境界多角形 (内部は含まない), 閉多角形 (内部も境界も含む), 自己交叉多角形

初等幾何学における多辺形または多角形(たかっけい、: polygon; [ˈpɒlɪɡɒn])は、閉折れ線英語版あるいは閉曲線を成す、線分の閉じた有限鎖で囲まれた平面図形を言う。多角形を構成するこれら線分をその多角形の (edge, side) と呼び、それらの二つの辺が交わる点をその多角形の頂点 (vertex, corner) と呼ぶ。n 個の辺を持つ多角形は n-辺形 (n-gon) と呼ぶ。例えば三角形は三辺形である。多角形は、より一般の任意次元における超多面体の二次元の例になっている。

多角形に関する基本的な幾何学的概念は特定の目的に応じて様々な方法で適応されてきた。数学においてはしばしば有界な閉折れ線や自己交叉を持たない単純多角形英語版に限って問題にするため、そのようなもののみ多角形と呼ぶこともある。他方、多角形の境界が自分自身と交わることを許す流儀もあり、その場合星型多角形やその他の自己交叉多角形英語版が形作られる。その他の多角形の一般化については後述

多角形 (poly­gon) の語は、「多い」を意味する: πολύς と「角」を意味する: γωνία に由来する[1]

歴史[編集]

Historical image of polygons (1699)

多項式は古代より知られてきた。正多角形は古代ギリシアにおいて既に知られており、また五芒星のような非凸正多角形(星型多角形)も早くも紀元前7世紀ごろ、アリストノトスのクラテールカエレ英語版において発見され、現在カピトリーノ美術館に収蔵されている)に描かれている[2][3]

一般の非凸多角形の系統的研究として最初に知られたものは、14世紀にトーマス・ブラドワーディン英語版によって為された[4]

1952年にジェフリー・コリン・シェファード英語版は多角形の概念を複素平面C2 上に一般化(各次元に次元を一つずつ追加)したものとして複素多角形英語版の概念を導入した[5]

用語[編集]

  • 頂点 : 上で述べられている、線分の端点のこと。
  • : 上で述べられている、線分のこと。
  • : 多角形によって囲まれた領域。3. より多角形が閉じていることがわかることから定義できる。
  • 内角 : 多角形のある頂点における内角とは、その頂点を端点に持つ二つの辺が作る二つの角のうち、多角形の内部にあるほうをいう。
  • 外角 : 多角形のある頂点における外角とは、その頂点を端点に持つ二つの辺のうち一方を延長してできる直線と、もう一方の線分がなす角の事。外角は二つあるが、その大きさは共に等しい。外角の大きさと内角の大きさを加えたものは180度(ラジアン角ではπ)に等しい。
  • 対角線 : 一つの多角形の2頂点を端点に持つ線分のうち、多角形の辺ではないものをその多角形の対角線という。
  • 対角 : 一つの多角形の1頂点における内角に対して、この頂点と対角線で結ばれた頂点を持つ内角をいう(例:4角形には、2組の対角がある)。
  • 対辺 : 奇数の辺に囲まれた一つの多角形においては、1頂点に対して、その頂点のちょうど反対側にある辺をいう(例:5角形には、頂点とその対辺が5組ある)。一方、偶数の辺に囲まれた一つの多角形においては、1辺に対して、その辺のちょうど反対側にある辺をいう(例:6角形は、3組の対辺によって囲まれた図形である)。
  • n角形 : 多角形の辺の数を文字数nで表すとき、その多角形をn 角形と呼ぶ。ここで、nは3以上の整数である。n角形は、n個の頂点を持つ。正多角形の場合には、正n角形と表現する。n は、n角形となったとき名詞となるので、基本的には漢数字で表記される(例:「3角形」ではなく「三角形」)。

分類[編集]

いくつか異なる種類の多角形

辺の数[編集]

多角形は第一義的にその辺の数で分類できる。

凸性・凹性[編集]

多角形をその凸性あるいは凹性によって特徴付けることができる:

  • 凸多角形: この多角形を横切る(辺や角に接することのない)任意の直線は、その多角形と境界においてちょうど二回交わる。その帰結として、凸多角形の内角は 180° より小さい。同じことだが、凸多角形の境界上に両端点を持つ任意の線分は、一方の端点から多角形の内点のみを通ってもう一方の端点に達する。
  • 非凸多角形: その多角形の境界と二回以上交わる線分を見つけることができる。同じことだが、境界上の二点を結ぶ線分でその多角形の外側を通過するものが存在する。
  • 単純多角形英語版: その多角形の境界は自分自身と交わらない(閉曲線として単純)。任意の凸多角形は単純である。
  • 凹多角形は、単純非凸多角形を言う。少なくとも一つの内角が 180° 以上である。
  • 星状多角形英語版: その多角形の内部の全てを少なくとも一点から辺と交わることなく見込むことができる。星状多角形は単純でなければならないが、凸の場合も凹の場合もあり得る。
  • 自己交叉多角形英語版: 多角形の境界が自身と交わる。
  • 星型多角形: ある種の正則性を持つ自己交叉多角形。多角形が星型かつ星状となることができない。

等値性・対称性[編集]

その他[編集]

  • 直角多角形英語版: 多項式の辺は直角に交わる。すなわち、任意の内角が 90° または 270°
  • 与えられた直線 L に関する単調多角形英語版: L直交する任意の直線が、その多角形と二回より多くは交わらない。

多角形の内角の和/外角の和[編集]

n 角形の内角の総和は、多角形の形状に関わらず(凸であれ凹であれ)  である。これはどのような多角形でも、対角線で適当に区切ることで (n-2) 個の三角形に分割できることから導かれる。正 n 角形の内角は全て等しいので、正 n 角形の内角は である。 n 角形の外角の総和は、nの値によらず、常に360度(ラジアン角では2π)である。

面積公式[編集]

多角形の面積は、頂点の位置ベクトルから外積を用いて計算することができる。 多角形の頂点を反時計回りに並べて、それらの位置ベクトルをとすると、その面積は

という式になる。ただし、とする。

この式を使うと凹多角形でも問題なく計算できるが、自己交差を持つなどの特殊な場合には適用できないので注意が必要である。 ちなみに、時計回りの時は負になるだけなので、どちら回りかよく分からないときには全体の絶対値をとればよい。

合同条件[編集]

辺の数が同数の二つの多角形 P , P' があるとする。この二つの多角形に対し合同関係が定義できるが、次の条件を満たすとき、二つの多角形は合同である。

  • P , P' に関して、それぞれある単純閉路 C , C' が存在して、通った辺の順に、その長さをそれぞれ (l1,l2,…,ln) , (l'1,l'2,…,l'n) とすれば、l1 = l'1 , l2 = l'2 , … , ln = l'n が成り立つ。
  • P , P' に関して、それぞれある単純閉路 C , C' が存在して、通った頂点の順に、その対応する角の大きさをそれぞれ (θ12,…,θn) , (θ'1,θ'2,…,θ'n) とすれば、θ1 = θ'1 , θ2 = θ'2 , … , θn = θ'n が成り立つ。

また、辺の数に関係なく、二つの多角形の面積が等しければ、適当に分割することによって、二つの多角形を合同にすることができる。(ボヤイの定理

相似条件[編集]

辺の数が同数の二つの多角形 P , P' があるとする。この二つの多角形に対し相似関係が定義できるが、次の条件を満たすとき、二つの多角形は相似である。

  • P , P' に関して、それぞれある単純閉路 C , C' が存在して、通った辺の順に、その長さをそれぞれ (l1,l2,…,ln) , (l'1,l'2,…,l'n) とすれば、ある定数 k が存在して、l1 = kl'1 , kl2 = kl'2 , … , ln = kl'n が成り立つ。
  • P , P' に関して、それぞれある単純閉路 C , C' が存在して、通った頂点の順に、その対応する角の大きさをそれぞれ (θ12,…,θn) , (θ'1,θ'2,…,θ'n) とすれば、θ1 = θ'1 , θ2 = θ'2 , … , θn = θ'n が成り立つ。

一覧[編集]

3 ≦ n ≦ 20 のn角形の一覧を示す。

三角形四角形五角形六角形七角形八角形九角形十角形十一角形十二角形十三角形十四角形十五角形十六角形十七角形十八角形十九角形二十角形

コンピュータグラフィック[編集]

直線のみから成る多角形は、コンピュータグラフィックで多用される射影変換に対して閉じている(元が多角形であれば、変換先も曲線になったりせず多角形になる、ということ)ことから、サーフェスモデルのプリミティブなどとして多用されている。詳細はポリゴンの記事を参照のこと。

一般化[編集]

多角形の概念はいくつかの観点から一般化される。重要なものをいくつか挙げる:

  • 球面多角形英語版は球面上の点を頂点に持ち、大円弧を辺とする閉路を言う。球面上では、平面では存在できない二つの角と二つの辺を持つ二角形(二辺形)が存在できる。球面多角形は地図学において重要であり、また一様多面体に関するワイソフ構成において重要である。
  • 非平面多角形英語版は平面上に載っておらず、三次元以上の空間にジグザグにはみ出している。正多胞体のペトリー多角形がよく知られた例である。
  • 無限辺形英語版は辺と角からなる無限列で、それらは両方向に無限に伸ばせるから、閉じているのではなくて端点が存在しない。
  • 非平面無限辺形英語版は平面上に載っていない辺と角の無限列である。
  • 複素多角形英語版は、通常の多角形の配置英語版的対応物(複素化)で、複素二次元(二次元+二次元)の複素平面 C2 上に存在する。
  • 抽象ポリトープ英語版は、(頂点、辺、面、などの)種々の部分とそれらの繋がり方を表現する代数的半順序集合。通常の実幾何学的多角形は、対応する抽象多角形の「実現」であると言う。写像の取り方に依存して、ここで述べた任意の一般化は実現が取れる。
  • 多面体は面としての平面多角形に囲まれた三次元立体で、二次元における多角形の三次元版と考えられる。四次元あるいはそれ以上の次元において対応する図形は多胞体(あるいは超多面体)と呼ばれる。

参考文献[編集]

  1. ^ Craig, John (1849). A new universal etymological technological, and pronouncing dictionary of the English language. Oxford University. p. 404. https://books.google.com/books?id=t1SS5S9IBqUC.  Extract of page 404
  2. ^ Heath, Sir Thomas Little (1981), A History of Greek Mathematics, Volume 1, Courier Dover Publications, p. 162, ISBN 9780486240732, https://books.google.com/books?id=drnY3Vjix3kC&pg=PA162 . Reprint of original 1921 publication with corrected errata. Heath uses the spelling "Aristonophus" for the vase painter's name.
  3. ^ Cratere with the blinding of Polyphemus and a naval battle, Castellani Halls, Capitoline Museum, accessed 2013-11-11. Two pentagrams are visible near the center of the image,
  4. ^ Coxeter, H.S.M.; Regular Polytopes, 3rd Edn, Dover (pbk), 1973, p.114
  5. ^ Shephard, G.C.; "Regular complex polytopes", Proc. London Math. Soc. Series 3 Volume 2, 1952, pp 82-97

関連項目[編集]

外部リンク[編集]