Bologna: Heirs of Evangelista Dozza, 1653.
Second edition (first, 1635) of Cavalieri’s text containing the discovery of the ‘method of indivisibles’, one of the most important forerunners of the integral calculus. Book II of the work includes the statement of ‘Cavalieri's principle’ for the determination of areas and volumes, which considers an area as made up of an indefinite number of equidistant parallel line segments (‘omnes lineae’), 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 Kepler, Galileo, Cavalieri’s pupil Torricelli, Wallis, Pascal, and others. The first edition of the Geometria is a notorious rarity, ABPC/RBH listing only the Macclesfield copy in the last 80 years. This second edition is not as rare, but is still very difficult to find in such fine condition as in our copy.
“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).
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).
Macclesfield 503; Parkinson p. 77 (both for the first edition). 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, A Source Book in Mathematics, pp. 209-219.
4to (253 x 180, uncut), pp [xvi], 543, [1:blank], with printer’s device on title and numerous woodcut illustrations in text. Completely untouched in the the publisher's original boards, ms title to spine, lower capital with s mall piece missing. A very fine and fresh copy.