Scientific Research

An Academic Publisher

Area inside a Circle: Intuitive and Rigorous Proofs ()

^{}

Keywords

Share and Cite:

*American Journal of Computational Mathematics*,

**7**, 102-108. doi: 10.4236/ajcm.2017.71009.

1. Introduction

Why do we discuss the 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, which is 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, seeing example [1] . But even in these proofs presented by calculus books, seeing the example [2] , the authors resort to circular reasoning. To prove the area inside a circle, they set up the integral ${\int}_{0}^{1}}\sqrt{1-{x}^{2}}\text{d}x$ followed by trigonometric substitution which requires knowing that the derivative of $sin\theta $ is $cos\theta \mathrm{.}$ But this latter fact requires

proving that ${\mathrm{lim}}_{\theta \to 0}\frac{\mathrm{sin}\theta}{\theta}=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 $\mathrm{sin}\theta <\theta <\mathrm{tan}\theta $ . They then apply the Squeeze Theorem. But for computation of the sector’s area, they resort to a standard

formula, $A=\frac{1}{2}\theta ,$ 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 we can see [3] .

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

${{\displaystyle \mathrm{lim}}}_{\theta \to 0}\frac{\mathrm{sin}\theta}{\theta}=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 $\frac{sin\theta}{\theta}$ itself plays an

important role not only in mathematics but also in other fields of science such as physics and engineering.

2. Proofs

Consider a circle of radius 1 which is centered at the origin, as shown in Figure 1; see [4] .

Figure 1. A unit circle in standard position.

Theorem 1. Let $0<\theta <\frac{\text{\pi}}{2}$ be an angle measured in radians. Then,

$\underset{\theta \to 0}{\mathrm{lim}}\frac{\mathrm{sin}\theta}{\theta}=1.$

Proof. Since the magnitude of $\theta $ equals the length of the arc it subtends and

since $\mathrm{sin}\theta <\stackrel{\xaf}{AD},$ we have that $\mathrm{sin}\theta <\theta ,$ or $1<\frac{\theta}{\mathrm{sin}\theta}.$ This establishes a

lower bound. To establish the upper bound, we can show that $\theta <\mathrm{sin}\theta +\stackrel{\xaf}{BD}.$ This can be proved 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 in [3] . Noting that $\mathrm{sin}\theta <\mathrm{tan}\theta $ we get

$\theta <\mathrm{tan}\theta +\stackrel{\xaf}{BD}$ But $\stackrel{\xaf}{BD}=1-\mathrm{cos}\theta .$ So it follows that,

$\frac{\theta}{\mathrm{sin}\theta}<\frac{1}{\mathrm{cos}\theta}+\frac{1-\mathrm{cos}\theta}{\mathrm{sin}\theta}$

and

$\frac{1-\mathrm{cos}\theta}{\mathrm{sin}\theta}=\sqrt{\frac{{\left(1-\mathrm{cos}\theta \right)}^{2}}{1-{{\displaystyle \mathrm{cos}}}^{2}\theta}}=\sqrt{\frac{1-\mathrm{cos}\theta}{1+\mathrm{cos}\theta}}.$

Combining this result with the previous lower bound gives,

$1<\frac{\theta}{\mathrm{sin}\theta}<\frac{1}{\mathrm{cos}\theta}+\sqrt{\frac{1-\mathrm{cos}\theta}{1+\mathrm{cos}\theta}}.$

Letting $\theta \to 0$ in the last expression completes the upper bound, resulting in

$1\le \frac{\theta}{\mathrm{sin}\theta}\le 1.$ Finally, applying the Squeeze Theorem we get,

$\underset{\theta \to 0}{{\displaystyle \mathrm{lim}}}\frac{\mathrm{sin}\theta}{\theta}=1.$ (1)

An interesting question related to the foregoing bounding of the angle $\theta $ is that if we define the derivatives of trigonometric functions of $\theta $ analytically (i.e., by infinite series of complex numbers or solutions of differential equations), can we arrive at the bounding of the angle? The next theorem follows.

Theorem 2. If ${\left(\mathrm{sin}\theta \right)}^{\prime}=\mathrm{cos}\theta ,$ and ${\left(\mathrm{tan}\theta \right)}^{\prime}={{\displaystyle \mathrm{sec}}}^{2}\theta ,$ then

$\mathrm{sin}\theta \le \theta \le \mathrm{tan}\theta .$

Proof. Let $f\left(\theta \right)=\mathrm{sin}\left(\theta \right)-\theta $ than $f\left(0\right)=0$ and ${f}^{\prime}\left(\theta \right)=\mathrm{cos}\theta -1\le 0,$ giving ${f}^{\prime}\left(\theta \right)<0$ for $\theta >0.$

Hence,

$f\left(\theta \right)={\displaystyle {\int}_{0}^{\theta}}{f}^{\prime}\left(t\right)\text{d}t<0.$

Therefore, $\mathrm{sin}\theta <\theta .$ This gives a lower bound for $\theta $ .

