next up previous
Next: The case of three Up: Cutting up Previous: The case of two

The case of two non-tangent circles

It may seem that we have gone as far as we can go with vertical tubes, but this isn't quite true. Suppose that there are two circles tex2html_wrap_inline2041 and tex2html_wrap_inline2043 that aren't tangent. Pick a point on tex2html_wrap_inline2041 , move it to tex2html_wrap_inline1965 , and normalize as in the one-circle case above. tex2html_wrap_inline2043 is a bona fide circle in the half-plane

Now construct a circle tex2html_wrap_inline2051 between tex2html_wrap_inline2041 and tex2html_wrap_inline2043 that is tangent to tex2html_wrap_inline2041 and tex2html_wrap_inline2043 . (See Figure 4.)

  
Figure 4: Introducing a third circle.

Decompose tex2html_wrap_inline1891 into the part tex2html_wrap_inline2063 between tex2html_wrap_inline2065 and tex2html_wrap_inline2067 , and the part tex2html_wrap_inline2069 between tex2html_wrap_inline2071 and tex2html_wrap_inline2067 . If we move the point of tangency of tex2html_wrap_inline2041 and tex2html_wrap_inline2051 to tex2html_wrap_inline1965 , we can cut tex2html_wrap_inline2063 into vertical tubes. Similarly, if we move the point of tangency of tex2html_wrap_inline2043 and tex2html_wrap_inline2051 to tex2html_wrap_inline1965 , we can cut tex2html_wrap_inline2069 into vertical tubes. As for the boundary between tex2html_wrap_inline2063 and tex2html_wrap_inline2069 , we can simply ignore it, since it has measure 0. In this way, we get a cutting of tex2html_wrap_inline1891 into tubes, some of which are vertical from one point of view and some from another. Once again, we conclude that

whereas in fact

Taking a second look at the argument we have just gone through, we see that it can be simplified as follows: Cut tex2html_wrap_inline1891 into the two pieces tex2html_wrap_inline2063 and tex2html_wrap_inline2069 . We already know that

and

By the cutting law,

eqnarray282



Peter Doyle