ABCABC is an isosceles triangle with AB=ACAB = AC. Suppose that

  1. MM is the midpoint of BCBC and OO is the point on the line AMAM such that OBOB is perpendicular to ABAB;
  2. QQ is an arbitrary point on the segment BCBC different from BB and CC;
  3. EE lies on the line ABAB and FF lies on the line ACAC such that E,Q,FE, Q, F are distinct and collinear.

Prove that OQOQ is perpendicular to EFEF if and only if QE=QFQE = QF.