Maths Olympiad Prep

Library / Belarus — Selection and Training Session /23 of 78

Belarus — Selection and Training Session

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+DL≤BCDC + DL \le BC.

Solution

We prove the statement for ∠C≥36∘\angle C \ge 36^\circ. Let ∠ABC=∠BAC=2x\angle ABC = \angle BAC = 2x. We have DC+DL≤BC⇔BCDC≥1+DLDCDC + DL \le BC \Leftrightarrow \frac{BC}{DC} \ge 1 + \frac{DL}{DC}. Now, by the law of sines,
BCDC=sin⁡∠BDCsin⁡∠DBC=sin⁡2xsin⁡x=2cos⁡x,DLDC=sin⁡3xsin⁡x=13−4sin⁡2x=14cos⁡2x−1, \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 2cos⁡x≥1+14cos⁡2x−1=4cos⁡2x4cos⁡2x−12 \cos x \ge 1 + \frac{1}{4 \cos^2 x - 1} = \frac{4 \cos^2 x}{4 \cos^2 x - 1}. Note that x≤36∘x \le 36^\circ since ∠C≥36∘\angle C \ge 36^\circ, so cos⁡x>12\cos x > \frac{1}{2} and 4cos⁡2x−1>04 \cos^2 x - 1 > 0. Therefore the inequality is equivalent to
4cos⁡2x−1≥2cos⁡x⇔4cos⁡2x−2cos⁡x−1≥0⇔cos⁡x≥−1+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 x≤36∘x \le 36^\circ.

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.