Maths WorkshopMaths problems with full solutions
Exercise 2239Geometry › Plane geometryOlympiadAdded 5 Nov 2026

The Erdős–Mordell inequality

#Erdős–Mordell#projections#pedal points#geometric inequality

Statement

Let PP be a point inside a triangle ABCABC, and let D,E,FD,E,F be the feet of the perpendiculars from PP to the lines BCBC, CACA, ABAB respectively. Prove that
PA+PB+PC≥2 (PD+PE+PF).PA+PB+PC\ge2\,(PD+PE+PF).

Hint

Show first that PA≥ca PE+ba PFPA\ge\dfrac ca\,PE+\dfrac ba\,PF. For this, note that A,F,P,EA,F,P,E lie on a circle of diameter APAP, so EF=PAsin⁡AEF=PA\sin A, and compare EFEF with its projection on BCBC.

Show solutionHide solution

Solution

Let a,b,ca,b,c be the sides, and A,B,CA,B,C the angles.

Step 1: EF=PAsin⁡AEF=PA\sin A. Since ∠AFP=∠AEP=90∘\angle AFP=\angle AEP=90^\circ, E,FE,F lie on the circle with diameter APAP. The chord EFEF subtends the inscribed angle AA, so EF=APsin⁡AEF=AP\sin A.

Step 2: projection on BCBC. Place B=(0,0)B=(0,0), C=(a,0)C=(a,0), AA above the xx-axis. The vector PF⃗\vec{PF} points toward line ABAB, perpendicular to it, so it is ∣PF∣ (−sin⁡B,cos⁡B)|PF|\,(-\sin B,\cos B); PE⃗\vec{PE} is ∣PE∣ (sin⁡C,cos⁡C)|PE|\,(\sin C,\cos C). Then FE⃗=PE⃗−PF⃗\vec{FE}=\vec{PE}-\vec{PF} has xx-component ∣PE∣sin⁡C+∣PF∣sin⁡B|PE|\sin C+|PF|\sin B. Since EF≥EF\ge its projection on any line,
EF≥PEsin⁡C+PFsin⁡B.EF\ge PE\sin C+PF\sin B.

Step 3. Combining with Step 1: PAsin⁡A≥PEsin⁡C+PFsin⁡BPA\sin A\ge PE\sin C+PF\sin B, i.e.
PA≥ca PE+ba PF.PA\ge\frac ca\,PE+\frac ba\,PF.
By cyclic permutation,
PB≥ab PF+cb PD,PC≥bc PD+ac PE.PB\ge\frac ab\,PF+\frac cb\,PD,\qquad PC\ge\frac bc\,PD+\frac ac\,PE.

Step 4: summing.
PA+PB+PC≥PD(cb+bc)+PE(ca+ac)+PF(ba+ab)≥2(PD+PE+PF),PA+PB+PC\ge PD\left(\frac cb+\frac bc\right)+PE\left(\frac ca+\frac ac\right)+PF\left(\frac ba+\frac ab\right)\ge2(PD+PE+PF),
because x+1x≥2x+\frac1x\ge2. ■\blacksquare

Equality. a=b=ca=b=c and PP the centre.

Lesson. A segment is longer than its projection; choose the projection direction so that the lengths to compare appear as projections of known perpendiculars.