Voir la source de Arithmétique élémentaire

[[File:A young Congolese boy during a lesson at the Mugosi Primary School, which caters mostly for children of the Kahe refugee camp in the town of Kitschoro, in the north eastern part of the Democratic Republic of the Congo.jpg|thumb|Jeune garçon réalisant une opération d'arithmétique élémentaire à l'école primaire de [[Mugosi]], [[République démocratique du Congo]]. On y devine l'opération de [[Division posée|division]] de 50 par 2.]]
L’'''arithmétique élémentaire''' regroupe les rudiments de la connaissance des [[nombre]]s telle qu'elle est présentée dans l'[[enseignement des mathématiques]]. Elle commence avec la ''comptine numérique'', autrement dit la suite des premiers [[Entier naturel|entiers à partir de 1]], apprise comme une liste ou une récitation et utilisée pour dénombrer de petites quantités. Viennent ensuite les opérations d'[[addition]] et de [[multiplication]] par le biais des tables d'[[table d'addition|addition]] et de [[table de multiplication|multiplication]]. Ces opérations permettent, dans le cadre de l'[[algèbre]], de définir leurs opérations réciproques : la [[soustraction]] et la [[division]]. Ce savoir n'est pas couvert par cet article.

L'apprentissage des tables de multiplication conduit ensuite à la reconnaissance des [[critères de divisibilité]] par 2, par 3, par 5, par 9 et par 10, puis à la [[factorisation des entiers|décomposition des entiers]] en facteurs [[nombre premier|premiers]]. L'unicité de cette décomposition permet la définition du [[plus grand commun diviseur]] (pgcd) et du [[plus petit commun multiple]] (ppcm). La [[division euclidienne]] est utilisée dans l'[[algorithme d'Euclide]] pour calculer le pgcd de deux nombres sans connaître leur décomposition en facteurs premiers.

Un premier niveau de savoir se dégage, avec quelques lemmes et théorèmes clés, comme le [[lemme d'Euclide]], l'[[Théorème de Bachet-Bézout|identité de Bézout]] et le [[théorème fondamental de l'arithmétique]]. Il suffit à démontrer quelques résultats comme le [[petit théorème de Fermat]], celui de [[théorème de Wilson|Wilson]] et quelques [[équation]]s peuvent être résolues. Les équations en question sont dites [[équation diophantienne|diophantiennes]], c'est-à-dire qu'elles sont à coefficients [[Entier relatif|entiers]] et les solutions recherchées sont entières. L'[[identité de Brahmagupta]] permet de trouver une solution à l'équation ''X''<sup>2</sup>&nbsp;–&nbsp;83''Y''<sup>2</sup>&nbsp;=&nbsp;1 dès le {{VIe siècle}}<ref>Cet exemple est résolu par [[Brahmagupta]], d'après {{MacTutor|class=history|id=HistTopics/Pell|title=Pell's equation}}</ref>. Ces méthodes permettent encore à [[Leonhard Euler|Euler]], un mathématicien suisse du {{XVIIIe siècle}}, de résoudre l'équation ''X''<sup>2</sup>&nbsp;+&nbsp;''Y''<sup>2</sup>&nbsp;=&nbsp;''p'', qui correspond au [[théorème des deux carrés de Fermat]], ici ''p'' désigne un [[nombre premier]]. Ce sont ces méthodes, couramment considérées comme de l'arithmétique élémentaire<ref>M.Gouy, G.Huvent, A.Ladureau indiquent : {{Citation|Le théorème de Bézout est un des premiers résultats que l’on établit dans un cours d’arithmétique élémentaire}} ''[http://irem.univ-lille1.fr/activites/IMG/pdf/bezout.pdf Bézout par l’approximation diophantienne]'' par l'IREM de Lille.</Ref>, qui sont exposées dans cet article.

Comprendre plus profondément l'arithmétique des nombres entiers impose l'usage de structures abstraites, comme celles des [[groupe fini|groupes finis]], par exemple dans le  cadre de l'[[arithmétique modulaire]], ou des [[anneau unitaire|anneaux]]. On quitte alors l'arithmétique élémentaire pour entrer dans la [[théorie algébrique des nombres]].

== Division euclidienne ==

=== Théorème de la division ===
{{Article détaillé|Division euclidienne}}

L'ensemble étudié dans cet article, noté ℤ, est celui des [[entier relatif|nombres entiers]], qu'ils soient [[Nombre positif|positifs]] ou [[Nombre négatif|négatifs]]. L'existence de nombres négatifs offre un avantage trop puissant pour que l'on puisse aisément s'en passer. Initialement, il introduit une petite complexité, comment définir la division euclidienne sur ℤ ? Il est nécessaire de modifier un peu le résultat déjà connu pour les entiers positifs.

{{Théorème|Division euclidienne pour les nombres entiers|Soit ''a'' et ''b'' deux nombres entiers tel que ''b'' soit non nul. Il existe au moins un couple d'entiers (''q'',&nbsp;''r'') tel que ''a'' soit égal à ''b.q''&nbsp;+&nbsp;''r'' et tel que ''r'' soit en [[valeur absolue]] strictement plus petit que ''b''.}}

Par rapport à la division euclidienne dans les nombres entiers positifs, une propriété a été perdue, l'unicité de la solution n'est maintenant plus toujours vraie. Considérons l'entier 10 que l'on souhaite diviser par 3, il peut s'écrire de deux manières : 3×3&nbsp;+&nbsp;1 ou encore 3×4&nbsp;+&nbsp;(–2). Autoriser les nombres négatifs, en particulier pour le reste, impose d'admettre deux solutions au lieu d'une, ce qui s'avère n'être que peu gênant. La démonstration de ce résultat est proposée dans l'article détaillé.

=== Sous-ensembles stables ===
L'objectif de ce paragraphe est la recherche des sous-ensembles de ℤ qui sont à la fois non vides et stables pour l'addition et la soustraction. Cette démarche, consistant à étudier la [[Structure (mathématiques)|structure]] de l'ensemble ℤ, est une des idées fondatrices de l'[[arithmétique]] au sens moderne du terme. Dans un contexte plus sophistiqué, ces sous-ensembles peuvent être vus comme des [[sous-groupe]]s ou des [[idéal|idéaux]]. L'usage de ces concepts s'avère néanmoins inutile pour une étude qui se limite à l'arithmétique élémentaire.

{{Théorème|Sous-ensembles stables|Soit ''M'' un sous-ensemble non vide de ℤ et stable pour l'addition et la soustraction, il existe un entier positif ''d'' tel que ''M'' soit égal à l'ensemble des multiples de ''d''.}}

{{Démonstration/début}}
Si ''M'' est l'ensemble {0}, c'est bien un ensemble de multiples : ceux de l'entier 0.

Si ''M'' n'est pas réduit à l'ensemble {0}, il contient un élément ''a'' ainsi que son opposé –''a''. Autrement dit il contient un élément strictement positif. Soit ''d'' le plus petit élément strictement positif de ''M''. On souhaite montrer que ''M'' est égal à l'ensemble des multiples de ''d''.
* '''Tout multiple de ''d'' est élément de ''M'' :'''<br />On remarque d'abord que 0 = 0.''d'' est élément de ''M'', en effet, ''d'' – ''d'' est élément de ''M'' car ''M'' est stable par soustraction. Soit ''ad'' un multiple de ''d'', si ''a'' est strictement positif, ''ad'' peut être vu comme la somme de ''d'' : ''d'' + ''d'' + … + ''d'' répétée ''a'' fois, la stabilité de l'addition montre que ''ad'' est bien élément de ''M''. Si ''a'' est strictement négatif, comme |''a''|''d'' est élément de ''M'', la stabilité de la soustraction montre que ''ad'', égal à 0&nbsp;–&nbsp;(|''a''|''d''), est encore élément de ''M'', ce qui termine cette démonstration.
* '''Tout élément de ''M'' est un multiple de ''d'' :'''<br />Soit ''b'' un élément de ''M'', considérons la division euclidienne de ''b'' par ''d'' :<center><math> b = q\times d + r</math></center>Par soustraction, à la fois ''r'' et –''r'' sont éléments de ''M'', or l'un de ces deux entiers est positif. Il est non seulement positif mais aussi strictement plus petit que ''d'', ce qui, par définition de ''d'', montre que ''r'' est égal à 0. autrement dit, ''b'' est bien un multiple de ''d'' car égal à ''qd''.
Ces deux propositions montrent bien que ''M'' est l'ensemble des multiples de ''d''.
{{Démonstration/fin}}

== Théorème fondamental de l'arithmétique ==
=== Théorème de Bachet-Bézout ===
{{Article détaillé|Théorème de Bachet-Bézout}}

Une identité permet de venir à bout de toute [[équation diophantienne]] du [[Équation diophantienne ax+by = c|premier degré]]. Une forme faible de l'identité est la suivante :

{{Théorème|Identité de Bachet-Bézout|Deux nombres entiers ''a'' et ''b'' sont [[Nombres premiers entre eux|premiers entre eux]] si, et seulement si, il existe deux entiers ''m'' et ''n'' tel que :
<center><math>a\times m + b\times n = 1\;</math></center>}}

Cette forme de l'identité de Bachet-Bézout peut paraître plus faible que celle de l'article détaillé et cela à deux titres. Tout d'abord, elle ne traite que du cas où ''a'' et ''b'' sont premiers entre eux (mais cela permet de traiter le cas de deux nombres quelconques en les divisant par leur pgcd), ensuite l'article détaillé donne une méthode effective pour trouver les valeurs de ''m'' et ''n'', ce qui n'est pas le propos de ce paragraphe.

Si <math>a\times m + b\times n = 1\;</math> alors tout diviseur commun à ''a'' et ''b'' divise également 1, si bien que ''a'' et ''b'' n'ont que deux diviseurs communs : 1 et -1. Ils sont donc premiers en eux.

Pour la réciproque, on peut remarquer que l'ensemble ''M'' des nombres de la forme ''am + bn'', si ''m'' et ''n'' décrivent tous les entiers, est non vide et stable pour l'addition et la soustraction. La proposition précédente montre l'existence d'un entier positif ''d'' tel que ''M'' soit l'ensemble des multiples de ''d''. Si ''a'' et ''b'' sont premiers entre eux, l'entier ''d'', qui divise ''a'' et ''b'' car ce sont des éléments de ''M'', est nécessairement égal à 1. Or ''d'' est multiple de lui-même, donc appartient à ''M''. Ainsi, ''M'' contient 1, ce qui montre l'existence d'une solution à l'identité.

=== Lemme d'Euclide ===
{{Article détaillé|Lemme d'Euclide}}

Une application importante de l'identité du dernier paragraphe est le lemme d'Euclide :

{{Théorème|Lemme d'Euclide|Si un [[nombre premier]] ''p'' divise un produit ''a.b'' de deux nombres entiers, il divise soit ''a'' soit ''b''.}}

Ce lemme fait apparaître des nombres essentiels en arithmétique, les nombres premiers. Ce sont des nombres strictement positifs qui n'ont comme diviseurs positifs qu'eux-mêmes et 1. Le mathématicien [[Paul Erdős]] disaient d'eux : {{Citation|Un nombre premier est un nombre qui ne se casse pas quand on le laisse tomber par terre.}}<ref>[http://mathsentrans.blogspot.com/2008/09/le-dernier-des-premiers-dj-2-ans.html Le dernier des premiers a déjà deux ans]'' Maths en trans.</ref>. Ce lemme est une étape pour démontrer le théorème fondamental de l'arithmétique.

Sa démonstration fait appel à l'identité précédente et est démontrée dans l'article détaillé.

=== Théorème fondamental de l'arithmétique ===
{{Article détaillé|théorème fondamental de l'arithmétique}}

Si l'on considère un entier quelconque, on peut l'écrire sous la forme ε.''a'', où ε désigne soit 1 où –1 et ''a'' un nombre entier positif. Si ''a'' n'est pas premier, il se décompose en un produit ''c.b'' de nombres entiers positifs, opération que l'on peut recommencer. On finit par trouver une décomposition en facteurs premiers :

{{Théorème|Théorème fondamental de l'arithmétique|Un nombre entier se décompose de manière unique en un produit comportant un terme ε égal à 1 ou –1 et les autres facteurs sont des nombres premiers.}}

Ce théorème est le résultat clé de l'arithmétique élémentaire, démontré dans l'article détaillé. Sous une forme plus ou moins générale, il est à la base de nombreux résultats qui se démontrent à l'aide de l'arithmétique élémentaire. En conséquence, la connaissance des nombres premiers s'avère essentielle. Cette connaissance est parfois difficile : leur répartition, par exemple, est en [[2011]] encore l'objet d'une des plus célèbres conjectures mathématiques ''(voir l'article [[hypothèse de Riemann]] qui dépasse de loin le cadre de l'arithmétique élémentaire)''. On dispose néanmoins aisément d'un premier résultat :

{{Théorème|Nombre de nombres premiers|Il existe une infinité de nombres premiers.}}
Pour s'en rendre compte, il suffit de considérer un ensemble fini ''F'' de nombres premiers et de montrer que cet ensemble ne les contient pas tous. Soit ''m'' la somme de 1 et du produit de tous les nombres de ''F''. L'entier ''m'' n'est divisible par aucun élément de ''F'', soit il est premier, soit il est divisible par un nombre premier qui n'est pas dans la liste. En conséquence ''F'' ne contient pas tous les nombres premiers. Dire qu'aucun ensemble fini ne contient tous les nombres premiers, c'est dire qu'il en existe une infinité ({{cf}} [[Théorème d'Euclide sur les nombres premiers]]).

== Conséquences directes ==
=== Théorème de Wilson ===
{{Article détaillé|Théorème de Wilson}}
Un exemple de résultat d'arithmétique qui peut se démontrer à l'aide des théorèmes énoncés dans cet article est maintenant appelé théorème de Wilson. Il a été démontré par le [[mathématiques arabes|mathématicien arabe]] du {{Xe siècle}} [[Alhazen]]<ref>V. Beck, ''[http://people.math.jussieu.fr/~beck/pdf/cplt-wilson.pdf Variations autour du théorème de Wilson]'', [[ENS Cachan]].</ref>. Il s'énonce ainsi :

{{théorème|Théorème de Wilson|Un entier ''p'' > 1 est premier si et seulement s'il divise (''p''&nbsp;–&nbsp;1) !&nbsp;+&nbsp;1, c'est-à-dire si et seulement si :
<center><math>(p-1)!+1 \equiv 0 \pmod p.</math></center>}}

=== Petit théorème de Fermat ===
{{Article détaillé|Petit théorème de Fermat}}
[[Pierre de Fermat]] est un mathématicien français du {{XVIIe siècle}} que s'est passionné pour l'arithmétique<ref>[[Catherine Goldstein|C. Goldstein]], ''Un théorème de Fermat et ses lecteurs'', Presses universitaires de Vincennes, 1995 {{ISBN|2910381102}}.</ref>. Le bagage mathématique disponible à son époque était, en arithmétique, plutôt plus faible que celui présenté ici, car l'usage des nombres négatifs était encore problématique. Il a établi le résultat suivant :

{{Théorème|Petit théorème de Fermat|Si ''a'' est un entier non divisible par ''p'' tel que  ''p'' est un [[nombre premier]], alors ''a''<sup>''p''–1</sup> – 1 est un multiple de ''p''.}}

L'article détaillé présente une démonstration uniquement à l'aide des outils étudiés dans le cadre de cet article. Par delà l'élégance du résultat, il sert aussi de théorème pour démontrer d'autres résultats d'arithmétiques. Il est utilisé, par exemple pour une démonstration élémentaire du [[théorème des deux carrés de Fermat]]. Ce résultat stipule que si ''p'' est un nombre premier ayant pour reste 1 s'il est divisé par 4, alors l'équation ''X''<sup>2</sup>&nbsp;+&nbsp;''Y''<sup>2</sup>&nbsp;=&nbsp;''p'' admet toujours une solution.

=== Test de primalité ===
{{Article détaillé|Test de primalité de Fermat}}
Le petit théorème de Fermat est à la base de nombreux tests de primalité<ref>On peut voir à ce sujet l'article non élémentaire en anglais : D. J. Bernstein ''[http://cr.yp.to/primetests/prime2004-20041223.pdf distinguishing prime numbers form composite numbers]'' Department of Mathematics, Statistics, and Computer Science.</ref>. Pour en comprendre le principe appliquons sa forme naïve au cinquième [[nombre de Fermat]], noté ''F''<sub>5</sub> et égal à 2<sup>32</sup>&nbsp;+&nbsp;1, ou encore à 4&nbsp;294&nbsp;967&nbsp;297. Fermat a toujours cru que ce nombre était premier, il écrit {{citation|... je n'ai pu encore démontrer nécessairement la vérité de cette proposition}}<ref>[[Pierre de Fermat]], ''Lettre de Fermat à Frénicle du 18 octobre 1640'', [http://www.cs.utexas.edu/~wzhao/fermat2.pdf lire].</ref>. C'est la seule conjecture fausse que Fermat a émise{{référence souhaitée}}.

La méthode simple et brutale consiste à calculer le reste de la division de ''a''<sup>(''F''<sub>5</sub>&nbsp;–&nbsp;1)</sup>&nbsp;–&nbsp;1 par ''F''<sub>5</sub>. Si le reste n'est pas nul, le nombre n'est pas premier. Avec deux astuces, les calculs sont beaucoup plus simples qu'il n'y paraît, choisissons ''a'' égal à 3. Son carré donne ''a''<sup>2</sup>, égal à 9. Le carré de ce nombre donne ''3''<sup>2<sup>2</sup></sup>, égal à 81, son carré est égal à ''3''<sup>2<sup>3</sup></sup> soit {{formatnum:6561}}. Comme ''F''<sub>5</sub>&nbsp;–&nbsp;1 est égal à 2<sup>32</sup>, il suffit de 32 étapes pour conclure, ce qui est maintenant rapide avec les méthodes de calcul modernes.

La deuxième difficulté à résoudre est le caractère élevé des puissances successives, on finirait par devoir utiliser de très grands nombres qui imposent une écriture lourde des valeurs intermédiaires, ainsi ''3''<sup>2<sup>5</sup></sup> est égal à 1&nbsp;853&nbsp;020&nbsp;188&nbsp;851&nbsp;841, alors que ce n'est que la cinquième valeur intermédiaire et qu'il faut en calculer 32. Il est néanmoins possible d'écrire ce nombre habilement, à l'aide d'une division euclidienne :
<center><math>3^{32} = 1\;853\;020\;188\;851\;841 = 43\;1439\times F_5 + 3\;793\;201\;458 = Q_5\times F_5 + R_5</math></center>

Ce qui importe, c'est le reste de la division euclidienne de ''3''<sup>(''F''<sub>5</sub>&nbsp;–&nbsp;1)</sup>&nbsp;–&nbsp;1 et non pas la valeur de ''Q''<sub>5</sub>. Ainsi, à l'étape d'après :
<center><math>3^{64} = (Q_5\times F_5 + R_5)^2 = F_5\times (Q_5^2\times F_5 + 2\times Q_5\times R_5) + R_5^2</math></center>

Il suffit de calculer le carré de ''R''<sub>5</sub> et d'opérer une division euclidienne de ce carré par ''F''<sub>5</sub> et on obtient :
<center><math>3^{64} =Q_6\times F_5 + R_6\quad\text{avec}\quad R_6 = 1\;461\;798\;105</math></center>

Le calcul de ''Q''<sub>6</sub>, et en règle générale de ''Q''<sub>n</sub> où ''n'' est un entier qui va jusqu'à 32, est inutile. De plus, la suite des ''R''<sub>n</sub> ne dépasse jamais ''F''<sub>5</sub>, ce qui empêche une explosion de chiffres significatifs à calculer. En 32 étapes, on trouve que le reste de la division euclidienne de ''3''<sup>(''F''<sub>5</sub>&nbsp;–&nbsp;1)</sup>&nbsp;–&nbsp;1 par ''F''<sub>5</sub> est égal à {{formatnum:3029026159}} et non pas 0, le nombre ''F''<sub>5</sub> n'est pas premier. Euler utilise une méthode plus habile, elle exhibe effectivement les diviseurs<ref>{{la}} [[Leonhard Euler]], « Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus », ''Commentarii academiae scientiarum Petropolitanae'' (6) 1738 {{p.|102-103}} 1732.</ref>, sa méthode est exposée dans l'article [[Nombre de Fermat]].

== Généralisations ==
=== Anneau euclidien ===
{{Article détaillé|Entier de Gauss|Anneau des entiers de Q(√5){{!}}Anneau des entiers de ℚ({{racine|5}})}}
Les questions d'arithmétiques sur les entiers s'avèrent rapidement complexes, [[Carl Friedrich Gauss|Gauss]], un mathématicien du {{XIXe siècle}}, indiquait : {{Citation|Leurs charmes particuliers vient de la simplicité des énoncés jointe à la difficulté des preuves.}}<ref>C. Goldstein, « Fermat et son Théorème », dans ''Orsay Info 57'', 1999, [http://www.ufr-mi.u-bordeaux.fr/~belabas/Orsay-info/fermat.html lire].</ref>. D'autres idées sont nécessaires pour ''aller plus loin''. Une méthode consiste à construire de nouveaux ensembles. Cette méthode est illustrée dans l'article [[Théorème des deux carrés de Fermat]]. Pour résoudre l'équation ''X''<sup>2</sup>&nbsp;+&nbsp;''Y''<sup>2</sup> dans ℤ, on ne cherche cette fois plus les solutions dans ℤ, mais dans l'ensemble des nombres de la forme ''a'' + '''i'''''b'', où ''a'' et ''b'' sont des entiers et '''i''' l'[[unité imaginaire]]. Un élément de cet ensemble porte le nom d'[[entier de Gauss]].

Un des charmes de cet ensemble est qu'il existe encore une [[division euclidienne]]. Les démonstrations des résultats énoncés dans cet article s'appliquent presque sans modification au nouvel ensemble. Les nombres premiers, cette fois sont un peu différents, 2 n'est pas premier car (1&nbsp;+&nbsp;i)(1&nbsp;–&nbsp;i) est égal à 2, en revanche, 1&nbsp;+&nbsp;i l'est. La résolution de l'équation y est beaucoup plus facile.

L'anneau des entiers de ℚ({{racine|5}}), l'ensemble des nombres de la forme ''a'' + ''b''(1 + {{sqrt|5}})/2, où ''a'' et ''b'' sont des entiers, est également euclidien. Il permet de démontrer la loi d'apparition des nombres premiers dans la [[suite de Fibonacci]].

Cette logique permet aussi de construire une [[arithmétique des polynômes]], à l'origine de résolutions d'[[équation algébrique|équations algébriques]] complexes, comme l'[[polynôme cyclotomique|équation cyclotomique]].

=== Arithmétique modulaire ===
{{Article détaillé|Arithmétique modulaire}}
Une autre idée essentielle consiste encore à créer de nouveaux ensembles de nombres, mais cette fois en s'y prenant différemment. Les nombres sont les restes d'une division euclidienne par un entier, souvent choisi premier. Les éléments de ce nouvel ensemble portent le nom de [[congruence sur les entiers]]. L'usage de cet ensemble est en filigrane dans le test de primalité recherché. Il permet de démontrer simplement la [[Théorème d'Euler (nombres)|généralisation d'Euler]] du petit théorème de Fermat, et par la même occasion introduit la fonction [[indicatrice d'Euler]], qui joue un rôle important en arithmétique.

Un exemple de résultat arithmétique obtenu avec ce type de méthode est la [[loi de réciprocité quadratique]] qui permet de résoudre des équations diophantiennes comme ''X''<sup>2</sup>&nbsp;+&nbsp;''pY''&nbsp;+&nbsp;''n''&nbsp;=&nbsp;0, où ''p'' est un nombre premier et ''n'' un entier.


== Notes et références==
<references />

== Voir aussi ==
=== Liens externes ===
* G. Villemin ''[http://villemin.gerard.free.fr/ThNbDemo/ThNbTdeM.htm Initiation à la théorie des nombres]'' Nombres : curiosités - théorie - usage
* [http://www.wdl.org/fr/item/2863 ''Une contribution amicale à la science de l'arithmétique''] est un document en arabe du {{s-|XV|e}} qui parle de l'arithmétique de base

=== Bibliographie===
*[[IREM]] de Lille, ''Les nombres - Problèmes anciens et actuels'', [[Éditions Ellipses|Ellipses]], 2000  {{ISBN|2729801227}}
* M. Guinot, ''Arithmétique pour amateurs. Vol. 1. Pythagore, Euclide et toute la clique'', Aléas, [[Lyon]], 1992 {{ISBN|2908016214}} {{Commentaire biblio|Cette série de cinq volumes s'adresse aux ''amateurs éclairés (c'est-à-dire ayant fait une ou deux années d'études mathématiques après le baccalauréat)''. On y trouve les bases de l'arithmétique ainsi que l'étude des [[triplet pythagoricien|triplets pythagoricien]].}}
* M. Guinot, ''Arithmétique pour amateurs. Vol. 2. Les resveries de Fermat'', Aléas, Lyon, 1993 {{ISBN|2908016273}} {{Commentaire biblio|La troisième partie concerne les sommes de deux carrés.}}
* M. Guinot, ''Arithmétique pour amateurs. Vol. 3. Ce diable d'homme d'Euler'', Aléas, Lyon, 1994 {{ISBN|2908016397}} {{Commentaire biblio| Ce livre traite du théorème des deux carrés avec les outils de Lagrange et de Jacobi ainsi que de l'équation diophantienne en général.}}
* {{Samuel1}}

{{Portail|arithmétique}}

[[Catégorie:Arithmétique élémentaire|*Arithmetique elementaire]]
[[Catégorie:Enseignement des mathématiques]]