查看“︁對偶多面體”︁的源代码

{{NoteTA
|G1=Math
|1=zh:鷂形;zh-cn:筝形;zh-hk:鳶形;zh-tw:鳶形;
}}
[[File:Dual Cube-Octahedron.svg|right|thumb|240px|[[正方体]]的对偶多面体是[[正八面体]]]]
在[[幾何學]]，'''對偶多面體'''指的是兩種[[多面體]]間的一種關聯。若一個多面體的頂點能對應到另一個多面體的面，且每個與兩頂點相連的邊能對應到與兩面相鄰的邊，則這兩個多面體互為對偶多面體。{{#tag:ref|{{harvtxt|Wenninger|1983}}<ref name="Wenninger 1983">{{citation| first=Magnus | last=Wenninger | author-link=Magnus Wenninger  | title=Dual Models | publisher=Cambridge University Press | year=1983 | isbn=0-521-54325-8 | mr = 0730208}}</ref>, "Basic notions about stellation and duality", p.&nbsp;1.}}任何多面體都可以定義其對偶多面體，其基本屬性也都能被明確定義，例如一個多面體的有多少面，對偶多面體就會有多少頂點，但一個具體存在的多面體其對應的對偶多面體不一定能被具體構造<ref>{{citation
 | last = Grünbaum | first = Branko | author-link = Branko Grünbaum
 | editor1-last = Aronov | editor1-first = Boris | editor1-link = Boris Aronov
 | editor2-last = Basu | editor2-first = Saugata
 | editor3-last = Pach | editor3-first = János | editor3-link = János Pach
 | editor4-last = Sharir | editor4-first = Micha | editor4-link = Micha Sharir
 | contribution = Are your polyhedra the same as my polyhedra?
 | doi = 10.1007/978-3-642-55566-4_21
 | mr = 2038487
 | pages = 461–488
 | publisher = Springer | location = Berlin
 | series = Algorithms and Combinatorics
 | title = Discrete and Computational Geometry: The Goodman–Pollack Festschrift
 | volume = 25
 | year = 2003| citeseerx = 10.1.1.102.755| isbn = 978-3-642-62442-1 }}</ref>。對偶多面體也可以作為一種多面體變換，這個多面體變換的完的像就是找出給定多面體的對偶多面體。對偶變換滿足[[對合|對合律]]，也就是說對偶多面體的對偶多面體等於自身。

兩個互為對偶的多面體擁有相同的對稱性，也因此許多由對稱性定義的多面體類，其對偶多面體仍屬於同一個多面體類，例如[[柏拉圖立體|凸正多面體]]的對偶多面體還是柏拉圖立體、[[星形正多面體]]的對偶多面體還是星形正多面體。

== 對偶的種類 ==
多面體的對偶多面體有多種種類。最常見的是極點與極線的互換性和拓樸或抽象的對偶性。一種最簡單的定義就是若一種[[多面體]]的每個頂點均能對應到另一種多面體上的每個面的中心，它就是對方的'''對偶多面體'''。

=== 極點與極線互換 ===
在歐幾里得空間中，多面體<math>P</math>的對偶多面體可以基於一個已知的[[球面|球]]之極點與極線互換來定義。在這個定義下，多面體的每個頂點（極點）都與一個平面（極平面）相關聯，每個頂點都在一個[[平面 (数学)|平面]]之上，使得由中心向頂點的射線都和平面[[垂直]]，且中心和每點的距離的平方等於[[半徑]]的[[平方]]{{#tag:ref|{{harvtxt|Cundy|Rollett|1961}}<ref>{{citation
 | last1 = Cundy | first1 = H. Martyn | author1-link = Martyn Cundy
 | last2 = Rollett | first2 = A. P.
 | edition = 2nd
 | location = Oxford
 | mr = 0124167
 | publisher = Clarendon Press
 | title = Mathematical Models
 | title-link = Mathematical Models (Cundy and Rollett)
 | year = 1961}}</ref>, 3.2 Duality, pp.&nbsp;78–79}}{{#tag:ref|{{harvtxt|Wenninger|1983}}<ref name="Wenninger 1983"/>, Pages 3-5. (Note, Wenninger's discussion includes nonconvex polyhedra.)}}。

若球體的半徑為<math>r</math>且幾何中心位於原點（此時球的方程式可以寫為<math>x^2 + y^2 + z^2 = r^2</math>），則多面體<math>P</math>的極點對偶可以定義為：
{{Block indent|left=1.6|<math>P^\circ = \{ q~\big|~q \cdot p \leq r^2</math> for all <math>p</math> in <math>P \} ,</math>}}
其中，<math>q \cdot p</math>表示<math>q</math>和<math>p</math>的內積。

若多面體<math>P</math>的面之方程式為：
:<math>x_0 x + y_0 y + z_0 z = r^2</math>
則對應對偶多面體<math>P^\circ</math>的頂點座標為<math>(x_0, y_0, z_0)</math>。類似地，所有<math>P</math>的頂點也可以用同樣的方式表達為<math>P^\circ</math>的面。

相應的對偶多面體的頂點就是原來多面體的面的對應，而對偶多面體的面就是原來多面體的頂點的對應。另外，相鄰頂點定義出的棱能對應出兩個相鄰面，這些面的相交線亦定義出對偶多面體的一條棱。

對於具有對稱中心的多面體，取對偶所用的球體通常使用以該點為球心的球體，如多爾曼盧克構造（下文提到）。如果多面體無對稱中心，但有[[外接球]]、[[內切球]]或[[中分球]]，那麼這個多面體也有以使用這個方法來取對偶。而取對偶時也可以使用任意球體，由此產生的對偶多面體形式將取決於球體的大小和位置，隨著球體的變化，對偶多面體形式也會隨之變化。

這個對偶的概念和[[射影幾何]]中的[[对偶 (数学)|對偶]]相關。

== 推廣 ==
這些規則能一般化到<math>n</math>維空間，以定義出'''對偶多胞形'''。[[多胞形]]的頂點能對應到對偶者的<math>n-1</math>維的元素，而<math>j</math>點能定義<math>j-1</math>維元素，該元素能對應到<math>j</math>超平面，<math>j</math>超平面相交的位置能給出一個<math>n-j</math>維元素。[[堆砌 (幾何)|堆砌]]的對偶也能以近似方式定義。

== 自身對偶多面體 ==
在拓撲學上，自身對偶多面體是指對偶多面體在拓撲上與原始多面體相等的多面體，並具相同的面、邊和頂點的連接方式。理論上，自身對偶多面體和其對偶多面體會有相同的[[哈斯圖]]。

幾何學上的對偶多面體不止要滿足拓撲對偶多面體的定義，其要正好是關於某一個點的極倒數，通常是關於其幾何中心。幾何的自身對偶多面體會與其對偶多面體[[相似]]。例如正四面體是一個自身對偶多面體，其對偶多面體是另外一個正四面體，點對稱於其幾何中心。

== 參考文獻 ==
{{Reflist}}
{{多面體變換}}

[[Category:多面体]]
[[Category:多胞形]]
[[Category:对偶理论]]
[[Category:多面體變換]]