Maths Olympiad Prep

Track / Stage 7 / 210 of 300 #1610 of 1964

Problem 1610

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.4 Prove it

Two circles ω1,ω2\omega_1,\omega_2 intersect at P,QP,Q . An arbitrary line passing through PP intersects ω1,ω2\omega_1 , \omega_2 at A,BA,B respectively. Another line parallel to ABAB intersects ω1\omega_1 at D,FD,F and ω2\omega_2 at E,CE,C such that E,FE,F lie between C,DC,D .Let XADBEX\equiv AD\cap BE and YBCAFY\equiv BC\cap AF . Let RR be the reflection of PP about CDCD. Prove that:
a. RR lies on XYXY .
b. PR is the bisector of XPY^\hat {XPY}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Let's break down the problem and solution into detailed steps.

### Part (a): Prove that R R lies on XY XY .

1. Given:
- Two circles ω1\omega_1 and ω2\omega_2 intersect at points PP and QQ.
- Line passing through PP intersects ω1\omega_1 at AA and ω2\omega_2 at BB.
- Another line parallel to ABAB intersects ω1\omega_1 at DD and FF, and ω2\omega_2 at EE and CC such that EE and FF lie between CC and DD.
- XX is the intersection of ADAD and BEBE.
- YY is the intersection of BCBC and AFAF.
- RR is the reflection of PP about CDCD.

2. To Prove:
- RR lies on XYXY.

3. Proof:
- We need to show that RCYBXY\triangle RCY \sim \triangle BXY and PFCABX\triangle PFC \sim \triangle ABX.
- Since ABCDAB \parallel CD, we have ABX=PCD=DCB\angle ABX = \angle PCD = \angle DCB.
- This implies XBY=RCY\angle XBY = \angle RCY.
- By similarity, PCCF=BXAB=CRCY\frac{PC}{CF} = \frac{BX}{AB} = \frac{CR}{CY}.
- Therefore, CRBX=CYBY\frac{CR}{BX} = \frac{CY}{BY}.
- Since XBY=RCY\angle XBY = \angle RCY, we have XBYCRY\triangle XBY \sim \triangle CRY.
- Hence, BYX=CYX\angle BYX = \angle CYX.

Thus, RR lies on XYXY.

### Part (b): Prove that PRPR is the bisector of XPY\angle XPY.

1. Given:
- Same setup as in part (a).

2. To Prove:
- PRPR is the bisector of XPY\angle XPY.

3. Proof:
- We need to show that XPR=RPY\angle XPR = \angle RPY.
- From part (a), we have PFYPDX\triangle PFY \sim \triangle PDX.
- This implies PFDX=CFDE=CYPE=FYPD\frac{PF}{DX} = \frac{CF}{DE} = \frac{CY}{PE} = \frac{FY}{PD}.
- Therefore, PFYPDX\triangle PFY \sim \triangle PDX.
- Hence, PYPX=CFDE=CYBYXDAX=RYXYRXXY=RYRX\frac{PY}{PX} = \frac{CF}{DE} = \frac{\frac{CY}{BY}}{\frac{XD}{AX}} = \frac{\frac{RY}{XY}}{\frac{RX}{XY}} = \frac{RY}{RX}.
- This implies XPR=RPY\angle XPR = \angle RPY.

Thus, PRPR is the bisector of XPY\angle XPY.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.