Recovering a circumscriptible tetrahedron from its face areas (Q2280078): Difference between revisions

The main result of this paper is that if \(f_1\), \(f_2\), \(f_3\) and \(f_4\) are positive numbers satisfying \[f_i<f_j+f_k+f_r\] whenever \(\{i,j,k,r\}=\{1,2,3,4\}\) then, up to isometry, there exists one and only one circumscriptible tetrahedron having these numbers as its face areas. The proof is based on an auxiliary result which states that if \(a_1\), \(a_2\), \(a_3\) and \(a_4\) are positive numbers then there exists a tetrahedron \(A_1A_2A_3A_4\) with \(|\!|A_i-A_j |\!|=a_i+a_j\), where \(i\) and \(j\) are distinct elements of \(\{1,2,3,4\}\) if and only if \[ \left(\sum_{i=1}^{4}\frac{1}{a_i}\right)^2-2\left(\sum_{i=1}^4\frac{1}{a_i^2}\right)>0. \] The paper concludes with the question if there exists an analogue of Heron's area-formula for the volume of a circumscriptible tetrahedron in terms of its face areas. The paper is well written.