Maths Olympiad Prep

Library / Twentieth IMAR Mathematical Competition /2 of 3

Twentieth IMAR Mathematical Competition

Geometry Difficulty 5.7 AIME, harder Prove it Romania

Let ABCABC be a triangle. A circle through BB and CC crosses the sides ABAB and ACAC at PP and QQ, respectively. Points XX and YY on segments BQBQ and CPCP, respectively, satisfy ∠ABY=∠AXP\angle ABY = \angle AXP and ∠ACX=∠AYQ\angle ACX = \angle AYQ. Prove that XYXY and BCBC are parallel.
Andrei Chiriță

Figure 1

Solution

Let BYBY and CXCX cross at SS and let circles APXAPX and AQYAQY cross again at TT. We first prove that A,S,TA, S, T are collinear. Invert from AA with power AP⋅AB=AQ⋅ACAP \cdot AB = AQ \cdot AC. As ∠ABY=∠AXP\angle ABY = \angle AXP, the circle APXAPX is mapped to line BYBY. Similarly, the circle AQYAQY is mapped to line CXCX, so the inversion switches SS and TT. Hence A,S,TA, S, T are collinear, as stated.

Next, we show that the lines ATAT, PXPX and QYQY are projectively concurrent.
Let PXPX and QYQY cross projectively at RR. Apply Pappus' theorem to the hexagram BPXCQYBPXCQY to deduce that A=BP∩CQA = BP \cap CQ, R=PX∩QYR = PX \cap QY and S=XC∩YBS = XC \cap YB are collinear. The desired concurrence now follows by the preceding paragraph.

We now prove that PQYXPQYX is cyclic. If ATAT, PXPX and QYQY are parallel, then PQYXPQYX is an isosceles trapezoid, so it is cyclic. Otherwise, read the power of RR from circles APXAPX and AQYAQY to write RX⋅RP=RT⋅RA=RY⋅RQRX \cdot RP = RT \cdot RA = RY \cdot RQ, so PQYXPQYX is cyclic.

Finally, read angles from circle PQYXPQYX and the given circle through BB and CC to write ∠PYX=∠PQX≡∠PQB=∠PCB\angle PYX = \angle PQX \equiv \angle PQB = \angle PCB. Consequently, XYXY and BCBC are parallel, as required.

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.