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 2 of 5: Circle through A, C, D
x2+y2+(d−c)x−a2−cday−cd=0x^2+y^2+(d-c)x-\frac{a^2-cd}{a}y-cd=0
Detailed analysis

Substituting AA, CC, DD into the general circle equation x2+y2+2fx+2gy+h=0x^2+y^2+2fx+2gy+h=0 and solving the resulting linear system for f,g,hf,g,h gives the circumcircle of △ACD\triangle ACD shown above.