この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "多角形"
幾何学において多角形（たかっけい、英: polygon; [?p?l???n]）とは[注 1]、広義には、有限個の点 A1, A2, …, An を結ぶ線分 A1A2, …, An?1An, AnA1 の組が定める閉じた折れ線 ( A 1 A 2 , … , A n − 1 A n , A n A 1 ) {\displaystyle (\mathrm {A} _{1}\mathrm {A} _{2},\dotsc ,\mathrm {A} _{n-1}\mathrm {A} _{n},\mathrm {A} _{n}\mathrm {A} _{1})}
を指す。このとき点 A1, A2, …, An を多角形の頂点（vertex, corner）、線分 A1A2, …, An?1An, AnA1 を多角形の辺（edge, side）という。多角形の頂点が相異なり、かつ同一平面上にあり[注 2]、相異なる辺が交わらないとき、多角形は平面を空でない有界な領域と非有界な領域の二つに分ける（ジョルダン閉曲線定理）。このとき有界な領域の閉包を単に多角形ということもある（単純平面多角形）。さらに狭義には、平面にある空でない有限集合の凸包、言い換えると有限個の半平面の共通部分として表せる空でない有界集合を多角形ということも少なくない（凸平面多角形[注 3]）。このように多角形は文脈に応じてわずかに異なる定義がいくつもなされ、その意味について必ずしも共通した一定の了解があるわけではない（#一般化も参照のこと）。
n 個の辺を持つ多角形は n-角形 (n-gon) あるいは n-辺形 (n-lateral) と呼ぶ。例えば三角形は三辺形である。多角形は、より一般の任意次元における超多面体の二次元の例になっている。
多角形 (polygon) の語は、「多い」を意味する希: πολ?? (ラテン転写: polus) と「角」（カド）を意味する希: γων?α (ラテン転写: g?nia, c?nia) に由来する[1]。二つの相隣る (adjacent) 辺とそれらの交点としての頂点の成す幾何学的対象が角（カク、平面角）で、その大きさを測る数値（測度）を角度（角の測度）と呼ぶ。
なお、図形に関してはしばしば、その周辺の枠だけについて議論しているのか、面としてその内側と外側を区別しているのか曖昧なことがあるが、多角形についても同様であり、たとえば後者について議論していることを明確にするために「面分」（「線分」からの類推）などといった語が使われることなどがある。
面についての考慮をともなわない、「点と辺からなる対象」としては、（グラフ理論の意味の）「グラフ」の一種とみなすことができ、（多角形に限らないが）図形やグラフの特徴などについて、しばしば相互の用語などを使って説明などがなされることがある（一例として、多面体グラフの記事を参照のこと）。
歴史Historical image of polygons (1699)
多角形は古代より知られてきた。正多角形は古代ギリシアにおいて既に知られている。
また五芒星のような非凸正多角形（星型多角形）も早くも紀元前7世紀ごろ、アリストノトスのクラテール（カエレ（英語版）において発見され、現在カピトリーノ美術館に収蔵されている）に描かれている[2]。
一般の非凸多角形の系統的研究として最初に知られたものは、14世紀にトーマス・ブラドワーディン（英語版）によって為された[3]。
1952年にジェフリー・コリン・シェファード（英語版）は多角形の概念を複素平面C2 上に一般化（各実次元に虚次元を一つづつ追加）したものとして複素多角形（英語版）の概念を導入した[4]。 多角形の 多角形は第一義的にその辺の数で分類できる。n 個の辺を持つ多角形は n-角形あるいは n-辺形と呼ぶ。 多角形をその凸性あるいは凹性によって特徴付けることができる:
用語
頂点: 多角形を成す閉折れ線の0次元要素（折れ線の分節点
辺： 多角形を成す閉折れ線の1次元要素（折れ線の辺）。相隣る二点 (adjacent point) に対しそれらを結ぶ唯一の線分である。
頂点同士や辺同士が「相隣る」または「隣り合う」 (adjacent) という関係を隣接関係（英語版） (adjacency relation) と言う。
一つの辺に相隣る二つの頂点が載り、相隣る二つの頂点から一つの辺が決まるという関係を接続関係と言う。「頂点がある辺に載っていること」および「辺がある頂点を通ること」の二者をまとめて、それら頂点と辺が接続している (incidect) と言うことができる。
多角形は相隣る頂点が一つの辺に接続し、かつ、相隣る辺が一つの頂点に接続する、閉じた図形（特に閉曲線）であると言うことができる。
内部: 閉曲線としての多角形が囲む有界領域。単純多角形（閉曲線として単純な多角形）の場合には、内部は連結かつ開集合（つまり多角形の頂点および辺上の点はどれも含まない）である（自己交叉のある場合は、連結とは限らず辺上の点が内部に含まれるかどうかも場合による）。多角形の内部にある点はその多角形の内点と呼ばれる。
多角形およびその内部を併せた図形は（内部を含むことを明示したいときには）特に中身の詰まった多角形という。
外部: 中身の詰まった多角形を頂点、辺上の点、内点の全体からなる平面上の点集合と見たとき、その補集合。単純多角形の場合、多角形が分割する平面上の二つの領域のうち、内部でない（非有界となる）ほうで、頂点および辺はいずれも含まない。
単純閉曲線が平面を二つの領域に分け、一方が有界、他方が非有界となることはジョルダン曲線定理の項を参照。
多角形はその内部および外部の共通の境界になる。
面： 中身の詰まった多角形における2次元の要素（中身の詰まった多角形の全体と一致する）。多角形は中身の詰まった多角形の境界上でその面と接続する。一つの多角形に面はただ一つだけ接続しているが、自己交叉のある場合には面の連結成分が複数になりうる（各連結成分を個別の面とみなすことはできるが、その場合面の境界は必ずしも多角形の辺や頂点でない）。
内角： 頂点において相隣る辺が多角形の内部に見込む角。
外角： 平角から内角を引いたもの。凹多角形では外角の角度が負になり得る（そのとき外角は多角形の内部にある）。
対角線： 一つの多角形の2頂点を端点に持つ線分のうち、多角形の辺ではないものをその多角形の対角線という。
対角： 一つの多角形の1頂点における内角に対して、この頂点と対角線で結ばれた頂点を持つ内角をいう（例：4角形には、2組の対角がある）。
対辺： 奇数の辺に囲まれた一つの多角形においては、1頂点に対して、その頂点のちょうど反対側にある辺をいう（例：5角形には、頂点とその対辺が5組ある）。一方、偶数の辺に囲まれた一つの多角形においては、1辺に対して、その辺のちょうど反対側にある辺をいう（例：6角形は、3組の対辺によって囲まれた図形である）。
n角形： 多角形の辺の数を文字数nで表すとき、その多角形をn 角形と呼ぶ。ここで、nは3以上の整数である。n角形は、n個の頂点を持つ。正多角形の場合には、正n角形と表現する。@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}n は、n角形となったとき名詞となるので、基本的には漢数字で表記される[要出典]（例：「3角形」ではなく「三角形」）。
分類いくつか異なる種類の多角形
辺の数
凸性・凹性
凸多角形: この多角形を横切る（辺や角に接することのない）任意の直線は、その多角形と境界においてちょうど二回交わる。その帰結として、凸多角形の内角は 180° より小さい。同じことだが、凸多角形の境界上に両端点を持つ任意の線分は、一方の端点から多角形の内点のみを通ってもう一方の端点に達する。
非凸多角形: その多角形の境界と二回以上交わる線分を見つけることができる。同じことだが、境界上の二点を結ぶ線分でその多角形の外側を通過するものが存在する。
