MathLabs

Problem 3

Let DD be an interior point of the acute triangle ABCABC with AB>ACAB>AC so that ∠DAB=∠CAD\angle DAB=\angle CAD. The point EE on the segment ACAC satisfies ∠ADE=∠BCD\angle ADE=\angle BCD, the point FF on the segment ABAB satisfies ∠FDA=∠DBC\angle FDA=\angle DBC, and the point XX on the line ACAC satisfies CX=BXCX=BX. Let O1O_1 and O2O_2 be the circumcenters of the triangles ADCADC and EXDEXD, respectively. Prove that the lines BCBC, EFEF, and O1O2O_1O_2 are concurrent.
Step 5 of 6: Show the three centers are collinear
In plain words

The common radical-center power forces the two original centers onto the perpendicular bisector through PP.

P,O1,O2 are collinearP,O_1,O_2\text{ are collinear}
Detailed analysis

Let TT be the second intersection of (ACD)(ACD) and (EXD)(EXD). The inverse-circle construction gives TT on the circle centered at PP with radius PDPD, so PT=PDPT=PD. Since O1O_1 and O2O_2 are the centers of circles through D,TD,T, both lie on the perpendicular bisector of DTDT; the same is true of PP. Hence P,O1,O2P,O_1,O_2 are collinear.