MathLabs

Problem 2

Let ABCABC be a right triangle with ∠B=90∘\angle B=90^\circ. Point DD lies on the line CBCB such that BB is between DD and CC. Let EE be the midpoint of ADAD and let FF be the second intersection point of the circumcircle of △ACD\triangle ACD and the circumcircle of △BDE\triangle BDE. Prove that as DD varies, the line EFEF passes through a fixed point.
Step 5 of 5: The line EF always meets BC at the same point
line EF∩{y=0}=(−c,0), independent of d\text{line } EF \cap \{y=0\} = (-c,0),\ \text{independent of } d
Detailed analysis

Writing the line through EE and FF and setting y=0y=0 gives the xx-intercept x=−cx=-c, which does not depend on dd at all. Hence, as DD (equivalently dd) varies, the line EFEF always passes through the fixed point P=(−c,0)P=(-c,0), i.e. the point on ray CBCB beyond BB with BP=BCBP=BC.