Quadrature (geometry)

Last updated March 09, 2024

In mathematics, particularly in geometry, quadrature (also called squaring) is a historical process of drawing a square with the same area as a given plane figure or computing the numerical value of that area. A classical example is the quadrature of the circle (or squaring the circle). Quadrature problems served as one of the main sources of problems in the development of calculus. They introduce important topics in mathematical analysis.

History

Antiquity

The lune of Hippocrates was the first curved figure to have its exact area calculated mathematically. Lune.svg — The lune of Hippocrates was the first curved figure to have its exact area calculated mathematically.

Greek mathematicians understood the determination of an area of a figure as the process of geometrically constructing a square having the same area (squaring), thus the name quadrature for this process. The Greek geometers were not always successful (see squaring the circle), but they did carry out quadratures of some figures whose sides were not simply line segments, such as the lune of Hippocrates and the parabola. By a certain Greek tradition, these constructions had to be performed using only a compass and straightedge, though not all Greek mathematicians adhered to this dictum.

For a quadrature of a rectangle with the sides a and b it is necessary to construct a square with the side $x={\sqrt {ab}}$ (the geometric mean of a and b). For this purpose it is possible to use the following: if one draws the circle with diameter made from joining line segments of lengths a and b, then the height (BH in the diagram) of the line segment drawn perpendicular to the diameter, from the point of their connection to the point where it crosses the circle, equals the geometric mean of a and b. A similar geometrical construction solves the problems of quadrature of a parallelogram and of a triangle.

Problems of quadrature for curvilinear figures are much more difficult. The quadrature of the circle with compass and straightedge was proved in the 19th century to be impossible.^[1]^[2] Nevertheless, for some figures a quadrature can be performed. The quadratures of the surface of a sphere and a parabola segment discovered by Archimedes became the highest achievement of analysis in antiquity.

The area of the surface of a sphere is equal to four times the area of the circle formed by a great circle of this sphere.
The area of a segment of a parabola determined by a straight line cutting it is 4/3 the area of a triangle inscribed in this segment.

For the proofs of these results, Archimedes used the method of exhaustion attributed to Eudoxus.^[3]

Medieval mathematics

In medieval Europe, quadrature meant the calculation of area by any method. Most often the method of indivisibles was used; it was less rigorous than the geometric constructions of the Greeks, but it was simpler and more powerful. With its help, Galileo Galilei and Gilles de Roberval found the area of a cycloid arch, Grégoire de Saint-Vincent investigated the area under a hyperbola (Opus Geometricum, 1647),^[3]^: 491 and Alphonse Antonio de Sarasa, de Saint-Vincent's pupil and commentator, noted the relation of this area to logarithms.^[3]^: 492^[4]

Integral calculus

John Wallis algebrised this method; he wrote in his Arithmetica Infinitorum (1656) some series which are equivalent to what is now called the definite integral, and he calculated their values. Isaac Barrow and James Gregory made further progress: quadratures for some algebraic curves and spirals. Christiaan Huygens successfully performed a quadrature of the surface area of some solids of revolution.

The quadrature of the hyperbola by Gregoire de Saint-Vincent and A. A. de Sarasa provided a new function, the natural logarithm, of critical importance. With the invention of integral calculus came a universal method for area calculation. In response, the term quadrature has become traditional, and instead the modern phrase finding the area is more commonly used for what is technically the computation of a univariate definite integral.

Notes

↑ Lindemann, F. (1882). "Über die Zahl π" [On the number π]. Mathematische Annalen (in German). 20 (2): 213–225. doi:10.1007/bf01446522. S2CID 120469397.
↑ Fritsch, Rudolf (1984). "The transcendence of $π$ has been known for about a century—but who was the man who discovered it?". Results in Mathematics . 7 (2): 164–183. doi:10.1007/BF03322501. MR 0774394. S2CID 119986449.
1 2 3 Katz, Victor J. (1998). A History of Mathematics: An Introduction (2nd ed.). Addison Wesley Longman. ISBN 0-321-01618-1.
↑ Enrique A. Gonzales-Velasco (2011) Journey through Mathematics, § 2.4 Hyperbolic Logarithms, page 117

Related Research Articles

<span class="mw-page-title-main">Straightedge and compass construction</span> Method of drawing geometric objects

In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an idealized ruler and a pair of compasses.

In analysis, numerical integration comprises a broad family of algorithms for calculating the numerical value of a definite integral. The term numerical quadrature is more or less a synonym for "numerical integration", especially as applied to one-dimensional integrals. Some authors refer to numerical integration over more than one dimension as cubature; others take "quadrature" to include higher-dimensional integration.

Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a given circle by using only a finite number of steps with a compass and straightedge. The difficulty of the problem raised the question of whether specified axioms of Euclidean geometry concerning the existence of lines and circles implied the existence of such a square.

The Method of Mechanical Theorems, also referred to as The Method, is one of the major surviving works of the ancient Greek polymath Archimedes. The Method takes the form of a letter from Archimedes to Eratosthenes, the chief librarian at the Library of Alexandria, and contains the first attested explicit use of indivisibles. The work was originally thought to be lost, but in 1906 was rediscovered in the celebrated Archimedes Palimpsest. The palimpsest includes Archimedes' account of the "mechanical method", so called because it relies on the center of weights of figures (centroid) and the law of the lever, which were demonstrated by Archimedes in On the Equilibrium of Planes.

A Gabriel's horn is a type of geometric figure that has infinite surface area but finite volume. The name refers to the Christian tradition where the archangel Gabriel blows the horn to announce Judgment Day. The properties of this figure were first studied by Italian physicist and mathematician Evangelista Torricelli in the 17th century.

