给定点集的 circumsphere,通常是固体的顶点,是一个穿过所有点的球体。circumsphere 并非总是存在,但当它存在时,其半径 称为circumradius,其中心称为circumcenter。circumsphere 是 circumcircle 的三维推广。
上图描绘了柏拉图立体的外接球。
外接球在 Wolfram 语言中实现为外接球[pts],其中 pts 是点列表,或者外接球[poly],其中 poly 是一个多边形(给出二维外接圆)或者多面体(给出三维外接球)对象。
与外接圆的方程类似,顶点为 polygon vertices ,i=1, ..., 4 的四面体的外接球方程为
(1)
|
展开行列式,
(2)
|
其中
(3)
|
是从矩阵获得的行列式
(4)
|
通过舍弃 列(并取正号)获得,D_y 类似(这次取负号),D_z 也类似(再次取正号)
(5)
| |||
(6)
| |||
(7)
|
且 由下式给出
(8)
|
配方得到
(9)
|
(10)
|
中心为外心
(11)
| |||
(12)
| |||
(13)
|
半径为外接圆半径
(14)
|