Maths Olympiad Prep

Library / /4 of 27

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 FAF \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=180FEA=180FDA=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=BHcosEBHCHcosDCH=BHcos(90BAC)CHcos(90BAC)=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,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.