正多邊形多面體
Template:NoteTA Template:Geometric Shape Example 正多邊形多面體又稱為正多邊形面多面體(Template:Lang)是指所有面皆由正多邊形組成的多面體,其每面的邊數不一定相等,也不一定點可遞,也無對稱要求,因此正多邊形多面體不一定有外接球。 所有側面為正方形的棱柱體和側面為正三角形的反棱柱都屬於正多邊形多面體,在正多邊形多面體的研究通常都是探討棱柱體和反棱柱等柱狀均勻多面體以外的正多邊形多面體。 凸正多邊形多面體包括柏拉圖立體、半正多面體和詹森多面體,非凸正多邊形多面體除了包括星形正多面體、星形均勻多面體、星形柱狀均勻多面體外,還包括無窮多種可能的多面體組合和一些自相交的多面體,如側錐七角柱和魯洛夫斯的星形三十面體。
分類
正多邊形多面體可粗略分成下列幾類:[1]
| 凸多面體 | 等面[註 2] | 等角 | 種類 | 數量 |
|---|---|---|---|---|
| Template:Yes | Template:Yes | Template:Yes | 凸正多面體(柏拉圖立體) | 5 |
| Template:Yes | Template:Yes | Template:No | 凸正三角面多面體(正四面體、正八面體、正二十面體除外,因為此三者為柏拉圖立體,是等角圖形) | 5(凸正三角面多面體有8個[2],但是扣掉3個[註 3]) |
| rowspan=2 Template:Yes | rowspan=2 Template:No | rowspan=2 Template:Yes | 正角柱、正反角柱 | ∞ |
| 阿基米德立體 | 13 | |||
| Template:Yes | Template:No | Template:No | 詹森多面體(J12、J13、J17、J51、J84除外,此五者為三角面多面體,所有面全等[註 2]) | 87(詹森多面體有92個,但是扣掉5個[註 4]) |
| Template:No | Template:Yes | Template:Yes | 星形正多面體(克卜勒-龐索立體) | 4 |
| Template:No | Template:Yes | Template:No | 非凸正三角面多面體(含Template:Link-ja)、多連立方體(正方形面不共面的情況)、多連正十二面體 | ∞ |
| rowspan=2 Template:No | rowspan=2 Template:No | rowspan=2 Template:Yes | 正星形柱、正星形反柱(皆屬於柱狀均勻多面體) | ∞ |
| 星形均勻多面體 | 53[3] | |||
| Template:No | Template:No | Template:No | 其他由正多邊形組成的非凸多面體(例如側錐七角柱) | ∞ |
凸正多邊形多面體
凸正多邊形多面體是指所有面皆由正多邊形組成的凸多面體,包括了無窮多種的棱柱體和反棱柱、柏拉圖立體、阿基米德立體和詹森多面體。一般對於凸正多邊形多面體的研究通常不討論無窮集合的棱柱體和反棱柱,不包括棱柱體和反棱柱的話,凸正多邊形多面體共有110個[4],若嚴格不計棱柱體與反棱柱,則立方體(正四角柱)和正八面體(正三角反棱柱)不算,共108個[4];有些文獻會將除了柏拉圖立體、阿基米德立體和詹森多面體外的邊數最少之棱柱體和反棱柱也列入(正三角柱和正四角反棱柱)共有112個。[5]柏拉圖立體與阿基米德立體早在公元前就已發現,而詹森多面體則發現得較晚,由Template:Le在1966年發現並命名,並由Template:Le在1969年證明諾曼·詹森所列出的立體是完整的,沒其其他更多立體有此特性,至此,嚴格凸的正多邊形多面體研究已算完備。[4]
有面的凸正多邊形多面體的個數為(從開始):
- 0Template:NewLineMark0Template:NewLineMark0Template:NewLineMark1Template:NewLineMark2Template:NewLineMark3Template:NewLineMark2Template:NewLineMark7Template:NewLineMark3Template:NewLineMark6Template:NewLineMark4Template:NewLineMark7Template:NewLineMark3Template:NewLineMark13Template:NewLineMark2Template:NewLineMark5Template:NewLineMark4Template:NewLineMark6Template:NewLineMark1Template:NewLineMark9Template:NewLineMark2Template:NewLineMark6Template:NewLineMark1Template:NewLineMark4Template:NewLineMark1Template:NewLineMark8Template:NewLineMark4Template:NewLineMark2Template:NewLineMark1Template:NewLineMark3Template:NewLineMark1Template:NewLineMark10Template:NewLineMark1Template:NewLineMark3Template:NewLineMark1Template:NewLineMark2Template:NewLineMark4Template:NewLineMark3Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark9Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark2Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark9Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark1Template:NewLineMark9Template:NewLineMark1Template:NewLineMark2Template:NewLineMark... Template:OEIS
有個頂點的凸正多邊形多面體的個數為(從開始):
- 0Template:NewLineMark0Template:NewLineMark0Template:NewLineMark1Template:NewLineMark2Template:NewLineMark3Template:NewLineMark3Template:NewLineMark6Template:NewLineMark5Template:NewLineMark7Template:NewLineMark4Template:NewLineMark10Template:NewLineMark1Template:NewLineMark6Template:NewLineMark5Template:NewLineMark6Template:NewLineMark0Template:NewLineMark6Template:NewLineMark0Template:NewLineMark8Template:NewLineMark1Template:NewLineMark4Template:NewLineMark1Template:NewLineMark8Template:NewLineMark4Template:NewLineMark2Template:NewLineMark0Template:NewLineMark3Template:NewLineMark0Template:NewLineMark9Template:NewLineMark0Template:NewLineMark3Template:NewLineMark0Template:NewLineMark2Template:NewLineMark3Template:NewLineMark2Template:NewLineMark0Template:NewLineMark2Template:NewLineMark0Template:NewLineMark5Template:NewLineMark0Template:NewLineMark2Template:NewLineMark0Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark0Template:NewLineMark3Template:NewLineMark0Template:NewLineMark5Template:NewLineMark0Template:NewLineMark2Template:NewLineMark0Template:NewLineMark2Template:NewLineMark4Template:NewLineMark2Template:NewLineMark0Template:NewLineMark2Template:NewLineMark0Template:NewLineMark10Template:NewLineMark0Template:NewLineMark2Template:NewLineMark0Template:NewLineMark2Template:NewLineMark1Template:NewLineMark2Template:NewLineMark... Template:OEIS
非嚴格凸正多邊形多面體

