Université Paris Cité

Master HPS M1
2022/2023 Sara Confalonieri

INTRODUCTION À L’HISTOIRE DES MATHÉMATIQUES

SÉANCE 8
AUX ORIGINES DU CALCUL DIFFÉRENTIEL ET INTÉGRAL: LA
MÉTHODE DES INDIVISIBLES DE CAVALIERI

Structure

1. Introduction/1 : indivisibles et méthode d’exhaustion

2. Introduction/2 : pourquoi les méthodes infinitesimales se développent au XVIIe

siècle ?
2.1. Innovations à la méthode d’exahustion : Kepler

3. La méthode des indivisibles de Cavalieri

3.1. Sources
3.2. La collection de «toutes les lignes» et autres omnes-concepts
3.3. La méthode collective des indivisibles ( Geometria II)
3.4. Le rapport entre deux solides mutuellement semblables dépend uniquement de leurs figures
génératrices

Citations

La collection de «toutes les lignes» d’après Cavalieri (Geometria I.Df.A.I et Exerci-

tatio I.Df.1)

Traduction anglaise dans (Andersen, 1985, p.300-301) ; voir aussi (Giusti, 1980, p.26).
2 INTRODUCTION À L’HISTOIRE DES MATHÉMATIQUES

Toutes les lignes et la notion de grandeur

I have used an artifice [artificio] similar to that often used by algebraists for
solving problems. For however ineffable, absurd and unknown the roots of numbers
be, they none the less add, subtract, multiply and divide them ; and they are
convinced of having sufficiently met their obligations when they have succeeded in
finding out from the given problem the result which was required. Not differently,
therefore, it is legitimate for me to make use – in order to investigate measure of
continua – of the congeries of indivisibles, either of lines or planes, [. . . ] for if are
nameless, absurd and unknown with respect to their number, their magnitude is
enclosed in well-defined limits.

Traduction anglaise dans (Jullien, 2015, p.38) de (Cavalieri, 1653, Préface, p.2).

Toutes les lignes recti transitus et obliqui transitus

Dans (Cavalieri, 1647, p.15).

 INTRODUCTION À L’HISTOIRE DES MATHÉMATIQUES 3

Autres omnes-concepts : deux exemples

«Tous les plans» d’une figure solide (Andersen, 1985, p.311).

«Toutes les figures planes semblables» (ici des carrés) d’une figure plane (Andersen, 1985, p.311).

La méthode collective des indivisibles de Cavalieri : quelques propositions

On note en général OF (l)direction toutes les lignes d’une figure F selon une certaine direction
ou regula. Dans la suite on considère que, dans le cas de plusieurs collections de toutes les lignes
sans direction explicitement spécifiée, elles sont prises selon la même direction.
De plus, on note OF (⇤ l) «tous les carrés» d’une figure F , c’est-à-dire, les carrés construits
sur chaque ligne de OF (l).
4 INTRODUCTION À L’HISTOIRE DES MATHÉMATIQUES

Présupposés :
• propriétés standards (euclidiennes) des grandeurs (ordre, somme et soustraction, faire le
rapport) ;
• propriété additive :

= F 1 + F2
F ≥ =∆ OF (l) = OF1 (l) + OF2 (l);

• Geometria, Postulat II.1 :

= F2
F1 ≥ =∆ OF1 (l) = OF2 (l).

Théorèmes (numérotation de la Geometria) :

G II.2: F1 = F2 =∆ OF1 (l) = OF2 (l) (dans la figure : F1 = ABE, F2 = ACD)

G II.3: F1 : F2 = OF1 (l) : OF2 (l) ;

G II.4 Corollaire (principe ut unum): soit, de plus, k un nombre, alors

’l1 œ OF1 (l), l2 œ OF2 (l) tels que l1 : l2 = k =∆ OF1 (l) : OF2 (l) = k;

G II.4 (principe de Cavalieri): soient deux figures F1 = ACM, F2 = M CE ayant la même

hauteur, alors

’l1 œ OF1 (l), l2 œ OF2 (l) tels que l1 : l2 = base1 : base2 =∆ F1 : F2 = base1 : base2

G II.33: le rapport entre deux solides mutuellement semblables S1 , S2 est indépendant de la

