olymmath

IMO 1994 Problem 2

  • Day 1

Let ABCABC be an isosceles triangle with AB=ACAB = AC . MM is the midpoint of BCBC and OO is the point on the line AMAM such that OBOB is perpendicular to ABAB . QQ is an arbitrary point on BCBC different from BB and CC . 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 .

Dataset text AI-MO AoPS. Quoted with source.

Official text: IMO 1994 official English paper, page 1.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator imo/1994/p2 · Tag AGCWCMY8DX · Edit this page on GitHub · Keys: j next, k previous