\(\def\Real{\mathbb{R}}\def\Z{\mathcal{Z}}\def\sg{\mathfrak{S}}\def\B{\mathbf{B}}\def\xx{\mathbf{x}}\def\ex{\mathbb{E}}

\)

Consider \(n\) points in Euclidean space, \(\xx=\{x_1,\ldots, x_n\}, x_k\in \Real^d, n\leq d+1\).

Generically, there is a unique sphere in the affine space spanned by those points, containing all of them. This centroid (which we will denote as \(o(x_1,\ldots,x_n)\)) …