In triangle ABC we have ∠BAC=60∘. The perpendicular line to AB at B intersects the bisector of ∠BAC at D and the perpendicular line to BC at C meets the bisector of ∠ABC at E. Prove that ∠BED≤30∘.
Solution
Solution:
Denote by I the intersection point of AD and BE, so I is the incenter of triangle ABC. Suppose that α=2∠BAC. We have ∠IBD=90∘−∠IBA=90∘−2∠CBA=90∘−30∘=60∘, ∠CEB=90∘−∠CBE=90∘−2∠CBA=90∘−30∘=60∘. Thus in triangles BEC and BED we have ∠CEB=∠EBD=60∘ and BE is side of both of them. Since ∠BEC=30∘ it suffices to prove BD<CE but we have ABBD=tanα and BCEC=tan30∘, So BD≤CE⇔ABtanα≤BCtan30∘⇔BCABtanα≤tan30∘ ⇔tanαsin(2α)sin(120∘−2α)≤tan30∘(Law of Sines) ⇔cosαsinα2sinαcosαsin(120∘−2α)≤tan30∘ ⇔sin(120∘−2α)≤2cos2α⋅tan30∘
⇔sin120∘cos(2α)−sin120∘sin(2α)≤(1+cos(2α))tan30∘⇔(sin120∘−tan30∘)cos(2α)−cos120∘sin(2α)≤tan30∘. We know by Cauchy-Schwarz inequality that (LHS)2≤((sin120∘−tan30∘)2+(cos120∘)2)(cos2(2α)+sin2(2α))=(23−33)2+(2−1)2=363+41=31=(tan30∘)2=(RHS)2. □
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.