Maths Olympiad Prep

Library / /370 of 520

Geometry Difficulty 6.8 National olympiad Prove it

[^6]16. G4 (AUS-ARM) IMO2N{ }^{\mathrm{IMO} 2} N is an arbitrary point on the bisector of BAC\angle B A C. PP and OO are points on the lines ABA B and ANA N, respectively, such that ANP=90=APO\measuredangle A N P=90^{\circ}=\measuredangle A P O. QQ is an arbitrary point on NPN P, and an arbitrary line through QQ meets the lines ABA B and ACA C at EE and FF respectively. Prove that OQE=90\measuredangle O Q E=90^{\circ} if and only if QE=QFQ E=Q F.

Solution

16. First, assume that OQE=90\angle O Q E=90^{\circ}. Extend PNP N to meet ACA C at RR. Then OEPQO E P Q and ORFQO R F Q are cyclic quadrilaterals; hence we have OEQ=\angle O E Q= OPQ=ORQ=OFQ\angle O P Q=\angle O R Q=\angle O F Q. It follows that OEQOFQ\triangle O E Q \cong \triangle O F Q and QE=QFQ E=Q F. Now suppose QE=QFQ E=Q F. Let SS be the point symmetric to AA with respect to QQ, so that the quadrilateral AESFA E S F is a parallelogram. Draw the line EFE^{\prime} F^{\prime} through QQ so that OQE=90\angle O Q E^{\prime}=90^{\circ} and EABE^{\prime} \in A B, FACF^{\prime} \in A C. By the first part QE=Q E^{\prime}= ! QFQ F^{\prime}; hence AESFA E^{\prime} S F^{\prime} is also a parallelogram. It follows that EE,FFE \equiv E^{\prime}, F \equiv F^{\prime}, and OQE=90\angle O Q E=90^{\circ}.

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.