Olympiad Maths Prep

Track / Stage 6 / 269 of 400 #1269 of 2000

Problem 1269

National olympiad, first round
Geometry Difficulty 6.4 Prove it

## Problem A2

Given two circles C\mathrm{C} and C\mathrm{C}^{\prime} we say that C\mathrm{C} bisects C\mathrm{C}^{\prime} if their common chord is a diameter of C\mathrm{C}^{\prime}. Show that for any two circles which are not concentric, there are infinitely many circles which bisect them both. Find the locus of the centers of the bisecting circles.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

## Solution

Let C,C\mathrm{C}, \mathrm{C}^{\prime} have center O,O\mathrm{O}, \mathrm{O}^{\prime} respectively and radius r,r\mathrm{r}, \mathrm{r}^{\prime} respectively. Let a circle center P\mathrm{P} bisect CC. Suppose it meets CC at AA and BB. Then ABA B is perpendicular to OPO P and is a diameter of C. Hence PA2=OP2+r2\mathrm{PA}^{2}=\mathrm{OP}^{2}+\mathrm{r}^{2}. Conversely, the circle center P\mathrm{P}, radius (OP2+r2)\sqrt{ }\left(\mathrm{OP}^{2}+\mathrm{r}^{2}\right) bisects C\mathrm{C}. So P\mathrm{P} will bisect C\mathrm{C} and C\mathrm{C}^{\prime} iff OP2+r2=OP2+r2\mathrm{OP}^{2}+\mathrm{r}^{2}=\mathrm{OP}^{\prime 2}+\mathrm{r}^{\prime 2}.

It is well-known that the locus of points P\mathrm{P}^{\prime} with equal tangents to C\mathrm{C} and C\mathrm{C}^{\prime} is the radical axis. Call the radical axis R\mathrm{R}. For a point P\mathrm{P}^{\prime} on the radical axis we have PO2r2=PO2r2\mathrm{P}^{\prime} \mathrm{O}^{2}-\mathrm{r}^{2}=\mathrm{P}^{\prime} \mathrm{O}^{\prime 2}-\mathrm{r}^{\prime 2}. If we reflect P\mathrm{P}^{\prime} in the perpendicular bisector of OO\mathrm{OO}^{\prime} to get P\mathrm{P}, then PO=PO\mathrm{PO}=\mathrm{P}^{\prime} \mathrm{O}^{\prime} and PO=PO\mathrm{PO}^{\prime}=\mathrm{P}^{\prime} \mathrm{O}, so PO2\mathrm{PO}^{\prime 2} r2=PO2r2-r^{2}=\mathrm{PO}^{2-r^{2}} and hence PO2+r2\mathrm{PO}^{2}+\mathrm{r}^{2}. Call the reflection of the R\mathrm{R} in the perpendicular bisector of OO' the line R\mathrm{R}^{\prime}. We have established that points on R\mathrm{R}^{\prime} form part of the locus. Conversely, if P\mathrm{P}^{\prime} is such that there is a circle center P\mathrm{P}^{\prime} bisecting both circles, then OP2+r2=OP2+r2\mathrm{OP}^{\prime 2}+\mathrm{r}^{2}=\mathrm{O}^{\prime} \mathrm{P}^{\prime 2}+\mathrm{r}^{\prime 2}, so if P\mathrm{P} is the reflection of P\mathrm{P}^{\prime} then OP2r2=O2rr2\mathrm{OP}^{2}-\mathrm{r}^{2}=\mathrm{O}^{2}-\mathrm{r}^{\mathrm{r}^{2}} and hence P\mathrm{P} lies on the radical axis R. Hence P\mathrm{P}^{\prime} must lie on R\mathrm{R}^{\prime}.

!

We have PT2=PO2r2=PX2+OX2r2\mathrm{PT}^{2}=\mathrm{PO}^{2}-\mathrm{r}^{2}=\mathrm{PX}^{2}+\mathrm{OX}^{2}-\mathrm{r}^{2}, and similarly PT2=PX2+OX2r2\mathrm{PT}^{\prime 2}=\mathrm{PX}^{2}+\mathrm{O}^{\prime} \mathrm{X}^{2}-\mathrm{r}^{\prime 2}. So PT=PT\mathrm{PT}=\mathrm{PT}^{\prime} iff OX2r2=OX2r2O X^{2}-r^{2}=O^{\prime} X^{2}-r^{\prime 2}. There is evidently a unique point XX for which that is true, so the locus of such P\mathrm{P} is the line through X\mathrm{X} perpendicular to OO\mathrm{OO}^{\prime}

!

If the circles intersect, then the point X\mathrm{X} evidently lies on the line joining the two common points, because OX2r2=XY2=OX2r2O X^{2}-r^{2}=-X Y^{2}=O^{\prime} X^{2}-r^{\prime 2}. In any case the midpoint of each common tangent evidently lies on the line, so that provides a way of constructing it.

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