「凸多角形」の版間の差分
削除された内容 追加された内容
m ウィキ文法修正: 間違った画像オプション 空のオプションを削除する:"" lintId=6678908 |
編集の要約なし |
||
1行目: | 1行目: | ||
[[File:Pentagon.svg|right|thumb|150px|凸図形の一つの例: [[正五角形]]]] |
[[File:Pentagon.svg|right|thumb|150px|凸図形の一つの例: [[正五角形]]]] |
||
[[初等幾何学]]における'''凸多角形'''(とつたか |
[[初等幾何学]]における'''凸多角形'''(とつたかくけい、{{lang-en-short|convex polygon}})は、{{ill2|単純多角形|en|simple polygon|label=単純}}な(つまり自己交叉を持たない)[[多角形]]であって、その[[内部 (位相空間論)|内部]]または[[境界 (位相空間論)|境界]]にある任意の二点間を結ぶ[[線分]]が、その多角形の外に出ることがないものを言う<ref>[http://www.mathopenref.com/polygonconvex.html Definition and properties of convex polygons with interactive animation.]</ref>。凸多角形において、任意の内角は {{math|180°}} 以下であり、狭義凸ならば {{math|180°}} 未満である。 |
||
== 性質 == |
== 性質 == |
||
単純多角形に対して、以下は凸性と同値である: |
|||
* その多角形の任意の内角が {{math|180[[度 (角度)|°]]}} 以下である |
* その多角形の任意の内角が {{math|180[[度 (角度)|°]]}} 以下である; |
||
* その多角形の内部または境界にある任意の二点間を結ぶ[[線分]]上の任意の点が、ふたたび内部または境界上の点である |
* その多角形の内部または境界にある任意の二点間を結ぶ[[線分]]上の任意の点が、ふたたび内部または境界上の点である; |
||
* その多角形が、その任意の辺が定める閉半平面にまったく含まれる |
* その多角形が、その任意の辺が定める閉半平面にまったく含まれる; |
||
* その多角形の各辺に対し、その多角形の内点は全て、その辺を延長して得られる直線に対して同じ側にある |
* その多角形の各辺に対し、その多角形の内点は全て、その辺を延長して得られる直線に対して同じ側にある; |
||
* その多角形の各頂点が見込む角が、ほかの全ての頂点を内部または辺上に含む |
* その多角形の各頂点が見込む角が、ほかの全ての頂点を内部または辺上に含む; |
||
* その多角形がその辺全体の成す部分点集合の[[凸包]]である |
* その多角形がその辺全体の成す部分点集合の[[凸包]]である. |
||
他に成り立つ |
他に成り立つ凸多角形の性質には以下のようなものがある: |
||
* 二つの凸多角形の交わりもまたひとつの凸多角形である |
* 二つの凸多角形の交わりもまたひとつの凸多角形である; |
||
* 凸多角形は{{ill2|扇形分割|en|fan triangulation}}により[[線形時間]]で[[多角形の三角形分割|三角形分割]]できる |
* 凸多角形は{{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> |
* 内部に含む三角形に対する'''内接三角形'''性質: 凸多角形に含まれる任意の三角形に対し、それを含む面積極大な三角形でその頂点がすべてもともとの多角形の頂点となっているものが存在する<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|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 | doi = 10.1007/BF01263495| title = Approximation of convex bodies by rectangles| journal = Geometriae Dedicata| volume = 47| pages = 111| year = 1993| last1 = Lassak | first1 = M. }}</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 | doi = 10.1007/BF01263495| title = Approximation of convex bodies by rectangles| journal = Geometriae Dedicata| volume = 47| pages = 111| year = 1993| last1 = Lassak | first1 = M. }}</ref>; |
||
* 凸多角形の[[平均幅]]はその周長を {{mvar|π}} で割ったものに等しい。したがって、その幅は多角形と同じ周長を持つ円の直径に等しい<ref>{{citation|last=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>。 |
* 凸多角形の[[平均幅]]はその周長を {{mvar|π}} で割ったものに等しい。したがって、その幅は多角形と同じ周長を持つ円の直径に等しい<ref>{{citation|last=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>。 |
||
2018年8月24日 (金) 02:27時点における版
初等幾何学における凸多角形(とつたかくけい、英: convex polygon)は、単純な(つまり自己交叉を持たない)多角形であって、その内部または境界にある任意の二点間を結ぶ線分が、その多角形の外に出ることがないものを言う[1]。凸多角形において、任意の内角は 180° 以下であり、狭義凸ならば 180° 未満である。
性質
単純多角形に対して、以下は凸性と同値である:
- その多角形の任意の内角が 180° 以下である;
- その多角形の内部または境界にある任意の二点間を結ぶ線分上の任意の点が、ふたたび内部または境界上の点である;
- その多角形が、その任意の辺が定める閉半平面にまったく含まれる;
- その多角形の各辺に対し、その多角形の内点は全て、その辺を延長して得られる直線に対して同じ側にある;
- その多角形の各頂点が見込む角が、ほかの全ての頂点を内部または辺上に含む;
- その多角形がその辺全体の成す部分点集合の凸包である.
他に成り立つ凸多角形の性質には以下のようなものがある:
- 二つの凸多角形の交わりもまたひとつの凸多角形である;
- 凸多角形は扇形分割により線形時間で三角形分割できる;
- ヘリーの定理: 少なくとも三個の凸多角形からなる族に対し、それらのどの三個の交わりも空でないならば、族全体に和たてとった交わりもまた空でない;
- クレイン–ミルマンの定理: 凸多角形はその頂点集合の凸包である。したがって、凸多角形をその頂点集合によって完全に定義することができ、多角形全体の形を恢復するためには角が分かりさえすればよい;
- 超平面分離定理: 共有点を持たない任意の二つの凸多角形は、それらを分離する直線を持つ。考えている多角形が閉でそのうち少なくとも一つがコンパクトならば、(それらの間の隙間に)二つの平行な分離直線が存在する;
- 内部に含む三角形に対する内接三角形性質: 凸多角形に含まれる任意の三角形に対し、それを含む面積極大な三角形でその頂点がすべてもともとの多角形の頂点となっているものが存在する[2];
- 三角形内接性質: 面積 A を持つ任意の凸多角形は、面積高々 2A の三角形に内接 (inscribe) することができる。等号が(排他的に)成り立つのは平行四辺形のときである[3];
- 内接矩形外接性質: 任意の平面凸図形 C に対し、C に含まれる内接矩形 r で r の中心相似拡大 R が C に外接 (circumscribe) し、正の中心相似比が高々 2 であって、面積に関して不等式 を満足するものが存在する[4];
- 凸多角形の平均幅はその周長を π で割ったものに等しい。したがって、その幅は多角形と同じ周長を持つ円の直径に等しい[5]。
円に内接する任意の多角形(すなわちその任意の頂点が一つの円に接する)は、それが自己交叉を持たないならば凸である。しかし任意の凸多角形が円に内接できるわけではない。
狭義凸性
単純多角形に対して、以下の性質はそれが狭義凸となることと同値である:
- 任意の内角が 180° より真に小さい。
- 内部または境界上にある任意の二点を結んだ線分は、ふたたび内部または境界上にあるが、二点が同じ辺上の点でない限りかならず線分は多角形の内部に(線分の端点が辺上にあることを除いて)全く含まれる。
- 各辺に対して、すべての内点およびその辺を除く全ての境界上の点は、その辺を延長してできる直線に対して同じ側にある。
- 各頂点において見込む角は、(その頂点および隣接する二つの頂点を除く)ほかの全ての頂点をその内部に含む。
任意の非退化三角形は狭義凸多角形である。
関連項目
参考文献
- ^ Definition and properties of convex polygons with interactive animation.
- ^ -, Christos, “Is the area of intersection of convex polygons always convex?”, Math Stack Exchange
- ^ Weisstein, Eric W. "Triangle Circumscribing". mathworld.wolfram.com (英語).
- ^ Lassak, M. (1993). “Approximation of convex bodies by rectangles”. Geometriae Dedicata 47: 111. doi:10.1007/BF01263495.
- ^ Jim Belk, “What's the average width of a convex polygon?”, Math Stack Exchange
外部リンク
- Weisstein, Eric W. "Convex polygon". mathworld.wolfram.com (英語).
- Voitsekhovskii, M.I. (2001), “Convex polygon”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Definition:Convex Polygon at ProofWiki
- http://www.rustycode.com/tutorials/convex.html
- Schorn, Peter; Fisher, Frederick (1994), “I.2 Testing the convexity of a polygon”, in Heckbert, Paul S., Graphics Gems IV, Morgan Kaufman (Academic Press), pp. 7–15, ISBN 9780123361554