To find an upper bound for $\theta \mathrm{,}$ let $g\left(\theta \right)=\mathrm{tan}\theta -\theta .$

$g\left(0\right)=0$ and ${g}^{\prime}\left(\theta \right)={{\displaystyle \mathrm{sec}}}^{2}\theta -1\ge 0,$ giving ${g}^{\prime}\left(\theta \right)>0$ for $\theta >0.$

Hence,

$g\left(\theta \right)={\displaystyle {\int}_{0}^{\theta}}{g}^{\prime}\left(t\right)\text{d}t>0.$

Therefore, $\theta <\mathrm{tan}\theta .$ This gives an upper bound for $\theta $ . Combining the above results we get $\mathrm{sin}\theta \le \theta \le \mathrm{tan}\theta .$

Theorem 3. Area inside a circle of radius $R$ is $\text{\pi}{R}^{2}\mathrm{.}$

Proof. Consider a circle of radius $R$ centered at the origin in Figure 2.

Partition the circle into $n$ equal slices and consider a slice with central angle

$\frac{2\text{\pi}}{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 $\frac{2\text{\pi}}{n}$ becomes $A=\frac{1}{2}{R}^{2}\mathrm{sin}\left(\frac{2\text{\pi}}{n}\right).$

Because there are $n$ inscribed triangles in the circle, the total area of all these

triangles would be ${A}_{\text{total}}=n\frac{1}{2}{R}^{2}\mathrm{sin}\left(\frac{2\text{\pi}}{n}\right)\mathrm{.}$ As we increase the number of slices

by increasing $n\mathrm{,}$ 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}_{\text{total}}$ ,

as $n\to \infty \mathrm{.}$ So, using (1), and since $\frac{2\text{\pi}}{n}\to \mathrm{0,}$ as $n\to \infty \mathrm{,}$ the area of the circle

becomes:

${A}_{\text{circle}}={\mathrm{lim}}_{n\to \infty}n\frac{1}{2}{R}^{2}\mathrm{sin}\left(\frac{2\text{\pi}}{n}\right)=\text{\pi}{R}^{2}\left({\mathrm{lim}}_{n\to \infty}\frac{\mathrm{sin}\frac{2\text{\pi}}{n}}{\frac{2\text{\pi}}{n}}\right)=\text{\pi}{R}^{2}\mathrm{.}$

Figure 2. A circle of radius R with n equal slices.

Hence, ${A}_{\text{circle}}=\text{\pi}{R}^{2}\mathrm{.}$

