Given three mutually tangent circles, there exist exactly two nonintersecting circles which are tangent circles to all three original circles. These are called the inner and outer Soddy circles, and their centers and are called the inner and outer Soddy centers, respectively.
The inner Soddy center is the equal detour point (Kimberling 1994), which has identical triangle center functions
(1)
| |||
(2)
| |||
(3)
|
where is the circumradius of the reference triangle and is the -exradius.
The outer Soddy center is the isoperimetric point , which has equivalent triangle center functions
(4)
| |||
(5)
| |||
(6)
|