3440.41 – First: Trisect the Diameter


There are several ways to trisect a circular region, but this is one of the prettiest. Trisect the diameter, and then draw semicircles on it as shown. Your job is to prove that the three wavy regions have the same area. You may assume that the area of I equals the area of III.


Solution

We already know that the area of region I is equal to the area for region III. We just have to show that the area of region II equals the area of region I. So, we take a breath and find the area of the two regions and show that they are the same. (We will be showing this for some radius rr, but this is just as easy to show with your favorite number.) To that end,

AI=πr22π(r/3)22π(2r/3)22=πr22+πr2182πr29=πr23\begin{align*}A_I &= \dfrac{\pi r^2}{2} - \dfrac{\pi (r/3)^2}{2} - \dfrac{\pi (2r/3)^2}{2} \\[1em]&= \dfrac{\pi r^2}{2} + \dfrac{\pi r^2}{18} - \dfrac{2\pi r^2}{9} \\[1em]&= \dfrac{\pi r^2}{3}\end{align*}

Then, as indicated on the right in the figure, area II is just a circle of radius 2r3\dfrac{2r}{3} with a circle of radius r3\dfrac{r}{3} cut out of it. So:

AII=π(2r3)2π(r3)2=πr2(4919)=πr23=AI=AIII\begin{align*}A_{II} &= \pi \left(\dfrac{2r}{3}\right)^2 - \pi \left(\dfrac{r}{3}\right)^2 \\[1em]&= \pi r^2\left(\dfrac{4}{9} - \dfrac{1}{9}\right) \\[1em]&= \dfrac{\pi r^2}{3} \\[1em]&= A_I = A_{III}\end{align*}