Voir la source de Disquisitiones arithmeticae

{{Titre en italique}}
[[Fichier:Disqvisitiones-800.jpg|thumb|Couverture de la première édition.]]
'''''Disquisitiones arithmeticae''''' ('''Recherches arithmétiques''' dans la traduction française) est un livre de [[théorie des nombres]] écrit par le mathématicien allemand [[Carl Friedrich Gauss]]. Sa première publication date de 1801. Dans ce livre, Gauss réorganise le domaine en incluant des résultats obtenus par certains de ses prédécesseurs, comme  [[Pierre de Fermat|Fermat]], [[Leonhard Euler|Euler]], [[Joseph-Louis Lagrange|Lagrange]] ou [[Adrien-Marie Legendre|Legendre]], mais ajoute surtout des contributions importantes, qu'il s'agisse de notions (comme celle de [[Congruence sur les entiers|congruence]]), de  théorèmes (comme les critères de construction à la règle et au compas d'un polygone régulier dans un cercle) ou de démonstrations (comme les premières preuves de la [[loi de réciprocité quadratique]]). Lu et retravaillé par de nombreux mathématiciens au cours des deux derniers siècles, le livre a instauré des normes de rigueur nouvelles et a eu un effet décisif sur des sujets aussi variés que la théorie de [[Galois]], les tests de primalité ou la théorie des [[idéal|idéaux]]<ref>{{Ouvrage|id=Goldstein, Schappacher et Schwermer|lang=en|nom1=[[Catherine Goldstein]]|nom2=[[Norbert Schappacher]]|nom3={{Lien|lang=de|Joachim Schwermer}} |responsabilité3=éds.|titre=The Shaping of Arithmetic after C. F. Gauss's Disquisitiones arithmeticae|référence=Référence:Disquisitiones (Goldstein Schappacher Schwermer)}}, {{4e}} de couverture</ref>. Il a été traduit en plusieurs langues<ref>Olaf Neumann, dans {{Grattan-Guinness 2005}}, {{p.|303}} et  {{harvsp|Goldstein, Schappacher et Schwermer|p=xi}}</ref> et reste une source de réflexion vivante, comme en témoignent les travaux récents de [[Manjul Bhargava]] en 2004<ref>Karim Belabas « Paramétrisation de structures algébriques et densité de discriminants (d'après Bhargava)», dans ''[[Séminaire Bourbaki]] 2003-2004'', exposé 935, {{p.|267-299}}, Paris, [[Société mathématique de France|SMF]].</ref>.

== Sujet ==

Dans la préface aux ''Disquisitiones'', Gauss présente ainsi l'ambition de son livre :

:''Les Recherches contenues dans cet ouvrage appartiennent à cette branche des mathématiques où on considère particulièrement les nombres entiers, quelquefois les fractions, mais où on exclut toujours les nombres irrationnels<ref>La première phrase est : « Disquisitiones in hoc opere contentae ad eam Matheseos partem pertinent quae circa numeros integros versatur, fractis plerumque, surdis semper exclusis. »</ref>.''

Les ''Disquisitiones'' traitent  de l'[[arithmétique|arithmétique élémentaire]] sur les entiers, de l'[[arithmétique modulaire]], c'est-à-dire des propriétés des entiers considérés à un multiple près d'un entier fixé, de la représentation des entiers comme valeurs de formes quadratiques, par exemple comme sommes de deux carrés. La dernière section sort néanmoins du cadre indiqué, puisqu'elle est consacrée à l'étude de l'équation <math>x^n-1=0</math> et fait appel à des fonctions transcendantes comme les fonctions cosinus ou sinus. Comme le justifie l'auteur
:''l'exposition fera voir bien clairement quelle est la liaison de ce sujet et de l'Arithmétique transcendante''<ref>''Recherches arithmétiques'', section 7, article 335.</ref>

== Contenu ==

Le livre est divisé en sept sections et 366 articles :

:Section 1. Sur les nombres congrus en général.
:Section 2. Sur les congruences du premier degré.
:Section 3. Sur les résidus des puissances.
:Section 4. Sur les congruences du second degré.
:Section 5. Sur les formes et les équations indéterminées du second degré.
:Section 6. Applications diverses des recherches précédentes.
:Section 7. Sur les équations définissant des sections de cercles.

Une huitième section devait être publiée dans un deuxième volume qui ne vit jamais le jour ; trouvée dans les manuscrits de Gauss, elle fut éditée après sa mort dans ses œuvres complètes.

:Section 8. (posthume) Vers une théorie des corps finis.

Dans la description suivante, nous donnerons les divers énoncés dans la formulation de Gauss, ainsi que dans une formulation actuelle. Quand Gauss emploie une dénomination particulière, cela sera souligné.

=== Section 1 : Des nombres congrus en général ===

Cette section très courte introduit une nouvelle notion et une nouvelle notation  dont l'impact sur le développement de la théorie  des nombres (en particulier l'[[arithmétique modulaire]]) a été important : celles de congruence. Le livre s'ouvre sur sa définition :
: Si un nombre <math>a</math> divise la différence des nombres  <math>b</math> et <math>c</math>, <math>b</math> et <math>c</math> sont dits congrus suivant <math>a</math>, sinon incongrus. <math>a</math> s'appellera le module ; chacun des nombres  <math>b</math> et <math>c</math>, résidus de l'autre dans le premier cas, et non résidus dans le second<ref>Il s'agit du premier article des ''Disquisitiones'', énoncés dans la traduction française de 1807.</ref>.

