Do circles divide the plane into more regions than lines?

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?


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.


One may deduce the formula $n^{2}-n+2$ as follows: Start with $m$ circles already drawn on the plane with no two of them tangent, none of them being inside another and no three of them concurrent. Then draw the $m+1$ circle $C$ so that is does not violate the propeties stated before and see how it helps increase the number of regions. Indeed, we can see that that $C$ intersects each of the remaining $m$ circles at two points. Therefore, $C$ is divided into $2m$ arcs, each of which divides in two a region formed previously by the first $m$ circles. But a circle divides the plane into two regions, and so we can count step by step ($m=1,2,\cdots, n$) the total number of regions obatined after drawing the $n$-th circle. That is, $$ 2+2(2-1)+2(3-1)+2(4-1)+\cdots+2(n-1)=n^{2}-n+2 $$

Since $n^{2}-n+2\ge (n^{2}+n+2)/2$ for $n\ge 1$ the answer is affirmative.

ADDENDUM: An easy way to see that the answer to my question is affirmative without finding a formula may be as follows: Suppose that $l_{n}$ is the maximum number of regions into which the plane $\mathbb{R}^{2}$ can be divided by $n$ lines, and that $c_{n}$ is the maximum number of regions into which the plane can be divided by $n$ circles.

Now, in the one-point compactification $\mathbb{R}^{2}\cup\{\infty\}$ of the plane, denoted by $S$ (a sphere), the $n$ lines become circles intersecting all at the point $\infty$. Therefore, these circles divide $S$ into at least $l_{n}$ regions. Now, if we pick a point $p$ in the complement in $S$ of the circles and take the stereographic projection through $p$ mapping onto the plane tangent to $S$ at the antipode of $p$ we obtain a plane which is divided by $n$ circles into at least $l_{n}$ regions. Therefore, $l_{n}\le c_{n}$.

Moreover, from this we can see that the plane and the sphere have equal maximum number of regions into which they can be divided by circles.