On a special class of \(n\)-simplices (Q1035240)

An \(n\)-simplex \(M\) is called \textsl{circumscriptible} (\textsl{edge-incentric}) if there exists a sphere \(S\) tangent to all edges of \(M\). Generically, an \(n\)-symplex (\(n\geq 3\)) does not have an edge-tangent sphere: actually, \(M\) is circumscriptible if and only if it satisfies some particular conditions in terms of its edge lengths; besides the radius of the sphere \(S\) edge-tangent to \(M\) may be expressed in terms of edge lengths too [see \textit{M. Hajja}, Result. Math. 49, No. 3--4, 237--263 (2006; Zbl 1110.52014); \textit{V. P. Ivanoff}, Math. Mag. 43, 71--72 (1970; Zbl 0189.21003)]. The main result states that, given a circumsriptible \(n\)-simplex, the radius \(l\) of its edge-tangent sphere and the radius \(r\) of its insphere (face-tangent) satisfy \(l^2\geq \frac{n(n-1)}{2} r^2\). The proof is based on elementary purely algebraic arguments.