四面半六面体

在几何学中，四面半六面体是一种非凸七面体，属于星形多面体及均匀多面体，也可以归类在非凸均匀多面体；特别地，这个立体是所有非柱状均匀多面体中唯一拥有奇数面数的几何体。其外观看起来像部分面向内凹陷的正八面体，因此可以视为正八面体的刻面半多面体，故这个立体又称为半刻面八面体。其构成方式为将正八面体的面替换为3个几何中心的对角面并保留一半数量的原始三角形面构成，因此这个立体也可以归类为半多面体。由于其部分面通过几何中心，因此其对偶多面体的顶点会落在无穷远处，即无穷实射影平面上的点。

## 性质

四面半六面体由7个面、12条边和6个顶点组成，其中，7个面中有4个三角形面和3个正方形面，这3个正方形皆通过了整个立体的几何中心。组成四面半六面体的6个顶点都是两个三角形与两个正方形的公共顶点，其排列顺序为3.4.3/2.4，其中3/2表示反向相接的三角形，其顶点图为交叉四边形。组成四面半六面体的12条边皆为三角形与正方形的公共边。其整个立体与正八面体共用顶点，其去除了正八面体的其中4个三角形面，并加入了3个相互交叉并且沿对角线相互平分的正方形，因此其可以作为正八面体刻面后的结果。

### 面的组成

四面半六面体是一个半多面体，其名称中的“半”表示部分的面来自于正多面体，但数量仅有正多面体的一半。在这个立体中，3个正方形来自于正六面体（俗称立方体），但数量仅有正六面体的一半，因此称为半六面体。此外，半多面体来自于正多面体的面也会与其原始正多面体的面有着相同的朝向，例如立方体的6个面，两两一组分别面向3个相互垂直的方位，而对应到这个立体的3个正方形面：其分别面向3个相互垂直的方位。

<image>

四面半六面体｜

<image>

四面半六面体的其中一个面

半刻面多面体的特性也意味着部分面会通过多面体的几何中心，并互相相交。这个立体在视觉外观上，每个正方形被分成四个直角三角形，但只有2个直角三角形可见，其余被三角形面遮蔽。

### 顶点座标

这个立体共享了正八面体的顶点排列方式，因此其顶点座标与正八面体相同：

( ±1, 0, 0 );

( 0, ±1, 0 );

( 0, 0, ±1 ).

<image>

### 二面角

四面半六面体的二面角仅有一种，即正方形面与三角形面的交角，其值为三的平方根倒数的反余弦值：

$$\cos^{-1} (\frac{\sqrt{3}}{3}) \approx 0.955316618 \approx 54.73561 ^{\circ}$$

### 展开图

四面半六面体可以展开为展开图，然而其有部分面自相交，因此无法实际用“自相交”版的展开图来制作其模型。而若将其转变为简单多面体则需要在这多面体中相交的面上放置新的顶点和边，因此自相交的正方形会被分割为4个等腰直角三角形。四面半六面体转换为简单多面体后共有16个面。

<image>

四面半六面体的展开图，虚线为自相交的位置。｜

<image>

四面半六面体做为简单多面体时的展开图

同时，其拓朴结构可以视为与截半立方体半形同构，因此这个立体的拓朴结构也可以视为是一种拟正则地区图（quasiregular map）；四面半六面体也可以视为截半立方体半形浸入三维空间所形成的立体。

<image>

### 定向性

四面半六面体的表面是一个不可定向的曲面，即无法定义表面上特定点属于内部或外部，因为任何点都可以在不打洞的情况下经由表面找到一个路径连接该点对应的背面的位置，这个特性与克莱因瓶类似。四面半六面体是唯一一种欧拉特征数为1的均匀多面体，故其为投影多面体，其在实射影平面上生成的曲面与罗马曲面类似。

<image>

罗马曲面

## 对偶多面体

四面半六面体的对偶多面体称为四面半无穷星形六面体，有时称为三维瑞士十字（3D Swiss cross）。由于四面半六面体有部分面几何中心落在整个立体的几何中心上，因此其对偶多面体的顶点会落在无穷远处，即无穷实射影平面上的点。一般来说，这样的立体无法被具象化。为了具像化这种立体，温尼尔在著作《对偶模型》中将其描述为由无限高的柱体组合构成的立体。四面半无穷星形六面体被具象化为3个双向延伸的正四角柱，底面为正方形，每个方向的柱体延伸到相同的无穷远点，以保持整体的对称性。在实际上被具象化的模型通常只会展现这个无穷高立体的局部，也就是会截去远离几何中心一定距离外的立体。温尼尔建议让这些几何形状分类到一类新的星形多面体，称为无穷星形多面体。然而，由于其包括了无穷远点，因此其无法满足多面体通常的定义，仅能被视为广义的多面体。另一方面，由于其立体中心部分可以视为一个立方体，因此广义上来说，这个立体也可以视为是星形立方体的一种。

