« La descente infinie est un procédé démonstratif dont le nom, sinon l'emploi, est dû à Pierre de Fermat. »Catherine Goldstein, « Descente infinie et analyse diophantienne : programmes de travail et mises en œuvre chez Fermat, Levi, Mordell et Weil », Cahiers du séminaire d'histoire des mathématiques, 2e série, vol. 3, , p. 25-49 (lire en ligne).
univ-lyon1.fr
math.univ-lyon1.fr
Pour le détail de la démonstration voir ce devoir de préparation au CAPES.