# Center of Soddy Circle

Given two points inside the unit circle, $(x_1, y_1)$ and $(x_2, y_2)$, let $C_1$ and $C_2$ be the circles with centers at those points, respectively, which are internally tangent to the unit circle. If $C_1$ and $C_2$ are externally tangent to each other, how can I find the center $(x, y)$ of the circle $C$ which is internally tangent to the unit circle and externally tangent to both $C_1$ and $C_2$?

I know that the radii of the circles will satisfy the Descartes Circles Theorem, and that the unit circle must be the external Soddy Circle for $C$, $C_1$, and $C_2$, so I could theoretically back-solve for $(x,y)$ knowing that $(0,0)$ is the isoperimetric point of the triangle with vertices at each circle's center, but that could get real ugly real quick.

If $C$, $C_1$, and $C_2$ have radii $r$, $r_1$, and $r_2$, respectively, then I think that $(x,y)$ is the intersection of the circle with radius $1-r$ and the hyperbola with focii at $(x_1, y_1)$ and $(x_2, y_2)$ and difference in distances $|r_1-r_2|$, but that doesn't help too much for determining the coordinates $(x, y)$.

Is there a better way of doing this?

• Do $C_1$ and $C_2$ intersect? If they do, it is useful to consider a circular inversion having centre in a point of intersection of $C_1$ and $C_2$. Oct 11, 2015 at 21:04
• Sorry, I forgot to say that $C_1$ and $C_2$ should be tangent to each other. I'll edit the post to say that.
– user63205
Oct 11, 2015 at 21:12
• Oh, well, it works also in that case. Consider a circular inversion with respect to the tangency point of $C_1$ and $C_2$: the problem becomes to find a circle tangent to two lines and a circle. That can be solved by intersecting a parabola and a line. Oct 11, 2015 at 21:18
• Have a look at mathpages.com/home/kmath113/kmath113.htm , in any case. Oct 11, 2015 at 21:19
• This is the problem of Apollonius. Oct 12, 2015 at 2:15

If we have circles with centers at $$(0,0)$$, $$(x_1,y_1)$$, and $$(x_2,y_2)$$, with radii $$1$$, $$r_1$$, and $$r_2$$ where $$|(x_1,y_1)|=1-r_1\quad\text{tangent to unit circle}$$ $$|(x_2,y_2)|=1-r_2\quad\text{tangent to unit circle}$$ $$|(x_1,y_1)-(x_2,y_2)|=r_1+r_2\quad\text{tangent to each other}$$ Descartes' Theorem says that $$\left(\frac1{r_3}+\frac1{r_2}+\frac1{r_1}-1\right)^2=2\left(\frac1{r_3^2}+\frac1{r_2^2}+\frac1{r_1^2}+1\right)\tag1$$ Equation $$(1)$$ allows us to compute two values for $$r_3$$.
Using the Corollary to the Soddy-Gosset Theorem proven in this answer, we have $$\frac{\frac{(x_3,y_3)}{r_3^2}+\frac{(x_2,y_2)}{r_2^2}+\frac{(x_1,y_1)}{r_1^2}}{\frac1{r_3^2}+\frac1{r_2^2}+\frac1{r_1^2}+1} =\frac{\frac{(x_3,y_3)}{r_3}+\frac{(x_2,y_2)}{r_2}+\frac{(x_1,y_1)}{r_1}}{\frac1{r_3}+\frac1{r_2}+\frac1{r_1}-1}\tag2$$ Equation $$(2)$$ allows us to compute one value of $$(x_3,y_3)$$ for each value of $$r_3$$ computed in $$(1)$$.
The two solutions to $$(1)$$: $$\left(2+3+\color{#C00}{6}-1\right)^2=100=2\left(2^2+3^2+\color{#C00}{6}^2+1^2\right)$$ and $$\left(2+3+\color{#C00}{2}-1\right)^2=36=2\left(2^2+3^2+\color{#C00}{2}^2+1^2\right)$$ That is, the radii are $$\frac16$$ and $$\frac12$$.
Then, the centers can be computed \begin{align} &\frac{-1(0,0)+2\left(\frac12,0\right)+3\left(0,-\frac23\right)+\color{#C00}{6\left(\frac12,-\frac23\right)}}{-1+2+3+\color{#C00}{6}}\\ &=\left(\frac25,-\frac35\right)\\ &=\frac{1^2(0,0)+2^2\left(\frac12,0\right)+3^2\left(0,-\frac23\right)+\color{#C00}{6^2\!\left(\frac12,-\frac23\right)}}{1^2+2^2+3^2+\color{#C00}{6^2}} \end{align} and \begin{align} &\frac{-1(0,0)+2\left(\frac12,0\right)+3\left(0,-\frac23\right)+\color{#C00}{2\left(-\frac12,0\right)}}{-1+2+3+\color{#C00}{2}}\\ &=\left(0,-\frac13\right)\\ &=\frac{1^2(0,0)+2^2\left(\frac12,0\right)+3^2\left(0,-\frac23\right)+\color{#C00}{2^2\!\left(-\frac12,0\right)}}{1^2+2^2+3^2+\color{#C00}{2^2}} \end{align} That is, the center for the circle with radius $$\frac16$$ is $$\left(\frac12,-\frac23\right)$$ and the center for the circle with radius $$\frac12$$ is $$\left(-\frac12,0\right)$$.