Euler’s inequality is a well-known inequality relating the inradius and circumradius
of a triangle. In Euclidean geometry, this inequality takes the form
, where
is the
circumradius and
is the inradius. In spherical geometry, the inequality takes the form
,
as proved by Mitrinović, Pečarić and Volenec
(Math. Appl.EastEur. Ser.28 (1989));
similarly, we have
for hyperbolic triangles; see the work of Svrtan and Veljan (Forum Geom.12
(2012), 197–209) for a proof. In Euclidean geometry, this inequality can be
strengthened as discussed by Svrtan and Veljan (2012). We prove an analogous
version of this strengthened inequality which holds in spherical geometry, as
well as an additional strengthening of Euler’s inequality which holds in
Euclidean geometry and can be generalized into both spherical and hyperbolic
geometry.