Bonaventura Francesco Cavalieri was an Italian mathematician and a Jesuate. He is known for his work on the problems of optics and motion, work on indivisibles, the precursors of infinitesimal calculus, and the introduction of logarithms to Italy. Cavalieri's principle in geometry partially anticipated integral calculus.

Calculus, originally called infinitesimal calculus, is a mathematical discipline focused on limits, continuity, derivatives, integrals, and infinite series. Many elements of calculus appeared in ancient Greece, then in China and the Middle East, and still later again in medieval Europe and in India. Infinitesimal calculus was developed in the late 17th century by Isaac Newton and Gottfried Wilhelm Leibniz independently of each other. An argument over priority led to the Leibniz–Newton calculus controversy which continued until the death of Leibniz in 1716. The development of calculus and its uses within the sciences have continued to the present.

A hyperbolic sector is a region of the Cartesian plane bounded by a hyperbola and two rays from the origin to it. For example, the two points $(a, 1/ a)$ and $(b, 1/ b)$ on the rectangular hyperbola $xy = 1$ , or the corresponding region when this hyperbola is re-scaled and its orientation is altered by a rotation leaving the center at the origin, as with the unit hyperbola. A hyperbolic sector in standard position has $a = 1$ and $b > 1$ .

In geometry, hyperbolic angle is a real number determined by the area of the corresponding hyperbolic sector of xy = 1 in Quadrant I of the Cartesian plane. The hyperbolic angle parametrises the unit hyperbola, which has hyperbolic functions as coordinates. In mathematics, hyperbolic angle is an invariant measure as it is preserved under hyperbolic rotation.

In linear algebra, a squeeze mapping, also called a squeeze transformation, is a type of linear map that preserves Euclidean area of regions in the Cartesian plane, but is not a rotation or shear mapping.

In mathematics, hyperbolic coordinates are a method of locating points in quadrant I of the Cartesian plane

The method of exhaustion is a method of finding the area of a shape by inscribing inside it a sequence of polygons whose areas converge to the area of the containing shape. If the sequence is correctly constructed, the difference in area between the nth polygon and the containing shape will become arbitrarily small as n becomes large. As this difference becomes arbitrarily small, the possible values for the area of the shape are systematically "exhausted" by the lower bound areas successively established by the sequence members.

In geometry, the area enclosed by a circle of radius $r$ is $π r 2$ . Here the Greek letter $π$ represents the constant ratio of the circumference of any circle to its diameter, approximately equal to 3.14159.

Grégoire de Saint-Vincent - in Latin : Gregorius a Sancto Vincentio, in Dutch : Gregorius van St-Vincent - was a Flemish Jesuit and mathematician. He is remembered for his work on quadrature of the hyperbola.

The history of logarithms is the story of a correspondence between multiplication on the positive real numbers and addition on the real number line that was formalized in seventeenth century Europe and was widely used to simplify calculation until the advent of the digital computer. The Napierian logarithms were published first in 1614. E. W. Hobson called it "one of the very greatest scientific discoveries that the world has seen." Henry Briggs introduced common logarithms, which were easier to use. Tables of logarithms were published in many forms over four centuries. The idea of logarithms was also used to construct the slide rule, which became ubiquitous in science and engineering until the 1970s. A breakthrough generating the natural logarithm was the result of a search for an expression of area against a rectangular hyperbola, and required the assimilation of a new function into standard mathematics.

Quadrature of the Parabola is a treatise on geometry, written by Archimedes in the 3rd century BC and addressed to his Alexandrian acquaintance Dositheus. It contains 24 propositions regarding parabolas, culminating in two proofs showing that the area of a parabolic segment is $that of a certain inscribed triangle.$

The following is a timeline of key developments of geometry:

A timeline of calculus and mathematical analysis.

Introductio in analysin infinitorum is a two-volume work by Leonhard Euler which lays the foundations of mathematical analysis. Written in Latin and published in 1748, the Introductio contains 18 chapters in the first part and 22 chapters in the second. It has Eneström numbers E101 and E102.

In calculus, Cavalieri's quadrature formula, named for 17th-century Italian mathematician Bonaventura Cavalieri, is the integral

References

Boyer, C. B. (1989) A History of Mathematics, 2nd ed. rev. by Uta C. Merzbach. New York: Wiley, ISBN 0-471-09763-2 (1991 pbk ed. ISBN 0-471-54397-7).
Eves, Howard (1990) An Introduction to the History of Mathematics, Saunders, ISBN 0-03-029558-0,
Christiaan Huygens (1651) Theoremata de Quadratura Hyperboles, Ellipsis et Circuli
Jean-Etienne Montucla (1873) History of the Quadrature of the Circle, J. Babin translator, William Alexander Myers editor, link from HathiTrust.
Christoph Scriba (1983) "Gregory's Converging Double Sequence: a new look at the controversy between Huygens and Gregory over the 'analytical' quadrature of the circle", Historia Mathematica 10:274–85.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[lindemann-1] Lindemann, F. (1882). "Über die Zahl π" [On the number π]. Mathematische Annalen (in German). 20 (2): 213–225. doi:10.1007/bf01446522. S2CID 120469397.

[fritsch-2] Fritsch, Rudolf (1984). "The transcendence of $π$ has been known for about a century—but who was the man who discovered it?". Results in Mathematics . 7 (2): 164–183. doi:10.1007/BF03322501. MR 0774394. S2CID 119986449.

[Katz-3] 1 2 3 Katz, Victor J. (1998). A History of Mathematics: An Introduction (2nd ed.). Addison Wesley Longman. ISBN 0-321-01618-1.

[4] Enrique A. Gonzales-Velasco (2011) Journey through Mathematics, § 2.4 Hyperbolic Logarithms, page 117

[1]

[2]

[3]

[4]