Bonaventura Cavalieri

Bonaventura Cavalieri
An engraving of a man with a moustache in a monk's robes, facing the viewer.
Illustration of Cavalieri from Trattato della sfera (1682)
Born
Bonaventura Francesco Cavalieri

1598
Died30 November 1647(1647-11-30) (aged 48–49)
NationalityItalian
Other namesBonaventura Cavalerius
Alma materUniversity of Pisa
Known forCavalieri's principle
Cavalieri's quadrature formula
Method of indivisibles
Polar coordinate system
Scientific career
FieldsMathematics

Bonaventura Francesco Cavalieri (Latin: Bonaventura Cavalerius; 1598 – 30 November 1647) was an Italian mathematician and a Jesuate.[1] 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.

Life

[edit]

Born in Milan, Cavalieri joined the Jesuates order (not to be confused with the Jesuits[2]) at the age of fifteen, taking the name Bonaventura upon becoming a novice of the order, and remained a member until his death.[3] He took his vows as a full member of the order in 1615, at the age of seventeen, and shortly after joined the Jesuat house in Pisa. By 1616 he was a student of geometry at the University of Pisa. There he came under the tutelage of Benedetto Castelli, who probably introduced him to Galileo Galilei. In 1617 he briefly joined the Medici court in Florence, under the patronage of Cardinal Federico Borromeo, but the following year he returned to Pisa and began teaching Mathematics in place of Castelli. He applied for the Chair of Mathematics at the University of Bologna but was turned down.[1]

In 1620, he returned to the Jesuate house in Milan, where he had lived as a novitiate, and became a deacon under Cardinal Borromeo. He studied theology in the monastery of San Gerolamo in Milan, and was named prior of the monastery of St. Peter in Lodi. In 1623 he was made prior of St. Benedict's monastery in Parma, but was still applying for positions in mathematics. He applied again to Bologna and then, in 1626, to Sapienza University, but was declined each time, despite taking six months' leave of absence to support his case to Sapienza in Rome.[1] In 1626 he began to suffer from gout, which would restrict his movements for the rest of his life.[4] He was also turned down from a position at the University of Parma, which he believed was due to his membership of the Jesuate order, as Parma was administered by the Jesuit order at the time. In 1629 he was appointed Chair of Mathematics at the University of Bologna, which is attributed to Galileo's support of him to the Bolognese senate.[1][5]

He published most of his work while at Bologna, though some of it had been written previously; his Geometria Indivisibilibus, where he outlined what would later become the method of indivisibles, was written in 1627 while in Parma and presented as part of his application to Bologna, but was not published until 1635. Contemporary critical reception was mixed, and Exercitationes geometricae sex (Six Exercises in Geometry) was published in 1647, partly as a response to criticism. Also at Bologna, he published tables of logarithms and information on their use, promoting their use in Italy.

Galileo exerted a strong influence on Cavalieri, and Cavalieri would write at least 112 letters to Galileo. Galileo said of him, "few, if any, since Archimedes, have delved as far and as deep into the science of geometry."[6] He corresponded widely; his known correspondents include Marin Mersenne, Evangelista Torricelli and Vincenzo Viviani.[4] Torricelli in particular was instrumental in refining and promoting the method of indivisibles.[1] He also benefited from the patronage of Cesare Marsili.[6]

Towards the end of his life, his health declined significantly. Arthritis prevented him from writing, and much of his correspondence was dictated and written by Stephano degli Angeli, a fellow Jesuate and student of Cavalieri. Angeli would go on to further develop Cavalieri's method.

In 1647 he died, probably of gout.[4]

Science, Mathematics Work

[edit]

From 1632 to 1646, Cavalieri published eleven books dealing with problems in astronomy, optics, motion and geometry.

Work in optics

[edit]

Cavalieri's first book, first published in 1632 and reprinted once in 1650, was Lo Specchio Ustorio, overo, Trattato delle settioni coniche, or The Burning Mirror, or a Treatise on Conic Sections.[7] The aim of Lo Specchio Ustorio was to address the question of how Archimedes could have used mirrors to burn the Roman fleet as they approached Syracuse, a question still in debate.[5][8] The book went beyond this purpose and also explored conic sections, reflections of light, and the properties of parabolas. In this book, he developed the theory of mirrors shaped into parabolas, hyperbolas, and ellipses, and various combinations of these mirrors. He demonstrated that if, as was later shown, light has a finite and determinate speed, there is minimal interference in the image at the focus of a parabolic, hyperbolic or elliptic mirror, though this was theoretical since the mirrors required could not be constructed using contemporary technology. This would produce better images than the telescopes that existed at the time.[5][9]

