Let ABC be an acute triangle and H is orthocenter. Let D be the intersection of BH and AC and E be the intersection of CH and AB. The circumcircle of ADE meets the circumcircle of ABC at F=A. Prove that the angle bisectors of ∠BFC and ∠BHC concur at a point on line BC.
Solution
By the angle bisector theorem, it suffices to prove that FCBF=HCBH. We have ∠EFB=180∘−∠FEA=180∘−∠FDA=∠FDC and ∠FBE=∠FBA=∠FCA=∠FCD, so triangles BEF and CDF are similar. Thus FCBF=CDBE=CHcos∠DCHBHcos∠EBH=CHcos(90∘−∠BAC)BHcos(90∘−∠BAC)=CHBH
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.