La notation '≡' est introduite à la section suivante et adoptée, indique Gauss, « à cause de la grande analogie qui existe entre l'égalité et la congruence ». Ainsi -16 ≡ 9 (mod. 5) exprime le fait que 5 divise -16-9.
Gauss établit le fait que tout entier a un résidu modulo <math>m</math> compris entre 0 et <math> m-1</math> (art. 3 et 4), puis prouve que la notion de congruence est compatible avec les opérations usuelles de l'arithmétique, autrement dit que   les [[congruence sur les entiers|entiers modulaires]] forment un anneau (art. 5 à 9).

=== Section 2 : Les congruences du premier degré ===

Cette section contient d'abord des résultats sur les entiers, prouvés à l'aide des congruences : le [[lemme d'Euclide]] apparaît à l'article 14, le théorème de [[décomposition en produit de facteurs premiers]] est l'objet de l'article 16. Gauss en déduit ensuite plusieurs conséquences, dont un des [[lemme d'Euclide|lemmes dits 'de Gauss']] (article 19) et surtout la résolution des [[Congruence linéaire|congruences linéaires]], c'est-à-dire des équations de degré 1 en les résidus (art. 24 et 29). Il donne deux méthodes, attribuées à [[Leonhard Euler|Euler]] et [[Joseph-Louis Lagrange|Lagrange]], pour résoudre ces équations, en observant qu'elles mènent au même algorithme (art. 27 et 28)<ref>Ceterum ex utraque methodo idem algorithmus derivatur.</ref>. Les articles 30, puis 33, et les suivants, exposent diverses méthodes relevant du [[théorème des restes chinois]] ; mais celui-ci ne fait pas l'objet d'un énoncé formellement identifié. L'article 37 aborde les systèmes de congruences du premier degré à plusieurs inconnues. La fin de cette section inclut plusieurs énoncés qui seront utilisés dans la suite :  les propriétés de la [[indicatrice d'Euler|fonction indicatrice d'Euler]] (article 38), dont Gauss fixe d'ailleurs la notation désormais courante :  le [[Lemme de Gauss (polynômes)|lemme de Gauss sur les coefficients des polynômes]] (article 42) : le théorème de Lagrange selon lequel une congruence polynomiale modulo un [[nombre premier]] ne peut avoir plus de racines que son degré (articles 43-44).

=== Section 3 : Les résidus des puissances ===

Cette section est consacrée à l'étude de progressions géométriques modulo un nombre premier <math>p</math>, c'est-à-dire de suites <math> a</math>, <math>a^2</math>, <math>a^3</math>, ...  modulo <math>p</math> (pour un entier <math>a</math> non divisible par <math>p</math>).

Les articles 45 et suivants traitent du [[petit théorème de Fermat]] (''Fermatii theorema'' selon Gauss, qui en attribue la première démonstration publiée à [[Leonhard Euler|Euler]]) ; notamment, en 52-54, est traité le problème de connaître exactement le nombre de résidus modulaires d'un [[ordre multiplicatif]] donné, à l'aide de l'indicatrice d'Euler ; ce qu'on peut encore exprimer en disant qu'il compte les [[racine de l'unité|racines primitives de l'unité]] pour un exposant donné. En 56, Gauss commente une tentative d'Euler pour obtenir une démonstration de ce résultat, qui tombe en défaut. Il s'intéresse ensuite aux racines des autres résidus que l'unité ; il énonce d'abord l'alternative sur le nombre de solutions (art. 60), puis s'intéresse à la possibilité de décider effectivement cette alternative sans recours aux tables (art. 64). L'existence de racines carrées de ''-1'' modulo un nombre premier est par exemple traitée. Le problème de calculer effectivement des racines primitives (problème du [[logarithme discret]]) occupe les articles suivants. Gauss finit par déclarer que « la plupart des méthodes qui servent à trouver les racines primitives reposent en grande partie sur le tâtonnement »<ref>Methodi radices primitivas inveniendi maximam partem tentando innituntur.</ref>(art. 73). Il énonce ensuite une version très générale du [[théorème de Wilson]] (art. 75), dont il attribue la publication à [[Edward Waring|Waring]] (art. 76). Il s'intéresse aussi aux sommes géométriques (art. 79), et aux sommes de racines primitives (art. 81).

Gauss considère ensuite le cas d'un module composé, ''via'' notamment le [[théorème d'Euler (nombres)|théorème de Fermat-Euler]] (art. 83). Il s'intéresse à nouveau aux racines de l'unité (art. 85 et 89) et donne un critère pour l'existence de racines primitives (art. 92) - c'est-à-dire pour que le groupe des unités des anneaux considérés soit cyclique.

=== Section 4 : Les congruences du second degré ===

Gauss commence par montrer qu'il y a autant de [[Résidu quadratique|résidus quadratiques]] (« residua quadratica ») et de non-résidus quadratiques modulo un nombre premier (art. 94 à 97) ; il propose plusieurs méthodes pour arriver au résultat. Il traite ensuite la question d'un module composé (art. 100 à 106). Puis il pose la question, un nombre entier étant donné, de trouver tous les modules pour lesquels il sera résidu quadratique. Pour -1 (art. 108 à 111), la réponse a déjà été donnée à la partie précédente (art. 64) ; deux autres démonstrations sont données, dont une se basant sur le théorème de Wilson. Puis sont traités les cas de ''2'' et ''-2'' (art. 112 à 116), puis ''3'' et ''-3'' (art. 117 à 120), ''5'' et ''-5'' (art. 121 à 124).

La nécessité d'une approche plus systématique étant établie, Gauss énonce en 131 ce qu'il appelle « théorème fondamental »<ref>theorematis fundamentalis</ref>:

:''Tout nombre qui, pris positivement, est résidu ou non résidu de ''p'', aura, pour résidu ou non résidu, ''+p'' ou ''-p'', selon que ''p'' sera de la forme ''4n+1'' ou ''4n+3''<ref>« Si ''p'' est numerus primus formae ''4n+1'', erit ''+p'', si vero ''p'' formae ''4n+3'', erit ''-p'' residuum vel non residuum cuiuivis numeri primi qui positive acceptus ipsius ''p'' est residium vel non residium. »</ref>.''

On reconnaît la [[loi de réciprocité quadratique]] ; Gauss donne ici la première démonstration de ce résultat, basée sur une [[raisonnement par récurrence|récurrence]], et une discussion portant sur résidus des entiers sur lesquels porte la récurrence ; il est amené à distinguer huit cas (art. 132 à 144). Il en déduit un algorithme pour déterminer si un nombre est résidu quadratique pour un module donné, mais en se basant sur la connaissance de la factorisation en nombres premiers (art. 146).
art 147 à 150 ?

=== Section 5 : Formes quadratiques ===

Gauss étudie en premier lieu les [[forme quadratique|formes quadratiques]] entières à deux indéterminées. Son premier théorème (art. 154 à 156) donne une condition nécessaire sur le [[discriminant]] (que Gauss appelle déterminant) d'une forme quadratique pour qu'elle représente un entier donné. Il considère ensuite ce qu'on peut traduire en langage moderne comme le problème de déterminer les classes de l'ensemble des formes quadratiques sous l'action du groupe <math>Gl_2(\mathbb{Z})</math>, et même plus généralement par la [[relation d'ordre]] induite par changements de coordonnées dans <math>M_2(\mathbb{Z})</math>, non nécessairement inversibles, mais de déterminant non nul. Il introduit notamment les notions d'action propre et impropre, suivant le signe du déterminant du changement de variables. Ce sujet occupe les articles 157 à 165. Il fait ensuite le lien entre ces notions et la représentation des nombres par des formes (art. 166 à 170).