Two illustrations from Lo Speccio Ustorio, demonstrating two principles of reflection of light on the surface of a parabola.
Geometrical figures from Lo Speccio Ustorio, used in proofs of properties of parabolic reflecting surfaces.

He also demonstrated some properties of curves. The first is that, for a light ray parallel to the axis of a parabola and reflected so as to pass through the focus, the sum of the incident angle and its reflection is equal to that of any other similar ray. He then demonstrated similar results for hyperbolas and ellipses. The second result, useful in the design of reflecting telescopes, is that if a line is extended from a point outside of a parabola to the focus, then the reflection of this line on the outside surface of the parabola is parallel to the axis. Other results include the property that if a line passes through a hyperbola and its external focus, then its reflection on the interior of the hyperbola will pass through the internal focus; the reverse of the previous, that a ray directed through the parabola to the internal focus is reflected from the outer surface to the external focus; and the property that if a line passes through one internal focus of an ellipse, its reflection on the internal surface of the ellipse will pass through the other internal focus. While some of these properties had been noted previously, Cavalieri gave the first proof of many.[5]

Lo Specchio Ustorio also included a table of reflecting surfaces and modes of reflection for practical use.[5]

Cavalieri's work also contained theoretical designs for a new type of telescope using mirrors, a reflecting telescope, initially developed to answer the question of Archimedes' Mirror and then applied on a much smaller scale as telescopes.[5][10] He illustrated three different concepts for incorporating reflective mirrors within his telescope model. Plan one consisted of a large, concave mirror directed towards the sun as to reflect light into a second, smaller, convex mirror. Cavalieri's second concept consisted of a main, truncated, paraboloid mirror and a second, convex mirror. His third option illustrated a strong resemblance to his previous concept, replacing the convex secondary lens with a concave lens.[5]

Work in geometry and the method of indivisibles

[edit]
The frontispiece of the Geometria indivisibilibus.

Inspired by earlier work by Galileo, Cavalieri developed a new geometrical approach called the method of indivisibles to calculus and published a treatise on the topic, Geometria indivisibilibus continuorum nova quadam ratione promota, or Geometry, developed by a new method through the indivisibles of the continua. This was written in 1627, but was not published until 1635. In this work, Cavalieri considers an entity referred to in the text as 'all the lines' or 'all the planes' of a figure, an indefinite number of parallel lines or planes within the bounds of a figure that are comparable to the area and volume, respectively, of the figure. Later mathematicians, improving on his method, would treat 'all the lines' and 'all the planes' as equivalent or equal to the area and volume, but Cavalieri, in an attempt to avoid the question of the composition of the continuum, insisted that the two were comparable but not equal.[1]

These parallel elements are called indivisibles respectively of area and volume and provide the building blocks of Cavalieri's method, and are also fundamental features of integral calculus. He also used the method of indivisibles to calculate the result which is now written , in the process of calculating the area enclosed in an Archimedean Spiral, which he later generalised to other figures, showing, for instance, that the volume of a cone is one-third of the volume of its circumscribed cylinder.[11]

An immediate application of the method of indivisibles is Cavalieri's principle, which states that the volumes of two objects are equal if the areas of their corresponding cross-sections are in all cases equal. Two cross-sections correspond if they are intersections of the body with planes equidistant from a chosen base plane. (The same principle had been previously used by Zu Gengzhi (480–525) of China, in the specific case of calculating the volume of the sphere.[12])

The method of indivisibles as set out by Cavalieri was powerful but was limited in its usefulness in two respects. First, while Cavalieri's proofs were intuitive and later demonstrated to be correct, they were not rigorous; second, his writing was dense and opaque. While many contemporary mathematicians furthered the method of indivisibles, the Geometria indivisibilibus critical reception was severe. Andre Taquet and Paul Guldin both published responses to the Geometria indivisibilibus. Guldin's particularly in-depth critique suggested that Cavalieri's method was derived from the work of Johannes Kepler and Bartolomeo Sovero, attacked his method for a lack of rigorousness, and then argues that there can be no meaningful ratio between two infinities, and therefore it is meaningless to compare one to another.[4][1]

