Maths Olympiad Prep

Library / /15 of 92

Geometry Difficulty 5.9 AIME, harder Prove it Iran

Problem:

In triangle ABCABC we have BAC=60\angle BAC = 60^\circ. The perpendicular line to ABAB at BB intersects the bisector of BAC\angle BAC at DD and the perpendicular line to BCBC at CC meets the bisector of ABC\angle ABC at EE. Prove that BED30\angle BED \leq 30^\circ.

Solution

Solution:

Denote by II the intersection point of ADAD and BEBE, so II is the incenter of triangle ABCABC. Suppose that α=BAC2\alpha = \frac{\angle BAC}{2}. We have
IBD=90IBA=90CBA2=9030=60, \angle IBD = 90^\circ - \angle IBA = 90^\circ - \frac{\angle CBA}{2} = 90^\circ - 30^\circ = 60^\circ,
CEB=90CBE=90CBA2=9030=60. \angle CEB = 90^\circ - \angle CBE = 90^\circ - \frac{\angle CBA}{2} = 90^\circ - 30^\circ = 60^\circ.
Thus in triangles BECBEC and BEDBED we have CEB=EBD=60\angle CEB = \angle EBD = 60^\circ and BEBE is side of both of them. Since BEC=30\angle BEC = 30^\circ it suffices to prove BD<CEBD < CE but we have BDAB=tanα\frac{BD}{AB} = \tan \alpha and ECBC=tan30\frac{EC}{BC} = \tan 30^\circ, So
BDCEABtanαBCtan30ABBCtanαtan30 BD \le CE \Leftrightarrow AB \tan \alpha \le BC \tan 30^\circ \Leftrightarrow \frac{AB}{BC} \tan \alpha \le \tan 30^\circ
tanαsin(1202α)sin(2α)tan30(Law of Sines) \Leftrightarrow \tan \alpha \frac{\sin(120^\circ - 2\alpha)}{\sin(2\alpha)} \le \tan 30^\circ \quad (\text{Law of Sines})
sinαcosαsin(1202α)2sinαcosαtan30 \Leftrightarrow \frac{\sin \alpha}{\cos \alpha} \frac{\sin(120^\circ - 2\alpha)}{2 \sin \alpha \cos \alpha} \le \tan 30^\circ
sin(1202α)2cos2αtan30 \Leftrightarrow \sin(120^\circ - 2\alpha) \le 2\cos^2 \alpha \cdot \tan 30^\circ

sin120cos(2α)sin120sin(2α)(1+cos(2α))tan30(sin120tan30)cos(2α)cos120sin(2α)tan30. \begin{aligned} & \Leftrightarrow \sin 120^\circ \cos(2\alpha) - \sin 120^\circ \sin(2\alpha) \le (1 + \cos(2\alpha)) \tan 30^\circ \\ & \Leftrightarrow (\sin 120^\circ - \tan 30^\circ) \cos(2\alpha) - \cos 120^\circ \sin(2\alpha) \le \tan 30^\circ. \end{aligned}
We know by Cauchy-Schwarz inequality that
(LHS)2((sin120tan30)2+(cos120)2)(cos2(2α)+sin2(2α))=(3233)2+(12)2=336+14=13=(tan30)2=(RHS)2. \begin{aligned} (LHS)^2 &\le ((\sin 120^\circ - \tan 30^\circ)^2 + (\cos 120^\circ)^2)(\cos^2(2\alpha) + \sin^2(2\alpha)) \\ &= \left(\frac{\sqrt{3}}{2} - \frac{\sqrt{3}}{3}\right)^2 + \left(\frac{-1}{2}\right)^2 = \frac{3}{36} + \frac{1}{4} = \frac{1}{3} = (\tan 30^\circ)^2 = (RHS)^2. \end{aligned}
\quad \square

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

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.