Forum Geometricorum Volume 3 (203) 6. FORUM GEOM ISSN 534-78 Soddyian Triangles Frank M. Jackson bstract. Soddyian triangle is a triangle whose outer Soddy circle has degenerated into a straight line. This paper examines some properties of Soddyian triangles, including the facts that no Soddyian triangle can be right angled and all integer Soddyian triangles are Heronian. generating formula is developed to produce all primitive integer Soddyian triangles. ruler and compass construction of a Soddyian triangle concludes the paper.. The outer Soddy circle In 936 the chemist Frederick Soddy re-discovered the Descartes theorem that relates the radii of two tangential circles to the radii of three touching circles and applied the problem to the three contact circles of a general triangle. S S Figure The tangential circles with centers S and S are called the inner and outer Soddy circles of the reference triangle. If r i and r o are the radii of the inner and outer Soddy circles, then r i = 4R + r + 2s and r o = Publication Date: January 5, 203. ommunicating Editor: Paul Yiu. 4R + r 2s. ()
2 F. M. Jackson where is the area of the triangle, R its circumradius, r its inradius, s its semiperimeter, and,, the radii of the touching circles (see []). y adjusting the side lengths of the reference triangle it is possible to fashion a triangle with contact circles such that the outer Soddy circle degenerates into a straight line. This occurs when 4R + r = 2s and is demonstrated in Figure 2 below, where it is assumed that a b c. Note that for a Soddyian triangle, the radius of the inner Soddy circle is r 4. This follows from r i = 4R + r + 2s = 4s = r 4 provided 4R + r = 2s. Figure 2 Now the common tangent to the three circles is the outer Soddy circle. onsequently a class of triangles can be defined as Soddyian if their outer Soddy radius is infinite. However from the above diagram it is possible to derive a relationship that is equivalent to the condition that the outer Soddy circle is infinite by considering the length of the common tangents between pairs of touching circles. Given two touching circles of radii u and v, their common tangent has a length of 2 uv and applying this to the three touching circle with a common tangent gives = 2. an a Soddyian triangle be right angled? If triangle has a right angle at, then +. (2) R = c and r =. 2 If 4R + r = 2s, then 2c + = 2s. This resolves to c = a+b, an impossibility. Therefore, no Soddyian triangle is right angled.
Soddyian triangles 3 3. an a Soddyian triangle be isosceles? Soddy triangle with side lengths a b c is isosceles only if a = b. Since s = a + c 2 and s c = 2 s a, we have c 2 = 4a 2c. Hence a : c = 5 : 8, and the only primitive integer isosceles Soddyian triangle has sides 5, 5, 8. Note that this has integer area 2. 4. re all integer Soddyian triangles Heronian? Now consider the Soddyian constraint 4R + r = 2s expressed in terms of the area : abc + s = 2s. This is quadratic in and = s 2 ± s 4 abcs Since s is greater than any of the sides, < s 2 and we must have = s 2 s 4 abcs. y the Heron formula, 6 2 = (a + b + c)(b + c a)(c + a b)(a + b c) is an integer. This can only happen if s 4 abcs is also a square integer. Hence all integer Soddyian triangles are Heronian. 5. onstruction of integer Soddyian triangles It is well known that for a Heronian triangle, the semiperimeter s is an integer. From (2), ()() = () + () + 2 ()(). This requires ()() to be an integer. = kn 2 for integers k, m, n, and obtain Therefore, = km2 n 2 (m + n) 2. We write = km 2 and : : : s = m 2 (m + n) 2 : n 2 (m + n) 2 : m 2 n 2 : (m 2 + mn + n 2 ) 2, and we may take a = n 2 ((m + n) 2 + m 2 ), b = m 2 ((m + n) 2 + n 2 ), c = (m + n) 2 (m 2 + n 2 ).
4 F. M. Jackson For this triangle, = m 2 n 2 (m + n) 2 (m 2 + mn + n 2 ), R = (m2 + n 2 )((m + n) 2 + m 2 )((m + n) 2 + n 2 ) 4(m 2 + mn + n 2, ) r = m2 n 2 (m + n) 2 m 2 + mn + n 2, s = (m 2 + mn + n 2 ) 2. Here are some examples of integer Soddyian triangles. m n a b c s r R 4 25 5 5 8 9 2 3 6 36 325 2 3 40 45 49 252 7 4 44 3 25 53 60 69 872 3 26 400 4 4 46 425 44 8400 2 42 900 3 2 36 26 325 36 700 9 38 900 5 6 925 936 96 27900 3 62 764 6 85 800 83 849 75852 43 86 4900 5 2 296 325 42 52 900 39 78 7056 4 3 585 928 225 369 26072 37 74 336 7 3 385 3200 3249 78752 57 4400 5 3 80 825 276 240 705600 49 98 584 8 45 5248 5265 5329 378432 73 5876 7 2 520 465 4293 4489 063692 67 32400 5 4 696 2425 332 372 976400 6 800 9 8 88 8200 828 73700 9 4400 7 3 34 534 5800 624 3483900 79 6. Soddyian triangles with a given side 225 906 6409 2934 78625 56869 4725 83625 4 0449 386425 46 292825 34 2078 22 74952 82 470989 58 onsider Soddyian triangles with a given base in a rectangular coordinate system with origin at and = (c,0) on the x-axis. Suppose the vertex has coordinates (x, y). Using the expressions in 5 in terms of m and n, allowing them to take on positive real values, we have x c = b2 + c 2 a 2 2c 2 = m3 (m 2 + mn + 2n 2 ) (m + n)(m 2 + n 2 ) 2, y c = 2 c 2 = 2m2 n 2 (m 2 + mn + n 2 ) (m + n) 2 (m 2 + n 2 ) 2. Writing n = tm, we obtain a parametrization of the locus of as follows (see Figure 3). ( + t + 2t 2 2t 2 ( + t + t 2 ) ) (x,y) = c ( + t)( + t 2 ) 2, ( + t) 2 ( + t 2 ) 2.
Soddyian triangles 5 c Figure 3. In fact, given and, there is a simple ruler and compass construction for the Soddyian triangle. onstruction. Given a segment and a point Z on it (with Z = and Z = ), () construct the perpendicular to at Z, to intersect the semicircle with diameter at P ; (2) let and be points on the same side of such that, and = Z, = Z; (3) join P and P to intersect at X and Y respectively; (4) construct the circle through P, X, Y to intersect the line PZ again at Q; (5) let X and Y be point on Z and Z such that X Z = ZY = ZQ; (6) construct the circles centers and, passing through Y and X respectively, to intersect at. The triangle is Soddyian with incircle touching at Z (see Figure 4). P X X Z Y Y Q Figure 4. Proof. Let Z = u and Z = v. From (), ZP = uv. From (2), ZP uv ZX = Z ZP + = u u + uv = u v. u + v
6 F. M. Jackson Similarly, ZY = It follows that v u u+ v. y the intersecting chords theorem, ZQ = ZQ = Therefore, triangle satisfies with ZX ZY ZP = uv ( u + v) 2. u + v uv = u + v = Z + Z. = X = Z + ZX = Z + ZQ, = Y = Z + ZY = Z + ZQ, = Z + Z, = = + = ZQ Z Z +. It is Soddyian and with incircle tangent to at Z. Reference [] N. Dergiades, The Soddy circles, Forum Geom., 7 (2007) 9 97. Frank M. Jackson: ldebaran, Mixbury, Northamptonshire NN3 5RR United Kingdom E-mail address: fjackson@matrix-logic.co.uk