Abstract

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 «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 l’épicycloïde).