Consider a triangle △ABC with circumcenter O and incenter I. The incircle touches sides BC, CA and AB at D, E and F, respectively. Let K be a point such that KF is tangent to circumcircle of △BFD and KE is tangent to circumcircle of △CED. Prove that BC, OI and AK are concurrent.
Solution
Note that XCXB=sin∠XOCsin∠XOB=sin∠IOCsin∠IOB. Which is equivalent to sin(2∣∠B−∠A∣)sin(2∠C)⋅sin(2∠C)sin(2∣∠B−∠A∣). Using Ceva's theorem in triangle △BOC for point I. Now, by the Ratio lemma, we have YCYB=bc⋅sin∠YACsin∠YAB=bc⋅sin∠KAEsin∠KAF. By Ceva's theorem in △AEF for point K, we have sin∠KAEsin∠KAF=sin∠KEAsin∠KEF⋅sin∠KFEsin∠KFA=sin(90∘−2∠C)sin(90∘−2∠B)⋅sin(2∠C)sin(2∠B). So we have just to prove that bc⋅sin(90∘−2∠C)sin(90∘−2∠B)=sin(2∠B)sin(2∠C)⟺sin∠Bsin∠C⋅cos(2∠C)cos(2∠B)=sin(2∠B)sin(2∠C). Which is obviously true since sinx=2sin(2x)cos(2x).
Looking for a route rather than 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.