Maths Olympiad Prep

Library / Turkish Mathematical Olympiad /9 of 47

Turkish Mathematical Olympiad

Geometry Difficulty 5.8 AIME, harder Prove it Turkey

In a triangle ABCABC, the interior angle bisector of AA intersects the AA-excircle of ABCABC at DD and EE such that D∈[AE]D \in [AE]. Show that
∣AD∣∣AE∣≤∣BC∣2∣DE∣2. \frac{|AD|}{|AE|} \le \frac{|BC|^2}{|DE|^2}.

Solution

Let BC=aBC = a, uu be the semiperimeter, the length of the altitude passing through AA be hah_a, and the center and radius of AA-excircle be JaJ_a and rar_a, respectively. It is known that the points A,D,Ja,EA, D, J_a, E are collinear. We have
AD=AJa−JaD=ra2+u2−ra,DE=2ra,AE=ra2+u2+ra. AD = AJ_a - J_a D = \sqrt{r_a^2 + u^2} - r_a, \quad DE = 2r_a, \quad AE = \sqrt{r_a^2 + u^2} + r_a.
Figure 1
Therefore, we get
ADAE⋅DE2BC2=4ra2a2⋅ra2+u2−rara2+u2+ra=[2ua⋅rara2+u2+ra]2. \frac{AD}{AE} \cdot \frac{DE^2}{BC^2} = \frac{4r_a^2}{a^2} \cdot \frac{\sqrt{r_a^2 + u^2} - r_a}{\sqrt{r_a^2 + u^2} + r_a} = \left[ \frac{2u}{a} \cdot \frac{r_a}{\sqrt{r_a^2 + u^2} + r_a} \right]^2.
Since the area of triangle ABCABC is equal to aha/2=ra(u−a)ah_a/2 = r_a(u-a), we get ha/ra=2(u−a)/ah_a/r_a = 2(u-a)/a. Let the feet of the perpendicular lines from JaJ_a and AA to the line BCBC be KK and LL, respectively. It is clear that AL+JaK≤AJaAL + J_a K \le AJ_a. This shows that ha+ra≤ra2+u2h_a + r_a \le \sqrt{r_a^2 + u^2}. Hence, we conclude that
ra2+u2+rara≥ha+2rara=2ua. \frac{\sqrt{r_a^2 + u^2} + r_a}{r_a} \ge \frac{h_a + 2r_a}{r_a} = \frac{2u}{a}.
The last inequality completes the proof. The equality holds when the points A,L,K,JaA, L, K, J_a are collinear, i.e., AB=ACAB = AC.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.