七维正八胞体

在几何学中，七维正八胞体（Octaexon或Octa-7-tope）是一种自身对偶的正七维多胞体（英语：7-polytope）^[1]， 是七维空间的单纯形也是七维空间中最简单的正图形，因此又称为7-单纯形（7-simplex）^[2]:127 ，由8个六维正七胞体的六维胞（维基数据：Q18028565）组成，其二面角为cos⁻¹(1/7)约为81.79°^[1]。乔纳森·鲍尔斯（Jonathan Bowers）将七维正八胞体缩写为oca^[3]。

正八胞体
类型	正七维多胞体（英语：7-polytope） 八胞体
家族	单纯形
维度	七维
对偶多胞形	七维正八胞体（自身对偶）
识别
鲍尔斯缩写 （verse-and-dimensions的wikia：Bowers acronym）	oca
数学表示法
考克斯特符号 （英语：Coxeter-Dynkin diagram）
施莱夫利符号	{3,3,3,3,3,3} {36}
性质
六维胞	8个六维正七胞体
五维胞	28个五维正六胞体
四维胞	56个正五胞体
胞	70个正四面体
面	56个正三角形
边	28
顶点	8
欧拉示性数	2
特殊面或截面
皮特里多边形	正八边形
组成与布局
顶点图	六维正七胞体
对称性
对称群	A7 [3,3,3,3,3,3]
特性
凸

性质

七维正八胞体共由8个顶点、28条边、56个三角形的面、70个正四面体的三维胞、56个正五胞体的四维胞（英语：4-face）、28个五维正六胞体的五维胞（维基数据：Q18028552）和8个六维正七胞体的六维胞（维基数据：Q18028565）组成，其中六维正七胞体为七维正八胞体的维面。 对于一个边长为a的七维正八胞体，其超胞积是${\displaystyle {\cfrac {a^{7}}{20160}}}$,表胞积是${\displaystyle {\cfrac {{\sqrt {7}}a^{6}}{720}}}$,高是${\displaystyle {\cfrac {2{\sqrt {7}}a}{7}}}$。 若一个七维正八胞体的棱长为1，则其外接七维超球的半径为${\displaystyle {\frac {\sqrt {7}}{4}}}$,内切七维超球的半径为${\displaystyle {\frac {\sqrt {7}}{32}}}$。^[1]

边长为2的七维正八胞体可以内接于单位七维超立方体（英语：7-cube）中。^[4]下一个可以内接于单位超方形的最大单纯形为十一维正十二胞体。^[5]

作为一种排布

七维正八胞体的排布矩阵（英语：Configuration_(polytope)）为：^[1]

${\displaystyle {\begin{bmatrix}{\begin{matrix}8&7&21&35&35&21&7\\2&28&6&15&20&15&6\\3&3&56&5&10&10&5\\4&6&4&70&4&6&4\\5&10&10&5&56&3&3\\6&15&20&15&6&28&2\\7&21&35&35&21&7&8\end{matrix}}\end{bmatrix}}}$

行和列对应于七维正八胞体的顶点、边、面、胞、四维胞（英语：4-face）、五维胞（维基数据：Q18028552）和六维胞（维基数据：Q18028565）。对角线上的数字表示该元素在七维正八胞体中的数量。非对角线的数量表示对应行所代表的元素上有多少列所代表的元素交于该处。由于七维正八胞体是一种自身对偶的多胞体，因此这个排布矩阵旋转180度后会相同。^[6][7]

顶点坐标

若一个七维正八胞体几何中心位于原点，且边长为2单位长，则其顶点坐标为：

${\displaystyle \left({\sqrt {1/28}},\ {\sqrt {1/21}},\ {\sqrt {1/15}},\ {\sqrt {1/10}},\ {\sqrt {1/6}},\ {\sqrt {1/3}},\ \pm 1\right)}$

${\displaystyle \left({\sqrt {1/28}},\ {\sqrt {1/21}},\ {\sqrt {1/15}},\ {\sqrt {1/10}},\ {\sqrt {1/6}},\ -2{\sqrt {1/3}},\ 0\right)}$

${\displaystyle \left({\sqrt {1/28}},\ {\sqrt {1/21}},\ {\sqrt {1/15}},\ {\sqrt {1/10}},\ -{\sqrt {3/2}},\ 0,\ 0\right)}$

${\displaystyle \left({\sqrt {1/28}},\ {\sqrt {1/21}},\ {\sqrt {1/15}},\ -2{\sqrt {2/5}},\ 0,\ 0,\ 0\right)}$

${\displaystyle \left({\sqrt {1/28}},\ {\sqrt {1/21}},\ -{\sqrt {5/3}},\ 0,\ 0,\ 0,\ 0\right)}$

${\displaystyle \left({\sqrt {1/28}},\ -{\sqrt {12/7}},\ 0,\ 0,\ 0,\ 0,\ 0\right)}$

${\displaystyle \left(-{\sqrt {7/4}},\ 0,\ 0,\ 0,\ 0,\ 0,\ 0\right)}$

透过将七维正八胞体可以内接于七维超立方体（英语：7-cube）中可以获得更简单的坐标集合，其值为：^[1]

${\displaystyle \left({\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}}\right),}$

${\displaystyle \left({\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}}\right),}$

${\displaystyle \left({\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}}\right),}$

${\displaystyle \left({\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}}\right),}$

${\displaystyle \left(-{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}}\right),}$

${\displaystyle \left(-{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}}\right),}$

${\displaystyle \left(-{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}}\right),}$

${\displaystyle \left(-{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}},\,{\frac {1}{4}},\,{\frac {1}{4}},\,-{\frac {1}{4}}\right).}$

更简单地，七维正八胞体可以坐落于八维空间坐标(0,0,0,0,0,0,0,1)的排列。这个结构是基于八维正轴体（英语：8-orthoplex）的维面。

图像

三维空间的七维正八胞体
三角化四面体包络中的球棍模型	以振幅多面体（英语：Amplituhedron）表面呈现的七维正八胞体	七维正八胞体投影到三维，再用相机投影示意其皮特里投影

正交投影

正投影图

Ak考克斯特平面（英语：Coxeter_element#Coxeter_plane）	A7	A6	A5
图像
二面体群对称性（英语：Dihedral symmetry）	[8]	[7]	[6]
Ak考克斯特平面	A4	A3	A2
图像
二面体群对称性	[5]	[4]	[3]