Trigonometry/For Enthusiasts/Erdős–Mordell inequality

In Euclidean geometry, the Erdős–Mordell inequality states that for any triangle ABC and point O inside ABC, the sum of the distances from O to the sides is less than or equal to half of the sum of the distances from O to the vertices. It is named after Paul Erdős and Louis Mordell. Erdős (1935) posed the problem of proving the identity; a proof was provided two years later by Mordell and D. F. Barrow (1937). This solution was however not very elementary. Subsequent simpler proofs were then found by Kazarinoff (1957), Bankoff (1958), and Alsina & Nelson (2007).

In absolute geometry, the Erdős–Mordell inequality is equivalent to the statement that the sum of the angles of a triangle is at most 2 (Pambuccian 2008).