Template:Main 非嚴格凸正多邊形多面體則表示該多面體可能有相共面的面。若未予任何限制條件,則這類立體有無限多種;但若限制所有頂點都要嚴格位於邊界頂角處,不得位於面的邊上或內部,則滿足條件的立體還有78個。這78個的前6個由B·A·伊万諾夫(Template:Lang)[6]和普里亞欣·尤·A(Template:Lang)[7]分別於1971年和1973年發現,而亞歷克斯·多斯基(Template:Lang)[8]、羅傑·考夫曼(Template:Lang)和史蒂夫·沃特曼(Template:Lang)[9]在2006年發現了另外70個這類立體,完整的這些立體由維克多·扎加勒(Template:Lang)[10]和阿列克謝·維克多羅維奇·蒂莫芬科(Template:Lang)[11]獨立列出,並由蒂莫芬科於2010年證明這列表完整[11][12][13]。
而無此條件限制的立體雖有無限多種,但仍可加以分類,並可分類成有限種類別。[14]這些分類由蒂莫芬科和他的學生完成[15][4]。
非凸正多邊形多面體
非凸正多邊形多面體有無限多種,其中經常研究探討星形均勻多面體,所有星形均勻多面體皆是非凸正多邊形多面體,但星形均勻多面體通常有自相交的面。無自相交面的非凸正多邊形多面體亦有無限多種,目前尚未有系統分類。邦妮·斯圖爾特(Bonnie Stewart)在其著作《環形體歷險記》(Adventures among the Toroids)中探討了關於環形多面體的非凸正多邊形多面體。[16][4]
相關幾何體
凸正多邊形多胞體
凸正多邊形多胞體(convex regular-faced polytope,簡稱CRF polytope)是指所有二維面都是正多邊形的多胞體[17],可以視為是凸正多邊形多面體在高維空間的類比。[18]
布蘭德多胞形
Template:Link-en是指所有胞都是正多胞形的正多胞形,也可以視為凸正多邊形多面體在高維空間的類比,由Template:Link-en於1979年提出。[19]
註釋
參考文獻
- ↑ Template:Cite web
- ↑ Template:Citation(其表明只有8個凸正三角面多面體)
- ↑ Template:Cite web
- ↑ 4.0 4.1 4.2 4.3 4.4 Template:Cite web
- ↑ Template:Cite journal
- ↑ Template:Cite journal
- ↑ Template:Cite journal
- ↑ Template:Cite web
- ↑ Template:Cite web
- ↑ Template:Cite journal
- ↑ 11.0 11.1 Template:Cite journal
- ↑ Template:Cite journal
- ↑ Template:Cite web
- ↑ Template:Cite journal
- ↑ Template:Cite journal
- ↑ Template:Cite book
- ↑ Template:Cite web
- ↑ Template:Cite web
- ↑ Template:Cite web