Tangent circles of integer radius

Over on Puzzling StackExchange, Brandan Williams poses the following interesting question:

Find a strictly decreasing sequence of integers \(r_0, r_1, r_2,\ldots, r_n\) such that you can place kissing circles of radii \(r_1, r_2,\ldots, r_n\) around a central circle of radius \(r_0\). That is, circle \(r_0\) will be tangent to all \(n\) other circles, and circle \(r_i\) will be tangent to circle \(r_{i+1}\) for all \(1\leq i<n\), and circle \(r_n\) will be tangent to circle \(r_1\).

If it weren’t for the “strictly decreasing” criterion, a couple of simple solutions would be (1 1 1 1 1 1 1) and (1 3 2 3 2).

A more complicated example (still failing the “decreasing” criterion) would be this smallest integer solution to the four coins problem, (6 23 46 69):

If I’m not mistaken that this is the smallest distinct-integer-valued solution to the four coins problem, then I’m surprised it’s not better known. The only place I find the sequence “6, 23, 46, 69” recorded online is in this set of math puzzles from Stanford in 2020; see the diagram in problem 10. The radius-6 circle is the inner Soddy circle of the other three; their outer Soddy circle circumscribes the outer circles and (if I’m not mistaken) would have radius 138.

StackExchange contributor “EdwardH” wrote up a really fantastic procedure
to find solutions that *do* satisfy the “strictly decreasing” criterion. I turned it into Python code
(here; the code that generated
these pretty SVG images is also there) and let my laptop loose on it for a while; but after multiple days
of mainly brute force, my best solution remained superastronomically large:

Tom Sirgedas discovered that it works better to look for solutions with an odd number of circles (i.e.,
an even number of circles around the central one). Here’s his record as of this writing. These radii are
small enough to fit in a 32-bit `int`

!

Now, the obvious question is: Is Tom’s the *smallest* solution to this puzzle (measured by the radius of
the central circle)? If not, then what is the smallest solution? And how do you prove it? Help wanted!

UPDATE, 2024-06-24: Tom *again* found a vastly smaller solution — in fact, a pair of them!
The central circles here have radius only 235872.

UPDATE, 2024-06-29: Tom did it again! Here, the central radius is only 222768.

UPDATE, 2024-07-04: Tom’s outdone himself this time! The radii here are 5600, 5488, 4950, 3850, 3750, 2800, 2645, 2380, 945, 880, 450, 448, 300, 175, and 112.

See also these two posts, for the musings that led up to the invention of this problem (albeit no further investigation of the problem itself):

- “Convergent Chain Curling” (Brandan Williams, July 2022)
- “Convergent Chain Curling Part 2” (Brandan Williams, April 2024)