Résumé
RÉSUMÉ. — Comment caractériser les méthodes de démonstration mathématique utilisées dans les
Principia de Newton ? Ni géométrie à l'antique ni véritable a calcul différentiel », le raisonnement
s'appuie sur les figures, mais en supposant qu'elles bougent et se déforment. Les situations
infinitésimales sont traitées comme stade ultime de configurations finies, grâce à certains procédés de
représentation (témoins finis de l'infinitésimal). Le temps intervient sous deux modes différents dans
ces procédés. Les exemples sont pris dans les lemmes de la section I (proportions ultimes) et dans la
démonstration de la proposition 48-49 du livre I (rectification de Pépicycloïde).
Abstract
Summary. — How are the mathematical demonstrations in Newton's Principia to be characterised ?
They are neither geometry in the style of antiquity, nor are they « differential calculus » in a literal
sense. The demonstrations, like those of antiquity, depend on diagrams for support. Unlike the
diagrams of antiquity, however, Newton's are assumed to move and to change their shapes. With the
aid of certain representational processes, infinitesimally small configurations appear as final states of
finite configurations (evidence for infinitesimals from the finite domain). Time enters into these
processes in two different ways. Illustrative examples are taken from the lemmas in section I (ultimate
ratios) and from the demonstration of proposition 48-49 of book I (the rectification of the epicycloid).