The Euler triangle formula relates the distance between a triangle's circumcenter and incenter
to its circumradius and inradius.
Let
and
be the circumcenter and incenter
of a triangle with circumradius
and inradius
. Let
be the distance between
and
. Then
(Mackay 1886-1887; Casey 1888, pp. 74-75; Johnson 1929, pp. 186-187; Altshiller-Court 1952, p. 85). This is the simplest case of Poncelet's porism, and is sometimes also known as Euler's triangle theorem (Altshiller-Court 1952, p. 85).
From this theorem, the inequality
sometimes known as Euler's inequality, follows immediately.