Cavalieri's Exercitationes geometricae sex or Six Geometric Exercises (1647) was written in direct response to Guldin's criticism. It was initially drafted as a dialogue in the manner of Galileo, but correspondents advised against the format as being unnecessarily inflammatory. The charges of plagiarism were without substance, but much of the Exercitationes dealt with the mathematical substance of Guldin's arguments. He argued, disingenuously, that his work regarded 'all the lines' as a separate entity from the area of a figure, and then argued that 'all the lines' and 'all the planes' dealt not with absolute but with relative infinity, and therefore could be compared. These arguments were not convincing to contemporaries.[1] The Exercitationes nonetheless represented a significant improvement to the method of indivisibles. By applying transformations to his variables, he generalised his previous integral result, showing that for n=3 to n=9, which is now known as Cavalieri's quadrature formula.[4][11]

Work in astronomy

[edit]

Towards the end of his life, Cavalieri published two books on astronomy. While they use the language of astrology, he states in the text that he did not believe in or practice astrology. Those books were the Nuova pratica astrologica (1639) and the Trattato della ruota planetaria perpetua (1646).

Other work

[edit]

He published tables of logarithms, emphasizing their practical use in the fields of astronomy and geography.[4][1][6]

Cavalieri also constructed a hydraulic pump for a monastery that he managed. The Duke of Mantua obtained one similar.[6]

Legacy

[edit]
Monument to Cavalieri by Giovanni Antonio Labus, Palazzo di Brera, Milan, 1844

According to Gilles-Gaston Granger, Cavalieri belongs with Newton, Leibniz, Pascal, Wallis and MacLaurin as one of those who in the 17th and 18th centuries "redefine[d] the mathematical object".[13]

The lunar crater Cavalerius is named after Cavalieri.

See also

[edit]

Notes

[edit]
  1. ^ a b c d e f g h i Amir Alexander (2014). Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World. Scientific American / Farrar, Straus and Giroux. ISBN 978-0374176815.
  2. ^ Morgan, Dare (1958). "An "a" for an "i"". The Mathematics Teacher. 51 (6): 473–474. ISSN 0025-5769.
  3. ^ Eves, Howard (1998). David A. Klarner (ed.). "Slicing it Thin". Mathematical Recreations: A Collection in Honour of Martin Gardner. Dover: 100. ISBN 0-486-40089-1.
  4. ^ a b c d e f J J O'Connor and E F Robertson, Bonaventura Francesco Cavalieri, MacTutor History of Mathematics, (University of St Andrews, Scotland, July 2014)
  5. ^ a b c d e f g Ariotti, Piero E. (September 1975). "Bonaventura Cavalieri, Marin Mersenne, and the Reflecting Telescope". Isis. 66 (3): 303–321. doi:10.1086/351471. ISSN 0021-1753. S2CID 123068036.
  6. ^ a b c d Cavalieri, Bonaventura, at The Galileo Project
  7. ^ Lo Specchio Ustorio, overo, Trattato delle settioni coniche
  8. ^ "2.009 Product Engineering Processes: Archimedes". web.mit.edu. Archived from the original on 2009-02-07. Retrieved 2020-04-06.
  9. ^ Stargazer, the Life and Times of the Telescope, by Fred Watson, p. 135
  10. ^ Eves, Howard (March 1991). "Two Surprising Theorems on Cavalieri Congruence". The College Mathematics Journal. 22 (2): 118–124. doi:10.2307/2686447. ISSN 0746-8342. JSTOR 2686447.
  11. ^ a b "Mathematics - The calculus". Encyclopedia Britannica. Retrieved 2020-04-06.
  12. ^ Needham, Joseph (1986). Science and Civilization in China: Volume 3; Mathematics and the Sciences of the Heavens and the Earth. Taipei: Caves Books, Ltd. Page 143.) and was first documented in his book 'Zhui Su'(《缀术》). This principle was also worked out by Shen Kuo in the 11th century.
  13. ^ (in French) Gilles-Gaston Granger, Formes, opérations, objets, Vrin, 1994, p. 365 Online quotation

References

[edit]

Further reading

[edit]
[edit]