Maths Olympiad Prep

Track / Stage 8 / 43 of 180 #1743 of 1964

Problem 1743

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.1 Prove it

Circles C1\mathcal{C}_1 and C2\mathcal{C}_2 with centers at C1C_1 and C2C_2 respectively, intersect at two points AA and BB. Points PP and QQ are varying points on C1\mathcal{C}_1 and C2\mathcal{C}_2, respectively, such that PP, QQ and BB are collinear and BB is always between PP and QQ. Let lines PC1PC_1 and QC2QC_2 intersect at RR, let II be the incenter of ΔPQR\Delta PQR, and let SS be the circumcenter of ΔPIQ\Delta PIQ. Show that as PP and QQ vary, SS traces the arc of a circle whose center is concyclic with AA, C1C_1 and C2C_2.

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

1. Define the Problem and Setup:
- Let circles C1\mathcal{C}_1 and C2\mathcal{C}_2 have centers C1C_1 and C2C_2 respectively, and intersect at points AA and BB.
- Points PP and QQ are on C1\mathcal{C}_1 and C2\mathcal{C}_2 respectively, such that PP, QQ, and BB are collinear with BB between PP and QQ.
- Let lines PC1PC_1 and QC2QC_2 intersect at RR.
- Let II be the incenter of ΔPQR\Delta PQR and SS be the circumcenter of ΔPIQ\Delta PIQ.

2. **Claim 1: XZ=YZ=RΓ1+RΓ2XZ = YZ = R_{\Gamma_1} + R_{\Gamma_2}**
- Let XX and YY be the intersections of the external angle bisector of C1BC2\angle C_1BC_2 with C1\mathcal{C}_1 and C2\mathcal{C}_2 respectively, distinct from BB.
- Let Z=XC1YC2Z = XC_1 \cap YC_2.
- Since XUXU and YVYV are diameters, UBX=90\angle UBX = 90^\circ and VBY=90\angle VBY = 90^\circ, making U,V,BU, V, B collinear.
- Using directed angles, ZXY=XYZ\measuredangle ZXY = \measuredangle XYZ, thus XZ=YZXZ = YZ.
- Since ZUV=UVZ\measuredangle ZUV = \measuredangle UVZ, UZ=VZUZ = VZ.
- Therefore, XZ+YZ=XU+VZ+YZ=2RΓ1+2RΓ2XZ + YZ = XU + VZ + YZ = 2R_{\Gamma_1} + 2R_{\Gamma_2}, implying XZ=YZ=RΓ1+RΓ2XZ = YZ = R_{\Gamma_1} + R_{\Gamma_2}.

3. **Claim 2: Points A,C1,C2,O,R,ZA, C_1, C_2, O, R, Z are cyclic**
- Since OM1Z=OM2Z=90\measuredangle OM_1Z = \measuredangle OM_2Z = 90^\circ, ZM1OM2ZM_1OM_2 is cyclic.
- Using the midpoints M1M_1 and M2M_2 of XZXZ and YZYZ respectively, and the fact that C1M1=C2M2C_1M_1 = C_2M_2, we have OM1C1OM2C2\triangle OM_1C_1 \cong \triangle OM_2C_2.
- Thus, ZC1O=ZC2O\measuredangle ZC_1O = \measuredangle ZC_2O, so OO lies on (ZC1C2)(ZC_1C_2).
- Since C1AC2=C1ZC2\measuredangle C_1AC_2 = \measuredangle C_1ZC_2, AA lies on (ZC1C2)(ZC_1C_2).
- Similarly, PAQ=PRQ\measuredangle PAQ = \measuredangle PRQ, so RR lies on (ZC1C2)(ZC_1C_2).

4. **Claim 3: Points A,P,Q,RA, P, Q, R are cyclic**
- Since C1PA=C2QA\measuredangle C_1PA = \measuredangle C_2QA, AC1PAC2Q\triangle AC_1P \sim \triangle AC_2Q.
- Thus, AA is the center of the spiral similarity sending PC1PC_1 to QC2QC_2, implying AC1C2APQ\triangle AC_1C_2 \sim \triangle APQ.
- Therefore, PAQ=PRQ\measuredangle PAQ = \measuredangle PRQ, making A,P,Q,RA, P, Q, R cyclic.

5. **Claim 4: S=PXQYS = PX \cap QY**
- By the Incenter-Excenter Lemma, SS is the midpoint of arc \overarcPQ\overarc{PQ} of (PQR)(PQR).
- Let S=PXQYS' = PX \cap QY. It suffices to show SS' is also the midpoint of \overarcPQ\overarc{PQ} in (PQR)(PQR).
- Since AA is the Miquel point of the complete quadrilateral BXSQBXS'Q, AA is the center of the spiral similarity sending PQPQ to XYXY.
- Thus, PSQ=PAQ=PZQ\measuredangle PS'Q = \measuredangle PAQ = \measuredangle PZQ, so SS' lies on (PQR)(PQR).
- Since SPQ=PQS\measuredangle S'PQ = \measuredangle PQS', SP=SQS'P = S'Q, making SS' the midpoint of \overarcPQ\overarc{PQ}.

6. **Claim 5: Points K,S,X,T,ZK, S, X, T, Z are cyclic**
- Since K,X,Y,ZK, X, Y, Z are cyclic by KXZ=90\measuredangle KXZ = 90^\circ, XSY=PAQ=XZY\measuredangle XSY = \measuredangle PAQ = \measuredangle XZY.
- Thus, SS is cyclic with K,X,Y,ZK, X, Y, Z.

Since SS lies on (XYZ)(XYZ), which is fixed, as PP and QQ vary, SS will trace an arc of the circle (XYZ)(XYZ), and its center OO is indeed concyclic with A,C1,C2A, C_1, C_2.

\blacksquare

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