^{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\mathrm{.}$

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 [5] . The subtle point in this method, as expressed in [5] , 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 by using complex variable method, we can see [6] .

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 Figure 3.

We can see that the area of the annulus equals the area of the trapezoid. So, ${A}_{\text{annulus}}={A}_{\text{trapezoid}}$ , or

${A}_{R}-{A}_{r}=\frac{1}{2}\left(2\text{\pi}R+2\text{\pi}r\right)\left(R-r\right)=\text{\pi}{R}^{2}-\text{\pi}{r}^{2}\mathrm{.}$

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,

${A}_{R}-0=\text{\pi}{R}^{2}-0.$ Thus ${A}_{R}=\text{\pi}{R}^{2}.$ Note that shrinking $r$ to 0, shrinks the trapezoid to the right triangle $ABC\mathrm{,}$ whose area is

$\frac{1}{2}\left(2\text{\pi}R\right)\left(R-0\right)=\text{\pi}{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.

Theorem 4. Area inside a circle of radius $r$ is $\text{\pi}{r}^{2}\mathrm{.}$

Proof. Consider a circle of radius $r$ centered at the origin and partition it

into $n$ equal sectors, each having central angle $\frac{2\text{\pi}}{n},$ and the corresponding arc length $\frac{2\text{\pi}}{n}r\mathrm{.}$ Assume the area of a sector is ${c}_{n}\mathrm{.}$ If we stretch the radius $r$

by a factor of $k>1,$ we create a circle with radius $R=kr.$ So, the corre-

sponding streched sector will have an arc length equal to $\frac{2\text{\pi}}{n}kr$ and the its area

Figure 3. An annulus of a circle cut open in the shape of a trapezoid.

will be increased by a factor of ${k}^{2}$ to ${k}^{2}{c}_{n},$ seeing in Figure 4. Now the area between the two sectors is ${A}_{\text{betweensectors}}={k}^{2}{c}_{n}-{c}_{n}={c}_{n}\left[{k}^{2}-1\right]$ which is approximately equal to the area of the trapezoid $ABCD$ in Figure 4.

If we connect the center $O$ to the point $F$ which is the midpoint of $\stackrel{\xaf}{BC}\mathrm{,}$ the triangles $\Delta OBF$ and $\Delta OCF$ become right angle congruent triangles with right angles at the point $F\mathrm{.}$ As a result, central angles $\angle AOE$ and $\angle DOE$

will each equal $\frac{\text{\pi}}{n}\mathrm{.}$ Obviously triangles $\Delta OAE$ and $\Delta ODE$ are also congruent

having right angles at the point $E\mathrm{.}$ To calculate the area of the trapezoid, we

note that its larger base has length $\stackrel{\xaf}{BC}=2R\mathrm{sin}\frac{\text{\pi}}{n},$ and its smaller base has length $\stackrel{\xaf}{AD}=2r\mathrm{sin}\frac{\text{\pi}}{n}.$ The height of the trapezoid is:

$\stackrel{\xaf}{EF}=R\mathrm{cos}\frac{\text{\pi}}{n}-r\mathrm{cos}\frac{\text{\pi}}{n}$

Therefore the area of the trapezoid becomes:

$\begin{array}{c}{A}_{\text{trapezoid}}=\frac{1}{2}\left[2R\mathrm{sin}\frac{\text{\pi}}{n}+2r\mathrm{sin}\frac{\text{\pi}}{n}\right]\cdot \left[R\mathrm{cos}\frac{\text{\pi}}{n}-r\mathrm{cos}\frac{\text{\pi}}{n}\right]\\ =\mathrm{sin}\frac{\text{\pi}}{n}\mathrm{cos}\frac{\text{\pi}}{n}\left[{R}^{2}-{r}^{2}\right]\\ =\mathrm{sin}\frac{\text{\pi}}{n}\mathrm{cos}\frac{\text{\pi}}{n}\cdot {r}^{2}\left[{k}^{2}-1\right].\end{array}$

Figure 4. A sector of a circle stretched by a factor k > 1 to an enhanced sector.

Setting ${A}_{\text{betweensectors}}\approx {A}_{\text{trapezoid}}$ , gives,

$\text{\hspace{0.17em}}{c}_{n}\left[{k}^{2}-1\right]\approx sin\frac{\text{\pi}}{n}cos\frac{\text{\pi}}{n}\cdot {r}^{2}\left[{k}^{2}-1\right]\mathrm{,}$

or ${c}_{n}\approx sin\frac{\text{\pi}}{n}cos\frac{\text{\pi}}{n}\cdot {r}^{2}\mathrm{.}$ This approximation can be improved by increasing $n\mathrm{.}$

Now, multiplying both sides of the above by $n$ gives:

$n{c}_{n}\approx nsin\frac{\text{\pi}}{n}cos\frac{\text{\pi}}{n}\cdot {r}^{2}$

Since there are exactly $n$ identical sectors in the circle of radius $r\mathrm{,}$ its area

becomes $c=n{c}_{n}.$ Therefore, $c\approx n\mathrm{sin}\frac{\text{\pi}}{n}\mathrm{cos}\frac{\text{\pi}}{n}\cdot {r}^{2}.$ Now, taking the limit of

both sides as $n\to \infty \mathrm{,}$ and applying our earlier result (1) and the fact that $cos\theta \to \mathrm{1,}$ as $\theta \to 0$ , we get:

$\begin{array}{c}c=\underset{n\to \infty}{\mathrm{lim}}n\mathrm{sin}\frac{\text{\pi}}{n}\mathrm{cos}\frac{\text{\pi}}{n}\cdot {r}^{2}\\ =\underset{n\to \infty}{\mathrm{lim}}\text{\pi}\cdot \frac{\mathrm{sin}\frac{\text{\pi}}{n}}{\frac{\text{\pi}}{n}}\mathrm{cos}\frac{\text{\pi}}{n}\cdot {r}^{2}\\ =\text{\pi}{r}^{2}\left(\underset{n\to \infty}{\mathrm{lim}}\frac{\mathrm{sin}\frac{\text{\pi}}{n}}{\frac{\text{\pi}}{n}}\right)\cdot \left(\underset{n\to \infty}{\mathrm{lim}}\mathrm{cos}\frac{\text{\pi}}{n}\right)\\ =\text{\pi}{r}^{2}\end{array}$

Hence, $c=\text{\pi}{r}^{2}.$

Acknowledgements

I wish to thank Professor Cyrill Oseledets of Richard J. Daley College for his review of the initial manuscript and making helpful suggestions to improve it.

Conflicts of Interest

The authors declare no conflicts of interest.

[1] | Larson, R.E. and Bruce, H. (2014) Calculus. 10th Edition, Cengage Learning, Brooks/Cole, Boston, 533-541. |

[2] | Briggs, W., Cochran, L. and Gillett, B. (2015) Cochran, Lyle. In: Gillett, B., Ed., Calculus, 2nd Edition, Pearson Education, New York, 527-536. |

[3] | Krantz, S. (1992) On the Area Inside a Circle. Missouri Journal of Mathematics, 4, 2-8. |

[4] | Siadat, M.V. (2002) Axial View of Trigonometric Functions. Mathematics Magazine, 75, 396-397. |

[5] | Axler, S. (2013) Precalculus (A Prelude to Calculus). 2nd Edition, John Wiley & Sons, Inc., Hoboken, 617-628. |

[6] | Brown, J.W. and Churchill, R.V. (2004) Complex Variables and Applications. 7th Edition, McGraw-Hill Higher Education, Boston, 441-449. |

Copyright © 2020 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.