Problem

Source: Canada RepĂȘchage 2015/6

Tags: geometry, angle bisector



Let $\triangle ABC$ be a right-angled triangle with $\angle A = 90^{\circ}$, and $AB < AC$. Let points $D, E, F$ be located on side $BC$ such that $AD$ is the altitude, $AE$ is the internal angle bisector, and $AF$ is the median. Prove that $3AD + AF > 4AE$.