|
|||||||||||||||||||||
Copyright © 1996-2009 Alexander Bogomolny
Touching Circles With Given CentersThe applet illustrates the following theorem [Beardon]:
ProofLet a1, a2, ..., an denote the successive side lengths of the polygon. The circles that solve the problem exist iff there exist real numbers r1, r2, ..., rn that could serve as the radii of the pairwise touching circles:
Assume r1 has been found. Then, using the first n-1 equations (1), we can successively determine the other radii:
What about the last equation in (1)? Apparently, we should be able to exclude rn as we did with all other equations (2):
where ±r1 means (-1)n-1, i.e., for n even, r1 comes with the sign "+", whereas, for n odd, the sign is "-". In the latter case, we get an equation for r1 from:
Which serves as the starting point for (2), such that all the radii are found in a unique way. For n even, (3) becomes
Unless (5) holds, the problem has no solution. When a solution exists, it is not unique. Indeed, assume that the sequence of radii r1, ..., rn, where n is even, solves (1). Pick any number s. By direct inspection, it is clear that the sequence
also satisfies (1). There are no other solutions. (For n even, the applet displays a scroll bar that permits modification of a single parameter. By shifting any of the vertices, one can "find" a geometric solution to the problem. Once one is found, toying with the scroll bar shows that indeed there are many more.) Note 1The system (1) may have some solutions negative. I strip the sign minus so that all the circles are still defined. Those whose radii is a negative number turned positive touch their neighbors internally. Note 2In an unexpected way exactly same system of equations describes another problem: construct a polygon by the midpoints of its edges. For n odd, the problem has a unique solution. For n even, it either has no solution, or infinitely many solutions. Note 3For n = 4, the condition (5), which says that the sums of the opposite side lengths are equal, is equivalent to saying that the four points where the circles touch their neighbors are concyclic. References
Copyright © 1996-2009 Alexander Bogomolny
|
| ||||||||||||||||||||