On the circumradius of a special class of \(n\)-simplices (Q1758325)

Every non-degenerate \(n\)-simplex has a circumscribed sphere passing through all its vertices and an inscribed sphere tangent to all its facets. The radii \(R\) and \(r\) of these spheres are known as circumradius and inradius, respectively. A simplex is called edge-incentric (or circumscriptible) if it has an edge-tangent sphere, i.e., a sphere tangent to all its edges. The radius \(\rho\) of the edge-tangent sphere is called edge-inradius. In [\textit{M. Hajja}, Result. Math. 49, No. 3--4, 237--263 (2006; Zbl 1110.52014)] it is shown that an \(n\)-simplex is edge-incentric if and only if there exist \(x_i>0\) associated to each vertex \(A_i\), \(i=0,\dots,n\), such that \(x_i+ x_j\) equals the length of the edge between \(A_i\) and \(A_j\). The numbers \(x_i\) are called the balloon radii of the edge-incentric simplex. The authors of the paper under review give a closed formula for the circumradius of an edge-incentric \(n\)-simplex in terms of its balloon radii. This allows them to prove a double inequality relating the circumradius and the edge-inradius. Together with the main result in [\textit{Y.-D. Wu} et al., Result. Math. 54, No. 3--4, 389--396 (2009; Zbl 1181.52022)], relating the edge-inradius and the inradius, this yields \[ R \geq \sqrt{\frac{2n}{n-1}}\rho \geq nr \] as a sharpening of Euler's inequality.