Saccheri, (Giovanni) Girolamo
Saccheri, (Giovanni) Girolamo
SACCHERI, (GIOVANNI) GIROLAMO
(b. San Remo, Italy, 5 September 1667; d. Milan, Italy, 25 October 1733)
Saccheri is sometimes confused with his Dominican namesake (1821–1894), a librarian at the Bibliotheca Casanatense of Rome. In 1685 Saccheri entered the Jesuit novitiate in Genoa and after two years taught at the Jesuit college in that city until 1690. Sent to Milan, he studied philosophy and theology at the Jesuit College of the Brera, and in March 1694 he was ordained a priest at Como. In the same year he was sent to teach philosophy first at Turin and, in 1697, at the Jesuit College of Pavia. In 1699 he began teaching philosophy at the university, where until his death he occupied the chair of mathematics.
One of Saccheri’s teachers at the Brera was Tommaso Ceva, best known as a poet but also well versed in mathematics and mechanics. Through him Saccheri met his brother Giovanni, a mathematician living at the Gonzaga court in Mantua. This Ceva is known for his theorem in the geometry of triangles (1678). Under Ceva’s influence Saccheri published his first book. Quaesita geometrica (1693), in which he solved a number of problems in elementary and coordinate geometry. Ceva sent this book to Vincenzo Viviani. one of the last surviving pupils of Galileo, who in 1692 (Acta eruditorum, 274–275) had challenged the learned world with the problem in analysis known as the window of Viviani. Although it had been solved by Leibniz and others, Viviani published his own solution and sent it to Saccheri in exchange for the Quaesita. Two letters from Saccheri to Viviani (1694) are preserved, one containing Saccheri’s own solution (without proof).
While in Turin, Saccheri wrote Logica demonstrativa (1697), important because it treats questions relating to the compatibility of definitions. During his years at Pavia he wrote the Neo-statica (1708), inspired by and partly a polemic against T. Ceva’s De natura gravium (Milan, 1669). This book seems of little importance now, being well within the bounds of Peripatetic statics. Euclides ab omni naevo vindicatus (1733), also written at Pavia, contains the classic text that made Saccheri a precursor of the discoverers of non-Euclidean geometry.
Saccheri’s two most important books, the Logica and the Euclides, were virtually forgotten until they were rescued from oblivion—the Euclides by E. Beltrami in 1889 and the Logica by G. Vailati in 1903. They show that Euclid’s fifth postulate (equivalent to the parallel axiom) intrigued Saccheri throughout his life. In the Logica it led him to investigate the nature of definitions and in the Euclides to an attempt to apply his logic to prove the correctness of the fifth postulate. Although the fallacy in this attempt is now apparent, much of Saccheri’s logical and mathematical reasoning has become part of mathematical logic and non-Euclidean geometry.
The Logica demonstrativa is divided into four parts corresponding to Aristotle’s Analytica priora. Analytica posteriora, Topica, and De sophisticis Elenchis. It is an attempt, probably the first in print, to explain the principles of logic more geometrico. Stress is placed on the distinction between definitiones quid nominis (nominal definitions), which simply define a concept, and definitiones quid res (real definitions), which are nominal definitions to which a postulate of existence is attached. But when we are concerned with existence is attached, the question arises whether one part of the definition is compatible with another part. This may be the case in what Saccheri called complex definities. In these discussions he was deeply influenced by Euclid’s Elements, notably by the definition of parallelism of two lines. He warned against the definition, given by G. A. Borelli (Euclides resitutus [Pisa, 1658]), of parallels as equidistant straight lines. Thus Saccheri was one of the first to draw explicit attention to the question of consistency and compatibility of axioms.
To test whether a valid proposition is included in a definition, Saccheri proposed reasoning seemingly analogous to the classical reductio ad absurdum. using for his example Elements IX, 12; if 1, a1, a2,. . . ax form a geometric progression and an has a prime factor p, then a1 also contains this factor. There was a difference in Saccheri’s proposal, however: his demonstration resulted from the fact that, reasoning from the negation, we obtain exactly the proposition to be proved, so that this proposition (an example of his reasoning is seen below). As Vailati observed, Saccheri’s reasoning had much in common with that of Leibniz (see L. Couturat, Opuscules et fragments inédits de Liebniz [Paris, 1903b]); but whereas Leibniz’s primary inspiration came from algebra and the calculus, Saccheri’s came from geometry.
In the Euclides Saccheri applied his logical principle to three “blemishes” in the Elements. By far of reductio ad absurdum to Euclid’s parallel axom. He took as true Euclid’s first twenty-six propositions and then assumed that the fifth postulate was false. Among the consequences of this hypothesis he sought a proposition to test the postulate itself. He found it in what is now called the quadrilateral
of Saccheri, an isosceles birectangular quadrilateral consisting of side AB and two sides of equal length. AD and BC at right angles to AB. Then without the fifth postulate it cannot be proved that the angles at C and D are right. One can prove that they are equal, since if a line MP is drawn through the midpoint M of AB perpendicular to AB, it intersects DC at its midpoint P. Thus there are three possibilities, giving rise to three hypotheses:
1. that of the right angle: ∟C = ∟D = 1 right angle:
2. that of the obtuse angle: ∟C = ∟D >1 right angle:
3. that of the acute angle: ∟C = ∟D < 1 right angle.
Saccheri proceeded to prove that when each of these hypotheses is true in only one case, it is true in only case, it is true in every other case. Thus in the first case the sum of the angles of a triangle is equal to, in the second it is greater than, and in the third case it is less than, two right angles.
For the proofs Saccheri needed the axiom of Archimedes and the principle of continuity. Then came the crucial point: he proved that for both the hypothesis of the right angle and that for both the hypothesis of the right angle and that of the obtuse angle the fifth postulate holds. But the fifth postulate implies the hypothesis of the right angle; hence the hypothesis of the obtuse angle is false. (This argument is not now cogent because in the case of the obtuse angle the existence of the finite length of lines is accepted). He could not dispose of the hypothesis of the acute angle in this way, but he was able to show that it leads to the existence of asymptotic straight lines, which, he concluded, was repugnant to the nature of the straight line. Saccheri thus thought that he had established the truth of the hypothesis of the right angle and, hence. of the fifth postulate anf of Euclidean geometry as a whole.
Several other theorems resulted from Saccheri’s three hypotheses, some of which are now established as part of non-Euclidean geometry. The three types of quadrangles had already been studied by al-Khayyāmī and Nasīr-al-Dī al-Tūsī; the latter was cited by John Wallis (1693) in a book known to Saccheri.
Saccheri’s Euclides, although it had little direct influence on the subsequent discovery of non-Euclidean geometry, was not so forgotten as is sometimes believed. (See Segre, below)
Original Works. Saccheri’s writings include Quaesita geometrica a comite Rugerio De Vigintimilliis. . . (Milan, 1693), included in Sphinx geometra, seu quesita geometrica proposita et solida. . . (Parma, 1694); Logica demonstrativa quam una cum thesibus ex tota philosophiae decerptis defendendam proposuit J. F. Caselette Graceriarum Comes (Turin, 1697), 2nd ed. entitled Logica demonstrativa auctore Hieronym, Saccherio Societatis Jesu. . . (Pavia, 1701), 3rd ed. entitled Logica demonstrativa theologicis, philosophicis et mathematicis disciplinis accomodata. . . (Cologne, 1735); Neo-statica. . . (Milan, 1708); and Euclides ab omni naevo vindicatus: Sive conatus geometricus quo stabiliuntur prima ipsa universae geometriae principia. . . (Milan, 1733), Theological works are listed in P. C. Sommervogel, Bibliothéque des écrivains de la Compagnie de Jésus, VII (Brussels—Paris, 1897), 360.
Letters by Saccheri to Viviani, Ceva, and Grandi are in A. Favoro, “Due lettere inedite del P. Girolamo Saccheri d. C. d. G. a Vincezo Viviani,” in Rivistqa di fisica, matematica e scienze natuurali, 4 (1903), 424–434; A. Pascal, “Sopra una lettera inedita di G. Saccheri,” in Atti del R. Istituto Veneto di science, lettere ed arti74 (1914–1915), 813–820; and A. Agostini, “Due lettere inedite di G. Saccheri,” in Memorie della R. Academia d’Italia, Cl. di Science Matematiche e Naturale, 2 no. 7 (1931), 31–48.
II. Secondary Literature. The full text of the Logica demonstrativa, with English trans., is in A. F. Emch, “The Logica demonstrativa of Girolamo Saccheri” (Ph.D. diss., Harvard, 1933), with a life of Saccheriby F. Gambarana from a MS at the Biblioteca Estense in Modena. The Logica is discussed by Emch in articles of hte same title as his dissertation in Scripta mathematica, 3 (1935–1936), 51–602, 143–152, 221–233. On the Logica. see also G. Vailati, “Di unuo; operadimenticata del P. Gerolamo Saccheri”, in Rivista filo sofica, 4 (1903), 528–540; with other papers on the book, it is also in Scritti di G. Vailati (1863–1909)(Leipzig-Florence, 1911). 477–484, see also 449–453. Also of value is F. Enriques. Per la storia della logica (Bologna, 1922), 94–99, also available in French, German, and English.
The Euclides ab omni naevo vindicatus has been partially translated (only bk. I with the discussion of the parallel axiom) by P. Stäckel and F. Engel in Die Theorie der Parallellinien von Euclid bis auf Gauss (Leipzig, 1895), 31–136. and into English by G. B. Halsted in Girolamo Saccheri’s Euclides vindicatus (Chicago—London, 1920). See also ten articles by Halsted on non-Euclidean geometry in American Mathematical Monthly, 1 (1894), see index, p. 447. There is an unsatisfactory Italian trans. by G. Boccardini, L’Euclide emedato (listed chronologically) includes E. Beltrami, “Un precusore italiano di Legendre e di Lobatschewsky.” in Atti della Reale Accademia Lincei, Rendiconti, 4th ser., 5 , no. 1 (1889), 441–448, also in Beltrami’s Opere, IV (Milan, 1920), 348–355; P. Mansion, “Analyse des recherches du P. Saccheri S.J. sur le postulatum d’Euclide,” in Annales de la Société scientifique de Bruxelles, 14 (1889–1890), Pt. 2, 46–59, also in Mathesis, 2nd ser., 1 (1891), supp. 15–29; C. Segre, “Congettare informo all’influenza di Girolamo Saccheri sulla formazione della geometrica non-euclidea,” in Atti dell’Accademia delle scienze (Turin), 38 (1902–1903), 535–547; A. Pascal, “Girolamo Saccheri nella vitae nelle opere,” in Giornale di matematica di Battaglini, 52 (1914), 229–251; and H. Bosmans, “Le géomètre Jérome Saccheri S. J.,” in Revue des questions scientifiques, 4th ser., 7 (1925), 401–430.
Saccheri’s contribution to non-Euclidean geometry is discussed in R. Bonola, La geometria non-euclidea (Bologna, 1906), also in English (Chicago, 1911; repr. 1955) and in German (Berlin, 1908). See also article on Saccheri by E. Carruccio, Enciclopedia italiana di scienze, lettere ed arte, 30 (Rome, 1936), 389–390.
D. J. Struik