Sea $ABC$ un triángulo isósceles con $AB=AC$. Supongamos que
- $M$ es el punto medio de $BC$ y $O$ es el punto de la recta $AM$ tal que $OB$ es perpendicular a $AB$;
- $Q$ es un punto arbitrario del segmento $BC$ distinto de $B$ y $C$;
- $E$ y $F$ son puntos de las rectas $AB$ y $BC$, respectivamente, tales que $E,Q,F$ son puntos distintos y alineados.
Demostrar que $OQ$ es perpendicular a $EF$ si y solo si $QE=QF$.