La suite a pour objet l'étude fine des classes pour les actions précédentes : détermination d'un représentant privilégié, dont la taille des coefficients soit contrôlée, système complet d'invariants, détermination d'une transformation pour passer d'un élément d'une classe vers un autre.

=== Section 6 : Applications ===

=== Section 7 :  Polynômes cyclotomiques et polygones réguliers ===

=== Section 8 (non publiée du vivant de Gauss) : Vers une théorie des corps finis ===
<!--
== Les Disquisitiones Arithmeticae dans l'histoire de la théorie des nombres ==
=== Sources et conception ===
=== Impact ===

-->

== Notes et références ==

{{Références}}

== Liens externes ==

=== Editions en ligne ===
{{Autres projets
  |s=Recherches arithmétiques
  |wikisource titre=Recherches arithmétiques, traduction française par Poullet-Delisle, 1807
  |wikisource2=la:Disquisitiones arithmeticae
  |wikisource titre2=Disquisitiones arithmeticae, texte original en latin (1801), version collationnée en 1870 }}
* {{Voir référence|Référence:Disquisitiones arithmeticae}}.
* {{la}} ''Disquisitiones arithmeticae'', 1801, version originale en latin, <small>[http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-003356 en ligne sur Gallica] ou [http://resolver.sub.uni-goettingen.de/purl?PPN235993352 sur le GDZ (Göttingen)]</small>.
* {{de}} ''Disquisitiones arithmeticae'', traduction en allemand, édition H. Maser, 1889, <small>[http://resolver.sub.uni-goettingen.de/purl?PPN373456743 en ligne sur GDZ (Göttingen)]</small>.
* {{fr}} ''Recherches Arithmétiques'', traduction en français par [[Antoine Charles Marcelin Poullet-Delisle]], édition Courcier, 1807, <small>[https://gallica.bnf.fr/ark:/12148/bpt6k29060d en ligne sur Gallica]</small>.
* {{fr}} ''Recherches Arithmétiques'', transcription Latex de la traduction de A.C.M. Poullet-Delisle, <small>[http://perso.numericable.fr/questionsdenombres/files/Gauss-Recherches-Arithmetiques.zip en ligne]</small>.

=== Bases de données et dictionnaires ===
{{Liens}}

{{Portail|mathématiques}}

[[Catégorie:Livre historique de mathématiques]]
[[Catégorie:Carl Friedrich Gauss]]
[[Catégorie:Texte de mathématiques en latin]]
[[Catégorie:Histoire de l'algèbre]]