A geometry problem about the nine-point-circle

Question

In the acute angled triangle $ABC$, the midpoints of the sides $BC$, $CA$ and $AB$ are $D$, $E$ and $F$, respectively. The foot of the altitude of the triangle starting from $C$ is $T_1$. On some line $l$, passing through point $C$ but not containing $T_1$, the feet of the perpendiculars starting from $A$ and $B$ are $T_2$ and $T_3$, respectively. Prove that the circle $DEF$ passes through the center of the circle $T_1 T_2 T_3$.

I found that $ABC \sim T_1 T_2 T_3$ , and now we are learning the Feuerbach's circle.

(illustrated in geogebra)

Answer 1

Let $G,H,I\equiv T_1$ the feet of the altitudes of $ABC$. Since the circumcircle of the median triangle $DEF$ is the nine-point-circle of $ABC$, $D,E,F,G,H,I$ are concyclic. Since $\widehat{BT_3 C}=\widehat{CIB}=\frac{\pi}{2}$, $BCT_3 T_1$ is a cyclic quadrilateral and the perpendicular bisector of $T_1 T_3$ goes through $D$. Let $T_4$ be the midpoint of $T_2 T_3$. By Thales' theorem, the perpendicular bisector of $T_2 T_3$ goes through $F$. Now the angle between the $FT_4$ and the $JD$ lines equals the angle between the $CT_3$ and $T_1 T_3$ lines, by switching to perpendiculars. By exploiting the ciclicity of $BCT_3 T_1$ we have that this angle equals $\widehat{CBA}=\widehat{FED}$. If $J$ is the intersection between $FT_4$ and the perpendicular bisector of $T_1 T_3$, $J$ is the circumcenter of $T_1 T_2 T_3$ and $\widehat{FJD}=\widehat{FED}$. It follows that $J$ belongs to the nine-point-circle of $ABC$, as wanted.