Maths Olympiad Prep

Library / /3 of 8

, 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 O1PO1Q=r12O_1P \cdot O_1Q = r_1^2 and O2PO2Q=r22O_2P \cdot O_2Q = r_2^2.
One can choose a point KK on the ray O1O2O_1O_2 such that O1K=O1O22+r12r222O1O2O_1K = \frac{O_1O_2^2 + r_1^2 - r_2^2}{2O_1O_2}. Since O1O2r1r2O_1O_2 \le r_1 - r_2, we have O1Kr1O_1K \ge r_1. We choose two points P,QP, Q on the line O1O2O_1O_2 such that KP=KQ=O1K2r12KP = KQ = \sqrt{O_1K^2 - r_1^2} so that O1PO1Q=r12O_1P \cdot O_1Q = r_1^2. On the other hand,
O2PO2QO1PO1Q=O2K2O1K2=(O1KO1O2)2O1K2=O1O222O1O2O1K=r22r12, \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 O2PO2Q=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=O2QO2PO_2C^2 = O_2Q \cdot O_2P we know that O2CQO2PC\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 MM'.

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,MP, 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 MM'. Therefore,
APC=APMCPM=BPMDPM=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.