293. Les recherches précédentes servent aussi à démontrer que tout nombre entier positif est toujours décomposable en trois nombres triangulaires ; théorème célèbre trouvé par Fermat, mais dont la démonstration manquait jusqu’à présent[1]. Il est évident que toute décomposition du nombre en trois nombres triangulaires
conduit à une décomposition du nombre en trois quarrés impairs
et réciproquement. Mais par la théorie précédente, tout nombre entier positif est décomposable en trois quarrés, qui seront nécessairement impairs (no 291, note), et le nombre des décompositions dépend, tant de celui des facteurs premiers de , que de celui des classes suivant lesquelles peuvent être distribuées les formes binaires dont le déterminant est Nous supposons que le nombre soit regardé comme triangulaire, quelque valeur entière que l’on donne à ; si l’on voulait exclure zéro des nombres triangulaires, il faudrait énoncer le théorème de la manière suivante : Tout nombre entier positif est triangulaire, ou decomposable en deux ou en trois nombres triangulaires. Il faut faire le même changement dans le théorème
suivant, si l’on veut exclure zéro du nombre des quarrés.
On démontre par les mêmes principes cet autre théorème de
Fermat : Tout nombre entier positif est décomposable en quatre quarrés. En effet, si l’on retranche d’un nombre de la forme un quarré pair ; d’un nombre de la forme un quarré arbitraire ; d’un nombre de la forme , un quarré impair ; les restes seront décomposables en trois quarrés. Quant aux nombres de la forme , on peut les représenter par , étant nécessairement de l’une des trois formes ci-dessus ; or quand on aura décomposé le nombre , en quatre quarrés, le nombre le sera aussi. D’un nombre de la forme , on pourrait encore re-
- ↑ Voyez les Additions de l’auteur, à la fin.