Let T be the intersection point of ΩE,ΩF other than A, and let AT meet the circumcircle of △BTC again at point HD. From ∠∗BCHD=∠∗BTA=21∠∗BFA=21∠∗CDB, we know that BHD⊥CD. Similarly we obtain CHD⊥BD, so HD is the orthocenter of △BDC.
Similarly, we can set HE,HF to be the orthocenters of △CEA,△AFB respectively, then BHE,CHF are the radical axes of (ΩF,ΩD) and (ΩD,ΩE) respectively, that is, AHD,BHE,CHF are concurrent at the radical center P of ΩD,ΩE,ΩF.
Let X,Y,Z be the reflections of D,E,F with respect to BC,CA,AB respectively.
From △BXC∼△BFA, we get △BCA∼△BXF, so BFAE=ABCA=BFFX, from which we know AE=FX. Similarly we obtain AF=EX, so AEXF is a parallelogram.
Let O be the circumcenter of △DEF, and let Q be the reflection of P with respect to O. Then from the above discussion we know that XQ⊥EF. Similarly, YQ,ZQ are perpendicular to FD,DE respectively. Let H be the orthocenter of △DEF. Note that
DHDDX=EHEEY=FHFFZ,
so H,P,Q are collinear, that is, P lies on the Euler line OH of △DEF. This completes the proof.
