中分球
中分球()[1]或棱切球[2] (又译中交球、中点球[3]) 是指与多面体每条棱相切的球。 并非每个多面体都有中分球,但均匀多面体,包括正多面体、拟正多面体和半正多面体及其对偶多面体都具有中分球。 中分球的半径称为中分半径或中分球半径。 如果一个多面体存在中分球则称这个多面体和这颗球中分(,又译中交)。[4](相对于内切球的内切和外置球的外置)
当多面体具有中分球时,可以在中分球上形成两个垂直的圆形堆栈,一个对应于多面体顶点之间的邻接,另一个对应于具有相同中分球的极多面体。 每个多面体边的长度是其两个端点到该圆形堆栈中相应圆的距离总和。
每一个多面体都有一个等效组合(相同拓朴结构)的规范多面体(canonical polyhedron)。 对应的规范多面体确实会存在中分球,中心点位于所有中分球与棱相切之点集的几何中心。 可以用数值方法近似地求出规范多面体与其中分球,但其座标不能精确地以解析式表示。 任何规范多面体和其极对偶都可以用来构建四维反棱镜的两个相对维面。
在二维空间中没有「中分」的概念,仅有「内切」和「外置」。
定义和范例
三维凸多面体的中分球定义为与多面体的每条边相切的球体。也就是说,每条边都恰好与该球交于一点,而没有边的线段「穿过球体」的情况发生。此时,这个球体与多面体之面相交的部分恰好为该面的内切圆。[5] 当中分球存在时,它是唯一的。并非每个凸多面体都有中分球;有中分球的多面体每个面都必须有一个内切圆(即这个多面体每个面必须都是圆外切多边形),并且这些内切圆共球,也就是它们都同属于一个球体。例如,长方体[注 1]仅有当所有边等长变为立方体时才具有中分球,否则边不等长的长方体,其矩形面不存在内切圆。[6]
几何中心位于笛卡尔座标系原点的单位立方体,其八个顶点为,边的中点与原点的距离为。因此这个立方体的中分球以原点为中心,半径为。这个半径大于其内切球半径,并小于外置球半径。更一般地,任何边长为的柏拉图立体,其中分球半径为[7]:
凸均匀多面体,包括凸正多面体、拟正多面体和半正多面体及其对偶多面体都具有中分球。在凸正多面体中,内切球、中分球和外置球都存在且同心[8],其中分球与凸正多面体每条边的中点相切。[9]
.jpg.webp)
并非所有不规则四面体都具有中分球。存在中分球的四面体称为「克雷尔四面体」(Crelle's tetrahedra);其形成所有四面体之六维空间中的一个四维子集(由它们的六个边长参数化)。更精确地说,克雷尔四面体的四个顶点来自四个相互外切的球之球心。在这种情况下,四面体的六个边长是这四个球体半径的两两之和。[11] 这种四面体的中分球与四面体边相切的点为四个生成球体中的两个球体彼此相切且垂直于所有四个生成球体的点。[12]
性质
相切圆
若O是凸多面体P的中分球,则O与P的相交处位于每个面上,在面上的相交形状为圆形,该交圆正好与该面的边相切,且相切的点和中分球O与凸多面体P相切的点相同。因此P的每个面都有一个内切圆,并且,当两个面共用一条边时,这两个面上的内切圆恰好彼此相切(然而,并非逤有具有这些特性的圆都来自中分球)[4]
对偶地,若v是P的顶点,则存在顶点v,其顶角由顶点向下看,会在某个位置与中分球相交,这些交点共面,所形成的平面交于中分球O为一个圆形,该圆形与v的顶角相交的顶点所形成的多边形(顶点图)和中分球O相交的圆为外置圆关系。这个圆与顶点v形成一个圆锥体区域;该圆形形成球冠的边界,在该球冠范围内从v的顶角内可以看到球体的表面。也就是说,从顶点看去,该圆是中分球的地平线。当两个顶点以上述方式形成两个圆形时,所形成的两个圆形恰好彼此相切。[13]
参见
- 内切球
- 外置球
注释
- 此处的长方体仅指所有面都是矩形、所有角都是直角的六面体,并未要求标长是否要等长,因此此处立方体也是一种长方体。
参考文献
- 孟庆台. . 科学研习期刊. 2023-05-24, 第51卷 (第12期) [2023-11-13]. (原始内容存档于2023-11-13). 外部链接存在于
|journal=
(帮助) - 林保平. (PDF). sec.ntnu.edu.tw. [2023-11-15]. (原始内容存档 (PDF)于2023-11-15).
- (PDF). 九章数学教育基金会. 2016-06-28 [2023-11-23].
- Grünbaum, Branko, (PDF), Geombinatorics, 2005, 15 (2): 69–78 [2023-11-13], MR 2298896, Zbl 1094.52007, (原始内容存档 (PDF)于2023-11-09)
- Coxeter, H. S. M., , 3rd, Dover: 16–17, 1973, ISBN 0-486-61480-8, MR 0370327
- Wheeler, Roger F., , Classroom Notes, The Mathematical Gazette, December 1958, 42 (342): 275–276, JSTOR 3610439, S2CID 250434576, doi:10.2307/3610439
- Coxeter 1973[5], Table I(i), pp. 292–293. See column "", where is Coxeter's notation for the midradius, noting also that Coxeter uses as the edge length (see p. 2)
- Cundy, H. M.; Rollett, A. P., 2nd, Oxford University Press: 79, 117, 1961, MR 0124167, Zbl 0095.38001
- Pugh, Anthony, , University of California Press: 4, 1976 [2023-11-15], ISBN 9780520030565, MR 0451161, Zbl 0387.52006, (原始内容存档于2023-11-15)
- László, Lajos, (PDF), Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, 2017, 46: 165–176 [2023-11-15], MR 3722672, Zbl 1399.51014, (原始内容存档 (PDF)于2023-09-10)
- László 2017[10]. The irregular tetrahedra with a midsphere provide a counterexample to an incorrect claim of Pugh 1976[9]: it is not true that only the regular polyhedra have all three of a midsphere, insphere, and circumsphere.
- Byer, Owen D.; Smeltzer, Deirdre L., , Mathematics Magazine, 2015, 88 (2): 146–150, JSTOR 10.4169/math.mag.88.2.146, MR 3359040, S2CID 125524102, Zbl 1325.51011, doi:10.4169/math.mag.88.2.146
- Ziegler, Günter M., , Miller, Ezra; Reiner, Victor; Sturmfels, Bernd (编), , IAS/Park City Mathematics Series 13, Providence, Rhode Island: American Mathematical Society: 617–691, 2007, MR 2383133, S2CID 11167900, Zbl 1134.52018, arXiv:math/0411400
, doi:10.1090/pcms/013/10