Given the isosceles triangle ABC (CA=CB). The bisector of the angle ∠B intersects the side AC at point L and the circumcircle of the triangle ABC at point D. It is known that ∠C>60∘. Prove that DC+DL≤BC.
Solution
We prove the statement for ∠C≥36∘. Let ∠ABC=∠BAC=2x. We have DC+DL≤BC⇔DCBC≥1+DCDL. Now, by the law of sines, DCBC=sin∠DBCsin∠BDC=sinxsin2x=2cosx,DCDL=sinxsin3x=3−4sin2x1=4cos2x−11, so we need to prove that 2cosx≥1+4cos2x−11=4cos2x−14cos2x. Note that x≤36∘ since ∠C≥36∘, so cosx>21 and 4cos2x−1>0. Therefore the inequality is equivalent to 4cos2x−1≥2cosx⇔4cos2x−2cosx−1≥0⇔cosx≥4−1+5, which is true for x≤36∘.
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.