扭棱

<image>

扭棱立方体或扭棱截半立方体｜

<image>

扭棱十二面体或扭棱截半十二面体

<image>

在几何学中，扭棱是一种多面体变换。该术语起源于开普勒对阿基米德立体的命名，分别为扭棱立方体（snub cube、cubus simus）和扭棱十二面体（snub dodecahedron、dodecaedron simum）。一般而言，多面体经扭棱变换后可以形成两种互为手性镜像的形式，分别为顺时针方向的扭棱和逆时针方向的扭棱。以开普勒的命名对应的扭棱变换可以看做是正多面体的扩张，也就是将正多面体的面向外分开，并围绕着中心扭曲（不改变面的形状），然后加入以每个原始立体顶点为中心的正方形，并在每个原始立体之边的位置上加入成对的三角形来构成。

考克斯特对扭棱进行了推广，推广成能用于更广泛的均匀多面体，其定义略有不同。

## 康威扭棱

康威研究了广义的多面体变换，定义了现在称为康威多面体表示法的多面体变换表示法，其可以运用在多面体和各种镶嵌或密铺的几何形状。康威称考克斯特定义的扭棱变换为半扭棱变换。Conway, (2008) Coxeter's semi-snub operation

在康威多面体表示法中，扭棱变换（康威表示法：s）被定义为陀螺变换（gyro，康威表示法：g，为每个n边形面被切割成n个五边形的多面体变换）的对偶多面体（康威表示法：d），即康威表示法s = dg = dgd，其等价于先经截半变换再做截角变换后进行交替截角。康威表示法本身避免了考克斯特的交错（半）变换，因为它仅适用于仅具有偶数边数的面之多面体。

扭棱的形式｜多面体｜平面镶嵌｜双曲镶嵌

原像名称｜正四面体｜立方体或正八面体｜正二十面体或正十二面体｜正方形镶嵌｜正六边形镶嵌或正三角形镶嵌｜正七边形镶嵌或七阶三角形镶嵌

图像｜

<image>

<image>

｜

<image>

<image>

｜

<image>

<image>

｜

<image>

<image>

｜

<image>

<image>

｜

<image>

<image>

扭棱结果的康威表示法｜sT｜sQ｜sΔ7

图像｜

<image>

扭棱四面体（正二十面体）｜

<image>

扭棱立方体｜

<image>

扭棱十二面体｜

<image>

扭棱正方形镶嵌｜

<image>

扭棱六边形镶嵌｜

<image>

扭棱七边形镶嵌

在四维空间中，康威建议将扭棱二十四胞体称为半扭棱二十四胞体。与三维的扭棱多面体不同，三维的扭棱多面体是交替的全截（omnitruncation，即先截半再截角）的形式，而扭棱二十四胞体并非是正二十四胞体交替的全截的形式。事实上，扭棱二十四胞体是交替截角的正二十四胞体Conway, (2008) p.401 Gosset's Semi-snub Polyoctahedron。

## 考克斯特扭棱

原像｜截半r｜截角t｜交错h

名称｜立方体｜截半立方体｜截角截半立方体全截立方体｜扭棱截半立方体

康威表示法｜C｜COrC｜tCOtrC或trO

施莱夫利符号｜{4,3}｜$\begin{Bmatrix} 4 \\ 3 \end{Bmatrix}$或r4,3｜$t \begin{Bmatrix} 4 \\ 3 \end{Bmatrix}$或tr4,3｜$ht \begin{Bmatrix} 4 \\ 3 \end{Bmatrix} = s \begin{Bmatrix} 4 \\ 3 \end{Bmatrix}$htr{4,3} = sr4,3

考克斯特—迪肯符号｜node_1｜node_1或node｜node_1或node_1｜node_h或node_h

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

<image>

考克斯特扭棱的定义略有不同，其将扭棱定义为截角后交错，在这个定义下，扭棱立方体被视为扭棱后的截半立方体、扭棱十二面体被视为扭棱后的截半十二面体。在这种定义下命名的詹森多面体有扭棱锲形体和扭棱四角反角柱。这种命名在高维多胞体中也有所使用，如扩展施莱夫利符号记为s3,4,3，并在考克斯特—迪肯符号记为node_h的扭棱二十四胞体。

一个正多面体或镶嵌若在施莱夫利符号记为$\begin{Bmatrix} p , q \end{Bmatrix}$且考克斯特—迪肯符号记为node_1，则其截角后的像施莱夫利符号记为$t \begin{Bmatrix} p , q \end{Bmatrix}$、考克斯特—迪肯符号记为node_1，若再将这个结果进行交错变换，则其变换后的像施莱夫利符号记为$ht \begin{Bmatrix} p , q \end{Bmatrix} = s \begin{Bmatrix} p , q \end{Bmatrix}$、考克斯特—迪肯符号记为node_h。要完成这个交错变换，q必须为偶数。

一个拟正多面体若在施莱夫利符号记为$\begin{Bmatrix} p \\ q \end{Bmatrix}$或rp,q、考克斯特—迪肯符号记为node_1或node，则其截角的像施莱夫利符号记为$t\begin{Bmatrix} p \\ q \end{Bmatrix}$或trp,q，则这个拟正多面体的扭棱可以定义为交错的截角截半立体$ht\begin{Bmatrix} p \\ q \end{Bmatrix} = s\begin{Bmatrix} p \\ q \end{Bmatrix}$或 1=htrp,q = srp,q，和node_h or node_h。

