Problem: A goat is tied to the edge of a circular plot of grass by a length of rope. How long should the rope be so that the goat eats exactly half of the grass?

Solution: Let the radius of the plot of grass be \(R\) and the length of the rope be \(L\). The center of the circular plot is \(O\) and the goat is tied to the edge of the plot boundary at \(C\).

Note that the area representing the grass that the goat eats is the intersection of two offset circles: one being the plot of grass (green), the other defined by the area the goat can move given that it’s tied where it is (red). Let the points of intersection of the circles be \(A\) and \(B\).

This area of intersection looks difficult at first, but it is really two circular segments: one for the green circle, and one for the red. A circular segment is the area between a chord of a circle and the arc it bounds. The green segment lies between arc \(\widehat{ACB}\) and line \(\overline{AB}\). The area of this segment is the difference between the area of the sector bounded by the arc \(\widehat{ACB}\) and the lines \(\overline{OA}\) and \(\overline{OB}\), and the triangle \(\bigtriangleup{AOB}\).

Let the angle subtended by the arc \(\widehat{ACB}\) be \(2 \phi\). The area of the sector \(A_{GS}\) is given by \(A_{GS}=\frac{1}{2} R^2 (2 \phi)\), and the area \(A_{GT}\) of triangle \(\bigtriangleup{AOB}\) is given by \(A_{GT}=\frac{1}{2} R^2 \sin{2 \phi}\). The area of the green segment \(A_G\) is then \(A_G=\frac{1}{2} R^2 \left (2 \phi – \sin{2 \phi} \right )\).

Results are similar for the red segment. If the angle subtended by the arc \(\widehat{AOB}\) is \(2 \theta\), then the area of the red segment \(A_R\) is \(A_R=\frac{1}{2} L^2 \left (2 \theta- \sin{2 \theta} \right )\). The area of the grass eaten by the goat is the sum of the areas of the red segment and the green segment, \(A_R + A_G\).

This area depends on four parameters, \(R\), \(L\), \(\phi\), and \(\theta\). Of these, \(R\) is given, and \(L\) is what we are tasked to find in terms of \(R\). This leaves us to find the other two parameters in terms of \(R\) and \(L\).

We do this by noting that triangle \(\bigtriangleup{AOC}\) is isosceles. From this triangle, we see that \(L=2 R \sin{\frac{\phi}{2}}\) and \(2 \theta + \phi = \pi\). These two relations will allow us to get a single equation relating \(L\) to \(R\).

We begin by expressing the condition that the area the goat eats, \(A_R + A_G\), is one half of the area of the circular plot, \(\pi R^2\):

\(A_R + A_G = \frac{1}{2} R^2 \left (2 \phi – \sin{2 \phi} \right ) + \frac{1}{2} L^2 \left (2 \theta- \sin{2 \theta} \right ) = \frac{\pi}{2} R^2\).

Let \(\beta = \frac{L}{R}\). Then \(\phi = 2 \arcsin{\frac{\beta}{2}}\) and \(\theta = \frac{\pi}{2} – \arcsin{\frac{\beta}{2}}\). Diving both sides of the area equation above by \(R^2\), and plugging in the above relations, we get the following equation for \(\beta\):

\(4 \left ( 1 – \frac{\beta^2}{2} \right ) \arcsin{\frac{\beta}{2}} – 2 \beta \sqrt{1 – \frac{\beta^2}{4}} + \pi \left ( \beta^2 – 1 \right ) = 0\).

(Yes, I combined a lot of steps here, including some non-trivial trig simplifications. This stuff is really better off left to the reader.)

This equation cannot be solved in analytical closed form. I think this is what is unexpected from a cursory inspection of the problem. So, you need some tool to solve it. Fortunately, Wolfram Alpha will solve it just nicely for free. Go to the site http://www.wolframalpha.com and type in the following string into the box: “findroot[ 4 (1 – b^2/2) ArcSin[b/2] – 2 b Sqrt[1 – b^2/4] + Pi (b^2 – 1) , {b,1}]”. The result is that, to six significant figures, \(\beta \approx 1.15873\). That is, the length of the rope is about 15.9% larger than the radius of the circular plot.

NB Some of you may scoff at my use of a web tool to solve my equation, and wonder what happened to rigorous analysis. The truth is that the solution of such equations has become so routine and cheap that, unless you are demonstrating something special about the solution process, there is little value in going through all of the low-level details about solutions. I know this contradicts something I posted earlier today, but the important detail was the derivation of the above equation, from which we obtained the solution.

IYI (If you’re interested): This problem is structurally very similar to those found in certain optics applications. In particular, folks who model image formation in microscopes and similar systems deal with geometry just as in this problem. Actually, a little more general. Imagine the following problem: there is a circular plot of grass, and a goat is tied up somewhere with a rope of a given length. How much of the grass can the goat eat? Now imagine two goats, each tied with rope of the same length, but in different places. Again, how much of the grass can the goats eat?

I published a complete solution to this problem, but in the context of imaging a transilluminated object with a microscope using an extended source. The problem, of course, can get far more complicated in the optics context, and all analogies with goats and grass gets lost when we ask about aberrations and defocus. If you have the stomach for this, I published another paper which dealt with this.