« Théorème des deux carrés de Fermat » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Fermat et son petit théorème : ref Weil p. 65 |
|||
Ligne 183 :
Les travaux de Gauss influencent les mathématiciens du siècle. [[Charles Gustave Jacob Jacobi|Jacobi]] les utilise pour établir une démonstration du nombre exact de décompositions d'un entier en deux carrés<ref>{{la}} C. G. J. Jacobi, ''Fundamenta nova theoriae functionum ellipticarum'', Königsberg, 1829.</ref>. [[Richard Dedekind]], le dernier en date des élèves de Gauss, propose deux preuves à la fois élégantes et concises à l'aide des entiers de Gauss. Celle présentée dans cet article est la seconde<ref name="Dedekind">{{Ouvrage|lang=de|prénom1=R.|nom1=Dedekind|titre=Vorlesungen über Zahlentheorie|année=1894|numéro d'édition=4|lieu=Braunschweig|éditeur=Vieweg und Sohn}} La preuve est proposée dans le supplément XI rédigé par Dedekind. Le texte principal est une publication par Dedekind d'un travail de [[Johann Peter Gustav Lejeune Dirichlet|Dirichlet]] intitulé ''Leçons en théorie des nombres''.</ref>.
Si les idées de Gauss permettent de mieux comprendre les nombres, {{Pas clair|date=13/08/2016|le cas général}} reste hors de portée. Pour y arriver, il faudrait être capable de classifier toutes les formes quadratiques et les avancées du mathématicien sont insuffisantes. Cette classification suppose la connaissance des structures des extensions d'entiers, appelées [[entier algébrique|entiers algébriques]]. Si ces ensembles disposent toujours d'une addition et d'une multiplication conférant une structure d'[[anneau unitaire|anneau]], plus la valeur ''n'' augmente plus elle devient complexe. La [[division euclidienne]] disparait, puis, fait encore plus gênant, le [[théorème fondamental de l'arithmétique]] garantissant l'unicité de la décomposition en facteurs premiers s'évanouit à son tour.
[[Johann Peter Gustav Lejeune Dirichlet]] <small>([[1805 en science|1805]]-[[1859 en science|1859]])</small> élucide la structure des [[théorème des unités de Dirichlet|éléments inversibles]], [[Ernst Kummer]] <small>([[1810 en science|1810]]-[[1893 en science|1893]])</small> trouve comment remplacer les facteurs premiers manquant à l'aide d'une notion maintenant appelée [[idéal]], [[Évariste Galois]] <small>([[1811 en science|1811]]-[[1832 en science|1832]])</small> ébauche une [[théorie de Galois|vaste théorie]] permettant de {{Pas clair|date=13/08/2016|mieux comprendre comment les nombres se multiplient}}. Chacun des progrès, conséquence de l'œuvre de
==Démonstrations==
|