約翰遜多面體

Johnson多面體，有譯作-{zh-hans:詹森;zh-hant:約翰遜}-多面體或莊遜多面體，是指每個面都是正多邊形的嚴格凸多面體，其由4個正三角形和1個正方形組成。一些作者會將詹森多面體定義為正多面體、半正多面體、均勻多面體、稜柱、反稜柱之外，所有由正多邊形面組成的凸多面體。這些立體由在1966年命名；1969年，證明只有92個這樣的立體。在任何嚴格凸多面體中，每個頂點至少要是三個面的公共頂點，而且這些面的角度總和要小於360度。由於正多邊形的角度至少為60度，因此每個頂點最多隻能是5個面的公共頂點。正五角錐就是一個包含了有五個面的公共頂點之頂點的一個例子。雖然沒有明確限制組成詹森多面體之多邊形面的邊數，但事實證明，所有非正多面體、半正多面體、均勻多面體、稜柱、反稜柱的詹森多面體的面都是由三、 四、 五、 六、 八或十邊形組成。1966年，給出了一個詹森多面體的清單，裡麵包含了92種詹森多面體並給予了名稱和編號。他並沒有證明這些立體僅有92個，但他確實猜想不存在其他這種性質的立體。在1969年証明諾曼·詹森所列出的92種詹森多面體是完整的，不存在其他有此性質的立體。在詹森多面體中異相雙四角帳塔柱又稱為偽小斜方截半立方體，是唯一一個具有區域性等角的特性，其所有頂點都是3個正方形和1個三角形的公共頂點。然而其不完全具備點可遞的特性，也就是存在有一組頂點無法透過將立體旋轉、平移或鏡射等幾何變換將頂點變換到另外一個頂點，或者說其頂點並沒有全部位於同一個對稱性的軌道內，因此其只能算是詹森多面體無法歸類在阿基米德立體。命名.詹森多面體的命名遵循著一個靈活且精確的描述規則。因此許多詹森多面體可以用不同的方式命名，而不會影響其描述的準確性。大多數詹森多面體可以由前幾種稜錐、帳塔、罩帳、柏拉圖立體、阿基米德立體、稜柱和反稜柱構成；特定立體的名稱的反映這些成分。其命名主要從這些立體開始，加入一系列字首或字尾到單詞上以表示新增、切割和旋轉等變換：後三種操作「側"立體"-」、「-欠"立體"」和「旋-」可在同個較大的立體上重複套用，因此還有「二-」的字首，表示該種操作的套用次數，例如「二側錐-」表示在目標立體的兩個面上疊上錐體、「二旋側帳塔-」代表該立體有兩個側帳塔的區域性構造被旋轉、「-欠三側錐」代表從目標立體切去三個側錐的結果。在面數較多的立體中，「側"立體"-」和「-欠"立體"」操作可以作用於相對面和非相對面。對於相對面，會用字首「對-」稱之，另一種情況則是有相隔一個面，此時則以「間-」稱之。最後幾個詹森多面體的名稱是基於其構成的多邊形組合來命名的。其名稱由使用以下命名法命名：）表示由兩個相鄰“新月”組成的楔形多邊形組合。）表示有三個“新月”狀組成，其中第三個“新月”狀插在兩個“新月”狀中間，形成的鈍狀多邊形組合。）表示由八個三角形組成的冠狀多邊形組合。）表示由12個三角形組成，比“球狀”更大的冠狀多邊形組合。分類.Johnson多面體的構成方法之一是將其他由正多邊形面組成的凸多面體和下面幾種立體的拼合：另一種方法就是將這些凸多面體「切除」或「加上」一些立體。如：(J76)。也有一些是將這些凸多面體旋轉區域性來構成。如：。有九個Johnson多面體不能以這些方法取得。如：球狀屋頂、扭稜反角柱及其它。立體介紹.稜錐及塔.前6個詹森多面體是底面邊數少於5的稜錐、臺塔或丸塔。底面邊數達到6或以上若要讓面維持正多邊形的話要嘛共面要嘛無法構造僅能以非正多邊形存在因此不屬於詹森多面體。:115錐體.前2個詹森多面體J1及J2是錐體，分別為正四角錐和正五角錐。正三角錐因為是正多面體所以不算在詹森多面體內。這些立體皆代表正多面體的區域性。臺塔.接下來3個詹森多面體J3、J4、J5是臺塔，分別是正三角臺塔、正四角臺塔和正五角臺塔。正二角臺塔已退化為三角柱，而三角柱算是均勻多面體，因此也不算在詹森多面體內。丸塔.接下來的1個詹森多面體J6是丸塔，即正五角丸塔。正四角丸塔和正六角丸塔因無法滿足所有面皆為正多邊形的條件，因此不屬於詹森多面體。錐體衍生.詹森多面體編號7至11是由錐體衍生而來。錐柱及錐反角柱.錐柱及錐反角柱皆為錐體與各種柱狀立體組合而成，其中，錐柱為錐體和柱體底面對體面疊合而成；而錐反角柱為錐體和反角柱底面對體面疊合而成。錐柱及錐反角柱被歸類為詹森多面體的最大底面邊數皆僅有5，也就是六角錐柱和六角錐反角柱皆不屬於詹森多面體。特別地，在錐反角柱，底面邊數為3的三角錐反角柱也不是詹森多面體，因為三角反角柱若要滿足所有面都是正多邊形的條件時，會產生互相共面的面。雙錐、雙錐柱及雙反角錐柱.在雙錐體中，歸類為詹森多面體底面邊數最大為5，即雙五角錐，而雙四角錐若滿足所有面都是正多邊形的條件會變成正多面體因此沒有歸類在詹森多面體中；而底面邊數為3時若滿足所有面都是正多邊形的條件時，其面會出現共面的情況，因此也不屬於詹森多面體。帳塔及罩帳衍生.詹森多面體編號18至48是由帳塔及罩帳衍生而來。帳塔及丸塔與柱體或反柱體組合.帳塔及丸塔與柱體或反柱體可以組合出帳塔柱。這些立體被歸類為詹森多面體的最高底面邊數同樣是5，即正五角臺塔柱、正五角罩帳柱、正五角臺塔反角柱和正五角罩帳反角柱。同樣在丸塔的組閤中，僅有底面邊數為5的正五角罩帳柱和正五角罩帳反角柱是詹森多面體，底面邊數是4或以下、6或以上皆無法滿足所有面都是正多邊形的情況。而所有這些立體在底面邊數為2的情況也非詹森多面體，其中，正二角臺塔柱會出現共面的情況，而正二角臺塔反角柱則為凹多面體。雙臺塔.雙臺塔為兩個臺塔底面對底面貼合所形成的立體。在凸多面體的情況下，又可以分成同相雙臺塔和異相雙臺塔。其是否屬於詹森多面體與臺塔的情況類似，然而也有一些例外情況，例如異相雙三角臺塔在所有面都是正多邊形的條件下會是一種阿基米德立體——截半立方體，所以不會被歸類在詹森多面體中。臺塔丸塔與雙丸塔.臺塔丸塔為臺塔與丸塔的組合，而雙丸塔則為兩個丸塔底面對底面貼合所形成的立體，兩者在凸多面體的條件下與雙臺塔一樣可分為同相與異相，分別為同相臺塔丸塔、異相臺塔丸塔、同相雙丸塔和異相雙丸塔。與丸塔的情況一樣，僅有底面邊數為5的情況時能被歸類在詹森多面體，即同相五角臺塔丸塔、異相五角臺塔丸塔、和異相雙五角丸塔。而異相雙五角丸塔若在所有面都是正多邊形的條件下，則其與截半二十面體無異。雙臺塔柱.雙臺塔柱為在雙臺塔的兩個臺塔中間再加一個柱體所構成的立體，與雙臺塔一樣，可分成同相與異相。其中，同相雙四角臺塔柱在所有面都是正多邊形的條件下與小斜方截半立方體等價。臺塔丸塔柱與雙丸塔柱.臺塔丸塔柱為在臺塔丸塔兩底面相聯的中間再加入一個柱體構成的立體，而雙丸塔柱為在雙丸塔的兩個丸塔中間再加一個柱體所構成的立體。與帳塔罩帳與雙罩帳一樣，可分成同相與異相。這兩種立體和丸塔一樣，僅有底面邊數為5的情況可被歸類為詹森多面體。雙臺塔反角柱、臺塔丸塔反角柱與雙丸塔反角柱.雙臺塔反角柱、臺塔丸塔反角柱與雙丸塔反角柱皆為在原組合立體的底面與底面之間加入反角柱所組成的立體。與雙臺塔柱、臺塔丸塔柱與雙丸塔柱不同，雙臺塔反角柱、臺塔丸塔反角柱與雙丸塔反角柱並不分同相與異相，僅有在每個立體各存在手性映象。側錐柱體.詹森多面體編號49至57是側錐柱體。側錐柱體是指在柱體側面上疊上錐體所形成的立體。能在保持凸多面體和每個面都是正多邊形的情況下在側面加入錐體的柱體最大的底面邊數為6。三角柱三個側面都能加入錐體形成滿足詹森多面體條件的側錐三角柱，分別有側錐三角柱、二側錐三角柱和三側錐三角柱。:86四角柱不能在相鄰側面上疊上錐體，否則會變成凹多面體，因此四角柱最多隻能加入兩個側錐，分別為側錐四角柱和二側錐四角柱，然而這兩個立體分別與四角錐柱和雙四角錐柱相同，因此不在此節列出。五角柱也不能在相鄰側面上疊上錐體，否則會變成凹多面體，因此五角柱最多隻能加入兩個側錐，分別為側錐五角柱和間二側錐五角柱。六角柱同樣不能在相鄰側面上疊上錐體，否則會變成凹多面體，然而六角柱有六個側面，因此最多可以加入三個側錐。在加入兩個側錐的情況下，可以分成加在相對側面上的二側錐六角柱和加在相隔一個側面之側面上的二側錐六角柱，因此有對二側錐六角柱和間二側錐六角柱兩種。另外兩種屬於詹森多面體的側錐六角柱為側錐六角柱和三側錐六角柱。正多面體衍生.詹森多面體編號58至64的立體可以藉由在正多面體上疊上錐體或移除區域性來構造。能夠形成詹森多面體的側錐正多面體有正四面體、立方體和正十二面體，而側錐正四面體同於雙三角錐因此不在此列出；側錐立方體與側錐四角柱、四角錐柱和雙四角錐柱相同因此也不在此列出，下表將列出側錐正十二面體的情況。而能夠移除區域性構成詹森多面體的正多面體有正二十面體。側錐正十二面體.正十二面體不能在相鄰側面上疊上錐體，否則會變成凹多面體，因此正十二面體最多隻能加入三個側錐。在加入兩個側錐的情況下，可以分成加在相對側面上的二側錐正十二面體和加在相鄰的側面上的二側錐正十二面體，因此有和兩種。正二十面體欠側錐和側錐正二十面體欠側錐.可此從正二十面體移除五角錐來構造新的立體，稱為正二十面體欠側錐。最多可以從正二十面體移除3個五角錐。移除掉3個五角錐的正二十面體還可以進一步地在其中一個三角形面上疊上三角錐構成側錐正二十面體欠側錐。阿幾米德立體衍生.詹森多面體編號65至83的立體可以藉由在阿幾米德立體上疊上臺塔、移除區域性或旋轉區域性來構造。側臺塔阿幾米德立體.能夠在面上疊上帳塔購造成詹森多面體的阿幾米德立體有截角四面體、截角立方體和截角十二面體。這些立體皆不能在相鄰面上疊上帳塔，否則會變成凹多面體。因此截角四面體僅有一個六邊形面可以疊上三角臺塔；而截角立方體最多可以在兩個八邊形面上疊上四角臺塔，對於疊上兩個四角臺塔的情況，其必須疊在相對的八邊形面上。截角十二面體最多可以疊上3個五角臺塔。旋轉區域性或移除區域性的阿幾米德立體.此外還有一些其他立體也可以視為是旋轉區域性或移除區域性的阿幾米德立體，例如J37可以視為是旋轉一側四角臺塔的小斜方截半立方體。基本立體.詹森多面體編號84至92的立體不能以切除、增加角錐、臺塔、丸塔等方法取得。扭稜反角柱.扭稜反角柱可以透過將反角柱截角後交錯來構造。可以構成詹森多面體的扭稜反角柱底面邊數最大隻能到4，更大的底面邊數無法以所有面皆為正多邊形的形式存在；而扭稜三角反角柱若要滿足有面皆為正多邊形的條件則會與正二十面體無異，因此不列入詹森多面體。外接球詹森多面體.有25個詹森多面體存在外接球，這意味著這25個詹森多面體的頂點都可以位於同一個球面上。這些立體包括編號為1至6、11、19、27、34、37、62、63和72至83的詹森多面體。這些立體皆與正多面體有分割、旋轉區域性或移除區域性的關聯。