Some inequalities involving two simplexes (Q1362560)

Let \(S\), \(S'\subset E^n\) be two \(n\)-simplices of circumradii \(R\), \(R'\) and inradii \(r\) and \(r'\), respectively. Furthermore, let \(V_{(i_1 \dots i_{k+1})}\) denote the \(k\)-volume of the \(k\)-simplex \(K\) spanned by the subset \(\{A_{i_1}, \dots, A_{i_{k+1}}\}\) of the vertex set of \(S\) \((0\leq i_1<i_2 <\cdots <i_{k+1}\leq n)\), and \(r_{(i_1, \dots, i_{k+1})}\) is written for the inradius of \(K\) (for a second simplex \(K'\), analogously derived from \(S'\), the corresponding notations are used). The author proves three inequalities of the following type: \[ {R'\over nr} ={1\over {n+1 \choose k+1}} \sum_{0\leq i_1<\cdots <i_{k+1} \leq n} \left({V_{(i_1 \dots i_{k+1})}' \over V_{(i_1 \dots i_{k+1})}} \right)^{1\over k}. \] In all three inequalities the equality case is obtained if and only if \(K\) and \(K'\) are regular \(n\)-simplices. Some related corollaries are derived, and the considerations are suitably extended to tangent point simplices (spanned by the touching points of inspheres of simplices) and generalizations of them, including also a characterization of pairs of congruent simplices.