Placing a ruler horizontally at on the picture (on page 396 of the text),
we see that it cuts the circle at .
So the general solution will be . (Using the calculator, we get more decimal
places. The first solution is ,
and the second is minus that, or approximately 2.2143. But often
just the quick “by eye” estimate is good enough for what we need.)