En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique. On peut le vérifier sur 17 (= 4 × 4 + 1) ou 97 (= 24 × 4 + 1), qui sont bien tous deux d’une seule façon une somme de deux carrés (17 = 12 + 42 et 97 = 92 + 42), alors que des nombres premiers comme 7 (= 4 × 1 + 3) ou 31 (= 4 × 7 + 3) ne sont pas des sommes de deux carrés. Ce résultat es

Property Value
dbo:abstract
  • En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique. On peut le vérifier sur 17 (= 4 × 4 + 1) ou 97 (= 24 × 4 + 1), qui sont bien tous deux d’une seule façon une somme de deux carrés (17 = 12 + 42 et 97 = 92 + 42), alors que des nombres premiers comme 7 (= 4 × 1 + 3) ou 31 (= 4 × 7 + 3) ne sont pas des sommes de deux carrés. Ce résultat est parfois nommé simplement théorème des deux carrés ou bien encore théorème de Fermat de Noël. Il s’inscrit dans la longue histoire de la représentation de nombres comme sommes de carrés qui remonte à l'Antiquité. Il est explicité par Pierre de Fermat au XVIIe siècle, mais la première preuve publiée connue est l'œuvre de Leonhard Euler un siècle plus tard. Sa démonstration ne clôt pas les interrogations. Des nouvelles preuves et diverses généralisations sont proposées au cours des siècles suivants. Elles ont joué un rôle important dans le développement d’une branche des mathématiques appelée théorie algébrique des nombres. À l'instar de beaucoup d'équations diophantiennes, c’est-à-dire d’équations dont les coefficients et les solutions cherchées sont des nombres entiers ou fractionnaires, la simplicité de l'énoncé cache une difficulté réelle de démonstration. Certaines des preuves proposées ont aidé à la mise au point d'outils parfois sophistiqués, comme les courbes elliptiques ou la géométrie des nombres, liant ainsi la théorie des nombres élémentaire à d’autres branches des mathématiques. (fr)
  • En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique. On peut le vérifier sur 17 (= 4 × 4 + 1) ou 97 (= 24 × 4 + 1), qui sont bien tous deux d’une seule façon une somme de deux carrés (17 = 12 + 42 et 97 = 92 + 42), alors que des nombres premiers comme 7 (= 4 × 1 + 3) ou 31 (= 4 × 7 + 3) ne sont pas des sommes de deux carrés. Ce résultat est parfois nommé simplement théorème des deux carrés ou bien encore théorème de Fermat de Noël. Il s’inscrit dans la longue histoire de la représentation de nombres comme sommes de carrés qui remonte à l'Antiquité. Il est explicité par Pierre de Fermat au XVIIe siècle, mais la première preuve publiée connue est l'œuvre de Leonhard Euler un siècle plus tard. Sa démonstration ne clôt pas les interrogations. Des nouvelles preuves et diverses généralisations sont proposées au cours des siècles suivants. Elles ont joué un rôle important dans le développement d’une branche des mathématiques appelée théorie algébrique des nombres. À l'instar de beaucoup d'équations diophantiennes, c’est-à-dire d’équations dont les coefficients et les solutions cherchées sont des nombres entiers ou fractionnaires, la simplicité de l'énoncé cache une difficulté réelle de démonstration. Certaines des preuves proposées ont aidé à la mise au point d'outils parfois sophistiqués, comme les courbes elliptiques ou la géométrie des nombres, liant ainsi la théorie des nombres élémentaire à d’autres branches des mathématiques. (fr)
dbo:namedAfter
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 11531416 (xsd:integer)
dbo:wikiPageLength
  • 89833 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 187541034 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1807 (xsd:integer)
  • 1894 (xsd:integer)
  • 1910 (xsd:integer)
  • 1995 (xsd:integer)
  • 1998 (xsd:integer)
  • 1999 (xsd:integer)
  • 2000 (xsd:integer)
  • 2007 (xsd:integer)
  • 2011 (xsd:integer)
prop-fr:annéePremièreÉdition
  • 1801 (xsd:integer)
  • 1885 (xsd:integer)
  • 1938 (xsd:integer)
  • 1989 (xsd:integer)