figure G (qui détermine la section horizontale) et dépend uniquement des deux figures
génératrices F1 , F2 . En particulier, cela signifie que

S1 : S2 = OF1 (⇤ l) : OF2 (⇤ l).

 Références 5

La méthode distributive des indivisibles

Dans (Cavalieri, 1647, p.4).

Preuve du principe de Cavalieri d’après la méthode distributive

Dans (Andersen, 1985, p.350).

Références
Andersen, K. (1985). Cavalieri’s method of indivisibles. Archive for history of exact sciences, 31 ,
291-367.
Andersen, K., & Bos, H. J. (2006). Pure mathematics. In K. Park & L. Dastron (Eds.), The
Cambridge history of science (Vol. 3, p. 696-726). Cambridge : Cambridge University Press.
Baron, M. E. (1969). The origins of infinitesimal calculus. New York : Dover.
Boyer, C. B. (1956). History of analytic geometry. New York : Scripta Mathematica.
Carroll, M. T., Dougherty, S. T., & Perkins, D. (2013). Indivisibles, infinitesimals, and a tale of
seventeenth-century mathematics. Mathematics Magazine, 84 (4), 239-254.
Cavalieri, B. (1647). Exercitationes geometrica sex. Bononia : chez Iacobi Montij.
Cavalieri, B. (1653). Geometria indivisibilibus continuorum. Bononia : chez de Ducijs. (première
édition en 1635)
Cortese, J. a., & Rabouin, D. (2019). Sur les indivisibles chez Pascal. In A. Cousson (Ed.), IPas-
sions géométriques. Mélanges en l’honneur de D. Descotes (p. 425-440). Paris : Champion.
6 Références

Edwards, C. H. J. (1979). The historical development of calculus. New York : Springer.

Giusti, E. (1980). Bonaventura Cavalieri and the theory of indivisibles. Bologna : Edizioni
Cremonese.
Giusti, E. (2007). Piccola storia del calcolo infinitesimale dall’antichità al Novecento. Istituti
editoriali e poligrafici.
Goldenbaum, U., & Jesseph, D. (Eds.). (2008). Infinitesimal differencies : controversies between
Leibniz and his contemporaries. Berlin/New York : De Gruyter.
Grattan-Guinness, I. (Ed.). (1980). From the calculus to set theory : 1630-1910. London :
Duckworth.
Itard, J. (Ed.). (1984). Essais d’histoire des mathématiques. Paris : Blanchard.
Jesseph, D. M. (2008). Infinity, infinitesimals and the reform of Cavalieri : John Wallis and his
critics. In D. M. Jesseph & U. Goldenbaum (Eds.), Infinitesimal differences : controversies
between Leibniz and his contemporaries (p. 31-52). Berlin : de Gruyter.
Jesseph, D. M. (2015). Leibniz on the elimination of infinitesimals : strategies for finding truth
in fiction. In D. Rabouin, p. Beeley, & N. Goethe (Eds.), G. W. Leibniz : interrelations
between mathematics and philosophys (p. 189-206). Berlin : Springer.
Jesseph, D. M. (2021). The indivisibles of the continuum : seventeenth-century adventures
in infinitesimal mathematics. In S. Shapiro & G. Hellmann (Eds.), History of continua
(p. 104-122). Oxford : Oxford University Press.
Jullien, V. (Ed.). (2015). Seventeenth-century indivisibles revisited. Birkhäuser.
Malet, A. (Ed.). (1996). From indivisibles to infinitesimals. Studies on seventeenth-century
mathematizations of infinitely small quantities. Barcelona : Bellaterra.
Malet, A. (1997). Barrow, Wallis, and the remaking of seventeenth century indivisibles. Centaurus,
39 , 67-92.
Palmieri, P. (2009). Superposition : on Cavalieri’s practice of mathematics. Archive for history
of exact sciences, 63 , 461-476.
Perkins, D. (2012). Calculus and its origins. MAA.
Rossini, P. (2018). Giordano Bruno and Bonaventura Cavalieri’s theories of indivisibles : a case
of shared knowledge. Intellectual History Review, 28 (4), 461-476.
Sonar, T. (2016). 3000 years analysis. Mathematics in history and culture. Birkhäuser.