【正多面体】
在几何学中，正多面体是同时具有等边、等角和等面特性的多面体。在经典语境中，有许多描述上不同但实际上等价的定义存在，最常见的定义是每个面都是全等的正多边形，且每个顶点都是相同数量且相同种类之正多边形的公共顶点。例如立方体是一种正多面体，其每个面都是正方形，且每个顶点都是3个正方形的公共顶点。在中文环境中，一般被大众认知的正多面体通常代表只有五种的凸正多面体，又称为柏拉图立体，其包括了正四面体、立方体、正八面体、正十二面体和正二十面体。然而在定义上，正多面体仅指每个面是正多边形、每条边等长每个角等角且每面全等的多面体，而符合上述定义的多面体不一定是凸多面体，也可能是星形多面体、抽象多面体或扭歪多面体等。这些多面体除了五种凸正多面体外，还有四种非凸正多面体（克卜勒－庞索立体）、五种抽象正多面体和五种复合正多面体。
== 概述 ==
立方体的其中一个标记，其包括了立方体本身、其中一个正方形面、该面的其中一条棱、棱上的一个顶点以及这个立方体中「什么都不选」的子集，即空多胞形，五个元素，正好每个维度各一个元素，且较大的元素包含较小的元素。若一个多面体所具备的对称性可以让这个多面体中任意两个这样（如上图）的结构（或元素）A与B，透过该对称性下的变换（如旋转、平移或镜射）使得A变换到B的位置上时，其仍然占据了相同的空间区域时，则这个多面体是一个正多面体，前面的性质又可以称为标记可递
在几何学中，正多面体是一类对称性可以在其各维度元素的集合（或称标记#tag:ref|多面体标记是一系列多面体元素的集合，这个集合中会包括1个多面体的主体、多面体的其中一个面、前者提到的面中的其中一条棱、前者提到的棱中的其中一个顶点和一个空多胞形。|group="注"|name="Flag (geometry)"）上传递的多面体。正多面体通常具有高度对称性，其同时具有边可递，点可递和面可递的性质，换句话说，即正多面体是同时具有等边、等角和等面特性的多面体。在经典语境中，有许多描述上不同但实际上等价的定义存在，最常见的定义是每个面都是全等的正多边形，且每个顶点都是相同数量且相同种类之正多边形的公共顶点。例如立方体是一种正多面体，其每个面都是正方形，且每个顶点都是3个正方形的公共顶点。
所有正多面体皆可以使用施莱夫利符号来表示，其可以计为{n, m}。其中n表示构成面的顶点数，m则表示与顶点相邻的多边形数量。在中文语境中，一般被大众认知的正多面体通常代表只有五种的凸正多面体，又称为柏拉图立体，其包括了正四面体、立方体、正八面体、正十二面体和正二十面体。然而在定义上，正多面体仅指每个面是正多边形、每条边等长每个角等角且每面全等的多面体，而符合上述定义的多面体不一定是凸多面体，也可能是星形多面体、抽象多面体或扭歪多面体等。这些多面体除了五种凸正多面体外，还有四种非凸正多面体（克普勒–庞索立体）、五种抽象正多面体和五种复合正多面体。
== 正多面体 ==
一般常见的正多面体为五种正凸多面体，又称为柏拉图立体。除了这种凸多面体外，亦有非凸的正多面体，为四种星形正多面体，又称为克普勒–庞索立体；以及五种正多面体的复合体。
=== 柏拉图立体 ===
广泛地出现在文化中的五种正多面体。
=== 克普勒–庞索立体 ===
克卜勒－庞索立体的面同样由正多边形组成，但其面或边有自我相交的情形，即非凸多面体。由于外观如同星状，因此又称为星形正多面体。
=== 复合正多面体 ===
由多个同一种正多面体组合而成且具有高度对称性的结构也可以视为正多面体的一种。例如两个正四面体组成的星形八面体，其类似于由两个正三角形组成的大卫之星在三维空间中的类比。多个正多面体的复合结构也可以有其他种类，然而其未必会符合标记可递的特性，因此不能算是正多面体，例如三复合正八面体。
== 性质 ==
正多面体最基本的特性就是每个面都是全等的正多边形、每条边等长且每角等角。
=== 等价性质 ===
在定义中，每个顶点周围有相似的面排布的性质可以替换成下列的等价条件：
*此多面体的每个顶点都坐落在同一个球上（即存在外接球）
*每个二面角皆相等
*所有顶点图（顶点的截面）皆为正多边形
*所有立体角皆相等
=== 同心球 ===
正多面体具有三个相关的球体（其他非正多面体至少缺少一种），其球心位于同一个点上：
*与所有面相切的内切球
*与所有棱相切的Midsphere
*过所有顶点的外接球
== 广义的正多面体 ==
20世纪出现了一系列关于正多面体概念的概括，导致了正多面体出现了几个新的种类。
=== 正扭歪无限面体 ===
在20世纪最初的几十年，考克斯特和皮特里考虑了顶点的排布以及角呈现马鞍形样式的多面体类型，并找到了三种由正多边形组成且无限延伸的折叠形几何结构，被命名为正扭歪无限面体。
=== 正扭歪多面体 ===
如同扭歪多边形的定义（不共面的多边形），有限面数的扭歪多面体则为其无法所有面或顶点皆位于同一个三维空间的多面体，因此会需要四维或以上的空间来构造限面数的扭歪多面体，就如同皮特里多边形为正多面体上的一个不共面封闭路径，有限面数的扭歪多面体可以从四维正多胞体中取一个不共三维空间的封闭区域来构造。
=== 位于非欧空间或其他空间的正多面体 ===
在非欧几里德空间（双曲空间、椭圆空间等）以及诸如复数空间或四元数空间等其他空间被发现之后，对于这些空间几何学的研究导致了更多新种类的正多面体被发现，如复正多面体等，但这些正多面体只能在特定空间中维持其正的特性。
==== 复数空间的正多面体 ====
在几何中，复数空间的多面体是实数空间中的多面体在复数空间的推广。
==== 四元数空间的正多面体 ====
在几何中，四元数空间的多面体是实数空间中的多面体在四元数空间的推广。其与复数空间类似，点不具有序性，因此没有「位于...之间」的相互关系，因此一个四元数空间多面体可以被理解为一组点、线和面等的排布关系，其中，点为多条线的连接点、线连接了多个面。由于四元数的乘法不具有交换率，因此必须透过纯量与向量相乘来构建乘法系统，通常会使用左乘法。
四元数空间的正多面体与实数空间的正多面体和复数空间的正多面体一样，其对称性皆可以被描述为反射群。例如，一个正的四元数空间直线可以与U1(H)的有限子群一一对应：binary cyclic group、二元二面体群（参阅一般四元数群章节二元二面体群）
、binary octahedral group和binary icosahedral group。
==== 双曲空间的正多面体 ====
三阶六边形镶嵌蜂巢体{6,3,3}中的正六边形镶嵌{6,3}胞其顶点皆位于该双曲空间Horosphere上。这时可以将这个结构视为一个双曲空间的正多面体
在H3的双曲仿紧空间中的正堆砌体或蜂巢结构体通常具有正镶嵌图的胞或顶点图。在这样的结构中，这些镶嵌图可以视为存在角亏并在封闭于一个无穷远点。若当双曲正堆砌体或蜂巢结构体位于非紧空间时则其会封闭于2个或以上个无穷远点甚至是发散。
==== 实射影平面的正多面体 ====
另一组正多面体为实射影平面的镶嵌结构，其包括了立方体半形、八面体半形、十二面体半形和二十面体半形。其皆为（全域）投影多面体，并且对应到四个柏拉图立体的投影结构。由于正四面体不像其他四个柏拉图立体一样拥有相对面，因此正四面体无法形成多面体半形。
=== 抽象正多面体 ===
到目前为止，多面体皆被认为是任意维度之多胞形在三维空间的例子。在20世纪下半叶出现了抽象代数概念的发展，如Polyhedral_combinatorics，最终形成Abstract_polytope作为元素偏序关系的概念。抽像多面体的元素包括了它的主体（最大元素）、面、边、顶点和空多胞形。这些抽像元素可以映射到普通空间或具体化成一个几何形状。一些抽象多面体具有良好具像化实例，但不一定所有的抽象多面体都能找到对应的具像化实例。抽象多面体与一般的多面体同样可以定义标记。若一抽象多面体的组合对称性可以在其标记上传递，则这个抽象多面体为抽象正多面体，换句话说，即任何标记都可以在多面体的对称性下映射到任何其他标记上。
在考克斯特于1977年出版的著作《正多胞形》中列出了五种不存在良好具像化实例的抽象正多面体。后来在1987年Jörg Michael Wills的论文又再次的确定了共存在五种有这种性质的抽象正多面体。这五种抽象多面体都具有C2×S5对称性，但只能具像化出一半的对称性，即C2×A5或二十面体群对称性。
==== 皮特里对偶 ====
柏拉图立体的皮特里对偶是一种正则地区图，其顶点和边对应于原始多面体的顶点和边，其面是扭歪皮特里多边形的集合。
=== 球面多面体 ===
五个凸正多面体和四个星形多面体皆可以表示成球面多面体，或球面镶嵌：
==== 只能存于球面的正多面体 ====
== 相关多面体 ==
部分多面体虽然不是正多面体，但与正多面体有一定的关连。
=== 正多边形多面体 ===
正多边形多面体或称正多边形面多面体（Regular-faced Polyhedron）是指所有面都是正多边形的多面体。在三维空间中，所有面都是正多边形不一定能满足正多面体的定义，例如92种詹森多面体虽然所有面都是正多边形但都不是正多面体。正多边形多面体可以分为以下几类：
有n个面的凸正多边形多面体的个数为（从n=1开始）：
0, 0, 0, 1, 2, 3, 2, 7, 3, 6, 4, 7, 3, 13, 2, 5, 4, 6, 1, 9, 2, 6, 1, 4, 1, 8, 4, 2, 1, 3, 1, 10, 1, 3, 1, 2, 4, 3, 1, 2, 1, 9, 1, 2, 1, 2, 2, 2, 1, 2, 1, 9, 1, 2, 1, 2, 1, 2, 1, 2, 1, 9, 1, 2, ... A180916
有n个顶点的凸正多边形多面体的个数为（从n=1开始）：
0, 0, 0, 1, 2, 3, 3, 6, 5, 7, 4, 10, 1, 6, 5, 6, 0, 6, 0, 8, 1, 4, 1, 8, 4, 2, 0, 3, 0, 9, 0, 3, 0, 2, 3, 2, 0, 2, 0, 5, 0, 2, 0, 2, 1, 2, 0, 3, 0, 5, 0, 2, 0, 2, 4, 2, 0, 2, 0, 10, 0, 2, 0, 2, 1, 2, ... A333660
=== 稀有多面体 ===
稀有多面体是指同时具备面可递和点可递的立体，也就是说这类立体既是等面的也是等角的，由于三维空间的复杂性，要满足此特性并不容易，因此称稀有多面体。稀有多面体不一定是正多面体，因为稀有多面体不一定满足等边（边可递）的特性，但所有正多面体都是稀有多面体。