Prove $\overline{MN} \parallel \overline{PQ}$

contest-matheuclidean-geometrygeometryplane-geometrytriangles

Line $\ell$ intersects sides $\overline{AB},\overline{AC}$ of $\triangle ABC$ at $D,E$. $P,Q$ are the midpoints of $\overline{CD}$ and $\overline{BE}$ respectively. The lines through $P,Q$ perpendicular to $\ell$ meet the perpendicular bisectors of $\overline{AC}$ and $\overline{AB}$ at $M,N$ respectively. Prove that $\overline{MN} \parallel \overline{PQ}$.

The way I approached it was that $P, Q$ lie on medial triangle of $ABC$ and circumcenter $O$ of (ABC) is orhocenter of medial triangle
So by taking homothety at $G$(centroid of $ABC$) with factor of $2$ maps medial triangle to $ABC$ and $O$ to orthocenter of ABC .
Let ,$CX$ and $BY$ be perps on $AB$ and $AC$ and $PM$ intersect $BY$ at $R$ and $QN$ intersect $CX$ at $S$ then $RS$ is parallel to $MN?$

I checked it with geogebra but its not true could you point out the mistake please

Best Answer

enter image description here

Since $QN\parallel PM\perp \ell$, it is enough to show that $QN=PM$.
$P$ and $Q$ lie on the sides of the medial triangle of $ABC$.
Let $M_2$ be the symmetric of $C$ wrt $M$, let $N_2$ be the symmetric of $B$ wrt $N$ and let us focus on the pentagon $AM_2 DE N_2$: we know that $M_2 D\parallel N_2 E\perp DE$ and $AN_2\perp AD, AM_2\perp AE$. Both $AEDM_2$ and $AN_2 ED$ are cyclic quadrilaterals since they have opposite right angles. This means that both $M_2$ and $N_2$ lie on the circumcircle of $ADE$. Since $\angle M_2 AD = \angle EAN_2$ it follows that $M_2 D = N_2 E$ and $NQ=MP$ as wanted.