Non-Euclidean versions of some classical triangle inequalities (Q2895470)

The authors of the paper under review start with the interesting fact that if \(ABC\) is a triangle with side lengths \(a\), \(b\), \(c\) and angles \(A\), \(B\), \(C\) (in the standard order), then the quantity \(c^2 - (a^2+b^2-2ab \cos C)\) is zero, negative, or positive according as \(ABC\) is a Euclidean, a spherical, or a hyperbolic triangle. This fact is included in the paper by \textit{D. Veljan} in [Am. Math. Mon. 111, No. 7, 592--594 (2004; Zbl 1187.51018)]. Then they consider several well known triangle inequalities in Euclidean geometry, give shorter proofs (at times of stronger versions) of some of them, and then prove analogues in spherical and hyperbolic geometries. These inequalities include the inequalities of Euler, Finsler-Hadwiger, Rouché, and Blundon, and isoperimetric inequalities. The paper contains a wealth of formulas in spherical and hyperbolic geometries that are hard to find elsewhere.