Geometria indivisibilibus continuorum nova quadam ratione promota.
Bologna: Clemente Ferroni, 1635. First edition, exceptionally rare, of this landmark work in the history of mathematics, containing the discovery of the ‘method of indivisibles’, the most important intermediate step between the Archimedean ‘method of exhaustion’ and the integral calculus of Newton and Leibniz. This method is embodied in ‘Cavalieri's principle’ for the determination of areas and volumes, stated in Book II, which considers an area as made up of an indefinite number of equidistant parallel line segments (‘omnes lineae,’ abbreviated to ‘omn.’), and a solid as made up of an indefinite number of parallel plane areas. It states that, if two planar figures are contained between a pair of parallel lines, and if the lengths of the two segments cut by them from any line parallel to the including lines are always in a given ratio, then the areas of the two planar pieces are also in this ratio (there is an analogous principle for the determination of volumes). Cavalieri’s principle provided a simple and effective alternative to the Archimedean method of exhaustion, and was used by Galileo, Cavalieri’s pupil Torricelli, Wallis, Pascal, and others. “Geometria was in its time considered so important that it was reprinted in 1653 in an edition which, unlike the first, is paginated continuously. The main reason why Geometria attracted attention was doubtless that most mathematicians of the 17th century were interested in its topic, quadratures and cubatures, and that the number of publications on this subject was small. The mathematicians who carefully studied Geometria were probably few, but nevertheless it remained a well known book” (Andersen, p. 294). “While working on quadratures and cubatures in the early 1670s G. W. Leibniz took over the mixture of names and concepts connected with quadratures and used the abbreviation omn. for omnes to signify a sum. His first introduction of the symbol ∫1 in October 1675 was only meant to be a further abbreviation of omn. 1, making it clear that omn. prefixed, for instance, to a line segment yields a two dimensional magnitude. However, by that step he was inspired to investigate the operational rules for ∫ and was led to the creation of the calculus” (ibid., p. 361). This first edition of the Geometria is a notorious rarity, RBH listing only the Macclesfield copy in the last 80 years. OCLC lists copies in the US at Michigan and Madison, Wisconsin, only. Riccardi is in error in calling for two tables; he based his collation on a copy at the University of Modena, which contains two tables inserted from another, unrelated, work. All other copies conform in collation to ours. Provenance: “Il Principe di Soragna” (bookplate). The Meli Lupi princes ruled the principality of Soragna until the abolition of feudalism decreed by the emperor Napoleon Bonaparte in 1805. They lived in the Meli Lupi castle, a fortress built in 1385 which was converted into a baroque noble residence in the 16th and 17th centuries. “It was in the early 1620s that Cavalieri got the idea of using indivisibles in comparisons of two areas and two volumes. In letters to Galileo, he described how he worked on this idea and how his thoughts gradually took form and resulted in a finished version of Geometria consisting of six books. In November 1627 Cavalieri sent this version to Giovanni Ciampoli, to whom he also later dedicated Geometria … Thus, in 1627 Cavalieri had a manuscript almost ready for the press, and yet it took another eight years before Geometria appeared. This long period cannot be explained by the changes Cavalieri made, so there must be other reasons for the delay. Cavalieri himself maintained that the delay was caused by his teaching duties as a professor, by his desire to publish textbooks, and by failing health. Still, there may have been another reason also, namely that Cavalieri was waiting for Galileo’s approval of his method. In 1634 when the printing of the planned Geometria was almost finished a further delay was introduced, because Cavalieri decided to add a seventh book” (ibid., p. 296). “For Cavalieri a surface consists of an indefinite number of equidistant parallel straight lines and a solid of a set of equidistant parallel planes. These constitute the line and surface indivisibles respectively. For plane figures (or solids) a regula, that is, a line (or plane) drawn through the vertex, is the starting point. The regula moves parallel to itself until it comes into coincidence with a second line (or plane) termed the base or tangens opposita. The intercepts (lines or plane sections) of the regula with the original plane (or solid) figure are the elements or indivisibles making up the totality of lines (or planes) of the figure. “In the techniques developed by Cavalieri the indivisibles of two or more configurations are associated together in the form of ratios and from these ratios the relations between the areas (or volumes) of the figures themselves are derived. In moving from a relation between the sums of the indivisibles and thus to a relation between the spaces the infinite is employed, but purely in an auxiliary role. “Cavalieri’s defence of indivisible methods was based primarily on the idea of a device or artificium which works rather than on any definite or dogmatic views as to the nature of indivisibles and the spaces which they occupy. Nevertheless the classic problem of the nature of the continuum imposed itself upon him and, from the outset, he felt himself obliged to try to meet some of the arguments which he felt might be directed against his methods. He admits that some might well doubt the possibility of comparing an indefinite number of lines, or planes (indefinitae numero lineae, vel plana). When such lines (or planes) are compared, he says, it is not the numbers of such lines which are considered but the spaces which they occupy. Since each space is enclosed it is bounded and one can add to it or take away from it without knowing the actual number of lines or planes. Whether indeed the continuum consists of indivisibles or of something else neither the space nor the continuum is directly measurable. The totalities, or sums, of the indivisibles making up such spaces are, however, always comparable. To establish a relation between the areas of plane figures, or the volumes of solid bodies, it is therefore sufficient to compare the sums of the lines, or planes, developed by any regula. “The foundations for Cavalieri's indivisible techniques rest upon two distinct and complementary approaches which he designates by the terms collective and distributive respectively. In the first, the collective sums, Σ l1 and Σ l2, of the line (or surface) indivisibles for two figures P1 and P2 are obtained separately and then used to establish the ratio of the areas (or volumes) of the figures themselves. If, for example, Σ l1 / Σ l2 = α/β, then P1/P2 = α/β. This approach was given the most extensive application by Cavalieri and he exploited it with skill and ingenuity to obtain a fascinating collection of new results which he exhibited in the Exercitationes [Geometriae Sex, 1647]. The distributive theory, on the other hand, was developed primarily in order to meet the philosophic objections which Cavalieri felt might be raised against the comparison of indefinite numbers of lines and planes. Fundamental here is Cavalieri's Theorem: the spaces (areas or volumes) of two enclosed figures (plane or solid) are equal provided that any system of parallel lines (or planes) cuts off equal intercepts on each. In brief, if for every pair of corresponding intercepts l1 and l2, l1 = l2, then P1 = P2. An immediate extension follows: if l1/ l2 = α/β, then P1/P2 = α/β. Cavalieri himself only made use of this method in a limited number of cases where α/β is constant for all such pairs of intercepts. This technique, however, in the hands of Gregoire de Saint-Vincent and others in the seventeenth century, became a valuable means of integration by geometric transformation. Ultimately, whichever of the two methods was applied, Cavalieri was prepared to concede that absolute rigour required in each case an Archimedean proof with completion by reductio ad absurdum” (Baron, The Origins of the Infinitesimal Calculus, 1969, pp. 124-6). “The concept of indivisibles does sometimes show up fleetingly in the history of human thought: for example, in a passage by the eleventh-century Hebrew philosopher and mathematician Abraham bar Hiyya (Savasorda); in occasional speculations — more philosophical than mathematical — by the medieval Scholastics; in a passage by Leonardo da Vinci; in Kepler’s Nova stereometria doliorum ... [and in] Galileo ... “In Cavalieri we come to a rational systematization of the method of indivisibles, a method that not only is deemed useful in the search for new results but also, contrary to what Archimedes assumed, is regarded as valid, when appropriately modified, for purposes of demonstrating theorems. “At this point a primary question arises: What significance did Cavalieri attribute to his indivisibles? This mathematician, while perfectly familiar with the subtle philosophical questions connected with the problem of the possibility of constituting continuous magnitudes by indivisibles, seeks to establish a method independent of the subject's hypotheses, which would be valid whatever the concept formed in this regard ... It must be further pointed out, according to L. Lombardo Radice, that the Cavalieri view of the indivisibles has given us a deeper conception of the sets: it is not necessary that the elements of the set be assigned or assignable; rather it suffices that a precise criterion exists for determining whether or not an element belongs to the set” (DSB). “Geometria consists of seven books. In the first, Cavalieri clarifies some of his assumptions concerning plane and solid figures. In Book II he introduces the method of indivisibles, or rather his first method, and proves some general theorems concerning collections of indivisibles. These theorems he applies in Books III, IV and V where he deals with quadratures and cubatures related to conic sections. The sixth book is mainly devoted to the quadrature of the spiral, but contains also some results concerning cylinders, spheres, paraboloids and spheroids. In the last book Cavalieri presents a new approach to the method of indivisibles” (Andersen, p. 295). The Geometria was extensively read and its contents hotly debated. The most serious attack came from Paul Guldin in his Centrobaryca (1635-41). He accused Cavalieri of plagiarising Kepler’s Nova Stereometria Doliorum (1615) and Sover’s Curvi ac Recti Proportio (1630). More seriously, Guldin “criticized Cavalieri’s use of indivisibles in his Geometria indivisibilibus (1635), asserting not only that the method had been taken from Kepler but also that since the number of indivisibles was infinite, they could not be compared with one another. Furthermore, he pointed out a number of fallacies to which the method of indivisibles appeared to lead. In 1647, after the death of Guldin, Cavalieri published Exercitationes geometricae sex, in which he defended himself against the first charge by pointing out that his method differed from that of Kepler in that it made use only of indivisibles, and against the second by observing that the two infinities of elements to be compared are of the same kind” (DSB). Cavalieri (1598-1647) was a Jesuat and professor of mathematics at Bologna. He considered himself a disciple of Galileo, whom he had met through his teacher Benedetto Castelli. It was Galileo who urged Cavalieri to look into problems of the calculus, and who praised him by stating that ‘few, if any, since Archimedes, have delved as far and as deep into the science of geometry’. Galileo included Cavalieri’s theory in a discussion of the theory of matter in the First Day and in the discussion of accelerated motion in the Third Day of his Discorsi e dimostrazioni matematiche (1638). Although both are Roman Catholic Orders, the Jesuates and the Jesuits had very different philosophies. For the Jesuits, the ideal was a rigorous and hierarchical mathematical logic, which demonstrated how abstract principles, through systematic deduction, constructed a fixed and rational world whose truths were universal and unchallengeable. The ill-defined and paradoxical notion of indivisibles did not fit this ideal, and indivisibles were relentlessly attacked by the Jesuits, notably by the Swiss Jesuit Paul Guldin. Cavalieri answered Guldin’s criticisms in his final work, Exercitationes geometricae sex (1647), but the effect of the Jesuits’ attacks was to retard the development of mathematics in Italy, so that from the mid-17th century the most important innovators were British and French rather than Italian. Macclesfield 503; Parkinson p. 77; Riccardi I, 325. Andersen, ‘Cavalieri’s method of indivisibles,’ Archive for History of Exact Science 31, pp. 291-367. Kline, Mathematical Thought from Ancient to Modern Times, pp. 349-350; Rouse Ball, A Short Account of the History of Mathematics, pp. 279-282; Struik, ASource Book in Mathematics, pp. 209-219. For a detailed account of the Jesuits’ war on indivisibles, see Amir Alexander, Infinitesimal: How a dangerous idea shaped the modern world, 2014.
4to (228 x 160 mm), pp. [xvi], 128; 123, [1]; 111, [1]; 99, [1]; 80; 71 [1]; 80, with printer’s device on title and numerous woodcut illustrations in text (occasional mostly light browning and foxing,) Contemporary limp vellum. A very fine copy with no restoration.
Item #6538
Price: $195,000.00