在拓朴上，对偶多面体的面数通常会与原始立体的顶点数相同，因此四面半六面体的对偶多面体应包含了7个顶点，其中3个顶点位于无穷实射影平面上，在方向上对应于八面体半形（一种抽象多面体）的三个顶点；其余四个顶点位于中央立方体，并交错地以立方体半形（在此处具象化为正四面体）的方式分布。

由于这个立体有顶点位于无穷实射影平面上，因此无法定义其表面积与体积。

四面半无穷星形六面体的局部结构曾出现在一些建筑结构的设计中。

## 五复合四面半六面体

五复合四面半六面体是四面半六面体的五复合体。

<image>

截半十二面体｜

<image>

五复合正八面体｜

<image>

五复合四面半六面体｜

<image>

五复合四面半无穷星形六面体：五复合四面半六面体的对偶多面体

## 相关多面体

### 刻面八面体

刻面八面体是指不改变正八面体的顶点的情况下，将正八面体的面替换所形成的几何结构。四面半六面体是正八面体经过“半刻面”的结果；“半刻面”中的“半”表示其会产生通过几何中心的面。另一种正八面体的刻面方式是将正八面体的8个三角形保留其中6个，并加入3个通过内部的折四边形，这种刻面八面体又称为反柱刻面八面体。

<image>

反柱刻面八面体｜

<image>

反柱刻面八面体的顶点图

由正八面体的顶点构成，但边或面连结方式与正八面体相异的立体，较知名的几个有：

- 半刻面八面体：面互相相交，部分面过几何中心。
- 反柱刻面八面体：面同样互相相交，也过其几何中心，但属于反柱体对称性。
- 皮特里八面体：面换成正八面体的皮特里多边形。

<image>

正八面体｜

<image>

半刻面八面体｜

<image>

反柱刻面八面体｜

<image>

皮特里八面体

这个立体为柏拉图立体半刻面后而成，其他也由柏拉图立体半刻面而成的立体有：

<image>

正四面体｜

<image>

立方体｜

<image>

正八面体

(无“半刻面”的结果)｜

<image>

半刻面立方体｜

<image>

半刻面八面体

#### 皮特里八面体

皮特里八面体是正八面体的皮特里对偶，可以透过将原有正八面体上取皮特里多边形构成，换句话说，皮特里八面体为由正八面体的皮特里多边形构成的立体。由于正八面体的皮特里多边形为扭歪六边形，因此无法确立其封闭范围，故无法计算其表面积和体积。

皮特里八面体是一种亏格为4的不可定向立体，由4个面、12条边和6个顶点组成，其中，每个面都是扭歪六边形，每个顶点都是4个扭歪六边形的公共顶点。

<image>

正八面体的皮特里多边形｜

<image>

构成皮特里八面体的扭歪六边形面

皮特里八面体与正八面体互为皮特里对偶，也就是说，皮特里八面体的皮特里对偶为正八面体，换句话说，即皮特里八面体的皮特里多边形为正三角形。

拓朴结构与皮特里八面体互相对应的正则地区图其在施莱夫利符号中可以用{6,4}表示，其意义代表每个顶点都是4个六边形的公共顶点。相同的拓朴结构可透过将正四面体的顶点所有替换成交叉盖，并且将所有棱替换为四价顶点，同时将所有面替换成边数为原来边数两倍的面来构成。其对应的对偶多面体在施莱夫利符号中可以用{4,6}表示，其意义代表每个顶点都是6个四边形的公共顶点，并具有6个面、12条边和4个顶点。

<image>

皮特里八面体｜

<image>

以正则地区图表示的皮特里八面体｜

<image>

皮特里八面体的对偶多面体以正则地区图表示

## 基本资料

- 名称：Tetrahemihexahedron
- 对偶多胞形：Q3100395
- 域：（单击查看旋转模型）
- 类型：均匀星形多面体、半多面体
- 面：7
- 边：12
- 顶点：6
- 顶点图：3.4.3/2.4

- Wythoff：3/2 3 | 2 （二重复盖）
- 对称群：Td, 3,3, *332
- 参考索引：U4, C36, W67
- 名称：Thah
- 双处理器芯片组：四面半无穷星形六面体
- 日语原文：四面半无穷星形六面体
- 施莱夫利符号：四面半无穷星形六面体
- 对偶多胞形：Q12804048
- 域：每个四角柱延伸到无穷远点上
- 类型：均匀多面体对偶、无穷星形多面体
- 参考索引：DU04
- 面：6
- 顶点：7
- 双处理器芯片组：四面半六面体
- 日语原文：皮特里八面体
- 施莱夫利符号：皮特里八面体
- 域：(以不同颜色表示每个面)
- 类型：皮特里对偶、正则地区图
- 对偶多胞形：Q107710939
- 施莱夫利符号：{3,4}Π、{6,4}3、{6,4}4,0
- 面：4
- 对称群：点群：Oh, 4,3, (*432)、作为正则地区图：S4×C2, 48元素
- 双处理器芯片组：C4:{4,6}3
- 二面角：(不存在)
- 属性：扭歪、正则