prop-fr:auteur
prop-fr:contenu
  • Le petit théorème de Fermat montre que si a et b sont deux entiers compris entre 1 et p – 1, alors a – b est un multiple de p, ou encore, en notant n l'entier tel que p = 4n + 1 : (fr)
  • où désigne la racine cubique de l'unité /2. On trouve ainsi que p est la norme d'un entier d'Eisenstein z = a + b. Un tel élément est de la forme x + y avec x et y entiers si b est pair. C'est le cas pour au moins l'un des trois entiers d'Eisenstein z, z et z, puisque leur somme est nulle. (fr)
  • En particulier, Q = (2n)!. Comme p est premier et strictement supérieur à 2n, il n'est pas diviseur de !. Or Q est combinaison linéaire à coefficients entiers des entiers Q, Q, … , Q. L'une au moins de ces valeurs est donc non multiple de p, ce qui termine la démonstration. (fr)
  • a + b (fr)
  • *D'après un cas particulier de la loi de réciprocité quadratique, –3 est un carré mod p. Il existe donc des entiers m et q tels que *La suite de la démonstration est identique à celle de Dedekind , en remplaçant l'anneau des entiers de Gauss par celui des entiers d'Eisenstein, c'est-à-dire des nombres complexes de la forme (fr)
  • Dans ses lettres à Goldbach, Euler note la propriété d'un entier p d'être somme de deux carrés d'entiers. Avec cette notation, l'argument d'Euler se détaille ainsi. :1. Si et , alors . . :Preuve. Soit . On a , d'où : ainsi . :D'autre part si l'on définit x et y par et , alors . :Donc , et comme , et . :Il suit donc que . :2. Si et , alors . . :Preuve. Immédiat par 1 et par un argument de récurrence sur k. :3. Si et , alors il existe un facteur premier p' de p, . . :Preuve. C'est la contraposée de 2. :4. Si est un entier, , alors il existe des entiers , avec . . :Preuve. Pour des entiers non négatifs c et d inférieurs à p/2, et . :Donc , où . :Comme , n'a pas de facteur premier avec p, et donc . :5. Si est un entier et , alors . . :Preuve. Sinon, soit le plus petit entier satisfaisant , et . Clairement . :Par 4 il existe des entiers c et d tels que . :Par 3 il existe . :Mais contredit la minimalité de q, qui ne peut donc pas exister. :. (fr)
  • … . (fr)
  • est un multiple de p. Comme p est premier, l'un des deux facteurs est un multiple de p. Il suffit de trouver, entre 1 et p – 1, deux entiers a et b premiers entre eux tels que a – b n'est pas un multiple de p : alors, + sera un multiple de p de la forme voulue. On va même imposer de plus b = 1. * Démonstration par l'arithmétique modulaire : Dans le corps commutatif ℤ/pℤ, le polynôme X – 1 a au plus 2n racines, soit moins que 4n, le nombre d'éléments non nuls du corps. Il existe donc un entier a vérifiant les conditions voulues. * Démonstration d'Euler par les différences finies : Considérons la suite de polynômes Q définie par récurrence de la manière suivante : Pour tout entier i compris entre 1 et 2n, le polynôme Q est de degré 2n – i et son coefficient dominant est égal à (fr)
  • Le petit théorème de Fermat montre que si a et b sont deux entiers compris entre 1 et p – 1, alors a – b est un multiple de p, ou encore, en notant n l'entier tel que p = 4n + 1 : (fr)
  • où désigne la racine cubique de l'unité /2. On trouve ainsi que p est la norme d'un entier d'Eisenstein z = a + b. Un tel élément est de la forme x + y avec x et y entiers si b est pair. C'est le cas pour au moins l'un des trois entiers d'Eisenstein z, z et z, puisque leur somme est nulle. (fr)
  • En particulier, Q = (2n)!. Comme p est premier et strictement supérieur à 2n, il n'est pas diviseur de !. Or Q est combinaison linéaire à coefficients entiers des entiers Q, Q, … , Q. L'une au moins de ces valeurs est donc non multiple de p, ce qui termine la démonstration. (fr)
  • a + b (fr)
  • *D'après un cas particulier de la loi de réciprocité quadratique, –3 est un carré mod p. Il existe donc des entiers m et q tels que *La suite de la démonstration est identique à celle de Dedekind , en remplaçant l'anneau des entiers de Gauss par celui des entiers d'Eisenstein, c'est-à-dire des nombres complexes de la forme (fr)
  • Dans ses lettres à Goldbach, Euler note la propriété d'un entier p d'être somme de deux carrés d'entiers. Avec cette notation, l'argument d'Euler se détaille ainsi. :1. Si et , alors . . :Preuve. Soit . On a , d'où : ainsi . :D'autre part si l'on définit x et y par et , alors . :Donc , et comme , et . :Il suit donc que . :2. Si et , alors . . :Preuve. Immédiat par 1 et par un argument de récurrence sur k. :3. Si et , alors il existe un facteur premier p' de p, . . :Preuve. C'est la contraposée de 2. :4. Si est un entier, , alors il existe des entiers , avec . . :Preuve. Pour des entiers non négatifs c et d inférieurs à p/2, et . :Donc , où . :Comme , n'a pas de facteur premier avec p, et donc . :5. Si est un entier et , alors . . :Preuve. Sinon, soit le plus petit entier satisfaisant , et . Clairement . :Par 4 il existe des entiers c et d tels que . :Par 3 il existe . :Mais contredit la minimalité de q, qui ne peut donc pas exister. :. (fr)
  • … . (fr)
  • est un multiple de p. Comme p est premier, l'un des deux facteurs est un multiple de p. Il suffit de trouver, entre 1 et p – 1, deux entiers a et b premiers entre eux tels que a – b n'est pas un multiple de p : alors, + sera un multiple de p de la forme voulue. On va même imposer de plus b = 1. * Démonstration par l'arithmétique modulaire : Dans le corps commutatif ℤ/pℤ, le polynôme X – 1 a au plus 2n racines, soit moins que 4n, le nombre d'éléments non nuls du corps. Il existe donc un entier a vérifiant les conditions voulues. * Démonstration d'Euler par les différences finies : Considérons la suite de polynômes Q définie par récurrence de la manière suivante : Pour tout entier i compris entre 1 et 2n, le polynôme Q est de degré 2n – i et son coefficient dominant est égal à (fr)
