MathDB
Geometrical inequality

Source: Romania EGMO TST 2023 Day 1 P3

February 23, 2023
geometryinequalitiesromania

Problem Statement

Let DD{} be a point inside the triangle ABCABC. Let EE{} and FF{} be the projections of DD{} onto ABAB and ACAC, respectively. The lines BDBD and CDCD intersect the circumcircle of ABCABC the second time at MM{} and NN{}, respectively. Prove that EFMNrR,\frac{EF}{MN}\geqslant \frac{r}{R},where rr{} and RR{} are the inradius and circumradius of ABCABC, respectively.