例如，以开普勒的扭棱立方体是扭棱自拟正的截半立方体，而截半立方体的竖式施莱夫利符号记为$\begin{Bmatrix} 4 \\ 3 \end{Bmatrix}$、考克斯特—迪肯符号记为node_1，所以扭棱立方体的竖式施莱夫利符号记为$s\begin{Bmatrix} 4 \\ 3 \end{Bmatrix}$、考克斯特—迪肯符号记为node_h。扭棱立方体亦可以视为经过交错变换的截角截半立方体，截角截半立方体的竖式施莱夫利符号记为$t\begin{Bmatrix} 4 \\ 3 \end{Bmatrix}$、考克斯特—迪肯符号记为node_1。

顶点分支度为偶数的正多面体也可以进行截角后交错的扭棱，例如扭棱八面体，施莱夫利符号$s\begin{Bmatrix} 3 , 4 \end{Bmatrix}$、考克斯特—迪肯符号node_h，其为交错的截角八面体施莱夫利符号$t\begin{Bmatrix} 3 , 4 \end{Bmatrix}$、考克斯特—迪肯符号node_1。八面体在这种定义下的扭棱结果称为伪二十面体，一个拓朴与正二十面体完全相同但具备五角十二面体群对称性的立体。

原像｜截角t｜交错h

名称｜正八面体｜截角八面体｜扭棱八面体

康威表示法｜O｜tO｜htO or sO

施莱夫利符号｜{3,4}｜t{3,4}｜ht{3,4} = s{3,4}

考克斯特符号｜node_1｜node_1｜node_h

图像｜

<image>

｜

<image>

｜

<image>

考克斯特扭棱也允许将反棱柱的施莱夫利符号定义为$s\begin{Bmatrix} 2 \\ n \end{Bmatrix}$或$s\begin{Bmatrix} 2 , 2n \end{Bmatrix}$，基于n角柱的$t\begin{Bmatrix} 2 \\ n \end{Bmatrix}$或$t\begin{Bmatrix} 2 , 2n \end{Bmatrix}$。其中$\begin{Bmatrix} 2 , n \end{Bmatrix}$是一个退化的n面形，其可以视为由二角形镶嵌球面的几何结构。

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

考克斯特—迪肯符号｜node_hnode_h｜node_hnode_h｜node_hnode_h｜node_hnode_h｜node_hnode_h｜node_hnode_h｜node_h...node_h...｜node_hnode_h

施莱夫利符号｜s{2,4}｜s{2,6}｜s{2,8}｜s{2,10}｜s{2,12}｜s{2,14}｜八角反棱柱...｜无限角反棱柱

sr{2,2}$s \begin{Bmatrix} 2 \\ 2 \end{Bmatrix}$｜sr{2,3}$s \begin{Bmatrix} 2 \\ 3 \end{Bmatrix}$｜sr{2,4}$s \begin{Bmatrix} 2 \\ 4 \end{Bmatrix}$｜sr{2,5}$s \begin{Bmatrix} 2 \\ 5 \end{Bmatrix}$｜sr{2,6}$s \begin{Bmatrix} 2 \\ 6 \end{Bmatrix}$｜sr{2,7}$s \begin{Bmatrix} 2 \\ 7 \end{Bmatrix}$｜sr{2,8}...$s \begin{Bmatrix} 2 \\ 8 \end{Bmatrix}$...｜sr{2,∞}$s \begin{Bmatrix} 2 \\ \infin \end{Bmatrix}$

康威表示法｜A4｜A5｜A6｜A7｜A8...｜A∞

### 非均匀多面体的扭棱

非均匀多面体也可以扭棱，但需要满足考克斯特扭棱的条件。考克斯特扭棱只能作用在顶点分支度全为偶数的立体上。这允许了许多多面体的扭棱，包括了无穷集合的立体。例如：

扭棱双四角锥扭棱双六角锥

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

...

名称｜扭棱二角反角柱｜扭棱三角反角柱｜扭棱四角反角柱｜扭棱五角反角柱

施莱夫利符号｜ss{2,4}｜ss{2,6}｜ss{2,8}｜ss{2,10}...

ssr{2,2}$ss \begin{Bmatrix} 2 \\ 2 \end{Bmatrix}$｜ssr{2,3}$ss \begin{Bmatrix} 2 \\ 3 \end{Bmatrix}$｜ssr{2,4}$ss \begin{Bmatrix} 2 \\ 4 \end{Bmatrix}$｜ssr{2,5}...$ss \begin{Bmatrix} 2 \\ 5 \end{Bmatrix}$

### 考克斯特的均匀扭棱星形多面体

扭棱均匀星形多面体由其施瓦茨三角形(p q r)构造，具有合理有序的镜像对称角，且所有镜像都处于活动和交替的状态。

<image>

s{3/2,3/2}node_h｜

<image>

s{(3,3,5/2)}node_h｜

<image>

sr{5,5/2}node_h｜

<image>

s{(3,5,5/3)}node_h｜

<image>

sr{5/2,3}node_h

<image>

sr{5/3,5}node_h｜

<image>

s{(5/2,5/3,3)}label5-3｜

<image>

sr{5/3,3}node_h｜

<image>

s{(3/2,3/2,5/2)}｜

<image>

s{3/2,5/3}node_h

## 参考文献

- Coxeter, H.S.M. Regular Polytopes, (3rd edition, 1973), Dover edition, (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, , Googlebooks
- (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
- 诺曼·詹森 (数学家) Uniform Polytopes, Manuscript (1991)
- 诺曼·詹森 (数学家): 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,