Maths Olympiad Prep

Library / /16 of 50

Geometry Difficulty 5.2 AIME, harder Prove it Belarus

Given the isosceles triangle ABCABC (CA=CBCA = CB). The bisector of the angle B\angle B intersects the side ACAC at point LL and the circumcircle of the triangle ABCABC at point DD. It is known that C>60\angle C > 60^\circ.
Prove that DC+DLBCDC + DL \le BC.

Solution

We prove the statement for C36\angle C \ge 36^\circ. Let ABC=BAC=2x\angle ABC = \angle BAC = 2x. We have DC+DLBCBCDC1+DLDCDC + DL \le BC \Leftrightarrow \frac{BC}{DC} \ge 1 + \frac{DL}{DC}. Now, by the law of sines,
BCDC=sinBDCsinDBC=sin2xsinx=2cosx,DLDC=sin3xsinx=134sin2x=14cos2x1, \frac{BC}{DC} = \frac{\sin \angle BDC}{\sin \angle DBC} = \frac{\sin 2x}{\sin x} = 2 \cos x, \\ \frac{DL}{DC} = \frac{\sin 3x}{\sin x} = \frac{1}{3 - 4 \sin^2 x} = \frac{1}{4 \cos^2 x - 1},
so we need to prove that 2cosx1+14cos2x1=4cos2x4cos2x12 \cos x \ge 1 + \frac{1}{4 \cos^2 x - 1} = \frac{4 \cos^2 x}{4 \cos^2 x - 1}. Note that x36x \le 36^\circ since C36\angle C \ge 36^\circ, so cosx>12\cos x > \frac{1}{2} and 4cos2x1>04 \cos^2 x - 1 > 0. Therefore the inequality is equivalent to
4cos2x12cosx4cos2x2cosx10cosx1+54, 4 \cos^2 x - 1 \ge 2 \cos x \Leftrightarrow 4 \cos^2 x - 2 \cos x - 1 \ge 0 \Leftrightarrow \cos x \ge \frac{-1 + \sqrt{5}}{4},
which is true for x36x \le 36^\circ.

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.