prop-fr:id
  • Diophante-Ver Ecke (fr)
  • Diophante-Ver Ecke (fr)
prop-fr:isbn
  • 2 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:langueOriginale
  • en (fr)
  • la (fr)
  • en (fr)
  • la (fr)
prop-fr:lienAuteur
  • Carl Friedrich Gauss (fr)
  • Pierre de Fermat (fr)
  • Catherine Goldstein (fr)
  • Leonard Eugene Dickson (fr)
  • Carl Friedrich Gauss (fr)
  • Pierre de Fermat (fr)
  • Catherine Goldstein (fr)
  • Leonard Eugene Dickson (fr)
prop-fr:lieu
  • Paris (fr)
  • Paris (fr)
prop-fr:lireEnLigne
  • https://archive.org/details/oeuvresdefermat942ferm|id=Fermat vol. 2 (fr)
  • https://archive.org/details/oeuvresdefermat942ferm|id=Fermat vol. 2 (fr)
prop-fr:nom
  • Goldstein (fr)
  • Dickson (fr)
  • Gauss (fr)
  • Fermat (fr)
  • Diophante d'Alexandrie (fr)
  • Goldstein (fr)
  • Dickson (fr)
  • Gauss (fr)
  • Fermat (fr)
  • Diophante d'Alexandrie (fr)
prop-fr:p.
  • 51 (xsd:integer)
prop-fr:pagesTotales
  • 228 (xsd:integer)
  • 525 (xsd:integer)
prop-fr:prénom
  • Catherine (fr)
  • Carl Friedrich (fr)
  • Pierre de (fr)
  • Leonard Eugene (fr)
  • Catherine (fr)
  • Carl Friedrich (fr)
  • Pierre de (fr)
  • Leonard Eugene (fr)
