跳转到内容

正多面體：修订间差异

本页使用了标题或全文手工转换
维基百科，自由的百科全书
以互动方式浏览历史
←上一版本
删除的内容 添加的内容
可视化wikitext
Д.Ильин（留言 | 贡献）
200次编辑
 
（未显示10个用户的133个中间版本）
第1行： 第1行：
{{NoteTA|G1=Math}}
{{Otheruses |subject=廣義的正多面體 |other=眾所皆知的五種正多面體 |柏拉圖立體}}
{{Otheruses |subject=廣義的正多面體 |other=常見的五種凸正多面體|柏拉圖立體}}
{|style="float: right; margin: 0 0 1em 1em; width: 22.5em; font-size: 0.86em; line-height: normal; border: 1px solid #CCD2D9; background: #F0F6FA"
{{Geometric Shape Example
! colspan=2 style="padding-top:1.0em; padding-bottom:1.0em;"|<big>正多面體</big>
|shape class=正多面體
|-
|align=center|[[Image:Octahedron.jpg|120px]]<BR>[[正八面體]]<BR>（[[柏拉圖立體]]）
|Octahedron.jpg|name=[[正八面體]]|type=[[柏拉圖立體]]
|align=center|[[Image:Great_dodecahedron.png|120px]]<BR>[[大十二面體]]<BR>（[[克卜勒－龐索立體]]）
|Great_dodecahedron.png|name2=[[大十二面體]]|type2=[[克卜勒－龐索立體]]
|Compound_of_two_tetrahedra.png|name3=[[星形八面體]]
|-
|Mucube.png|name4=[[四角六片四角孔扭歪無限面體]]
|align=center|[[Image:Compound_of_two_tetrahedra.png|120px]]<BR>[[星形八面體]]
}}
|align=center|[[Image:Mucube.png|120px]]<BR>[[四角六片四角孔扭歪無限面體]]
在[[幾何學]]中，'''正多面體'''是同時具有等邊、等角和等面特性的[[多面體]]。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。在中文環境中，一般被大眾認知的正多面體通常代表只有五種的[[凸正多面體]]，又稱為[[柏拉圖立體]]，其包括了[[正四面體]]、[[立方體]]、[[正八面體]]、[[正十二面體]]和[[正二十面體]]。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或[[扭歪多面體]]等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（[[克卜勒－龐索立體]]）、五種抽象正多面體和五種複合正多面體。
|}
在[[幾何學]]中，'''正多面體'''是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。在中文環境中，一般被大眾認知的正多面體通常代表只有五種的[[凸正多面體]]，又稱為[[柏拉圖立體]]，其包括了[[正四面體]]、[[立方體]]、[[正八面體]]、[[正十二面體]]和[[正二十面體]]。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或[[扭歪多面體]]等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（[[克卜勒－龐索立體]]）、五種抽象正多面體和五種複合正多面體。


