Maths Olympiad Prep

Library / Brazilian Math Olympiad /8 of 66

Brazilian Math Olympiad

Geometry Difficulty 4.7 AIME Prove it Brazil

Let ABCABC be an acute triangle and HH is orthocenter. Let DD be the intersection of BHBH and ACAC and EE be the intersection of CHCH and ABAB. The circumcircle of ADEADE meets the circumcircle of ABCABC at F≠AF \neq A. Prove that the angle bisectors of ∠BFC\angle BFC and ∠BHC\angle BHC concur at a point on line BCBC.

Solution

Figure 1

By the angle bisector theorem, it suffices to prove that BFFC=BHHC\frac{BF}{FC} = \frac{BH}{HC}.
We have ∠EFB=180∘−∠FEA=180∘−∠FDA=∠FDC\angle EFB = 180^\circ - \angle FEA = 180^\circ - \angle FDA = \angle FDC and ∠FBE=∠FBA=∠FCA=∠FCD\angle FBE = \angle FBA = \angle FCA = \angle FCD, so triangles BEFBEF and CDFCDF are similar. Thus
BFFC=BECD=BHcos⁡∠EBHCHcos⁡∠DCH=BHcos⁡(90∘−∠BAC)CHcos⁡(90∘−∠BAC)=BHCH \frac{BF}{FC} = \frac{BE}{CD} = \frac{BH \cos \angle EBH}{CH \cos \angle DCH} = \frac{BH \cos(90^\circ - \angle BAC)}{CH \cos(90^\circ - \angle BAC)} = \frac{BH}{CH}

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.