Maths Olympiad Prep

Library / Ukrainian National Mathematical Olympiad, Third Round, First Tour /12 of 19

Ukrainian National Mathematical Olympiad, Third Round, First Tour

Geometry Difficulty 5.8 AIME, harder Prove it Ukraine

Let PP be a point of the intersection of diagonals of the cyclic quadrilateral ABCDABCD. The circumscribed circles of △APD\triangle APD and △BPC\triangle BPC intersect the line ABAB at points EE and FF correspondingly. QQ and RR are projections of the point PP onto the lines FCFC and DEDE. Prove that AB∥QRAB \parallel QR.

Solution

Denote by d(Z,XY)d(Z, XY) the distance from the point ZZ to the line XYXY. From the equality of inscribed angles it follows that (fig. 6)
∠PEB=∠ADB=∠ACB=∠PFA⇒PE=PF. \angle PEB = \angle ADB = \angle ACB = \angle PFA \Rightarrow PE = PF.
Furthermore,
∠EDP=∠BAP=∠BDC,∠FCP=∠PBA=∠DCP, \angle EDP = \angle BAP = \angle BDC, \quad \angle FCP = \angle PBA = \angle DCP,
so PP is the intersection of bisectors of angles ∠EDC\angle EDC and ∠DCF\angle DCF, so d(P,DE)=d(P,DC)=d(P,CF)d(P, DE) = d(P, DC) = d(P, CF), so PQ=PRPQ = PR. Then △FPQ≅△EPR\triangle FPQ \cong \triangle EPR as right triangles with equal cathetus and hypotenuse. From the equality PQ=PRPQ = PR it follows that ∠PQR=∠PRQ\angle PQR = \angle PRQ, so ∠FQR=∠QRE\angle FQR = \angle QRE. Similarly, ∠QFE=∠REF\angle QFE = \angle REF. This means that EQRFEQRF is an isosceles trapezoid, so QR∥EFQR \parallel EF, as desired.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.