We already know the exact area of a circle:
So the purpose of this experiment is not to derive the familiar formula again. Instead, we can use the circle as a case where the exact answer is already known and ask a different question: can we recover that exact value from a sequence of finite approximations?
One way to do this is to divide the circle into concentric rings. If we mentally cut and straighten a ring, we can approximately represent it as a long strip resembling a trapezoid. We replace it with a rectangle whose height corresponds to the length of the ring's inner circumference. Part of the area is then left unaccounted for, so the value obtained for each ring is smaller than its actual area.
We add the areas of all these rectangles to approximate the area of the entire circle. This transforms the geometry of the circle into a sum of simple rectangular areas.
The same idea extends far beyond circles: when the boundary of a region is curved and its area cannot be obtained by a simple geometric formula, we can divide it into increasingly small pieces, sum finite approximations, and study what happens as their size approaches zero.
Here, because we already know the exact answer, we can watch this process happen and compare every approximation with .
How does increasing the number of rings affect the accuracy of the result? What happens as the rings become increasingly thin? Can a sequence of finite approximations recover the exact area of the circle even though every finite approximation remains smaller than the exact area?
Constructing the approximation
As an example, consider a circle of radius
We divide it successively into , , , and concentric rings.
If the circle is divided into rings of equal thickness, the thickness of each ring is
Let the inner radius of a ring be
Thus, the inner radii of the rings are
The length of each ring's inner circumference is
When a ring is replaced by a rectangle, the rectangle's height equals the length of the inner circumference:
and its width equals the thickness of the ring:
Therefore, the area of one rectangle is
To approximate the area of the entire circle, we add the areas of all the rectangles (using a left Riemann sum, since in our case the height of each rectangle is determined by the value of the function at the left endpoint of each interval):
Here indexes the rings from to . For each ring, its inner radius is
and the width of each interval is
The summation notation expresses the same operation performed for every ring: calculate the area of its rectangle and add all the resulting areas.
Substituting the inner radii gives
Factoring out gives
The sum in parentheses can be simplified by writing it once in ascending order and once in descending order:
Adding the two rows term by term gives terms, each equal to . Thus two copies of the original sum equal , so
Then
Approximation error
To understand how far the result is from the actual area of the circle, we calculate the absolute and relative errors.
The absolute error shows how far the calculated value is from the exact value:
Since, for ,
we obtain
The relative error shows what fraction of the exact value is represented by the absolute error:
In general,
In our case,
Results
| Relative error | ||||
|---|---|---|---|---|
For , our approximation accounts for 99.9999% of the area, leaving only 0.0001% unaccounted for.
If is increased by a factor of 10, both the absolute and relative errors decrease by a factor of 10.
What happens for finite ?
No matter how large a value of we choose, for any finite number of rings the result remains smaller than the actual area.
Since
and
for every finite ,
Therefore,
No finite approximation becomes the exact area of the circle.
For , we obtain
This is not an error: the only rectangle is constructed using the inner radius , so its height and area are both zero.
The limit
However, when
we have
Therefore,
In the sequence
each corresponds to a finite number of rings. There is no separate element in this sequence.
Thus,
does not mean that there is some final, infinitely accurate approximation. It is a statement about the behavior of the entire sequence: by increasing the finite value of , we can make arbitrarily close to .
So we can see that no finite approximation in the sequence gives the exact area of the circle. Yet the sequence itself has an exact limit. The exact value is determined not by a final infinitely precise approximation, but by the limiting behavior of the sequence of finite approximations.