== 概述 ==
== 概述 ==
[[File:A_flag_in_a_cube.svg|thumb|360px|[[立方體]]的其中一個標記，其包括了立方體本身、其中一個正方形面、該面的其中一條稜、稜上的一個頂點以及這個立方體中「什麼都不選」的子集，即[[空多胞形]]，五個元素，正好每個維度各一個元素，且較大的元素包含較小的元素。若一個多面體所具備的對稱性可以讓這個多面體中任意兩個這樣（如上圖）的結構（或元素）A與B，透過該對稱性下的變換（如旋轉、平移或鏡射）使得A變換到B的位置上時，其仍然佔據了相同的空間區域時，則這個多面體是一個正多面體，前面的性質又可以稱為[[標記 (幾何)|標記]]可遞。]]
[[File:A_flag_in_a_cube.svg|thumb|360px|[[立方體]]的其中一個[[標記 (幾何)|標記]]，其包括了立方體本身、其中一個[[正方形]][[面 (幾何)|面]]、該面的其中一條[[稜]]、稜上的一個[[頂點 (幾何)|頂點]]以及這個立方體中「什麼都不選」的子集，即[[空多胞形]]，五個元素，正好每個維度各一個元素，且較大的元素包含較小的元素。若一個多面體所具備的對稱性可以讓這個多面體中任意兩個這樣（如上圖）的結構（或元素）A與B，透過該對稱性下的變換（如旋轉、平移或鏡射）使得A變換到B的位置上時，其仍然佔據了相同的空間區域時，則這個多面體是一個正多面體，前面的性質又可以稱為[[標記 (幾何)|標記]]可遞]]
在[[幾何學]]中，'''正多面體'''是一類對稱性可以在其各維度元素的集合（或稱[[標記 (幾何)|標記]]{{#tag:ref|多面體[[標記 (幾何)|標記]]是一系列多面體元素的集合，這個集合中會包括1個多面體的主體、多面體的其中一個面、前者提到的面中的其中一條稜、前者提到的稜中的其中一個頂點和一個空多胞形|group="註"|name="Flag (geometry)"}}）上傳遞的多面體。正多面體通常具有高度對稱性，其同時具有邊可遞，點可遞和面可遞的性質{{#tag:ref|在多面體中，某種元素的「可遞」性質代表這立體上的任意兩個同類元素A和B，透過在該立體的對稱性下旋轉或鏡射這個立體，使A移動到B原來的位置時，其元素仍然佔據了相同的空間區域<ref>{{citation|title=Dungeons, dragons, and dice|first=K. Robin|last=McLean|journal=The Mathematical Gazette|volume=74|issue=469|year=1990|pages=243–256|jstor=3619822}}.</ref>|group="註"|name="element-transitive of a polyhedra"}}，換句話說，即正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。
在[[幾何學]]中，'''正多面體'''是一類對稱性可以在其各維度元素的集合（或稱[[標記 (幾何)|標記]]{{#tag:ref|多面體[[標記 (幾何)|標記]]是一系列多面體元素的集合，這個集合中會包括1個多面體的主體、多面體的其中一個面、前者提到的面中的其中一條稜、前者提到的稜中的其中一個頂點和一個空多胞形。|group="註"|name="Flag (geometry)"}}）上傳遞的多面體。正多面體通常具有高度對稱性，其同時具有邊可遞，點可遞和面可遞的性質{{#tag:ref|在多面體中，某種元素的「可遞」性質代表這立體上的任意兩個同類元素A和B，透過在該立體的對稱性下旋轉或鏡射這個立體，使A移動到B原來的位置時，其元素仍然佔據了相同的空間區域<ref>{{citation|title=Dungeons, dragons, and dice|first=K. Robin|last=McLean|journal=The Mathematical Gazette|volume=74|issue=469|year=1990|pages=243–256|jstor=3619822}}.</ref>。|group="註"|name="element-transitive of a polyhedra"}}，換句話說，即正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。


所有正多面體皆可以使用[[施萊夫利符號]]來表示，其可以計為{''n'', ''m''}。其中''n''表示構成面的頂點數，'''m'''則表示與頂點相鄰的多邊形數量。在中文語境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為[[柏拉圖立體]]，其包括了[[正四面體]]、[[立方體]]、[[正八面體]]、[[正十二面體]]和[[正二十面體]]。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克普勒–龐索立體）、五種抽象正多面體和五種複合正多面體。
所有正多面體皆可以使用[[施萊夫利符號]]來表示，其可以計為{{math|&#123;''n'', ''m''&#125;}}。其中{{math|''n''}}表示構成面的頂點數，{{math|''m''}}則表示與頂點相鄰的多邊形數量。在中文語境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為[[柏拉圖立體]]，其包括了[[正四面體]]、[[立方體]]、[[正八面體]]、[[正十二面體]]和[[正二十面體]]。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克普勒–龐索立體）、五種抽象正多面體和五種複合正多面體。


== 正多面體 ==
== 正多面體 ==
一般常見的正多面體為廣為人知的五種正多面體，又稱為柏拉圖立體。除了這種凸多面體外，亦有非凸的正多面體，為四種星形正多面體，又稱為克普勒–龐索立體；以及五種正多面體的複合體。
一般常見的正多面體為五種正凸多面體，又稱為柏拉圖立體。除了這種凸多面體外，亦有非凸的正多面體，為四種星形正多面體，又稱為克普勒–龐索立體；以及五種正多面體的複合體。

=== 柏拉圖立體 ===
=== 柏拉圖立體 ===
{{Main|柏拉圖立體}}
{{Main|柏拉圖立體}}
第32行： 第32行：
|[[正四面體]] {3,&nbsp;3}||[[立方體]] {4,&nbsp;3}||[[正八面體]] {3,&nbsp;4}||[[正十二面體]] {5,&nbsp;3}||[[正二十面體]] {3,&nbsp;5}
|[[正四面體]] {3,&nbsp;3}||[[立方體]] {4,&nbsp;3}||[[正八面體]] {3,&nbsp;4}||[[正十二面體]] {5,&nbsp;3}||[[正二十面體]] {3,&nbsp;5}
|- align=center
|- align=center
|[[Euler characteristic|''χ'']] = 2||''χ'' = 2||''χ'' = 2||''χ'' = 2||''χ'' = 2
|{{math|[[欧拉示性数|''χ'']]}} = 2||{{math|''χ''}} = 2||{{math|''χ''}} = 2||{{math|''χ''}} = 2||{{math|''χ''}} = 2
|}
|}


第45行： 第45行：
|[[Image:GreatIcosahedron.jpg|100px]]
|[[Image:GreatIcosahedron.jpg|100px]]
|- align=center
|- align=center
|[[小星形十二面體]]<br>{5/2,&nbsp;5}
|[[小星形十二面體]]<br/>{5/2,&nbsp;5}
||[[大十二面體]]<br>{5,&nbsp;5/2}
||[[大十二面體]]<br/>{5,&nbsp;5/2}
||[[大星形十二面體]]<br>{5/2,&nbsp;3}
||[[大星形十二面體]]<br/>{5/2,&nbsp;3}
||[[大二十面體]]<br>{3,&nbsp;5/2}
||[[大二十面體]]<br/>{3,&nbsp;5/2}
|- align=center
|- align=center
|''χ'' = −6||''χ'' = −6||''χ'' = 2||''χ'' = 2
|{{math|''χ''}} = −6||{{math|''χ''}} = −6||{{math|''χ''}} = 2||{{math|''χ''}} = 2
|}
|}


=== 複合正多面體 ===
=== 複合正多面體 ===
由多個同一種正多面體組合而成且具有高度對稱性的結構也可以視為正多面體的一種。<ref>{{cite book | first=Harold Scott MacDonald | last=Coxeter | author-link=Harold Scott MacDonald Coxeter | title=Regular Polytopes | publisher = Dover Publications | edition=Third | oclc=798003 | date = 1973 | orig-year=1948 | isbn = 0-486-61480-8 | url=https://books.google.com/books?id=2ee7AQAAQBAJ |page=48}}</ref>例如兩個[[正四面體]]組成的[[星形八面體]]，其類似於由兩個[[正三角形]]組成的[[大衛之星]]在三維空間中的類比。多個正多面體的複合結構也可以有其他種類，然而其未必會符合標記<ref group="註" name="Flag (geometry)"/>可遞<ref group="註" name="element-transitive of a polyhedra"/>的特性，因此不能算是正多面體，例如[[三複合正八面體]]。
由多個同一種正多面體組合而成且具有高度對稱性的結構也可以視為正多面體的一種。<ref>{{cite book | first=Harold Scott MacDonald | last=Coxeter | author-link=Harold Scott MacDonald Coxeter | title=Regular Polytopes | publisher=Dover Publications | edition=Third | oclc=798003 | date=1973 | orig-year=1948 | isbn=0-486-61480-8 | url=https://books.google.com/books?id=2ee7AQAAQBAJ | page=48 | access-date=2019-09-13 | archive-date=2016-05-10 | archive-url=https://web.archive.org/web/20160510232831/https://books.google.com/books?id=2ee7AQAAQBAJ | dead-url=no }}</ref>例如兩個[[正四面體]]組成的[[星形八面體]]，其類似於由兩個[[正三角形]]組成的[[大衛之星]]在三維空間中的類比。多個正多面體的複合結構也可以有其他種類，然而其未必會符合標記<ref group="註" name="Flag (geometry)"/>可遞<ref group="註" name="element-transitive of a polyhedra"/>的特性，因此不能算是正多面體，例如[[三複合正八面體]]。
{| class="wikitable" width=640
{| class="wikitable" width=640
|- align=center
|- align=center
第65行： 第65行：
|[[星形八面體|二複合正四面體]]<br>[[星形八面體]]<br/>2 {3,&nbsp;3}||[[五複合正四面體]]<br>5 {3,&nbsp;3}||[[十複合正四面體]]<br>10 {3,&nbsp;3}||[[五複合立方體]]<br>5 {4,&nbsp;3}||[[五複合正八面體]]<br>5 {3,&nbsp;4}
|[[星形八面體|二複合正四面體]]<br>[[星形八面體]]<br/>2 {3,&nbsp;3}||[[五複合正四面體]]<br>5 {3,&nbsp;3}||[[十複合正四面體]]<br>10 {3,&nbsp;3}||[[五複合立方體]]<br>5 {4,&nbsp;3}||[[五複合正八面體]]<br>5 {3,&nbsp;4}
|- align=center
|- align=center
|''χ'' = 4||''χ'' = 10|| || ||
|{{math|''χ''}} = 4||{{math|''χ''}} = 10||{{math|''χ''}} = 0 ||{{math|''χ''}} = −10 ||{{math|''χ''}} = 10
|}
|}


第76行： 第76行：
*所有[[頂點圖]]（頂點的截面）皆為正多邊形
*所有[[頂點圖]]（頂點的截面）皆為正多邊形
*所有[[立體角]]皆相等<ref>{{cite book
*所有[[立體角]]皆相等<ref>{{cite book
| last = Cromwell | first = Peter R. | title = Polyhedra | publisher = Cambridge University Press | year = 1997 | page = 77 | isbn = 0-521-66405-5 }}</ref>
| last = Cromwell | first = Peter R. | title = Polyhedra | url = https://archive.org/details/polyhedra00crom | publisher = Cambridge University Press | year = 1997 | page = [https://archive.org/details/polyhedra00crom/page/77 77] | isbn = 0-521-66405-5 }}</ref>
=== 同心球 ===
=== 同心球 ===
正多面體具有三個相關的球體（其他非正多面體至少缺少一種），其球心位於同一個點上：
正多面體具有三個相關的球體（其他非正多面體至少缺少一種），其球心位於同一個點上：
*與所有面相切的[[内切球]]
*與所有面相切的[[内切球]]
*與所有稜相切的{{link-en|稜切球|Midsphere}}
*與所有稜相切的[[中分球]]
*過所有頂點的[[外接球]]
*過所有頂點的[[外接球]]


第123行： 第123行：
!288個[[正方形]]面<BR>576條邊<BR>144個頂點
!288個[[正方形]]面<BR>576條邊<BR>144個頂點
!144個[[正八邊形]]面<BR>576條邊<BR>288個頂點
!144個[[正八邊形]]面<BR>576條邊<BR>288個頂點
!''n''<sup>2</sup>個正方形面<BR>2''n''<sup>2</sup>條邊<BR>''n''<sup>2</sup>個頂點
!{{math|''n''<sup>2</sup>}}個正方形面<BR>{{math|2''n''<sup>2</sup>}}條邊<BR>{{math|''n''<sup>2</sup>}}個頂點
|}
|}


第134行： 第134行：
!名稱
!名稱
![[黑塞二十七面體]]
![[黑塞二十七面體]]
!雙黑塞二十七面體
![[雙黑塞二十七面體]]
![[截半黑塞二十七面體]]
![[截半黑塞二十七面體]]
|- align=center
|- align=center
第146行： 第146行：
|- align=center
|- align=center
!面
!面
|27個[[莫比烏斯－坎特八邊形|<sub>3</sub>{3}<sub>3</sub>]] [[File:Complex polygon 3-3-3.png|40px]]
|27個[[莫比烏斯－坎特八邊形|<sub>3</sub>{3}<sub>3</sub>]] [[File:Complex polygon 3-3-3.svg|40px]]
|72個{{link-en|三角三角柱體柱#相關複多邊形|3-3_duoprism#Related_complex_polygon|<sub>2</sub>&#123;4&#125;<sub>3</sub>}} [[File:3-generalized-2-orthoplex_skew.svg|60px]]
|72個{{link-en|三角三角柱體柱#相關複多邊形|3-3_duoprism#Related_complex_polygon|<sub>2</sub>&#123;4&#125;<sub>3</sub>}} [[File:3-generalized-2-orthoplex_skew.svg|60px]]
|54個[[莫比烏斯－坎特八邊形|<sub>3</sub>{3}<sub>3</sub>]] [[File:Complex polygon 3-3-3.png|40px]]
|54個[[莫比烏斯－坎特八邊形|<sub>3</sub>{3}<sub>3</sub>]] [[File:Complex polygon 3-3-3.svg|40px]]
|- align=center
|- align=center
!圖像<br/>藍色表示其中一面
!圖像<br/>藍色表示其中一面
第157行： 第157行：


==== 四元數空間的正多面體 ====
==== 四元數空間的正多面體 ====
在幾何中，四元數空間的多面體是實數空間中的多面體在四元數空間的推廣。其與複數空間類似，點不具有序性，因此沒有「位於...之間」的相互關係，因此一個四元數空間多面體可以被理解為一組點、線和面等的排佈關係，其中，點維多條線的連接點、線連接了多個面。由於[[四元數]]的乘法不具有交換率，因此必須透過純量與向量相乘來構建乘法系統，通常會使用左乘法。<ref>{{cite book|url=https://books.google.com/?id=XpDbBwAAQBAJ&pg=PA219&lpg=PA219&dq=quaternionic+polytope#v=onepage&q=quaternionic%20polytope&f=false |title=The Geometric Vein: The Coxeter Festschrift - Google Books |date= 2012-12-06|accessdate=2016-04-15|isbn=9781461256489 |last1=Davis |first1=C. |last2=Grünbaum |first2=B. |last3=Sherk |first3=F.A }}</ref>
在幾何中，四元數空間的多面體是實數空間中的多面體在四元數空間的推廣。其與複數空間類似，點不具有序性，因此沒有「位於...之間」的相互關係，因此一個四元數空間多面體可以被理解為一組點、線和面等的排佈關係，其中，點為多條線的連接點、線連接了多個面。由於[[四元數]]的乘法不具有交換率，因此必須透過純量與向量相乘來構建乘法系統，通常會使用左乘法。<ref>{{cite book|url=https://books.google.com/?id=XpDbBwAAQBAJ&pg=PA219&lpg=PA219&dq=quaternionic+polytope#v=onepage&q=quaternionic%20polytope&f=false |title=The Geometric Vein: The Coxeter Festschrift - Google Books |date= 2012-12-06|accessdate=2016-04-15|isbn=9781461256489 |last1=Davis |first1=C. |last2=Grünbaum |first2=B. |last3=Sherk |first3=F.A }}</ref>


四元數空間的正多面體與實數空間的正多面體和複數空間的正多面體一樣，其對稱性皆可以被描述為反射群。例如，一個正的四元數空間直線可以與''U''<sub>1</sub>('''H''')的有限子群一一對應：{{link-en|二元循環群|binary cyclic group}}、二元二面體群（參閱{{link-ja|一般四元数群|一般四元数群}}章節{{link-en|一般四元数群#二元二面體群|Dicyclic_group#Binary_dihedral_group|二元二面體群}}）
四元數空間的正多面體與實數空間的正多面體和複數空間的正多面體一樣，其對稱性皆可以被描述為反射群。例如，一個正的四元數空間直線可以與''U''<sub>1</sub>('''H''')的有限子群一一對應：{{link-en|二元循環群|binary cyclic group}}、二元二面體群（參閱{{link-ja|一般四元数群|一般四元数群}}章節{{link-en|一般四元数群#二元二面體群|Dicyclic_group#Binary_dihedral_group|二元二面體群}}）
第163行： 第163行：


==== 雙曲空間的正多面體 ====
==== 雙曲空間的正多面體 ====
[[File:633 honeycomb one cell horosphere.png|thumb|[[三階六邊形鑲嵌蜂巢體]]{6,3,3}中的[[正六邊形鑲嵌]]{6,3}胞其頂點皆位於該雙曲空間{{link-en|极限球|Horosphere}}上。這時可以將這個結構視為一個雙曲空間的正多面體。]]
[[File:633 honeycomb one cell horosphere.png|thumb|[[三階六邊形鑲嵌蜂巢體]]{6,3,3}中的[[正六邊形鑲嵌]]{6,3}胞其頂點皆位於該雙曲空間{{link-en|极限球|Horosphere}}上。這時可以將這個結構視為一個雙曲空間的正多面體]]
在H<sup>3</sup>的雙曲[[仿緊空間]]中的正堆砌體或蜂巢結構體通常具有[[正鑲嵌圖]]的胞或[[頂點圖]]。在這樣的結構中，這些鑲嵌圖可以視為存在角虧並在封閉於一個無窮遠點。若當雙曲正堆砌體或蜂巢結構體位於非緊空間時則其會封閉於2個或以上個無窮遠點甚至是發散。
在H<sup>3</sup>的雙曲[[仿緊空間]]中的正堆砌體或蜂巢結構體通常具有[[正鑲嵌圖]]的胞或[[頂點圖]]。在這樣的結構中，這些鑲嵌圖可以視為存在角虧並在封閉於一個無窮遠點。若當雙曲正堆砌體或蜂巢結構體位於非緊空間時則其會封閉於2個或以上個無窮遠點甚至是發散。


第181行： 第181行：


在考克斯特於1977年出版的著作《{{link-en|正多胞形 (書籍)|Regular_Polytopes_(book)|正多胞形}}》中列出了五種不存在良好具像化實例的抽象正多面體。後來在1987年{{link-de|耶爾格·邁克爾·威利|Jörg Michael Wills}}的論文又再次的確定了共存在五種有這種性質的抽象正多面體。<ref name="article wills1987combinatorially">{{cite journal
在考克斯特於1977年出版的著作《{{link-en|正多胞形 (書籍)|Regular_Polytopes_(book)|正多胞形}}》中列出了五種不存在良好具像化實例的抽象正多面體。後來在1987年{{link-de|耶爾格·邁克爾·威利|Jörg Michael Wills}}的論文又再次的確定了共存在五種有這種性質的抽象正多面體。<ref name="article wills1987combinatorially">{{cite journal
|title=The combinatorially regular polyhedra of index 2
|title=The combinatorially regular polyhedra of index 2
|author=Wills, Jörg Michael
|author=Wills, Jörg Michael
|journal=aequationes mathematicae
|journal=aequationes mathematicae
|volume=34
|volume=34
|number=2-3
|number=2-3
|pages=206--220
|pages=206--220
|year=1987
|year=1987
|publisher=Springer}}</ref>這五種抽象多面體都具有C<sub>2</sub>×S<sub>5</sub>對稱性，但只能具像化出一半的對稱性，即C<sub>2</sub>×A<sub>5</sub>或二十面體群對稱性。<ref>{{Cite web | url = http://homepages.wmich.edu/~drichter/regularpolyhedra.htm | title = The Regular Polyhedra (of index two) | archiveurl = https://web.archive.org/web/20160304023021/http://homepages.wmich.edu/~drichter/regularpolyhedra.htm | archivedate = 2016-03-04 | author = David A. Richter | publisher = [[西密西根大學]]}}</ref><ref>[https://arxiv.org/pdf/1005.4911.pdf Regular Polyhedra of Index Two, I] Anthony M. Cutler, Egon Schulte, 2010</ref><ref>[https://www.researchgate.net/publication/225386108_Regular_Polyhedra_of_Index_Two_II Regular Polyhedra of Index Two, II]  Beitrage zur Algebra und Geometrie 52(2):357–387 · November 2010, Table 3, p.27</ref>
|publisher=Springer}}</ref>這五種抽象多面體都具有C<sub>2</sub>×S<sub>5</sub>對稱性，但只能具像化出一半的對稱性，即C<sub>2</sub>×A<sub>5</sub>或二十面體群對稱性。<ref>{{Cite web | url = http://homepages.wmich.edu/~drichter/regularpolyhedra.htm | title = The Regular Polyhedra (of index two) | archiveurl = https://web.archive.org/web/20160304023021/http://homepages.wmich.edu/~drichter/regularpolyhedra.htm | archivedate = 2016-03-04 | author = David A. Richter | publisher = [[西密西根大學]]}}</ref><ref>[https://arxiv.org/pdf/1005.4911.pdf Regular Polyhedra of Index Two, I] {{Wayback|url=https://arxiv.org/pdf/1005.4911.pdf |date=20180828102425 }} Anthony M. Cutler, Egon Schulte, 2010</ref><ref>[https://www.researchgate.net/publication/225386108_Regular_Polyhedra_of_Index_Two_II Regular Polyhedra of Index Two, II] {{Wayback|url=https://www.researchgate.net/publication/225386108_Regular_Polyhedra_of_Index_Two_II |date=20180828134402 }}  Beitrage zur Algebra und Geometrie 52(2):357–387 · November 2010, Table 3, p.27</ref>
{| class="wikitable" width=400
{| class="wikitable" width=400
|- align=center
|- align=center
第199行： 第199行：
|- align=center
|- align=center
!種類
!種類
||{5,4}<sub>6</sub>的對偶 ||{5,4}<sub>6</sub> ||{5,6}<sub>4</sub>的對偶 ||{5,6}<sub>4</sub> || {6,6}<sub>6</sub>
||{4,5}<sub>6</sub> ||{5,4}<sub>6</sub> ||{6,5}<sub>4</sub> ||{5,6}<sub>4</sub> || {6,6}<sub>6</sub>
|- align=center
|- align=center
!頂點圖
!頂點圖
第230行： 第230行：
|}
|}
==== 皮特里對偶 ====
==== 皮特里對偶 ====
{{main|皮特里對偶}}
柏拉圖立體的{{link-en|皮特里對偶}}是一種{{link-en|正則地區圖|Regular_map_(graph_theory)}}，其頂點和邊對應於原始多面體的頂點和邊，其面是扭歪皮特里多邊形的集合。<ref>{{citation|title=Abstract Regular Polytopes|volume=92|series=Encyclopedia of Mathematics and its Applications|first1=Peter|last1=McMullen|first2=Egon|last2=Schulte|publisher=Cambridge University Press|year=2002|isbn=9780521814966|page=192|url=https://books.google.com/books?id=JfmlMYe6MJgC&pg=PA192}}</ref>
柏拉圖立體的{{link-en|皮特里對偶}}是一種[[正則地區圖]]，其頂點和邊對應於原始多面體的頂點和邊，其面是扭歪皮特里多邊形的集合。<ref>{{citation|title=Abstract Regular Polytopes|volume=92|series=Encyclopedia of Mathematics and its Applications|first1=Peter|last1=McMullen|first2=Egon|last2=Schulte|publisher=Cambridge University Press|year=2002|isbn=9780521814966|page=192|url=https://books.google.com/books?id=JfmlMYe6MJgC&pg=PA192}}</ref>
{| class=wikitable
{| class=wikitable
|+ 正皮特里多面體
|+ 正多面體的皮特里對偶
!名稱
!名稱
!皮特里四面體<BR>
![[皮特里正四面體]]
!皮特里立方體
![[皮特里立方體]]
!皮特里八面體
![[皮特里正八面體]]
!皮特里十二面體
![[皮特里正十二面體]]
!皮特里二十面體
![[皮特里正二十面體]]
|- align=center
|- align=center
!施萊夫利符號
![[施萊夫利符號]]
|{3,3}<sup>{{pi}}</sup>
|{{math|{3,3}<sup>{{pi}}</sup>、 {4,3}<sub>3</sub>}}
|{4,3}<sup>{{pi}}</sup>
|{{math|{4,3}<sup>{{pi}}</sup>、 {6,3}<sub>4</sub>}}
|{3,4}<sup>{{pi}}</sup>
|{{math|{3,4}<sup>{{pi}}</sup>、 {6,4}<sub>3</sub>}}
|{5,3}<sup>{{pi}}</sup>
|{{math|&#123;5,3&#125;<sup>{{pi}}</sup>、 &#123;10,3&#125;}}
|{3,5}<sup>{{pi}}</sup>
|{{math|&#123;3,5&#125;<sup>{{pi}}</sup>、 &#123;10,5&#125;}}
|- align=center
|- align=center
!(''v'',''e'',''f''), [[歐拉特徵數|''&chi;'']]
!(頂點數,邊數,面數), [[欧拉示性数|&chi;]]
|(4,6,3), ''&chi;'' = 1||(8,12,4), ''&chi;'' = 0||(6,12,4), ''&chi;'' = −2||(20,30,6), ''&chi;'' = −4||(12,30,6), ''&chi;'' = −12
|{{math|1=(4,6,3), ''&chi;'' = 1}}||{{math|1=(8,12,4), ''&chi;'' = 0}}||{{math|1=(6,12,4), ''&chi;'' = −2}}||{{math|1=(20,30,6), ''&chi;'' = −4}}||{{math|1=(12,30,6), ''&chi;'' = −12}}
|- align=center
|- align=center
!面
!rowspan=2|面
|3個扭歪四邊形
|rowspan=2|3個正扭歪四邊形<br/>[[File:Face_of_petrial_tetrahedron.gif|120px]]
|colspan=2|4個扭歪六邊形
|colspan=2 style="border-bottom-style:none;"|4個正扭歪六邊形
|colspan=2|6個扭歪十邊形
|colspan=2 style="border-bottom-style:none;"|6個正扭歪十邊形
|- align=center
|style="border-top-style:none;"|[[File:Face_of_petrial_cube.gif|120px]]
|style="border-top-style:none;"|[[File:Face_of_petrial_octahedron.gif|120px]]
|style="border-top-style:none;"|[[File:Face_of_petrial_dodecahedron.gif|120px]]
|style="border-top-style:none;"|[[File:Face_of_petrial_icosahedron.gif|120px]]
|- align=center
|- align=center
!圖像
!圖像
第261行： 第267行：
|[[File:Petrial_dodecahedron.png|120px]]
|[[File:Petrial_dodecahedron.png|120px]]
|[[File:petrial_icosahedron.png|120px]]
|[[File:petrial_icosahedron.png|120px]]
|- align=center
!旋轉動畫
|[[File:Petrial_tetrahedron.gif|120px]]
|[[File:Petrial_cube.gif|120px]]
|[[File:Petrial octahedron.gif|120px]]
|[[File:Petrial_dodecahedron.gif|120px]]
|[[File:petrial_icosahedron.gif|120px]]
|- align=center valign=bottom
|- align=center valign=bottom
!相關圖
!相關圖
|[[File:Hemicube.svg|120px]]<BR>{4,3}<sub>3</sub> = [[hemi-cube (geometry)|{4,3}/2]] = {4,3}<sub>(2,0)</sub>
|[[File:Hemicube.svg|160px]]<BR>{4,3}<sub>3</sub> = [[立方體半形|{4,3}/2]] = {4,3}<sub>(2,0)</sub>
|[[File:Regular map 6-3 2-0.png|120px]]<BR>{6,3}<sub>3</sub> = {6,3}<sub>(2,0)</sub>
|[[File:Regular map 6-3 2-0.png|160px]]<BR>{6,3}<sub>3</sub> = {6,3}<sub>(2,0)</sub>
|[[File:Regular_map_6_4-3_pattern.png|120px]]<BR>{6,4}<sub>3</sub> = {6,4}<sub>(4,0)</sub>
|[[File:Regular_map_6_4-3_pattern.png|160px]]<BR>{6,4}<sub>3</sub> = {6,4}<sub>(4,0)</sub>
|{10,3}<sub>5</sub>
|[[File:Regular map 10-3 5 pattern.png|160px]]<BR>{10,3}<sub>5</sub>
|{10,5}<sub>3</sub>
|{10,5}<sub>3</sub>
|}
|}
第274行： 第287行：
{| class=wikitable width=640
{| class=wikitable width=640
|- align=center
|- align=center
|[[File:Uniform tiling 332-t0-1-.png|100px]]<br>[[正四面體]]<br>{3,3}
|[[File:Uniform tiling 332-t0-1-.svg|100px]]<br>[[正四面體]]<br>{3,3}
|[[File:Uniform tiling 432-t0.png|100px]]<br>[[立方體]]<br>{4,3}
|[[File:Uniform tiling 432-t0.png|100px]]<br>[[立方體]]<br>{4,3}
|[[File:Uniform tiling 432-t2.png|100px]]<br>[[正八面體]]<br>{3,4}
|[[File:Uniform tiling 432-t2.png|100px]]<br>[[正八面體]]<br>{3,4}
第285行： 第298行：
|[[File:Great dodecahedron tiling.png|100px]]<br>[[大十二面體]]<br>{5,5/2}
|[[File:Great dodecahedron tiling.png|100px]]<br>[[大十二面體]]<br>{5,5/2}
|[[File:Great stellated dodecahedron tiling.png|100px]]<br>[[大星形十二面體]]<br>{5/2,3}
|[[File:Great stellated dodecahedron tiling.png|100px]]<br>[[大星形十二面體]]<br>{5/2,3}
|[[File:Great icosahedron tiling.png|100px]]<br>[[大二十面體]]<br>{3,5/2}
|[[File:Great icosahedron tiling.svg|100px]]<br>[[大二十面體]]<br>{3,5/2}
|}
|}


第298行： 第311行：
|[[File:Hexagonal dihedron.png|100px]]<br>[[正六邊形]]二面體<br>{6,2}
|[[File:Hexagonal dihedron.png|100px]]<br>[[正六邊形]]二面體<br>{6,2}
|...
|...
|{''n'',2}
|&#123;{{math|''n''}},2}
|- align=center valign=bottom
|- align=center valign=bottom
|[[File:Digonal dihedron.png|100px]]<br>正二面形<br>{2,2}
|[[File:Digonal dihedron.png|100px]]<br>正二面形<br>{2,2}
|[[File:Trigonal hosohedron.png|100px]]<br>正三面形<br>{2,3}
|[[File:Trigonal hosohedron.png|100px]]<br>正三面形<br>{2,3}
|[[File:Spherical square hosohedron.png|100px]]<br>正四面形<br>{2,4}
|[[File:Spherical square hosohedron.svg|100px]]<br>正四面形<br>{2,4}
|[[File:Spherical pentagonal hosohedron.png|100px]]<br>正五面形<br>{2,5}
|[[File:Spherical pentagonal hosohedron.svg|100px]]<br>正五面形<br>{2,5}
|[[File:Hexagonal hosohedron.png|100px]]<br>正六面形<br>{2,6}
|[[File:Hexagonal hosohedron.png|100px]]<br>正六面形<br>{2,6}
|...
|...
|{2,''n''}
|{2,{{math|''n''}}&#125;
|}
|}

== 相關多面體 ==
部分多面體雖然不是正多面體，但與正多面體有一定的關連。
=== 正多邊形多面體 ===
{{main|正多邊形多面體}}
{{Geometric Shape Example
|shape class=正多邊形多面體
|Uniform_polyhedron-53-t0.png|name=[[正十二面體]]
|Small_rhombicuboctahedron.png|name2=[[小斜方截半立方体]]
|Bilunabirotunda.png|name3=[[雙新月雙罩帳]]
|Pentagrammic prism.png|name4={{link-en|五角星柱|Pentagrammic prism}}
}}
正多邊形多面體或稱正多邊形面多面體（Regular-faced Polyhedron）是指所有面都是正多邊形的多面體。<ref>{{cite web|url= http://tupelo-schneck.org/polyhedra/background.html|title= Regular-faced Polyhedra|author= Robert R Tupelo-Schneck|access-date= 2023-01-31|archive-date= 2022-11-14|archive-url= https://web.archive.org/web/20221114153406/http://tupelo-schneck.org/polyhedra/background.html|dead-url= no}}</ref>在三維空間中，所有面都是正多邊形不一定能滿足正多面體的定義，例如92種[[詹森多面體]]雖然所有面都是正多邊形但都不是正多面體。正多邊形多面體可以分為以下幾類：<ref>{{Cite web | url=http://home.comcast.net/~tpgettys/poly.html | title=Polyhedral Solids | author=Tom Gettys | archive-date=2014-04-18 | archive-url=https://web.archive.org/web/20140418101130/http://home.comcast.net/~tpgettys/poly.html | website=comcast.net | access-date=2022-07-17 | dead-url=no }}</ref>
{| class=wikitable
![[凸多面體]]
![[等面圖形|等面]]
![[等角圖形|等角]]
!種類
!數量
|-
|{{yes|是}}
|{{yes|是}}
|{{yes|是}}
|| 凸正多面體（[[柏拉圖立體]]）
|| 5
|-
|{{yes|是}}
|{{yes|是}}
|{{no|否}}
|| 凸正[[三角面多面體]]（[[正四面體]]、[[正八面體]]、[[正二十面體]]除外，因為此三者為[[柏拉圖立體]]，是[[等角圖形]]）
|| 5（凸正三角面多面體有8個<ref>{{citation|last1=Freudenthal|first1=H|last2=van der Waerden|first2=B. L.|authorlink1=Hans Freudenthal | authorlink2=B. L. van der Waerden|title=Over een bewering van Euclides ("On an Assertion of Euclid")|journal=[[Simon Stevin (journal)|Simon Stevin]]|volume=25|pages=115–128|year=1947|language=nl}}（其表明只有8個凸正三角面多面體）</ref>，但是扣掉3個）
|-
|rowspan=2 {{yes|是}}
|rowspan=2 {{no|否}}
|rowspan=2 {{yes|是}}
|| 正[[棱柱|角柱]]、正[[反角柱]]
|| ∞
|-
|| [[阿基米德立體]]
|| 13
|-
|{{yes|是}}
|{{no|否}}
|{{no|否}}
|| [[詹森多面體]]（[[雙三角錐|J12]]、[[雙五角錐|J13]]、[[雙四角錐反角柱|J17]]、[[三側錐三角柱|J51]]、[[扭稜鍥形體|J84]]除外，因為此五者為[[三角面多面體]]，[[等面圖形|所有面全等]]）
|| 87（詹森多面體有92個，但是扣掉5個）
|-
|{{no|否}}
|{{yes|是}}
|{{yes|是}}
|| [[星形正多面體]]（[[克卜勒－龐索立體]]）
|| 4
|-
|{{no|否}}
|{{yes|是}}
|{{no|否}}
|| 非凸正[[三角面多面體]]（含{{link-ja|多連正四面體|正四面体リング}}）、[[多連立方體]]（正方形面不共面的情況）、多連正十二面體
|| ∞
|-
|rowspan=2 {{no|否}}
|rowspan=2 {{no|否}}
|rowspan=2 {{yes|是}}
|| 正星形柱、正星形反柱（皆屬於[[柱狀均勻多面體]]）
|| ∞
|-
|| [[星形均勻多面體]]
|| 53<ref>{{Cite web |url = http://www.quantimegroup.com/solutions/pages/Archimedean2.0/KasparianConstructions.html |title = Introducing the Kasparian Solids |publisher = quantimegroup.com |accessdate = 2019-09-27 |archive-date = 2018-08-31 |archive-url = https://web.archive.org/web/20180831040825/http://www.quantimegroup.com/solutions/pages/Archimedean2.0/KasparianConstructions.html |dead-url = no }}</ref>
|-
|{{no|否}}
|{{no|否}}
|{{no|否}}
|| 其他由正多邊形組成的非凸多面體（例如[[側錐七角柱]]）
|| ∞
|}
有{{math|''n''}}個面的凸正多邊形多面體的個數為（從{{math|''n''}}=1開始）：

:0{{NewLineMark|、}}0{{NewLineMark|、}}0{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}3{{NewLineMark|、}}2{{NewLineMark|、}}7{{NewLineMark|、}}3{{NewLineMark|、}}6{{NewLineMark|、}}4{{NewLineMark|、}}7{{NewLineMark|、}}3{{NewLineMark|、}}13{{NewLineMark|、}}2{{NewLineMark|、}}5{{NewLineMark|、}}4{{NewLineMark|、}}6{{NewLineMark|、}}1{{NewLineMark|、}}9{{NewLineMark|、}}2{{NewLineMark|、}}6{{NewLineMark|、}}1{{NewLineMark|、}}4{{NewLineMark|、}}1{{NewLineMark|、}}8{{NewLineMark|、}}4{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}3{{NewLineMark|、}}1{{NewLineMark|、}}10{{NewLineMark|、}}1{{NewLineMark|、}}3{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}4{{NewLineMark|、}}3{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}9{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}2{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}9{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}9{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}... {{OEIS|A180916}}

有{{math|''n''}}個頂點的凸正多邊形多面體的個數為（從{{math|''n''}}=1開始）：

:0{{NewLineMark|、}}0{{NewLineMark|、}}0{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}3{{NewLineMark|、}}3{{NewLineMark|、}}6{{NewLineMark|、}}5{{NewLineMark|、}}7{{NewLineMark|、}}4{{NewLineMark|、}}10{{NewLineMark|、}}1{{NewLineMark|、}}6{{NewLineMark|、}}5{{NewLineMark|、}}6{{NewLineMark|、}}0{{NewLineMark|、}}6{{NewLineMark|、}}0{{NewLineMark|、}}8{{NewLineMark|、}}1{{NewLineMark|、}}4{{NewLineMark|、}}1{{NewLineMark|、}}8{{NewLineMark|、}}4{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}3{{NewLineMark|、}}0{{NewLineMark|、}}9{{NewLineMark|、}}0{{NewLineMark|、}}3{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}3{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}5{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}3{{NewLineMark|、}}0{{NewLineMark|、}}5{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}4{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}10{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}0{{NewLineMark|、}}2{{NewLineMark|、}}1{{NewLineMark|、}}2{{NewLineMark|、}}... {{OEIS|A333660}}

=== 稀有多面體 ===
{{Geometric Shape Example
|shape class=稀有多面體
|Uniform_polyhedron-53-t0.png|name=[[正十二面體]]
|Stephanoid5.png|name2={{link-en|環面多面體#冠狀多面體|Toroidal_polyhedron#Crown_polyhedra|冠狀多面體}}
|Small_stellated_dodecahedron_constructed_by_dodecahedron.svg|name3=[[小星形十二面體]]
|Stellation icosahedron d.png|name4=[[六複合五方偏方面體|D-星形二十面體]]<ref name="bendwavy noble {9,3} modwrap within srid">{{cite klitzing|noble-93-in-srid.htm|rooturl=incmats | title = noble {9,3} modwrap within srid | access-date = 2021-10-15}}</ref><ref name="georgehart">{{Cite web| url=http://www.georgehart.com/virtual-polyhedra/equal-face-equal-vertex.html| title=Polyhedra with Equal Faces and Equal Vertex Figures| author=George W. Hart| website=Virtual Polyhedra, georgehart.com| year=1996| access-date=2021-10-15| archive-date=2020-02-24| archive-url=https://web.archive.org/web/20200224184702/http://georgehart.com/virtual-polyhedra/equal-face-equal-vertex.html| dead-url=no}}</ref>
}}
{{main|稀有多面體}}
[[稀有多面體]]是指同時具備[[等面圖形|面可遞]]和[[等角圖形|點可遞]]的立體，也就是說這類立體既是[[等面圖形|等面]]的也是[[等角圖形|等角]]的，由於三維空間的複雜性，要滿足此特性並不容易，因此稱稀有多面體。稀有多面體不一定是正多面體，因為稀有多面體不一定滿足[[等邊圖形|等邊]]（邊可遞）的特性，但所有正多面體都是[[稀有多面體]]。


== 參見 ==
== 參見 ==
第321行： 第426行：
== 參考文獻 ==
== 參考文獻 ==
{{refbegin|2}}
{{refbegin|2}}
# [[Joseph Louis François Bertrand|Bertrand, J.]] (1858). Note sur la théorie des polyèdres réguliers, ''Comptes rendus des séances de l'Académie des Sciences'', '''46''', pp.&nbsp;79–82.
# [[約瑟·伯特蘭|Bertrand, J.]] (1858). Note sur la théorie des polyèdres réguliers, ''Comptes rendus des séances de l'Académie des Sciences'', '''46''', pp.&nbsp;79–82.
# Haeckel, E. (1904). ''[[Kunstformen der Natur]]''. Available as Haeckel, E. ''Art forms in nature'', Prestel USA (1998), {{isbn|3-7913-1990-6}}, or online at [http://caliban.mpiz-koeln.mpg.de/~stueber/haeckel/kunstformen/natur.html mpiz-koeln.mpg.de]
# Haeckel, E. (1904). ''[[Kunstformen der Natur]]''. Available as Haeckel, E. ''Art forms in nature'', Prestel USA (1998), {{isbn|3-7913-1990-6}}, or online at [https://web.archive.org/web/20090627082453/http://caliban.mpiz-koeln.mpg.de/~stueber/haeckel/kunstformen/natur.html mpiz-koeln.mpg.de]
#Smith, J. V. (1982). ''Geometrical And Structural Crystallography''. John Wiley and Sons.
#Smith, J. V. (1982). ''Geometrical And Structural Crystallography''. John Wiley and Sons.
# [[Duncan MacLaren Young Sommerville|Sommerville, D. M. Y.]] (1930). ''An Introduction to the Geometry of n Dimensions.'' E. P. Dutton, New York. (Dover Publications edition, 1958). Chapter X: The Regular Polytopes.
# {{link-en|鄧肯·薩默維爾|Duncan MacLaren Young Sommerville|Sommerville, D. M. Y.}} (1930). ''An Introduction to the Geometry of n Dimensions.'' E. P. Dutton, New York. (Dover Publications edition, 1958). Chapter X: The Regular Polytopes.
#[[H.S.M. Coxeter|Coxeter, H.S.M.]]; Regular Polytopes (third edition). Dover Publications Inc. {{isbn|0-486-61480-8}}
#[[哈罗德·斯科特·麦克唐纳·考克斯特|Coxeter, H.S.M.]]; Regular Polytopes (third edition). Dover Publications Inc. {{isbn|0-486-61480-8}}
{{reflist}}
{{reflist}}
{{refend}}
{{refend}}
第335行： 第440行：


[[Category:多面體類型]]
[[Category:多面體類型]]
[[Category:正多面體|*]]
[[Category:稀有多面體]]

2025年1月4日 (六) 17:27的最新版本

此条目的主題是廣義的正多面體。关于常見的五種凸正多面體，請見「柏拉圖立體」。
正多面體
部分的正多面體
正八面體
正八面體
（柏拉圖立體） 		大十二面體
大十二面體
（克卜勒－龐索立體）
星形八面體
星形八面體 		四角六片四角孔扭歪無限面體
四角六片四角孔扭歪無限面體

在幾何學中，正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。在中文環境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為柏拉圖立體，其包括了正四面體、立方體、正八面體、正十二面體和正二十面體。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克卜勒－龐索立體）、五種抽象正多面體和五種複合正多面體。

概述

[编辑]
立方體的其中一個標記，其包括了立方體本身、其中一個正方形面、該面的其中一條稜、稜上的一個頂點以及這個立方體中「什麼都不選」的子集，即空多胞形，五個元素，正好每個維度各一個元素，且較大的元素包含較小的元素。若一個多面體所具備的對稱性可以讓這個多面體中任意兩個這樣（如上圖）的結構（或元素）A與B，透過該對稱性下的變換（如旋轉、平移或鏡射）使得A變換到B的位置上時，其仍然佔據了相同的空間區域時，則這個多面體是一個正多面體，前面的性質又可以稱為標記可遞

在幾何學中，正多面體是一類對稱性可以在其各維度元素的集合（或稱標記[註 1]）上傳遞的多面體。正多面體通常具有高度對稱性，其同時具有邊可遞，點可遞和面可遞的性質[註 2]，換句話說，即正多面體是同時具有等邊、等角和等面特性的多面體。在經典語境中，有許多描述上不同但實際上等價的定義存在，最常見的定義是每個面都是全等的正多邊形，且每個頂點都是相同數量且相同種類之正多邊形的公共頂點。例如立方體是一種正多面體，其每個面都是正方形，且每個頂點都是3個正方形的公共頂點。

所有正多面體皆可以使用施萊夫利符號來表示，其可以計為{n, m}。其中n表示構成面的頂點數，m則表示與頂點相鄰的多邊形數量。在中文語境中，一般被大眾認知的正多面體通常代表只有五種的凸正多面體，又稱為柏拉圖立體，其包括了正四面體、立方體、正八面體、正十二面體和正二十面體。然而在定義上，正多面體僅指每個面是正多邊形、每條邊等長每個角等角且每面全等的多面體，而符合上述定義的多面體不一定是凸多面體，也可能是星形多面體、抽象多面體或扭歪多面體等。這些多面體除了五種凸正多面體外，還有四種非凸正多面體（克普勒–龐索立體）、五種抽象正多面體和五種複合正多面體。

正多面體

[编辑]

一般常見的正多面體為五種正凸多面體，又稱為柏拉圖立體。除了這種凸多面體外，亦有非凸的正多面體，為四種星形正多面體，又稱為克普勒–龐索立體；以及五種正多面體的複合體。

柏拉圖立體

[编辑]
主条目：柏拉圖立體

廣泛地出現在文化中的五種正多面體。[2]

正四面體 {3, 3} 立方體 {4, 3} 正八面體 {3, 4} 正十二面體 {5, 3} 正二十面體 {3, 5}
χ = 2 χ = 2 χ = 2 χ = 2 χ = 2

克普勒–龐索立體

[编辑]
主条目：克卜勒－龐索立體

克卜勒－龐索立體的面同樣由正多邊形組成，但其面或邊有自我相交的情形，即非凸多面體。由於外觀如同星狀，因此又稱為星形正多面體。[3]

小星形十二面體
{5/2, 5} 		大十二面體
{5, 5/2} 		大星形十二面體
{5/2, 3} 		大二十面體
{3, 5/2}
χ = −6 χ = −6 χ = 2 χ = 2

複合正多面體

[编辑]

由多個同一種正多面體組合而成且具有高度對稱性的結構也可以視為正多面體的一種。[4]例如兩個正四面體組成的星形八面體，其類似於由兩個正三角形組成的大衛之星在三維空間中的類比。多個正多面體的複合結構也可以有其他種類，然而其未必會符合標記[註 1]可遞[註 2]的特性，因此不能算是正多面體，例如三複合正八面體。

二複合正四面體
星形八面體
2 {3, 3}		 五複合正四面體
5 {3, 3}		 十複合正四面體
10 {3, 3}		 五複合立方體
5 {4, 3}		 五複合正八面體
5 {3, 4}
χ = 4 χ = 10 χ = 0 χ = −10 χ = 10

性質

[编辑]

正多面體最基本的特性就是每個面都是全等的正多邊形、每條邊等長且每角等角。

等價性質

[编辑]

在定義中，每個頂點周圍有相似的面排佈的性質可以替換成下列的等價條件：

  • 此多面體的每個頂點都坐落在同一個球上（即存在外接球）
  • 每個二面角皆相等
  • 所有頂點圖（頂點的截面）皆為正多邊形
  • 所有立體角皆相等[5]

同心球

[编辑]

正多面體具有三個相關的球體（其他非正多面體至少缺少一種），其球心位於同一個點上：

廣義的正多面體

[编辑]

20世紀出現了一系列關於正多面體概念的概括，導致了正多面體出現了幾個新的種類。

正扭歪無限面體

[编辑]
主条目：正扭歪無限面體

在20世紀最初的幾十年，考克斯特和皮特里考慮了頂點的排佈以及角呈現馬鞍形樣式的多面體類型，並找到了三種由正多邊形組成且無限延伸的折疊形幾何結構，被命名為正扭歪無限面體。[6]

三維空間中的正扭歪無限面體的局部

四角六片四角孔扭歪無限面體
{4,6|4}
六角四片四角孔扭歪無限面體
{6,4|4}
六角六片三角孔扭歪無限面體
{6,6|3}

正扭歪多面體

[编辑]

如同扭歪多邊形的定義（不共面的多邊形），有限面數的扭歪多面體則為其無法所有面或頂點皆位於同一個三維空間的多面體，因此會需要四維或以上的空間來構造限面數的扭歪多面體，就如同皮特里多邊形為正多面體上的一個不共面封閉路徑，有限面數的扭歪多面體可以從四維正多胞體中取一個不共三維空間的封閉區域來構造。[7]

四維空間中的正扭歪有限面體
平行考克斯特平面投影 球極平面投影
A4 F4
四角六片三角孔扭歪正三十面體
{4, 6 | 3} 		{6, 4 | 3} {4, 8 | 3} {8, 4 | 3} {4, 4 | n}
30個正方形面
60條邊
20個頂點 		20個正六邊形面
60條邊
30個頂點 		288個正方形面
576條邊
144個頂點 		144個正八邊形面
576條邊
288個頂點 		n2個正方形面
2n2條邊
n2個頂點

位於非歐空間或其他空間的正多面體

[编辑]

在非歐幾里德空間（雙曲空間、橢圓空間等）以及諸如複數空間或四元數空間等其他空間被發現之後，對於這些空間幾何學的研究導致了更多新種類的正多面體被發現，如複正多面體[8]等，但這些正多面體只能在特定空間中維持其正的特性。

複數空間的正多面體

[编辑]

在幾何中，複數空間的多面體是實數空間中的多面體在複數空間的推廣。[8]

部分的複正多面體
名稱 黑塞二十七面體 雙黑塞二十七面體 截半黑塞二十七面體
施萊夫利符號 3{3}3{3}3 2{4}3{3}3 3{3}3{4}2
(頂點v、邊e、面f) (27, 72, 27) (54, 216, 72) (72, 216, 54)
面 27個3{3}3 72個2{4}3（英语：3-3_duoprism#Related_complex_polygon） 54個3{3}3
圖像
藍色表示其中一面

四元數空間的正多面體

[编辑]

在幾何中，四元數空間的多面體是實數空間中的多面體在四元數空間的推廣。其與複數空間類似，點不具有序性，因此沒有「位於...之間」的相互關係，因此一個四元數空間多面體可以被理解為一組點、線和面等的排佈關係，其中，點為多條線的連接點、線連接了多個面。由於四元數的乘法不具有交換率，因此必須透過純量與向量相乘來構建乘法系統，通常會使用左乘法。[10]

四元數空間的正多面體與實數空間的正多面體和複數空間的正多面體一樣，其對稱性皆可以被描述為反射群。例如，一個正的四元數空間直線可以與U1(H)的有限子群一一對應：二元循環群（英语：binary cyclic group）、二元二面體群（參閱一般四元数群（日语：一般四元数群）章節二元二面體群（英语：Dicyclic_group#Binary_dihedral_group）） 二元四面體群（英语：binary tetrahedral group）、二元八面體群（英语：binary octahedral group）和二元二十面體群（英语：binary icosahedral group）。[11]

雙曲空間的正多面體

[编辑]
三階六邊形鑲嵌蜂巢體{6,3,3}中的正六邊形鑲嵌{6,3}胞其頂點皆位於該雙曲空間极限球（英语：Horosphere）上。這時可以將這個結構視為一個雙曲空間的正多面體

在H3的雙曲仿緊空間中的正堆砌體或蜂巢結構體通常具有正鑲嵌圖的胞或頂點圖。在這樣的結構中，這些鑲嵌圖可以視為存在角虧並在封閉於一個無窮遠點。若當雙曲正堆砌體或蜂巢結構體位於非緊空間時則其會封閉於2個或以上個無窮遠點甚至是發散。

实射影平面的正多面體

[编辑]

另一組正多面體為实射影平面的鑲嵌結構，其包括了立方體半形、八面體半形、十二面體半形和二十面體半形。[12]其皆為（全域）投影多面體，並且對應到四個柏拉圖立體的投影結構。由於正四面體不像其他四個柏拉圖立體一樣擁有相對面，因此正四面體無法形成多面體半形。

正多面體半形

立方體半形
{4,3}
八面體半形
{3,4}
十二面體半形
{3,5}
二十面體半形
{5,3}

抽象正多面體

[编辑]

到目前為止，多面體皆被認為是任意維度之多胞形在三維空間的例子。在20世紀下半葉出現了抽象代數概念的發展，如多面體組合學（英语：Polyhedral_combinatorics），最終形成抽像多胞形（英语：Abstract_polytope）作為元素偏序关系的概念。抽像多面體的元素包括了它的主體（最大元素）、面、邊、頂點和空多胞形。這些抽像元素可以映射到普通空間或具體化成一個幾何形狀。一些抽象多面體具有良好具像化實例，但不一定所有的抽象多面體都能找到對應的具像化實例。抽象多面體與一般的多面體同樣可以定義標記[註 1]。若一抽象多面體的組合對稱性可以在其標記上傳遞[註 2]，則這個抽象多面體為抽象正多面體，換句話說，即任何標記都可以在多面體的對稱性下映射到任何其他標記上。

在考克斯特於1977年出版的著作《正多胞形（英语：Regular_Polytopes_(book)）》中列出了五種不存在良好具像化實例的抽象正多面體。後來在1987年耶爾格·邁克爾·威利（德语：Jörg Michael Wills）的論文又再次的確定了共存在五種有這種性質的抽象正多面體。[13]這五種抽象多面體都具有C2×S5對稱性，但只能具像化出一半的對稱性，即C2×A5或二十面體群對稱性。[14][15][16]

多面體
內側菱形三十面體
截半大十二面體
內側三角六邊形二十面體
雙三斜十二面體
凹五角錐十二面體
種類 {4,5}6 {5,4}6 {6,5}4 {5,6}4 {6,6}6
頂點圖 {5}, {5/2}
 (5.5/2)2
 {5}, {5/2}
 (5.5/3)3
面 30個菱形
 12個五邊形
12個五角星
 20個六邊形
 12個五邊形
12個五角星
 20個六邊形
鑲嵌
{4, 5}
{5, 4}
{6, 5}
{5, 6}
{6, 6}
χ −6 −6 −16 −16 −20

皮特里對偶

[编辑]
主条目：皮特里對偶

柏拉圖立體的皮特里對偶是一種正則地區圖，其頂點和邊對應於原始多面體的頂點和邊，其面是扭歪皮特里多邊形的集合。[17]

正多面體的皮特里對偶
名稱 皮特里正四面體 皮特里立方體 皮特里正八面體 皮特里正十二面體 皮特里正二十面體
施萊夫利符號 {3,3}π、 {4,3}3 {4,3}π、 {6,3}4 {3,4}π、 {6,4}3 {5,3}π、 {10,3} {3,5}π、 {10,5}
(頂點數,邊數,面數), χ (4,6,3), χ = 1 (8,12,4), χ = 0 (6,12,4), χ = −2 (20,30,6), χ = −4 (12,30,6), χ = −12
面 3個正扭歪四邊形
 4個正扭歪六邊形 6個正扭歪十邊形
圖像
旋轉動畫
相關圖
{4,3}3 = {4,3}/2 = {4,3}(2,0)
{6,3}3 = {6,3}(2,0)
{6,4}3 = {6,4}(4,0)
{10,3}5 		{10,5}3

球面多面體

[编辑]

五個凸正多面體和四個星形多面體皆可以表示成球面多面體，或球面鑲嵌：


正四面體
{3,3}
立方體
{4,3}
正八面體
{3,4}
正十二面體
{5,3}
正二十面體
{3,5}

小星形十二面體
{5/2,5}
大十二面體
{5,5/2}
大星形十二面體
{5/2,3}
大二十面體
{3,5/2}

只能存於球面的正多面體

[编辑]
参见：多面形和多邊形二面體

二角形二面體
{2,2}
正三角形二面體
{3,2}
正方形二面體
{4,2}
正五邊形二面體
{5,2}
正六邊形二面體
{6,2} 		... {n,2}

正二面形
{2,2}
正三面形
{2,3}
正四面形
{2,4}
正五面形
{2,5}
正六面形
{2,6} 		... {2,n}

相關多面體

[编辑]

部分多面體雖然不是正多面體，但與正多面體有一定的關連。

正多邊形多面體

[编辑]
主条目：正多邊形多面體
正多邊形多面體
部分的正多邊形多面體
正十二面體
正十二面體 		小斜方截半立方体
小斜方截半立方体
雙新月雙罩帳
雙新月雙罩帳 		五角星柱（英语：Pentagrammic prism）
五角星柱（英语：Pentagrammic prism）

正多邊形多面體或稱正多邊形面多面體（Regular-faced Polyhedron）是指所有面都是正多邊形的多面體。[18]在三維空間中，所有面都是正多邊形不一定能滿足正多面體的定義，例如92種詹森多面體雖然所有面都是正多邊形但都不是正多面體。正多邊形多面體可以分為以下幾類：[19]

凸多面體 等面 等角 種類 數量
是 是 是 凸正多面體（柏拉圖立體） 5
是 是 否 凸正三角面多面體（正四面體、正八面體、正二十面體除外，因為此三者為柏拉圖立體，是等角圖形） 5（凸正三角面多面體有8個[20]，但是扣掉3個）
是 否 是 正角柱、正反角柱 ∞
阿基米德立體 13
是 否 否 詹森多面體（J12、J13、J17、J51、J84除外，因為此五者為三角面多面體，所有面全等） 87（詹森多面體有92個，但是扣掉5個）
否 是 是 星形正多面體（克卜勒－龐索立體） 4
否 是 否 非凸正三角面多面體（含多連正四面體（日语：正四面体リング））、多連立方體（正方形面不共面的情況）、多連正十二面體 ∞
否 否 是 正星形柱、正星形反柱（皆屬於柱狀均勻多面體） ∞
星形均勻多面體 53[21]
否 否 否 其他由正多邊形組成的非凸多面體（例如側錐七角柱） ∞

有n個面的凸正多邊形多面體的個數為（從n=1開始）：

0、​0、​0、​1、​2、​3、​2、​7、​3、​6、​4、​7、​3、​13、​2、​5、​4、​6、​1、​9、​2、​6、​1、​4、​1、​8、​4、​2、​1、​3、​1、​10、​1、​3、​1、​2、​4、​3、​1、​2、​1、​9、​1、​2、​1、​2、​2、​2、​1、​2、​1、​9、​1、​2、​1、​2、​1、​2、​1、​2、​1、​9、​1、​2、​... （OEIS數列A180916）

有n個頂點的凸正多邊形多面體的個數為（從n=1開始）：

0、​0、​0、​1、​2、​3、​3、​6、​5、​7、​4、​10、​1、​6、​5、​6、​0、​6、​0、​8、​1、​4、​1、​8、​4、​2、​0、​3、​0、​9、​0、​3、​0、​2、​3、​2、​0、​2、​0、​5、​0、​2、​0、​2、​1、​2、​0、​3、​0、​5、​0、​2、​0、​2、​4、​2、​0、​2、​0、​10、​0、​2、​0、​2、​1、​2、​... （OEIS數列A333660）

稀有多面體

[编辑]
稀有多面體
部分的稀有多面體
正十二面體
正十二面體 		冠狀多面體（英语：Toroidal_polyhedron#Crown_polyhedra）
冠狀多面體（英语：Toroidal_polyhedron#Crown_polyhedra）
小星形十二面體
小星形十二面體 		D-星形二十面體[22][23]
D-星形二十面體[22][23]
主条目：稀有多面體

稀有多面體是指同時具備面可遞和點可遞的立體，也就是說這類立體既是等面的也是等角的，由於三維空間的複雜性，要滿足此特性並不容易，因此稱稀有多面體。稀有多面體不一定是正多面體，因為稀有多面體不一定滿足等邊（邊可遞）的特性，但所有正多面體都是稀有多面體。

參見

[编辑]

註解

[编辑]
  1. ^ 1.0 1.1 1.2 多面體標記是一系列多面體元素的集合，這個集合中會包括1個多面體的主體、多面體的其中一個面、前者提到的面中的其中一條稜、前者提到的稜中的其中一個頂點和一個空多胞形。
  2. ^ 2.0 2.1 2.2 在多面體中，某種元素的「可遞」性質代表這立體上的任意兩個同類元素A和B，透過在該立體的對稱性下旋轉或鏡射這個立體，使A移動到B原來的位置時，其元素仍然佔據了相同的空間區域[1]。

參考文獻

[编辑]
  1. Bertrand, J. (1858). Note sur la théorie des polyèdres réguliers, Comptes rendus des séances de l'Académie des Sciences, 46, pp. 79–82.
  2. Haeckel, E. (1904). Kunstformen der Natur. Available as Haeckel, E. Art forms in nature, Prestel USA (1998), ISBN 3-7913-1990-6, or online at mpiz-koeln.mpg.de
  3. Smith, J. V. (1982). Geometrical And Structural Crystallography. John Wiley and Sons.
  4. Sommerville, D. M. Y.（英语：Duncan MacLaren Young Sommerville） (1930). An Introduction to the Geometry of n Dimensions. E. P. Dutton, New York. (Dover Publications edition, 1958). Chapter X: The Regular Polytopes.
  5. Coxeter, H.S.M.; Regular Polytopes (third edition). Dover Publications Inc. ISBN 0-486-61480-8
  1. ^ McLean, K. Robin, Dungeons, dragons, and dice, The Mathematical Gazette, 1990, 74 (469): 243–256, JSTOR 3619822 .
  2. ^ 欧几里得. 燕晓东 , 编. 几何原本. 北京: 人民日报出版社. 2005年5月. ISBN 7-80208-294-3. 
  3. ^ Coxeter, Star polytopes and the Schläfli function f(α,β,γ) p. 121 1. The Kepler–Poinsot polyhedra
  4. ^ Coxeter, Harold Scott MacDonald. Regular Polytopes Third. Dover Publications. 1973: 48 [1948] [2019-09-13]. ISBN 0-486-61480-8. OCLC 798003. （原始内容存档于2016-05-10）. 
  5. ^ Cromwell, Peter R. Polyhedra. Cambridge University Press. 1997: 77. ISBN 0-521-66405-5. 
  6. ^ Coxeter, The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, ISBN 0-486-40919-8 (Chapter 5: Regular Skew Polyhedra in three and four dimensions and their topological analogues, Proceedings of the London Mathematics Society, Ser. 2, Vol 43, 1937.)
  7. ^ Regular Skew Polyhedra in three and four dimensions and their topological analogues, Proceedings of the London Mathematics Society, Ser. 2, Vol 43, 1937.
  8. ^ 8.0 8.1 Coxeter, Complex Regular polytopes,[9] Table V. The nonstarry regular polyhedra and 4-polytopes. p. 180.
  9. ^ Coxeter, H.S.M., Regular Complex Polytopes, Cambridge University Press, 1991, ISBN 0-521-39490-2 
  10. ^ Davis, C.; Grünbaum, B.; Sherk, F.A. The Geometric Vein: The Coxeter Festschrift - Google Books. 2012-12-06 [2016-04-15]. ISBN 9781461256489. 
  11. ^ Hans Cuypers. Regular quaternionic polytopes. Linear Algebra and Its Applications. September 1995,. 226-228: 311–329. doi:10.1016/0024-3795(95)00149-L. 
  12. ^ Coxeter, Introduction to geometry, 1969, Second edition, sec 21.3 Regular maps, p. 386-388
  13. ^ Wills, Jörg Michael. The combinatorially regular polyhedra of index 2. aequationes mathematicae (Springer). 1987, 34 (2-3): 206––220. 
  14. ^ David A. Richter. The Regular Polyhedra (of index two). 西密西根大學. （原始内容存档于2016-03-04）. 
  15. ^ Regular Polyhedra of Index Two, I （页面存档备份，存于互联网档案馆） Anthony M. Cutler, Egon Schulte, 2010
  16. ^ Regular Polyhedra of Index Two, II （页面存档备份，存于互联网档案馆）  Beitrage zur Algebra und Geometrie 52(2):357–387 · November 2010, Table 3, p.27
  17. ^ McMullen, Peter; Schulte, Egon, Abstract Regular Polytopes, Encyclopedia of Mathematics and its Applications 92, Cambridge University Press: 192, 2002, ISBN 9780521814966 
  18. ^ Robert R Tupelo-Schneck. Regular-faced Polyhedra. [2023-01-31]. （原始内容存档于2022-11-14）. 
  19. ^ Tom Gettys. Polyhedral Solids. comcast.net. [2022-07-17]. （原始内容存档于2014-04-18）. 
  20. ^ Freudenthal, H; van der Waerden, B. L., Over een bewering van Euclides ("On an Assertion of Euclid"), Simon Stevin, 1947, 25: 115–128 （荷兰语） （其表明只有8個凸正三角面多面體）
  21. ^ Introducing the Kasparian Solids. quantimegroup.com. [2019-09-27]. （原始内容存档于2018-08-31）. 
  22. ^ Klitzing, Richard. noble {9,3} modwrap within srid. bendwavy.org. [2021-10-15]. 
  23. ^ George W. Hart. Polyhedra with Equal Faces and Equal Vertex Figures. Virtual Polyhedra, georgehart.com. 1996 [2021-10-15]. （原始内容存档于2020-02-24）. 

外部連結

[编辑]
检索自“https://zh.wikipedia.org/zhwiki/w/index.php?title=正多面體&oldid=85558121”