[^6]16. G4 (AUS-ARM) IMO2N is an arbitrary point on the bisector of ∠BAC. P and O are points on the lines AB and AN, respectively, such that ∡ANP=90∘=∡APO. Q is an arbitrary point on NP, and an arbitrary line through Q meets the lines AB and AC at E and F respectively. Prove that ∡OQE=90∘ if and only if QE=QF.
Solution
16. First, assume that ∠OQE=90∘. Extend PN to meet AC at R. Then OEPQ and ORFQ are cyclic quadrilaterals; hence we have ∠OEQ=∠OPQ=∠ORQ=∠OFQ. It follows that △OEQ≅△OFQ and QE=QF. Now suppose QE=QF. Let S be the point symmetric to A with respect to Q, so that the quadrilateral AESF is a parallelogram. Draw the line E′F′ through Q so that ∠OQE′=90∘ and E′∈AB, F′∈AC. By the first part QE′= ! QF′; hence AE′SF′ is also a parallelogram. It follows that E≡E′,F≡F′, and ∠OQE=90∘.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.