Geometry – How to Divide a Circle into 9 Equal Areas

circlesgeometry

I'd like to divide a unit circle disk into nine parts of equal area, using circle arcs as delimiting lines.

Illustrative figure

The whole setup should be symmetric under the symmetry group of the square, i.e. 4 mirror axes and 4-fold rotational symmetry. The dividing arcs should all be of equal curvature. (Thanks to the comment by i. m. soloveichik for making me aware this latter requirement.) For these reasons, several areas will automatically be of the same size, indicated by a common color in the figure above. There are three different colors corresponding to three different shapes, and the requirement that all three of these should have the same area therefore corresponds to two equations. This agrees nicely with the fact that there are two real parameters one may tune, e.g. the distance $d$ between the center of the figure and the centers of the dividing circles, together with the radius $r$ for these dividing circles. Other combinations are possible.

But how would one obtain the actual numbers for these parameters? Is the solution even unique?

I understand that it might be difficult to give an exact answer to this question. So numeric answers are acceptable as well, as long as they explain how the numbers were obtained, not only what the numbers are.

Best Answer

To answer your second question: The solution is unique.

For a fixed distance $d$ of the centers, there is a unique radius $r$ of the dividing circles to makes the area of the green part $\frac19$ of the whole circle. Clearly, with growing $d$, $r$ must grow. In fact, the square determined by the four vertices of the green part must grow because with bigger $r$, the excess of the green shape over that square gets smaller. But that means that the vertices wander towards the outside of the circle and also the arcs become flatter, both in effect making the blue parts smaller. Therefore, there is only one $d$ (with matching $r$) that makes the blue parts $\frac 19$ each, which then automatically solves the complete puzzle.

The solution itself can only be found numerically.