In geometry, the Soddy circles of a triangle are two circles associated with any triangle in the plane. Their centers are the Soddy centers of the triangle. They are all named for Frederick Soddy, who rediscovered Descartes' theorem on the radii of mutually tangent quadruples of circles. Any triangle has three externally tangent circles centered at its vertices. Two more circles, its Soddy circles, are tangent to the three circles centered at the vertices; their centers are called Soddy centers. The line through the Soddy centers is the Soddy line of the triangle. These circles are related to many other notable features of the triangle. They can be generalized to additional triples of tangent circles centered at the vertices in which one circle surrounds the other two.
Construction Let A , B , C {\displaystyle A,B,C} be the three vertices of a triangle, and let a , b , c {\displaystyle a,b,c} be the lengths of the opposite sides, and s = 1 2 ( a + b + c ) {\textstyle s={\tfrac {1}{2}}(a+b+c)} be the semiperimeter. Then the three circles centered at A , B , C {\displaystyle A,B,C} have radii s − a , s − b , s − c {\displaystyle s-a,s-b,s-c} , respectively. By Descartes' theorem, two more circles, sometimes also called Soddy circles, are tangent to these three circles. The centers of these two tangent circles are the Soddy centers of the triangle.
Related features Each of the three circles centered at the vertices crosses two sides of the triangle at right angles, at one of the three intouch points of the triangle, where its incircle is tangent to the side. The two circles tangent to these three circles are separated by the incircle, one interior to it and one exterior. The Soddy centers lie at the common intersections of three hyperbolas, each having two triangle vertices as foci and passing through the third vertex. The inner Soddy center is an equal detour point: the polyline connecting any two triangle vertices through the inner Soddy point is longer than the line segment connecting those vertices directly, by an amount that does not depend on which two vertices are chosen. By Descartes' theorem, the inner Soddy circle's curvature is ( 4 R + r + 2 s ) / Δ {\textstyle (4R+r+2s)/\Delta } , where Δ {\displaystyle \Delta } is the triangle's area, R {\displaystyle R} is its circumradius, and r {\displaystyle r} is its inradius. The outer Soddy circle has curvature ( 4 R + r − 2 s ) / Δ {\textstyle (4R+r-2s)/\Delta } . When this curvature is positive, the outer Soddy center is another equal detour point; otherwise the equal detour point is unique. When the outer Soddy circle has negative curvature, its center is the isoperimetric point of the triangle: the three triangles formed by this center and two vertices of the starting triangle all have the same perimeter. Triangles whose outer Soddy circle degenerates to a straight line with curvature zero have been called "Soddyian triangles". This happens when 4 R + r = 2 s {\textstyle 4R+r=2s} and causes the curvature of the inner Soddy circle to be 4 / r {\textstyle 4/r} .
Excentric circles
As well as the three externally tangent circles formed from a triangle, three more triples of tangent circles also have their centers at the triangle vertices, but with one of the circles surrounding the other two. Their triples of radii are ( − s , s − c , s − b ) , {\displaystyle (-s,s-c,s-b),} ( s − c , − s , s − a ) , {\displaystyle (s-c,-s,s-a),} or ( s − b , s − a , − s ) , {\displaystyle (s-b,s-a,-s),} where a negative radius indicates that the circle is tangent to the other two in its interior. Their points of tangency lie on the lines through the sides of the triangle, with each triple of circles having tangencies at the points where one of the three excircles is tangent to these lines. The pairs of tangent circles to these three triples of circles behave in analogous ways to the pair of inner and outer circles, and are also sometimes called Soddy circles. Instead of lying on the intersection of the three hyperbolas, the centers of these circles lie where the opposite branch of one hyperbola with foci at the two vertices and passing through the third intersects the two ellipses with foci at other pairs of vertices and passing through the third.
Soddy lines
… excerpt ends here. Continue reading the full article.
