凸多角形
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/01/29 02:22 UTC 版)

初等幾何学における凸多角形(とつたかくけい、英: convex polygon)とは、単純な(つまり自己交叉を持たない)多角形であって、その内部または境界にある任意の二点間を結ぶ線分が、その多角形の外に出ることがないものを言う[1]。凸多角形において、任意の内角は 180° 以下であり、狭義凸ならば 180° 未満である。
性質
単純多角形に対して、以下は凸性と同値である:
- その多角形の全ての内角が 180° 以下である;
- その多角形の内部または境界にある任意の2点間を結ぶ線分上の任意の点が、再び内部または境界上の点である;
- その多角形の対角線の両端以外が、内部に含まれる;
- その多角形が、その任意の辺が定める閉半平面に全く含まれる;
- その多角形の各辺に対し、その多角形の内点は全て、その辺を延長して得られる直線に対して同じ側にある;
- その多角形の各頂点が見込む角が、ほかの全ての頂点を内部または辺上に含む;
- その多角形がその辺全体の成す部分点集合の凸包である.
他に成り立つ凸多角形の性質には以下のようなものがある:
- 二つの凸多角形の交わりもまた一つの凸多角形である;
- 凸多角形は扇形分割により線形時間で三角形分割できる;
- ヘリーの定理: 少なくとも三個の凸多角形からなる族に対し、それらのどの三個の交わりも空でないならば、族全体に和たてとった交わりもまた空でない;
- クレイン=ミルマンの定理: 凸多角形はその頂点集合の凸包である。したがって、凸多角形をその頂点集合によって完全に定義することができ、多角形全体の形を恢復するためには角が分かりさえすればよい;
- 超平面分離定理: 共有点を持たない任意の二つの凸多角形は、それらを分離する直線を持つ。考えている多角形が閉でそのうち少なくとも一つがコンパクトならば、(それらの間の隙間に)二つの平行な分離直線が存在する;
- 内部に含む三角形に対する内接三角形性質: 凸多角形に含まれる任意の三角形に対し、それを含む面積極大な三角形でその頂点がすべてもともとの多角形の頂点となっているものが存在する[2];
- 三角形内接性質: 面積 A を持つ任意の凸多角形は、面積高々 2A の三角形に内接 (inscribe) することができる。等号が(排他的に)成り立つのは平行四辺形のときである[3];
- 内接矩形外接性質: 任意の平面凸図形 C に対し、C に含まれる内接矩形 r で r の中心相似拡大 R が C に外接 (circumscribe) し、正の中心相似比が高々 2 であって、面積に関して不等式
- 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
- 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