Maths Olympiad Prep

Library / China Team Selection Test for IMO /4 of 8

China Team Selection Test for IMO, 2022

Geometry Difficulty 8.2 Shortlist Prove it China

Let Γ2\Gamma_2 be a circle contained in the interior of another circle Γ1\Gamma_1 on the plane. Prove that there exists a point PP on the plane satisfying the following conditions: if ℓ\ell is a line that does not contain PP, that intersects Γ1\Gamma_1 at two different points A,BA, B, and that intersects Γ2\Gamma_2 at two different points C,DC, D (so that A,C,D,BA, C, D, B lie in order on ℓ\ell), then ∠APC=∠DPB\angle APC = \angle DPB.

Solution

Figure 1

Proof. Denote the centers of the two circles by O1,O2O_1, O_2, and the radii by r1,r2r_1, r_2, respectively, where r1>r2r_1 > r_2. We first show that there are two points P,QP, Q on the ray O1O2O_1O_2 such that O1P⋅O1Q=r12O_1P \cdot O_1Q = r_1^2 and O2P⋅O2Q=r22O_2P \cdot O_2Q = r_2^2.
One can choose a point KK on the ray O1O2O_1O_2 such that O1K=O1O22+r12−r222O1O2O_1K = \frac{O_1O_2^2 + r_1^2 - r_2^2}{2O_1O_2}. Since O1O2≤r1−r2O_1O_2 \le r_1 - r_2, we have O1K≥r1O_1K \ge r_1. We choose two points P,QP, Q on the line O1O2O_1O_2 such that KP=KQ=O1K2−r12KP = KQ = \sqrt{O_1K^2 - r_1^2} so that O1P⋅O1Q=r12O_1P \cdot O_1Q = r_1^2. On the other hand,
O2P⋅O2Q−O1P⋅O1Q=O2K2−O1K2=(O1K−O1O2)2−O1K2=O1O22−2O1O2⋅O1K=r22−r12, \begin{aligned} O_2P \cdot O_2Q - O_1P \cdot O_1Q &= O_2K^2 - O_1K^2 = (O_1K - O_1O_2)^2 - O_1K^2 \\ &= O_1O_2^2 - 2O_1O_2 \cdot O_1K = r_2^2 - r_1^2, \end{aligned}
which implies that O2P⋅O2Q=r22O_2P \cdot O_2Q = r_2^2.
For any given line ℓ\ell as in the problem, if it is perpendicular to O1O2O_1O_2, we certainly have ∠APC=∠DPB\angle APC = \angle DPB by symmetry. If not, from O2C2=O2Q⋅O2PO_2C^2 = O_2Q \cdot O_2P we know that △O2CQ∼△O2PC\triangle O_2CQ \sim \triangle O_2PC. So CQCP=r2O2P\frac{CQ}{CP} = \frac{r_2}{O_2P}. Similarly, we obtain DQDP=r2O2P\frac{DQ}{DP} = \frac{r_2}{O_2P}, and therefore CQCP=DQDP\frac{CQ}{CP} = \frac{DQ}{DP}, which means that the bisectors of ∠CPD\angle CPD and ∠CQD\angle CQD meet ℓ\ell at the same point, say MM. A similar argument shows that the bisectors of ∠APB\angle APB and ∠AQB\angle AQB intersect ℓ\ell at the same point again, say M′M'.

Note that the points P,Q,MP, Q, M are all on an Apollonian circle with distance ratio CQDQ\frac{CQ}{DQ} to CC and DD. The center of the Apollonian circle must be on ℓ\ell. Thus this center must be the intersection of ℓ\ell with the perpendicular bisector of PQPQ. Similarly, the points P,Q,M′P, Q, M' are on the Apollonius circle with distance ratio AQBQ\frac{AQ}{BQ} to AA and BB, whose center is the same point as above. Note that KK does not lie in the interior of Γ1\Gamma_1, so the center of this circle, denoted by LL, must be outside Γ1\Gamma_1 so that MM coincides with M′M'. Therefore,
∠APC=∠APM−∠CPM=∠BPM−∠DPM=∠BPD. \angle APC = \angle APM - \angle CPM = \angle BPM - \angle DPM = \angle BPD.
This completes the proof.

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.