prop-fr:revue
  • Ramanujan J. (fr)
  • Ramanujan J. (fr)
prop-fr:référence
  • Référence:Histoire de la théorie des nombres (fr)
  • Référence:Theory of numbers (fr)
  • Référence:Histoire de la théorie des nombres (fr)
  • Référence:Theory of numbers (fr)
prop-fr:sousTitre
  • a historically motivated guide to Number Theory (fr)
  • a historically motivated guide to Number Theory (fr)
prop-fr:titre
  • Œuvres complètes (fr)
  • Introduction à la théorie des nombres (fr)
  • Primes of the Form (fr)
  • Recherches arithmétiques (fr)
  • History of the Theory of Numbers (fr)
  • Autre démonstration de « p ≡ 1 mod 3 ⇒ p = x + 3y » (fr)
  • Les six livres arithmétiques (fr)
  • Résumé détaillé de la démonstration du lemme (fr)
  • The Queen of Mathematics (fr)
  • Un théorème de Fermat et ses lecteurs (fr)
  • Diophantus of Alexandria: A Study in the History of Greek Algebra (fr)
  • Démonstrations avec et sans arithmétique modulaire (fr)
  • Œuvres complètes (fr)
  • Introduction à la théorie des nombres (fr)
  • Primes of the Form (fr)
  • Recherches arithmétiques (fr)
  • History of the Theory of Numbers (fr)
  • Autre démonstration de « p ≡ 1 mod 3 ⇒ p = x + 3y » (fr)
  • Les six livres arithmétiques (fr)
  • Résumé détaillé de la démonstration du lemme (fr)
  • The Queen of Mathematics (fr)
  • Un théorème de Fermat et ses lecteurs (fr)
  • Diophantus of Alexandria: A Study in the History of Greek Algebra (fr)
  • Démonstrations avec et sans arithmétique modulaire (fr)
prop-fr:titreOriginal
prop-fr:traducteur
  • F. Sauvageot (fr)
  • A.-C.-M. Poullet-Delisle (fr)
  • P. Ver Ecke (fr)
  • F. Sauvageot (fr)
  • A.-C.-M. Poullet-Delisle (fr)
  • P. Ver Ecke (fr)
prop-fr:url
prop-fr:vol
  • 4 (xsd:integer)
prop-fr:volume
  • 2 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:wikisource
  • Livre:Gauss - Recherches arithmétiques, traduction Poullet-Delisle, 1807.djvu (fr)
  • Livre:Gauss - Recherches arithmétiques, traduction Poullet-Delisle, 1807.djvu (fr)
prop-fr:éditeur
dct:subject
rdfs:comment
  • En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique. On peut le vérifier sur 17 (= 4 × 4 + 1) ou 97 (= 24 × 4 + 1), qui sont bien tous deux d’une seule façon une somme de deux carrés (17 = 12 + 42 et 97 = 92 + 42), alors que des nombres premiers comme 7 (= 4 × 1 + 3) ou 31 (= 4 × 7 + 3) ne sont pas des sommes de deux carrés. Ce résultat es (fr)
  • En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique. On peut le vérifier sur 17 (= 4 × 4 + 1) ou 97 (= 24 × 4 + 1), qui sont bien tous deux d’une seule façon une somme de deux carrés (17 = 12 + 42 et 97 = 92 + 42), alors que des nombres premiers comme 7 (= 4 × 1 + 3) ou 31 (= 4 × 7 + 3) ne sont pas des sommes de deux carrés. Ce résultat es (fr)
rdfs:label
  • Fermat's theorem on sums of two squares (en)
  • Stelling van Fermat over de som van twee kwadraten (nl)
  • Teorema de Fermat sobre la suma de dos cuadrados (es)
  • Teorema de la suma de dos quadrats (ca)
  • Teorema di Fermat sulle somme di due quadrati (it)
  • Théorème des deux carrés de Fermat (fr)
  • Zwei-Quadrate-Satz (de)
  • Теорема Ферма про суму двох квадратів (uk)
  • 二個の平方数の和 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of