Proving the quadrilaterals cyclic

contest-matheuclidean-geometrygeometry

Let $ABC$ be a triangle and let $D, E, F$ be the feet of the altitudes, on $BC,CA,AB$ respectively. Let the parallel through $D$ to $EF$ meet $AB$ at $X$ and $AC$ at $Y$ . Let $T$ be the intersection of $EF$ with $BC$ and let $M$ be the midpoint of side $BC$. Prove that the points $T, M, X, Y$ are con-cyclic.

I am interested in the question above. I tried using power of points and the nine point circle. After a length bash, I concluded that its enough to show that $$\frac{BD}{BM}=\frac{TB}{TM}$$but I have no idea how to proceed further. Any progress will be highly appreciated.

P.S.: Any other approaches for proving the problem will also be entertained.

Best Answer

Let P be the midpoint of FB. Extend MP to cut TF at Q.

After such construction, MBQF is a kite with $\angle DFB = \angle DFQ = \angle FBQ$ and $\angle BQM = \angle FQM$. The latter implies QM is the external angle bisector of $\angle BQF$ of $\triangle TQB$.

enter image description here

Draw QR // AB cutting TB at R. Since $\angle RQM = \angle BPM = 90^0$, QR is then the internal angle bisector of $\angle TQB$.

Therefore, $\dfrac {TM}{BM} = \dfrac {TR}{RB}$.

But, $\dfrac {TR}{RB}= \dfrac {TQ}{QF}$; because of similar triangles.

Further, $\dfrac {TQ}{QF} = \dfrac {TB}{BD}$; because of similar triangles. .