Do Circles Divide the Plane into More Regions Than Lines?

circlescombinatoricsgeometry

In this post it is mentioned that $n$ straight lines can divide the plane into a maximum number of $(n^{2}+n+2)/2$ different regions.

What happens if we use circles instead of lines? That is, what is the maximum number of regions into which n circles can divide the plane?

After some exploration it seems to me that in order to get maximum division the circles must intersect pairwise, with no two of them tangent, none of them being inside another and no three of them concurrent (That is no three intersecting at a point).

The answer seems to me to be affirmative, as the number I obtain is $n^{2}-n+2$ different regions. Is that correct?

Best Answer

For the question stated in the title, the answer is yes, if more is interpreted as "more than or equal to".

Proof: let $\Lambda$ be a collection of lines, and let $P$ be the extended two plane (the Riemann sphere). Let $P_1$ be a connected component of $P\setminus \Lambda$. Let $C$ be a small circle entirely contained in $P_1$. Let $\Phi$ be the conformal inversion of $P$ about $C$. Then by elementary properties of conformal inversion, $\Phi(\Lambda)$ is now a collection of circles in $P$. The number of connected components of $P\setminus \Phi(\Lambda)$ is the same as the number of connected components of $P\setminus \Lambda$ since $\Phi$ is continuous. So this shows that for any collection of lines, one can find a collection of circles that divides the plane into at least the same number of regions.

Remark: via the conformal inversion, all the circles in $\Phi(\Lambda)$ thus constructed pass through the center of the circle $C$. One can imagine that by perturbing one of the circles somewhat to reduce concurrency, one can increase the number of regions.


Another way to think about it is that lines can be approximated by really, really large circles. So starting with a configuration of lines, you can replace the lines with really really large circles. Then in the finite region "close" to where all the intersections are, the number of regions formed is already the same as that coming from lines. But when the circles "curve back", additional intersections can happen and that can only introduce "new" regions.


Lastly, yes, the number you derived is correct. See also this OEIS entry.

Related Question