凸多角形のソースを表示

[[画像:Pentagon.svg|150px|thumb|正[[五角形]]などの[[正多角形]]は凸図形の例の一つである。]]
[[初等幾何学]]における'''凸多角形'''（とつたかくけい、{{lang-en-short|convex polygon}}）とは、[[単純多角形|単純]]な（つまり自己交叉を持たない）[[多角形]]であって、その[[内部 (位相空間論)|内部]]または[[境界 (位相空間論)|境界]]にある任意の二点間を結ぶ[[線分]]が、その多角形の外に出ることがないものを言う<ref>[http://www.mathopenref.com/polygonconvex.html Definition and properties of convex polygons with interactive animation.]</ref>。凸多角形において、任意の内角は {{math|180°}} 以下であり、狭義凸ならば {{math|180°}} 未満である。

== 性質 ==
単純多角形に対して、以下は凸性と同値である:
* その多角形の全ての内角が {{math|180[[度 (角度)|°]]}} 以下である;
* その多角形の内部または境界にある任意の2点間を結ぶ[[線分]]上の任意の点が、再び内部または境界上の点である;
* その多角形の[[対角線]]の両端以外が、内部に含まれる;
* その多角形が、その任意の辺が定める閉半平面に全く含まれる;
* その多角形の各辺に対し、その多角形の内点は全て、その辺を延長して得られる直線に対して同じ側にある;
* その多角形の各頂点が見込む角が、ほかの全ての頂点を内部または辺上に含む;
* その多角形がその辺全体の成す部分点集合の[[凸包]]である.

他に成り立つ凸多角形の性質には以下のようなものがある:
* 二つの凸多角形の交わりもまた一つの凸多角形である;
* 凸多角形は{{ill2|扇形分割|en|fan triangulation}}により[[線形時間]]で[[多角形の三角形分割|三角形分割]]できる;
* [[ヘリーの定理]]: 少なくとも三個の凸多角形からなる族に対し、それらのどの三個の交わりも空でないならば、族全体に和たてとった交わりもまた空でない;
* [[クレイン＝ミルマンの定理]]: 凸多角形はその頂点集合の[[凸包]]である。したがって、凸多角形をその頂点集合によって完全に定義することができ、多角形全体の形を恢復するためには角が分かりさえすればよい;
* [[超平面分離定理]]: 共有点を持たない任意の二つの凸多角形は、それらを分離する直線を持つ。考えている多角形が閉でそのうち少なくとも一つが[[コンパクト空間|コンパクト]]ならば、（それらの間の隙間に）二つの平行な分離直線が存在する;
* 内部に含む三角形に対する'''内接三角形'''性質: 凸多角形に含まれる任意の三角形に対し、それを含む面積極大な三角形でその頂点がすべてもともとの多角形の頂点となっているものが存在する<ref>{{citation|first=Christos|last=-|url=http://math.stackexchange.com/a/269544/29780|work=Math Stack Exchange|title=Is the area of intersection of convex polygons always convex?}}</ref>;
* '''三角形内接'''性質: 面積 {{mvar|A}} を持つ任意の凸多角形は、面積高々 {{math|2''A''}} の三角形に内接 (inscribe) することができる。等号が（排他的に）成り立つのは[[平行四辺形]]のときである<ref>{{MathWorld|title=Triangle Circumscribing|urlname=TriangleCircumscribing}}</ref>;
* '''内接矩形外接'''性質: 任意の平面凸図形 {{mvar|C}} に対し、{{mvar|C}} に含まれる内接矩形 {{mvar|r}} で {{mvar|r}} の{{ill2|中心相似|en|homothetic}}拡大 {{mvar|R}} が {{mvar|C}} に外接 (circumscribe) し、正の中心相似比が高々 2 であって、面積に関して不等式 <math display="inline">0.5 \times \operatorname{Area}(R) \leq \operatorname{Area}(C) \leq 2 \times \operatorname{Area}(r)</math> を満足するものが存在する<ref>{{Cite journal |last=Lassak |first=M. |title=Approximation of convex bodies by rectangles |doi=10.1007/BF01263495 |journal=Geometriae Dedicata |volume=47 |page=111 |year=1993}}</ref>;
* 凸多角形の[[平均幅]]はその周長を {{mvar|π}} で割ったものに等しい。したがって、その幅は多角形と同じ周長を持つ円の直径に等しい<ref>{{Citation |author=Jim Belk |title=What's the average width of a convex polygon? |url=http://math.stackexchange.com/a/20936/29780 |work=Math Stack Exchange}}</ref>。

円に内接する任意の多角形（すなわちその任意の頂点が一つの円に接する）は、それが自己交叉を持たないならば凸である。しかし任意の凸多角形が円に内接できるわけではない。

== 狭義凸性 ==
単純多角形に対して、以下の性質はそれが狭義凸となることと同値である:
* 任意の内角が {{math|180°}} より真に小さい。
* 内部または境界上にある任意の二点を結んだ線分は、再び内部または境界上にあるが、二点が同じ辺上の点でない限り必ず線分は多角形の内部に（線分の端点が辺上にあることを除いて）全く含まれる。
* 対角線の両端以外は内部に含まれる
* 各辺に対して、全ての内点およびその辺を除く全ての境界上の点は、その辺を延長してできる直線に対して同じ側にある。
* 各頂点において見込む角は、（その頂点および隣接する二つの頂点を除く）ほかの全ての頂点をその内部に含む。

任意の非退化[[三角形]]は狭義凸多角形である。

== 関連項目 ==
* {{ill2|凸超多面体|en|Convex polytope|label=凸（超）多面体}}（凸多胞体）
* [[円内接多角形]]（共円多角形）
* [[円外接多角形]]

== 参考文献 ==
{{Reflist}}

== 外部リンク ==
{{commons category|Convex polygons}}
* {{MathWorld |urlname=ConvexPolygon |title=Convex polygon}}
* {{SpringerEOM |urlname=Convex_polygon |title=Convex polygon |author=Voitsekhovskii, M.I.}}
* {{ProofWiki |urlname=Definition:Convex_Polygon |title=Definition:Convex Polygon}}
* {{Citation
 |last1 = Schorn |first1 = Peter
 |last2 = Fisher |first2 = Frederick
 |editor-last = Heckbert |editor-first = Paul S.
 |title = Graphics Gems IV
 |contribution = I.2 Testing the convexity of a polygon
 |contribution-url = https://books.google.com/books?id=CCqzMm_-WucC&pg=PA7
 |isbn = 9780123361554
 |pages = 7-15
 |publisher = Morgan Kaufman (Academic Press)
 |year = 1994}}

{{DEFAULTSORT:とつたかつけい}}
[[Category:凸幾何学]]
[[Category:多角形]]
[[Category:数学に関する記事]]