扭稜

在幾何學中，扭稜是一種多面體變換。該術語起源於开普勒對阿基米德立體的命名，分別為扭棱立方体（英語：snub cube、拉丁語：cubus simus）和扭棱十二面体（英語：snub dodecahedron、拉丁語：dodecaedron simum）。一般而言，多面體經扭稜變換後可以形成兩種互為手性鏡像的形式，分別為順時針方向的扭稜和逆時針方向的扭稜。以开普勒的命名對應的扭稜變換可以看做是正多面體的擴張，也就是將正多面體的面向外分開，並圍繞著中心扭曲（不改變面的形狀），然後加入以每個原始立體頂點為中心的正方形，並在每個原始立體之邊的位置上加入成對的三角形來構成。 考克斯特對扭稜進行了推廣，推廣成能用於更廣泛的均勻多面體，其定義略有不同。 康威研究了廣義的多面體變換，定義了現在稱為康威多面體表示法的多面體變換表示法，其可以運用在多面體和各種鑲嵌或密鋪的幾何形狀。康威稱考克斯特定義的扭稜變換為半扭稜變換。 在康威多面體表示法中，扭稜變換（康威表示法：s）被定義為陀螺變換（英語：gyro，康威表示法：g，為每個n邊形面被切割成n個五邊形的多面體變換）的對偶多面體（康威表示法：d），即康威表示法s = dg = dgd，其等價於先經截半變換再做截角變換後進行交替截角。康威表示法本身避免了考克斯特的交錯（半）變換，因為它僅適用於僅具有偶數邊數的面之多面體。 在四維空間中，康威建議將扭稜二十四胞體（英语：Snub 24-cell）稱為半扭稜二十四胞體。與三維的扭稜多面體不同，三維的扭稜多面體是交替的全截（omnitruncation，即先截半再截角）的形式，而扭稜二十四胞體並非是正二十四胞體交替的全截的形式。事實上，扭稜二十四胞體是交替截角的正二十四胞體。 考克斯特扭稜的定義略有不同，其將扭稜定義為截角後交錯，在這個定義下，扭稜立方體被視為扭稜後的截半立方體、扭棱十二面体被視為扭稜後的截半十二面体。在這種定義下命名的詹森多面體有扭稜鍥形體和扭稜四角反角柱。這種命名在高維多胞體中也有所使用，如擴展施萊夫利符號記為s{3,4,3}，並在考克斯特—迪肯符号（英语：Coxeter-Dynkin diagram）記為的扭稜二十四胞體（英语：Snub 24-cell）。 一個正多面體或鑲嵌若在施萊夫利符號記為 { p , q } {\displaystyle {\begin{Bmatrix}p,q\end{Bmatrix}}} 且考克斯特—迪肯符号（英语：Coxeter-Dynkin diagram）記為，則其截角後的像施萊夫利符號記為 t { p , q } {\displaystyle t{\begin{Bmatrix}p,q\end{Bmatrix}}} 、考克斯特—迪肯符号（英语：Coxeter-Dynkin diagram）記為，若再將這個結果進行交錯變換，則其變換後的像施萊夫利符號記為 h t { p , q } = s { p , q } {\displaystyle ht{\begin{Bmatrix}p,q\end{Bmatrix}}=s{\begin{Bmatrix}p,q\end{Bmatrix}}} 、考克斯特—迪肯符号記為。要完成這個交錯變換，q必須為偶數。 一個擬正多面體若在施萊夫利符號記為 { p q } {\displaystyle {\begin{Bmatrix}p\\q\end{Bmatrix}}} 或r{p,q}、考克斯特—迪肯符号記為或，則其截角的像施萊夫利符號記為 t { p q } {\displaystyle t{\begin{Bmatrix}p\\q\end{Bmatrix}}} 或tr{p,q}，則這個擬正多面體的扭稜可以定義為交錯的截角截半立體 h t { p q } = s { p q } {\displaystyle ht{\begin{Bmatrix}p\\q\end{Bmatrix}}=s{\begin{Bmatrix}p\\q\end{Bmatrix}}} 或 htr{p,q} = sr{p,q}，和 or 。 例如，以开普勒的扭棱立方体是扭稜自擬正的截半立方體，而截半立方體的豎式施萊夫利符號記為 { 4 3 } {\displaystyle {\begin{Bmatrix}4\\3\end{Bmatrix}}} 、考克斯特—迪肯符号（英语：Coxeter-Dynkin diagram）記為，所以扭棱立方体的豎式施萊夫利符號記為 s { 4 3 } {\displaystyle s{\begin{Bmatrix}4\\3\end{Bmatrix}}} 、考克斯特—迪肯符号記為。扭棱立方体亦可以視為經過交錯變換的截角截半立方體，截角截半立方體的豎式施萊夫利符號記為 t { 4 3 } {\displaystyle t{\begin{Bmatrix}4\\3\end{Bmatrix}}} 、考克斯特—迪肯符号記為。 頂點分支度為偶數的正多面體也可以進行截角後交錯的扭稜，例如扭稜八面體，施萊夫利符號 s { 3 , 4 } {\displaystyle s{\begin{Bmatrix}3,4\end{Bmatrix}}} 、考克斯特—迪肯符号，其為交錯的截角八面體施萊夫利符號 t { 3 , 4 } {\displaystyle t{\begin{Bmatrix}3,4\end{Bmatrix}}} 、考克斯特—迪肯符号。八面體在這種定義下的扭稜結果稱為偽二十面體，一個拓樸與正二十面體完全相同但具備五角十二面體群對稱性的立體。 考克斯特扭稜也允許將反稜柱的施萊夫利符號定義為 s { 2 n } {\displaystyle s{\begin{Bmatrix}2\\n\end{Bmatrix}}} 或 s { 2 , 2 n } {\displaystyle s{\begin{Bmatrix}2,2n\end{Bmatrix}}} ，基於n角柱的 t { 2 n } {\displaystyle t{\begin{Bmatrix}2\\n\end{Bmatrix}}} 或 t { 2 , 2 n } {\displaystyle t{\begin{Bmatrix}2,2n\end{Bmatrix}}} 。其中 { 2 , n } {\displaystyle {\begin{Bmatrix}2,n\end{Bmatrix}}} 是一個退化的n面形，其可以視為由二角形鑲嵌球面的幾何結構。 非均勻多面體也可以扭稜，但需要滿足考克斯特扭稜的條件。考克斯特扭稜只能作用在頂點分支度全為偶數的立體上。這允許了許多多面體的扭稜，包括了無窮集合的立體。例如： 扭稜均勻星形多面體由其施瓦茨三角形(p q r)構造，具有合理有序的鏡像對稱角，且所有鏡像都處於活動和交替的狀態。 扭稜多面體（英语：Snub polyhedron） Kepler. Harmonices Mundi. 1619.  Coxeter. Chapter 3: Wythoff's Construction for Uniform Polytopes. The Beauty of Geometry: Twelve Essays. Dover Publications. 1999. ISBN 978-0-486-40919-1.  Holme, Audun. Geometry: Our Cultural Heritage. Springer Science & Business Media. 2010-09-23. ISBN 978-3-642-14441-7 （英语）.  John H. Conway; Heidi Burgiel; Chaim Goodman-Strass. The Symmetries of Things. 2008. ISBN 978-1-56881-220-5.  Conway, (2008) Coxeter's semi-snub operation polyHédronisme. levskaya.github.io. [2022-10-15]. （原始内容存档于2013-06-07）.  Conway, (2008) p.401 Gosset's Semi-snub Polyoctahedron Klitzing, Richard. Snubs, Alternated Facetings, & Stott-coxeter-dynkin Diagrams. Symmetry-Culture and Science (Symmetrion 29 etvs st, budapest, 1067, hungary). 2010, 21 (4): 329–344.  Heckman, Gert, coxeter groups (PDF), 2018 [2022-08-25], （原始内容存档 (PDF)于2022-02-21）  Weisstein, Eric W. (编). Cuboctahedron. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  Weisstein, Eric W. (编). Snub Cube. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  Weisstein, Eric W. (编). Great Rhombicuboctahedron. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  Coxeter, H. S. M. Regular and semi-regular polytopes. II. Mathematische Zeitschrift. 1985-12, 188 (4). ISSN 0025-5874. doi:10.1007/BF01161657 （英语）.  Weisstein, Eric W. (编). Truncated Octahedron. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  John Baez. Fool's Gold. 2011-09-11 [2022-08-25]. （原始内容存档于2018-05-19）.  Coxeter, Harold Scott MacDonald; Longuet-Higgins, M. S.; Miller, J. C. P. Uniform polyhedra. Philosophical Transactions of the Royal Society of London. Series A. Mathematical and Physical Sciences (The Royal Society). 1954, 246 (916): 401–450 [2022-10-15]. Bibcode:1954RSPTA.246..401C. ISSN 0080-4614. JSTOR 91532. MR 0062446. S2CID 202575183. doi:10.1098/rsta.1954.0003. （原始内容存档于2020-09-18）.  Maeder, Roman. The Wythoff Symbol. MathConsult. [2022-08-25]. （原始内容存档于2022-07-03）.  Coxeter, H.S.M. Regular Polytopes, (3rd edition, 1973), Dover edition, ISBN 0-486-61480-8 (pp. 154–156 8.6 Partial truncation, or alternation) Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [1] （页面存档备份，存于互联网档案馆）, Googlebooks [2] (Paper 17) Coxeter, The Evolution of Coxeter–Dynkin diagrams, [Nieuw Archief voor Wiskunde 9 (1991) 233–248] (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380–407, MR 2,10] (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559–591] (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3–45] Norman Johnson（英语：Norman Johnson (mathematician)） Uniform Polytopes, Manuscript (1991) N.W. Johnson（英语：Norman Johnson (mathematician)）: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966 John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 埃里克·韦斯坦因. Snubification. MathWorld.