Area Inside A Circle: Intuitive and Rigorous Proofs

In this article I conduct a short review of the proofs of the area inside a circle. These include intuitive as well as rigorous analytic proofs. This discussion is important not just from mathematical view point but also because pedagogically the calculus books still today use circular reasoning to prove the area inside a circle (also that of an ellipse) on this important historical topic, first illustrated by Archimedes. I offer an innovative approach, through introduction of a theorem, which will lead to proving the area inside a circle avoiding circular argumentation.


INTRODUCTION
Why area inside a circle again? Why we shouldn't confound the notions of intuition and rigor? Do calculus books, even today, still resort to circular reasoning? This paper is an attempt to elucidate these questions by walking the reader through the path of intuitive to solid analytical reasoning, pointing out the gaps that often occur, on the proof of this ancient and well known problem, first illustrated by Archimedes. The motivation behind writing of this piece was to engage the reader in further thinking about mathematical proofs and the level of rigor at which they are presented.
In the following we present a brief review of the proofs of area inside a circle. A typical rigorous proof requires knowledge of integral calculus, see for example [5]. But even in these proofs presented by calculus books, see for example [2], the authors resort to circular reasoning. To prove the area inside a circle, they set up the integral 1 0

√
1 − x 2 dx followed by trigonometric substitution which requires knowing that the derivative of sin θ is cos θ. But this latter fact requires proving that lim θ→0 sin θ θ = 1.
For this proof, they resort to a geometric argument, bounding the area of a sector of a unit circle between the areas of two triangles and showing that sin θ < θ < tan θ. They then apply the Squeeze Theorem. But for computation of the sector's area, they resort to a standard formula, A = 1 2 θ, which is based on knowing the area of a circle. So, they prove the area by assuming the area. This is obviously circular argumentation! For an excellent critique of this method see [4]. There are also a number of intuitive proofs intended to provide an insight to the derivation of the area with just the knowledge of geometry and limits. In this short piece we begin by proving a preliminary result showing that lim θ→0 sin θ θ = 1, without, a priori, assuming the area of a sector. This limit is central to the proof of the derivatives of trigonometric functions. We note that aside from the aforementioned limit, the function sin θ θ itself plays an important role not only in mathematics but in other fields of science such as physics and engineering.

PROOFS
Consider a circle of radius 1, centered at the origin, as shown in Fig. 1; see [6]. Proof. Since the magnitude of θ equals the length of the arc it subtends and since sin θ < AD, we have that sin θ < θ, or 1 < θ sin θ . This establishes a lower bound for θ sin θ . To show the upper bound, observe that by the triangle inequality, θ < sin θ +BD. This can be established by the standard method of estimating an arc length of a rectifiable curve by the linear approximation of the lengths of the chords it subtends through partitioning. The result follows by applying the triangle inequality in each partition; see [4]. Noting that sin θ < tan θ we get θ < tan θ + BD Combining this result with the previous lower bound gives, Letting θ → 0 in the last expression completes the upper bound, re- An interesting question related to the foregoing bounding of the angle θ is that if we define the derivatives of trigonometric functions of θ analytically (i.e., by infinite series or complex numbers or solutions of differential equations), can we arrive at the bounding of the angle? The next theorem follows. Hence, Therefore, sin θ < θ. This gives a lower bound for θ.
Theorem 3. Area inside a circle of radius R is πR 2 .
Proof. Consider a circle of radius R centered at the origin in Fig. 2. Partition the circle into n equal slices and consider a slice with central angle 2π n radians. We know that the area of a triangle is one-half times the product of two of its sides times the sine of the angle between the two sides. So, the area of the triangle subtended by the central angle 2π n becomes A = 1 2 R 2 sin( 2π n ). Because there are n inscribed triangles in the circle, the total area of all these triangles would be A total = n 1 2 R 2 sin( 2π n ). As we increase the number of slices by increasing n, the sum of the areas of the inscribed triangles get closer to the area of the circle. To get the area of the circle, we need to find the limit of A total , as n → ∞. So, using (1), and since 2π n → 0, as n → ∞, the area of the circle becomes: Hence, A circle = πR 2 .
An intuitive and interesting method of proving the area inside a circle which requires area stretching 1 and mapping from an annulus to a trapezoid is discussed in [1]. The subtle point in this method, as expressed in [1], is that it assumes as evident the area preservation from a circular to a simply connected region. For a discussion of transformation of different regions using complex variable method, see [3].
There are many other intuitive approaches also, some of which involve slicing or opening up a circle. Below we offer a simple intuitive proof which is not based on area stretching, but assumes area preservation under mappings. Consider two concentric circles with radii r and R and corresponding areas A r and A R . Cut the annulus open in the shape of a right angle trapezoid ABCD as in Fig. 3. 1 Area stretching is a result from geometry stating that if we stretch a region in the coordinate plane vertically by a factor of k > 0 and horizontally by a factor of l > 0, then its area will stretch by the factor kl. We can see that the area of the annulus equals the area of the trapezoid. So, A annulus = A trapezoid , or We can choose r > 0 as small as we please and so, in particular, if we let r approach 0, the area of the inner circle approaches 0 and we get, Note that shrinking r to 0, shrinks the trapezoid to the right triangle ABC, whose area is 1 2 (2πR)(R − 0) = πR 2 = A R . In the following we present an analytic proof of the area inside a circle using area stretching, which does not assume area preserving mapping of regions. Proof. Consider a circle of radius r centered at the origin and partition it into n equal sectors, each having central angle 2π n , and the corresponding arc length 2π n r. Assume the area of a sector is c n . If we stretch the radius r by a factor of k > 1, we create a circle with radius R = kr. So, the corresponding streched sector will have an arc length equal to 2π n kr and the its area will be increased by a factor of k 2 to k 2 c n ; see  culate the area of the trapezoid, we note that its larger base has length BC = 2R sin π n , and its smaller base has length AD = 2r sin π n . The height of the trapezoid is: Therefore the area of the trapezoid becomes: Setting A between sectors ≈ A trapezoid , gives, or c n ≈ sin π n cos π n · r 2 . This approximation can be improved by increasing n. Now, multiplying both sides of the above by n gives: nc n ≈ n sin π n cos π n · r 2 Since there are exactly n identical sectors in the circle of radius r, its area becomes c = nc n . Therefore, c ≈ n sin π n cos π n · r 2 . Now, taking the limit of both sides as n → ∞, and applying our earlier result (1) and the fact that cos θ → 1, as θ → 0,we get: c = lim n→∞ n sin π n cos π n · r 2 = lim n→∞ π · sin π n π n cos π n · r 2 = πr 2 ( lim