(紅色,右下角,非簡單多邊形)]]
在幾何學中,簡單多邊形是指邊沒有自我相交,也沒有破洞的多邊形。
也就是說,它是由有限多個線段組成的分段線性若尔当曲线。
簡單多邊形包括作為特殊情況的凸多邊形、非自相交的星形多邊形和單調多邊形。
簡單多邊形除了相鄰的邊在頂點處交於一點外,所有的邊都不相交。
簡單多邊形的外角和為360度(弧度)。
每個具有條邊的簡單多邊形都可以透過其條對角線進行,並且根據美術館定理,其內部所有區域可以從其中至少\lfloor n/3\rfloor個頂點可見。
簡單多邊形通常被視為計算幾何問題的輸入,包括「檢查點是否在多邊形的內部」、面積計算、簡單多邊形的凸包、和歐幾里德最短路徑等。
其他與簡單多邊形相關之幾何學中的構造包括施瓦茨-克里斯托费尔映射,用於找尋涉及簡單多邊形的共形映射、點集的、用於多邊形的构造实体几何公式以及多邊形的。
定義
簡單多邊形是歐幾里德平面中由線段組成的閉合曲線,這些線段首尾相連形成多邊形鏈。在這個多邊形鏈中,除了因連續線段的關係,共用了線段端點,以及多邊形鏈的首尾共用線段端點之外,任何兩個線段都不能彼此相交。有時候,簡單多邊形的「簡單」這個修飾詞會被省略,並假定「多邊形」代表的是簡單多邊形。
形成多邊形的線段稱為稜或邊。線段的端點稱為頂點每個頂點恰好是兩條邊的交點,且邊的數量始終等於頂點的數量。,但也有些來源不允許平角的頂角,而是要求形成平角的兩條邊要合併成一條較長的邊。如果兩個頂點是多邊形某條對應之線段的兩個端點,則稱這兩個頂點相鄰。
簡單多邊形有時稱為若爾當多邊形,因為簡單多邊形是一種若尔当曲线;若尔当曲线定理可以用來證明簡單多邊形將平面分成兩個區域。事實上,卡米尔·若尔当對該定理的原始證明以簡單多邊形的特殊情況(沒有證明的情況下陳述)作為起點。根據,多邊形內部的區域,具有有限但非零的面積。簡單多邊形的拓樸結構等價於圓形,其外部區域為無界連通開集,並具有無限大的面積。
性質
在簡單多邊形中,某個頂點的內角為該頂點與相鄰的兩條邊在多邊形內部所跨的角度。若頂點的內角小於180度(平角,弧度),則稱該頂點為凸頂點;若內角大於180度則稱該頂點為凹頂點。若頂點的內角為,並且小於180度,則該頂點的外角定義為其補角180度(弧度),即從一個有向邊轉動到下一個有向邊的轉角。外角在凸頂點處為正,在凹頂點處為負。對於每個簡單多邊形,外角之和為360度(一整圈,弧度),因此,對於具有條邊的簡單多邊形,內角總和為減2的結果乘上180度(弧度)。
每個簡單多邊形都可以透過部分的對角線將之劃分為內部不相交的若干個三角形。當簡單多邊形有條邊時,這樣的分割需要使用到條對角線,並分割成個三角形。由此產生的分割稱為多邊形的。
根據,每個非三角形的簡單多邊形都有兩個耳,即有兩個有此特性的頂點:該頂點相鄰兩頂點的對角線完全位於多邊形內部。
根據美術館定理,在有個頂點的簡單多邊形中,總是可以找到最多\lfloor n/3\rfloor個具有以下屬性之頂點的子集:在這些選定的頂點上可見所有其他頂點(美術館定理的概念就是最少需要多少位守衛站在哪些位置才能無死角地監視整個美術館,所以對應概念就是多邊形裡的每一個頂點都可以和這個頂點子集裡的其中一個頂點連成一線)。這意味著,對於多邊形中的每個點都存在一條只經過多邊形內部點的與那些選定頂點其中一點相連的線段。證明這一點的一種方法是在多邊形的三角剖分上使用圖形著色:總是可以用三種顏色對頂點進行著色,使得三角剖分中的每條邊或對角線都有兩個不同顏色的端點。多邊形的每個點對於每種顏色的頂點都是可見的,例如在所選的三角剖分中包含了三角形三個頂點中的其中一個頂點。其中一種顏色最多被\lfloor n/3\rfloor個頂點使用,因此證明了這個定理。
特例
所有凸多邊形都是簡單多邊形。另一類重要的簡單多邊形是星狀多邊形(不是星形多邊形,星形多邊形可能有自我相交的情況,此處指的是星形外觀的多邊形),該多邊形存在一個從每個頂點皆可見的點,這個點可能是在內部或邊界上。
推廣
簡單多面體
簡單多邊形的概念也可以推廣到三維空間中,對應的概念為簡單多面體,即不存在面自我相交也沒有空洞的多面體。簡單多面體除了相鄰的面在多面體的稜處相交一次外,沒有任何的面與其他面相交。所有凸多面體都是簡單多面體,簡單多面體也包括了部分的凹多面體和非凸多面體。在這個定義下,與簡單多面體相對的概念為複雜多面體,即面存在自我相交情形的多面體。
有另外一個概念也稱為簡單多面體,即簡單多胞形的三維例子,但他的定義不同,它的定義是每個頂點只與三條邊相鄰的多面體,兩者相差甚遠。
參見
*複雜多邊形
*展開圖
參考文獻
外部連結
*
评论 (0)