Professional Documents
Culture Documents
Terminology
Although often referred to as the area of
a circle in informal contexts, strictly
speaking the term disk refers to the
interior region of the circle, while circle is
reserved for the boundary only, which is
a curve and covers no area itself.
Therefore, the area of a disk is the more
precise phrase for the area enclosed by
a circle.
History
Modern mathematics can obtain the
area using the methods of integral
calculus or its more sophisticated
offspring, real analysis. However, the
area of a disk was studied by the
Ancient Greeks. Eudoxus of Cnidus in
the fifth century B.C. had found that the
area of a disk is proportional to its
radius squared.[1] Archimedes used the
tools of Euclidean geometry to show
that the area inside a circle is equal to
that of a right triangle whose base has
the length of the circle's circumference
and whose height equals the circle's
radius in his book Measurement of a
Circle. The circumference is 2πr, and the
area of a triangle is half the base times
the height, yielding the area π r2 for the
disk. Prior to Archimedes, Hippocrates
of Chios was the first to show that the
area of a disk is proportional to the
square of its diameter, as part of his
quadrature of the lune of Hippocrates,[2]
but did not identify the constant of
proportionality.
Historical arguments
A variety of arguments have been
advanced historically to establish the
equation to varying degrees of
mathematical rigor. The most famous of
these is Archimedes' method of
exhaustion, one of the earliest uses of
the mathematical concept of a limit, as
well as the origin of Archimedes' axiom
which remains part of the standard
analytical treatment of the real number
system. The original proof of
Archimedes is not rigorous by modern
standards, because it assumes that we
can compare the length of arc of a circle
to the length of a secant and a tangent
line, and similar statements about the
area, as geometrically evident.
Using polygons
Not less
Rearrangement proof
polygon parallelogram
∞ 1/∞ π 1 π
Modern proofs
There are various equivalent definitions
of the constant π. The conventional
definition in pre-calculus geometry is the
ratio of the circumference of a circle to
its diameter:
Onion proof
Semicircle proof
A semicircle of radius r
By trigonometric substitution, we
substitute , hence
circle, is equal to .
Isoperimetric inequality
The circle is the closed curve of least
perimeter that encloses the maximum
area. This is known as the isoperimetric
inequality, which states that if a
rectifiable Jordan curve in the Euclidean
plane has perimeter C and encloses an
area A (by the Jordan curve theorem)
then
Fast approximation
The calculations Archimedes used to
approximate the area numerically were
laborious, and he stopped with a
polygon of 96 sides. A faster method
uses ideas of Willebrord Snell
(Cyclometricus, 1621), further developed
by Christiaan Huygens (De Circuli
Magnitudine Inventa, 1654), described in
Gerretsen & Verdenduin (1983, pp. 243–
250).
(geometric mean),
and
(harmonic
mean).
un + Un
(Here 2 approximates the
circumference of the unit circle, which is
un + Un
2π, so 4 approximates π.)
so that
This gives a geometric mean equation.
or
Dart approximation
Finite rearrangement
We have seen that by partitioning the
disk into an infinite number of pieces we
can reassemble the pieces into a
rectangle. A remarkable fact discovered
relatively recently (Laczkovich 1990) is
that we can dissect the disk into a large
but finite number of pieces and then
reassemble the pieces into a square of
equal area. This is called Tarski's circle-
squaring problem. The nature of
Laczkovich's proof is such that it proves
the existence of such a partition (in fact,
of many such partitions) but does not
exhibit any particular partition.
Non-Euclidean circles
Circles can be defined in non-Euclidean
geometry, and in particular in the
hyperbolic and elliptic planes.
Generalizations
We can stretch a disk to form an ellipse.
Because this stretch is a linear
transformation of the plane, it has a
distortion factor which will change the
area but preserve ratios of areas. This
observation can be used to compute the
area of an arbitrary ellipse from the area
of a unit circle.
See also
Area of a triangle
References
1. Stewart, James (2003). Single
variable calculus early
transcendentals (https://archive.org/
details/singlevariableca00stew/pag
e/3) (5th. ed.). Toronto ON:
Brook/Cole. pp. 3 (https://archive.or
g/details/singlevariableca00stew/pa
ge/3) . ISBN 0-534-39330-6.
"However, by indirect reasoning,
Eudoxus (fifth century B.C.) used
exhaustion to prove the familiar
formula for the area of a disk:
"
Bibliography
Archimedes (1897), "Measurement of
a circle" (https://archive.org/stream/w
orksofarchimede029517mbp#page/n
279/mode/2up) , in Heath, T. L. (ed.),
The Works of Archimedes (https://ww
w.archive.org/details/worksofarchime
de029517mbp) , Cambridge University
Press
(Originally published by Cambridge
University Press, 1897, based on J. L.
Heiberg's Greek version.)
Beckmann, Petr (1976), A History of Pi,
St. Martin's Griffin, ISBN 978-0-312-
38185-1
Gerretsen, J.; Verdenduin, P. (1983),
"Chapter 8: Polygons and Polyhedra",
in H. Behnke; F. Bachmann; K. Fladt; H.
Kunle (eds.), Fundamentals of
Mathematics, Volume II: Geometry,
translated by S. H. Gould, MIT Press,
pp. 243–250, ISBN 978-0-262-52094-2
(Originally Grundzüge der Mathematik,
Vandenhoeck & Ruprecht, Göttingen,
1971.)
Laczkovich, Miklós (1990),
"Equidecomposability and
discrepancy: A solution to Tarski's
circle squaring problem" (http://dz-srv
1.sub.uni-goettingen.de/sub/digbib/lo
ader?ht=VIEW&did=D262326) ,
Journal für die reine und angewandte
Mathematik, 1990 (404): 77–117,
doi:10.1515/crll.1990.404.77 (https://
doi.org/10.1515%2Fcrll.1990.404.77) ,
MR 1037431 (https://mathscinet.ams.
org/mathscinet-getitem?mr=103743
1) , S2CID 117762563 (https://api.sem
anticscholar.org/CorpusID:11776256
3)
Lang, Serge (1985), "The length of the
circle", Math! : Encounters with High
School Students, Springer-Verlag,
ISBN 978-0-387-96129-3
Smith, David Eugene; Mikami, Yoshio
(1914), A history of Japanese
mathematics (https://archive.org/detai
ls/historyofjapanes00smituoft) ,
Chicago: Open Court Publishing,
pp. 130–132, ISBN 978-0-87548-170-8
Thijssen, J. M. (2006), Computational
Physics, Cambridge University Press,
p. 273, ISBN 978-0-521-57588-1
External links
Science News on Tarski problem (htt
p://www.sciencenews.org/articles/20
041030/mathtrek.asp) Archived (http
s://web.archive.org/web/2008041311
4409/http://www.sciencenews.org/art
icles/20041030/mathtrek.asp) 2008-
04-13 at the Wayback Machine
Retrieved from
"https://en.wikipedia.org/w/index.php?
title=Area_of_a_circle&oldid=1169811636"