Sur diffrents types de dmonstrations

rencontres spcifiquement en arithmtique.

Martine Bhler et Anne Michel-Pajus

[De] Qual ieu ay fach, las flors venes pilhar

Lo rest laysar, si non fassa par vos 1

Un des aspects intressants de larithmtique est quelle porte sur des objets, les entiers,
facilement accessibles par lintuition. Sans avoir besoin dun grand arsenal thorique, on
peut y faire de vritables dmonstrations mathmatiques, sappuyant sur des raisonnements
dune certaine finesse, et obtenir des rsultats non triviaux. Ceci donne larithmtique un
caractre formateur spcifique dans lapprentissage de la dmonstration.

Nous avons limit notre analyse des textes qui proposent explicitement une
dmonstration ; ce qui exclut plusieurs sicles darithmtique que nous nous contenterons de
survoler, en limitant notre tude des textes crits entre le 18me et le 20me sicle.
Nous avons par ailleurs choisi comme point de dpart le petit thorme de Fermat
parce quil figure dans les nouveaux programmes de Terminale S (spcialit) et les textes
prsents ne dpassent gnralement pas ce niveau.
La premire partie repre brivement les mthodes de dmonstration choisies dans
quelques documents pdagogiques rcents.

Dans un second temps nous prsentons une mise en perspective plus large de certaines
questions que nous serons amenes voquer, et nous dtaillons nos outils danalyse : les
quatre types doccurrence du Thorme Fondamental de lArithmtique dune part, une
classification des types de raisonnement, dautre part.
La troisime partie propose lanalyse, selon notre grille, de trois extraits de
dmonstrations du petit thorme de Fermat .
La quatrime partie regroupe des textes autour de la mthode de descente infinie de
Fermat et de ses variantes.
La cinquime partie reprend ltude des diffrentes formes du thorme fondamental,
mais sous un point de vue historique, en pointant leur introduction et les dmonstrations
dimplications entre quatre noncs de ce thorme.

Ainsi, le bagage thorique de base peut se limiter une seule proprit, mais celle-ci
apparat sous des formes diffrentes selon les points de vue. Certaines faons de raisonner se
retrouvent tout au long de lhistoire, sous des formes plus ou moins formalises. Nous
proposons dans cet article une classification de cette multiplicit dapproches, que nous
esprons clairante pour les enseignants.

1
[De] ce que jai fait, venez piller les fleurs, Laissez le reste, sil nest fait pour vous.
Concours : la premire personne qui nous donnera la rfrence exacte de cette citation (extraite dun ouvrage de
mathmatiques) gagne le prochain numro de Mnmosyne

19
 I. Les choix des programmes et des manuels de Terminale S (spcialit
mathmatiques) en 2002

Le programme comporte entre autres rsultats lexistence et lunicit de la

dcomposition en produit de facteurs premiers (dont lunicit pourra tre admise ), et les
thormes de Bzout et Gauss (avec comme application : petit thorme de Fermat ). Le
document daccompagnement des programmes ne donne pas de cls pour les dmonstrations
des thormes de Bzout et Gauss, mais relie le rsultat de Bzout la recherche des points
coordonnes entires sur une droite. Par contre, trois dmonstrations sont proposes pour le
petit thorme de Fermat : celle de Tannery (voir supra page 28), celle utilisant le
dveloppement du binme (avec une descente jusqu un entier convenable comme dans le
cours de Legendre), et une dmonstration combinatoire dnombrant les diffrents coloriages
possibles dun polygone rgulier p sommets (voir annexe 5).

Dans les manuels que nous avons consults, nous avons trouv trois types de dmarches.
Dans certains manuels (Collection Math x, Didier ; collection Hyperbole, Nathan), on
commence par dmontrer, par remonte de lalgorithme dEuclide, que, si d = PGCD(a,b),
alors il existe u et v entiers relatifs tels que au + bv = d, puis que lensemble des nombres de la
forme au + bv, avec u et v entiers relatifs, est lensemble des multiples de d. On en tire comme
cas particulier le thorme de Bzout ( a et b sont premiers entre eux si et seulement si il
existe des entiers relatifs u et v tels que au + bv = 1), puis, comme consquence du thorme
de Bzout, le thorme de Gauss : si a divise bc et si a est premier avec b, alors il existe des
entiers relatifs u et v tels que au + bv = 1, donc acu + bcv = c ; comme a divise acu et bc, alors
a divise c.
Dautres manuels (Collection Indice, Bordas ; collection Transmath, Nathan ; collection
Terracher, Hachette) dmontrent le thorme de Bzout par une mthode combinant
lutilisation du plus petit lment dune partie non vide de N et division euclidienne. On
considre deux nombres entiers a et b premiers entre eux. Lensemble E des nombres entiers
naturels non nuls de la forme au + bv, avec u et v entiers relatifs, nest pas vide, car il contient
les multiples strictement positifs de a et b. Il admet donc un plus petit lment d, qui est
strictement positif. On effectue la division euclidienne de a par d : a = dq + r o 0 r < d et
on sait que d = au0 + bv0, avec u0 et v0 entiers relatifs. On a alors : r = a dq = au + bv avec u
= 1 u0q et v = -v0q. Comme d est le plus petit lment strictement positif de E, r = 0, donc d
divise a. On dmontre de mme que d divise b. Donc d = 1. On vient de montrer que, si deux
nombres entiers a et b sont premiers entre eux, il existe u et v entiers relatifs tels que
au + bv = 1. La rciproque est vidente. On en tire le thorme de Gauss comme ci-dessus.
Enfin, un dernier manuel (Collection Fractale, Bordas) sintresse dabord aux
proprits du PGCD. Il nonce sans dmonstration les proprits suivantes :
si a et b sont des entiers et k un entier naturel non nul, alors
PGCD(ka,kb) = kPGCD(a,b).
a b 1
si d est un entier naturel diviseur commun de a et b, PGCD( , ) = PGCD(a,b) .
d d d
Do on tire que tout diviseur commun de a et b divise leur PGCD.
On donne ensuite la proprit suivante : si d = PGCD(a,b), alors il existe u et v entiers
relatifs tels que au + bv = d. La proprit est montre sur un exemple numrique considr
comme gnrique, en remontant lalgorithme dEuclide. On en tire le thorme de Bzout.
La dmonstration du thorme de Gauss est indpendante du thorme de Bzout : si a
et b sont deux nombres premiers entre eux tels que a divise bc, alors
PGCD(ac,bc) = cPGCD(a,b) = c. Comme a est un diviseur commun de ac et bc, il divise leur
PGCD, cest--dire c.

20
 On remarque des dmarches trs diversifies dans les diffrents manuels, ce qui montre
lintrt des diffrentes approches. Ce qui apparat essentiel est le thorme de Bzout. Ce
thorme jouera un rle important dans le dveloppement ultrieur de lalgbre, en liaison
avec la notion danneau principal, mais pas dans la priode que nous tudions ici. Cest
pourquoi il napparat pas dans ltude des textes propose ici.

II. 1. Un survol historique de travaux en arithmtique

Les considrations sur pair-impair, multiples, nombres premiers nous viennent

probablement de lcole de Pythagore. Cependant, on ne possde aucun texte des
Pythagoriciens. On connat ce courant par luvre des no pythagoriciens Nicomaque de
Grase et Thon de Smyrne (IIme sicle aprs J.-C.). Le premier a crit une Introduction
Arithmtique2, dans laquelle on trouve des considrations sur pair-impair, nombres figurs,
crible dEratosthne. Le second a galement crit une Arithmtique3 destine assister la
lecture des textes de Platon. Chez aucun des deux on ne trouve de vritable dmonstration au
sens dune suite de propositions logiquement articules les unes aux autres comme celles
quon trouve chez Euclide, Apollonius ou Archimde. Par contre, on y voit trs nettement un
effort original, soit pour expliquer la formation ou les proprits de certaines sries de
nombres partir de dispositions gomtriques des units composant un entier en figures4, soit
pour subordonner la formation de certaines sries de nombres dautres sries considres
comme plus simples ou plus fondamentales.5 Cette tradition a eu une influence extrmement
grande sur la pense antique et mdivale : dans la tradition grecque elle-mme, elle a
contribu chez les noplatoniciens tardifs comme Jamblique, Syrianus ou Proclus leur
dfinition de la mathmatique gnrale , notion qui a eu son tour une grande importance
la Renaissance. Le moyen-ge latin a tudi ce type darithmtique au travers de la
traduction trs influente que Boce a donn de Nicomaque ; dans le Moyen-Age arabe, ce
texte a galement t traduit assez tt et a donn lieu des dveloppements originaux, qui
visaient notamment fonder par des dmonstrations gomtriques certaines dmarches
nopythagoriciennes.6
La civilisation chinoise a laiss des travaux arithmtiques, dont le clbre thorme des
restes, dont le nom vient du problme 26 du chapitre 3 du Sunzi Suanjing (Manuel
Mathmatique du Matre Sun) datant environ du quatrime sicle de notre re. On y trouve
des rgles de rsolution sans explicitation des dmonstrations au sens euclidien du terme,
mais avec des commentaires sur leur raison dtre, leur validit, etc..7
Les Elments dEuclide (IIIme sicle avant J.C.) restent une source importante sur les
connaissances des Grecs en arithmtique. Ce trait est essentiellement gomtrique, mais
contient nanmoins trois livres consacrs larithmtique, prsentant des dfinitions et des

2
Nicomaque de Grase, Introduction Arithmtique , Trad. J. Bertier, Vrin, 1978
3
J.Dupuis, Ce qui est utile en mathmatiques pour la lecture de Platon, Bruxelles, 1966
4
Cest ce quon appelle couramment les nombres figurs. Pour comprendre lesprit de lexpos de Thon de
Smyrne sur ce sujet, on pourra se reporter lextrait traduit dans ce mme numro dans les bonnes vieilles
pages.
5
Ce type de conception de larithmtique, qui nest pas vraiment dissociable du sens philosophique tendu que
ces auteurs lui donnaient initialement, est un des grands anctres antiques de la pense mathmatique moderne et
du rle prpondrant quy joue larithmtique des nombres entiers.
6
Sur ce point voir le rsum sur le dveloppement de larithmtique arabe dans Histoire des Sciences Arabes,
vol.2, dir. R. Rashed, Seuil 1997, pp.21-29 et 85-91, et la traduction de quelques textes significatifs des efforts
de dmonstration dans R. Rashed, Entre arithmtique et algbre, Belles Lettres 1984, Linduction
mathmatique : al-Karaji, as-Samawal, pp.71 seq.
7
Voir Les neuf chapitres dits et comments par K. Chemla et G. Shuchun, Dunod 2004 et J.C. Martzloff,
Histoire des mathmatiques chinoises, Masson, 1987.

21
propositions sur les nombres, avec des dmonstrations fondes sur un raisonnement
hypothetico-dductif.
Diophante dAlexandrie, dont on connat peu de choses (il a vcu entre le IIme sicle
avant J.-C. et le IVme sicle aprs J.-C.), a crit une uvre originale. Ses Arithmtiques
comportaient au dpart 13 livres8, qui prsentent des problmes sur les nombres et des
mthodes novatrices pour les rsoudre. Ils ont t traduits en arabe par un algbriste, ce qui
explique la manire dont les arabes ont majoritairement lu Diophante et utilis loutil
algbrique pour rsoudre les problmes diophantiens. Un autre courant, initi en particulier
par al-Khazin, a dvelopp une arithmtique entire sans algbre.
On retrouve ces deux tendances aux XVIme et XVIIme sicles en Occident. Diophante,
longtemps oubli en Occident, est redcouvert la Renaissance par six des treize livres des
Arithmtiques. Bombelli incorpore des problmes de Diophante dans ldition de lAlgebra de
1572. En Allemagne, la mme poque, Xylander publie une traduction en latin de
Diophante (1575). La nouvelle algbre de Vite emprunte beaucoup Diophante. Enfin,
Bachet de Mziriac donne en 1621 une dition bilingue en grec et en latin de ces six livres
retrouvs. Cest cette dition que lit et annote Fermat, donnant ainsi un nouvel lan
larithmtique. Mais ce renouveau est le fait de toute une poque[16bis]. Notons que Fermat
na jamais crit de trait darithmtique ; cest dans sa correspondance quil faut chercher ses
travaux en arithmtique.
Au XVIIIme sicle, Euler, qui sintresse tous les domaines des mathmatiques, publie
dans les Commentaires de lAcadmie de Petersbourg un certain nombre de dmonstrations
de rsultats noncs par Fermat. Au XIXme sicle, lintrt pour larithmtique est renouvel
par les travaux de Lagrange, Legendre et Gauss.
Et cest ici que commencera notre histoire

II.2. Nos outils danalyse

En examinant les arguments de divisibilit, on saperoit que les auteurs utilisent,

explicitement ou non, un des quatre rsultats fondamentaux (quivalents entre eux) suivants :

Proposition 32 dEuclide dite Lemme dEuclide : [LE1] : si un nombre
premier divise un produit, alors il divise lun des facteurs du produit.9. On le rencontre aussi
sous sa forme contrapose [LE2] : si un nombre premier p ne divise ni a ni b, alors il ne divise
pas le produit ab.

Proposition 26 dEuclide [PE] : si deux nombres a et b sont premiers avec c, le
produit ab sera aussi premier avec c.

Thorme de Gauss [TG] : si un nombre divise un produit et est premier avec
lun des facteurs du produit, alors il divise lautre.

Thorme fondamental de lArithmtique [TF] : la dcomposition dun
nombre entier en produit de facteurs premiers est unique. Notons que le thorme
fondamental renvoie souvent aussi lexistence de la dcomposition, qui nest pas concerne
ici.
Lquivalence de ces quatre rsultats est montre dans lAnnexe 1a. Nous donnons dans
lannexe 1b un exemple danneau dans lequel ces proprits ne sont pas vrifies.
Il est intressant de se demander lesquels des quatre noncs du Thorme fondamental
sont utiliss et/ou explicits et/ou dmontrs dans les textes, de regarder leur ordre

8
Voir Mnmosyne n14 pages 43-51.
9
La numrotation est celle de la traduction de Peyrard [2]. Les propositions 26 et 32 dont il est question ici
figurent dans le livre VII.

22
dexposition, la faon dont ils apparaissent lis, et les mthodes mises en uvre. Nous
navons fait ce travail que pour quelques traits mais cette recherche suffit montrer les
diffrents points de vue des auteurs et leurs priorits. Un autre rsultat fondamental
frquemment utilis est la relation de division euclidienne, que nous ne questionnerons pas
ici.

On saperoit en cours de route que ces auteurs dploient une riche varit de mthodes.
Nous tentons ci-dessous une classification sommaire de ces mthodes de raisonnements, telles
quelles apparaissent travers lorganisation des dmonstrations.

Mthodes de tiroirs.
o [MPT] : Utilisation dun nombre fini de tiroirs pour ranger des objets en
nombre strictement suprieur : il y a donc au moins un tiroir contenant au moins deux
objets. Ce rsultat sappelle principe des tiroirs (pigeonholes) ou principe de
Dirichlet .
o [MDC] : Partition des situations tudies en un nombre fini de cas
quon examine exhaustivement. Cest la mthode de disjonction des cas .
o [MBi] : Mise en bijection de deux ensembles finis de mme cardinal.

Mthodes descalier.
o [MDF] : Descente finie jusqu un entier convenable fournissant la
conclusion soit directement soit par labsurde.
o [MDI] : Descente qui porte en elle-mme sa contradiction parce quelle
construit une suite infinie strictement dcroissante dentiers positifs. Cest la
mthode de descente infinie de Fermat.
o [MIS] : Induction simple : on dmontre le passage dun entier
particulier spcifi au suivant et cet exemple gnrique justifie la gnralisation.
o [MRG] : Raisonnement par rcurrence gnralis.
o [MPPE] : Raisonnement utilisant le plus petit lment dune partie non
vide de N ( ou mthode du plancher !)

On trouvera dans lannexe 2 une dmonstration de lquivalence logique des mthodes

[MDI], [MRG] et [MPPE].

Nous prsentons ci-aprs notre travail

danalyse selon cette double grille : mthodes,
avatars du Thorme fondamental.

Pierre de Fermat

23
 III. Un choix de textes autour de la dmonstration du petit thorme de Fermat

III.1. Un texte de Legendre.

Nous examinons dabord un extrait de la Thorie des nombres de Legendre [6]. La

premire dition date de 1798 ; celle que nous avons utilise est une rdition par Blanchard
en 1955 de ldition de 1830.

24
 La dmonstration de Legendre reprend la premire dmonstration donne par Euler en
1736 dans les Mmoires de Ptersbourg, comme le rappelle Legendre dans la note. Elle
repose sur le dveloppement du binme ; Legendre montre que le nombre premier c divise
tous les coefficients du dveloppement lexception du premier et du dernier. Le fait que les
coefficients sont des entiers est implicite : dans la dmonstration quEuler donne en 1736, il
prcise que ces coefficients sont entiers car il reconnat en eux des nombres figurs.
Pour Legendre, cela semble un rsultat bien connu. Largument de divisibilit mis en
jeu est le lemme dEuclide [LE1], sans ambigut possible. Au dbut de son trait, Legendre
dmontre dailleurs ce lemme (nous en verrons la dmonstration plus bas), mais nnonce pas
le thorme de Gauss. Lunicit de la dcomposition en facteurs premiers nest pas non plus
explicitement nonce. La dmonstration se termine laide dune mthode descalier,
menant par descente finie lentier convenable 0 [MDF]. Notons quil utilise pour ce faire un
calcul en omettant les multiples de c , cest--dire pour nous un calcul de congruences.

III.2. Un texte dEuler

Le deuxime texte tudi est le dbut dun article dEuler(1758) [3] o celui-ci propose
une dmonstration du petit thorme de Fermat (il ne sagit pas de sa premire dmonstration,
comme nous venons de le lire) .
Si p est un nombre premier ne divisant pas le nombre a, alors p divise ap-1-1.
Pour faciliter la lecture, nous avons dcoup et rorganis le texte. La dmonstration
complte est explique en termes modernes dans lAnnexe 3, accompagne dun texte de
Gauss, la reprenant de faon plus concise.

THEOREME 1

1. Si p est un nombre premier et si a est premier avec p, il ne se trouve aucun terme de

la progression gomtrique
1, a, a2, a3, a4, a5, a6, etc
qui soit divisible par le nombre p.

DEMONSTRATION Cela est vident daprs le livre VII dEuclide, Prop. 26, o il est
dmontr que, si deux nombres a et b sont premiers avec p, le produit ab aussi sera premier
avec p ; et donc, puisque a est premier avec p, en posant b=a, le carr a2 sera premier avec p ;
et en continuant, a3, en posant b=a2 ; de mme, a4, en posant b=a3, etc. Ainsi donc aucune
puissance de a ne sera divisible par le nombre premier p.

Euler utilise donc ici explicitement [PE] et

une induction simple [MIS].
Le thorme 3, que nous regarderons page
suivante, dmontre lexistence de puissances de
a qui ont pour reste 1 dans la division par p.
Lutilisation du rsultat fondamental y est
ambigu, cest pourquoi nous examinerons
dabord les thormes 4 et 5

25
THEOREME 4.
16. Si la puissance a divise par p laisse le reste = r et que le reste de la puissance
suprieure a + est = rs, le reste de la puissance a , par laquelle la seconde surpasse la
premire, sera = s.
[]
SCHOLIE
19. La dmonstration de ce thorme peut aussi se faire ainsi. Puisque a divis par p laisse
r, on aura a = mp + r et de la mme faon a + = np + rs ; donc on aura
a + a s = np mps = (n ms) p et donc le nombre a + a s = a (a s ) sera divisible
par p ; et lun des facteurs a nest pas divisible par p. Donc lautre a s sera divisible par
p, et en consquence la puissance a divise par p donnera le reste = s.

Notons que, dans tout le texte, Euler se rfre ses propositions prcdentes, et donc,
mme sil ne le prcise pas chaque nonc, le nombre p est premier. Ainsi , Euler utilise ici
clairement [LE1].

THEOREME 5
20. Si a est la plus petite puissance aprs lunit qui, divise par p, laisse lunit, alors
aucune des autres puissances ne laisse le mme reste = 1, sauf celles que lon trouve dans la
progression gomtrique
1, a , a 2 , a 3 , a 4 , a 5 etc.

DEMONSTRATION
Supposons en effet quune autre puissance a quelconque donne aussi le reste = 1 si on
la divise par p, et puisquon a > et que cependant nest gal aucun multiple de , on
peut produire lexposant de sorte que = + avec < et lon naura pas = 0. Cest
pourquoi, puisque la puissance a n , aussi bien que a = a n + , laisse lunit quand elle est
divise par p, daprs le 18, cette puissance a aussi aura lunit pour reste et donc a ne
serait pas la plus petite puissance ayant cette proprit, contrairement lhypothse. Cest
pourquoi si a est la plus petite puissance prsentant le reste 1, aucune autre puissance ne sera
dote de la mme proprit, si ce nest celles dont les exposants sont multiples de .

Cest une dmonstration du type [MPPE] : est le plus petit lment de lensemble des
entiers naturels n vrifiant une certaine proprit (ici a n a pour reste 1 dans la division par p)
et, en utilisant une division euclidienne, Euler prouve par labsurde que les seuls lments de
lensemble sont les multiples de .

Revenons maintenant au thorme 3 :

THEOREME 3
12. Si le nombre a est premier avec p et que lon forme la progression gomtrique
1, a, a2, a3, a4, a5, a6, a7 etc
il y a de nombreux termes, qui diviss par p, laissent pour reste 1 et les exposants de ces
termes forment une progression arithmtique.

26
DEMONSTRATION
Parce que le nombre de termes est infini, mais que les diffrents restes ne peuvent se former
en nombre suprieur p 1, il est ncessaire que plusieurs, ou plutt, une infinit de termes

produisent le mme reste r. Soit a et a deux termes de ce type laissant le mme reste r,

alors a a sera divisible par p. Mais a a = a (a 1) , et puisque ce produit est

divisible par p, mais que un facteur a est premier avec p, il est ncessaire que lautre facteur
a 1 soit divisible par p ; do la puissance a divise par p aura le reste = 1. Soit
= , tel que le reste de la puissance a soit = 1, pour toutes les puissances
a 2 , a 3 , a 4 , a 5 etc. pareillement le reste sera aussi = 1. Cest pourquoi lunit sera le reste
de toutes les puissances
1, a , a 2 , a 3 , a 4 , a 5 , a 6 etc.
dont les exposants sont en progression arithmtique.

Euler utilise ici le principe des tiroirs, [MPT], et aussi un rsultat qui semble tre le
thorme de Gauss. Or, la seule rfrence dans toute cette partie du texte des rsultats
arithmtiques connus des lecteurs de lpoque est le recours la proposition 26 dEuclide
[PE] dans la dmonstration du thorme 1 ; le thorme de Gauss, mme sil peut tre
logiquement dduit des propositions euclidiennes, nest pas explicit dans les Elments.
Dautre part, comme nous lavons dit plus haut, Euler considre toujours que le nombre p est
premier et, pour un nombre premier, p ne divise pas a est quivalent p est premier avec
a , ce quEuclide dmontre. Il est probable quEuler pense ici au lemme dEuclide plutt
quau thorme de Gauss.
La suite du texte montre que le plus petit tel que p divise a 1 est un diviseur de p-1,
do lon dduit le petit thorme de Fermat ( cf Annexe 3).
Cette dmonstration du petit thorme de Fermat, sappuyant sur ltude des puissances
dun nombre modulo p, est reprise par Gauss dans la Section Troisime de ses Recherches
Arithmtiques [5]. Dans la premire section, Gauss introduit le langage des congruences7 et
dmontre les proprits utiles sur congruences et oprations. La section seconde contient la
dmonstration de ce que nous appelons le thorme de Gauss [TG] ; nous lexaminerons
en dtail dans la partie IV.
La section troisime commence par une dmonstration du thorme de Fermat
semblable celle donne par Euler dans le texte tudi ici. Elle utilise des proprits
arithmtiques et les puissances du nombre a. Nous donnons en annexe 3 un rsum de cette
dmonstration et le texte de Gauss.
Gauss suggre les raisons qui ont pouss Euler chercher une dmonstration diffrente
de celle trouve en 1736.

7
Rappelons quon dit que a est congru b modulo un entier m (ce quon note a b (mod m)) lorsque m divise
lentier b a ; les congruences sont compatibles avec laddition et la multiplication.

27
 III.3. Un texte de Tannery

Il sagit dune nouvelle dmonstration du thorme de Fermat, donne par Jules Tannery
dans ses confrences lEcole Normale Suprieure, semblable celle donne actuellement
par certains manuels de Terminale Scientifique (spcialit). Le texte est tir de lIntroduction
ltude de la thorie des nombres et de lalgbre suprieure par Emile Borel et Jules Drach
(1894) [1].
On trouve au dbut du trait la dfinition et les proprits des congruences modulo un
entier m, utilises dans la dmonstration suivante :

Dans le cas o m est un nombre premier p, chaque

nombre non divisible par p est premier ce nombre : si donc
dans lexpression ax o a nest pas divisible par p on
substitue p 1 nombres x incongrus entre eux et 0 (mod.p),
on obtiendra p 1 nombres congrus ces mmes nombres
x1, x2 ,...x p1 rangs dans un autre ordre ; le produit des
nombres ax1, ax2 ,...ax p 1 est donc congru (mod.p) au produit
x1x 2 ...x p 1 , et comme le dernier produit est premier p, on en
conclut a 1 0 (mod.p).
p1

Cest le clbre thorme de Fermat, qui joue, dans la

thorie des nombres, un rle essentiel10 et dont nous
rencontrerons incidemment dautres dmonstrations ;
observons quon en dduit immdiatement la proposition
suivante : quel que soit le nombre entier a et le nombre
premier p, on a a a 0 (mod.p).
p

Le dbut de la dmonstration utilise le thorme de Gauss [TG] et la mthode des

tiroirs [MBi]: lorsquon considre p 1 nombres x1, x2 ,...x p1 incongrus entre eux et 0
(mod.p), alors ces p 1 nombres sont, lordre prs, les p 1 diffrents restes non nuls
possibles modulo p ; il y a bien ici une bijection. Le nombre p ne peut pas diviser
( )
ax j ax i = a x j x i pour i j car il est premier avec a et devrait donc diviser
x j x i daprs le thorme de Gauss [TG] dmontr plus haut dans le trait (voir infra
pages 44). Donc les p 1 nombres ax1, ax2 ,...ax p 1 sont distincts deux deux modulo p et
sont gaux dans leur ensemble aux p 1 diffrents restes non nuls possibles modulo p. On a
ainsi ax1ax 2 ...ax p1 x1 x2 ...x p 1 (mod.p).
Donc le nombre premier p divise ax1ax 2 ...ax p1 x1 x2 ...x p 1 = (a
p1
( )
1) x1 x2 ...x p 1 et
1 ([TG] nouveau).
p1
comme le nombre p est premier x1x 2 ...x p 1 , p divise a

La dmonstration de Tannery est sduisante et lgante, par sa brivet et la faon

magistrale dont elle utilise les congruences. Son utilisation en classe, mme si elle ncessite
plus des six lignes de Tannery pour la faire comprendre nos lves de terminale, prsente

10
Le thorme de Fermat intervient de manire essentielle dans la recherche de la forme des diviseurs des
2n
nombres de Mersenne (2n-1) et de Fermat ( 2 + 1) ; un article sur le sujet est en prparation pour un numro
ultrieur de Mnmosyne. Il existe galement des rciproques partielles de ce thorme donnant des tests de
primalit.

28
lavantage quon peut apprhender cette dmonstration dans sa totalit, sans avoir oubli la
fin de nos efforts les prmisses et le cheminement.
Elle nous sduit aussi par la puissance quelle rvle du principe des tiroirs, principe qui
parat si vident, et qui est ici utilis par son avatar de la mise en bijection de deux ensembles
de mme cardinal.
Ce nest sans doute pas un hasard si ce type de dmonstration, aussi brve et percutante,
apparat presque un sicle aprs la publication du livre de Gauss. Nous avons vu Legendre
utiliser la thorie des congruences implicitement, puis Gauss la formaliser explicitement. Elle
est la fin du dix-neuvime sicle compltement digre.
Mais, si elle est convaincante et lgante, cette dmonstration ne donne pas les raisons
profondes de notre thorme. En ce sens, le dtour par la dmonstration dEuler, reprise par
Gauss, tudiant dans le dtail le comportement des puissances dun entier modulo p, est plus
clairante. Elle montre comment les p 1 rsidus non nuls modulo p se rpartissent en
classes dfinies laide des puissances modulo p dun entier a, classes qui ont toutes le
mme cardinal. Cest dailleurs bien en termes de puissances que Fermat nonce son
thorme dans sa lettre Frnicle du 18 octobre 1640 :

4. Il me semble aprs cela quil importe de vous dire le fondement sur lequel jappuie
les dmonstrations de tout ce qui concerne les progressions gomtriques, qui est tel :
Tout nombre premier mesure infailliblement une des puissances moins 1 de quelque
progression que ce soit, et lexposant de la dite puissance est sous multiple du nombre premier
1 ; et aprs quon a trouv la premire puissance qui satisfait la question, toutes celles dont
les exposants sont multiples de lexposant de la premire satisfont tout de mme la question.
Exemple : soit la progression donne
1 2 3 4 5 6
3 9 27 81 243 729
etc. avec ses exposants en dessus.
Prenez, par exemple, le nombre premier 13. Il mesure la troisime puissance moins 1,
de laquelle 3, exposant, est sous-multiple de 12, qui est moindre de lunit que le nombre 13,
et parce que lexposant de 729, qui est 6, est multiple du premier exposant, qui est 3, il
sensuit que 13 mesure aussi la dite puissance 729- 1.
Et cette proposition est gnralement vraie en toutes progressions et en tous nombres
premiers ; de quoi je vous envoierois la dmonstration, si je napprhendois dtre trop long.
Il sagit bien l semble-t-il de travailler sur les puissances dun entier. Et le rsultat est
plus prcis que celui gnralement appel thorme de Fermat , puisquon sintresse au
plus petit entier tel que le nombre premier p divise a - 1. On aimerait connatre le
cheminement de la pense de Fermat, pour en arriver ce quil appelle le fondement sur
lequel jappuie les dmonstrations de tout ce qui concerne les progressions gomtriques
IV. Quelques textes autour des mthodes de descente infinie, de plancher et de
rcurrence.

IV.1.Un texte dEuclide, extrait du livre VII des lments [2].

La proposition quon va dcouvrir est un des tout premiers noncs du principe sur
lequel se fonde ce que Fermat baptisera plus tard, comme nous le verrons ensuite (IV.2.2), la
mthode de descente infinie . Elle fait partie de la srie des livres VII, VIII et IX des
Elments dEuclide, quon appelle parfois ses livres arithmtiques . Larithmtique dont il
sagit, cependant, repose fondamentalement sur une reprsentation gomtrique des nombres,

29
quEuclide conoit le plus souvent comme des droites.11 Les algorithmes arithmtiques sont
donc penss chez lui sur la base de procdures gomtriques, comme celle de mesure dune
droite par une autre : que la droite A mesure12 la droite B veut dire quon peut adjoindre13
entre elles un certain nombre de droites gales A pour composer14 la droite B.

A mesure B
B
A B est compos de droites gales A.

Cest sur cette base quon peut comprendre la dfinition quEuclide donne dun nombre
compos, ainsi que par exemple celle de la multiplication dun nombre par un autre.
Df VII.14 : Un nombre compos est celui [qui est] mesur par un certain nombre.
Df VII.16 : Un nombre est dit multiplier un nombre quand, autant il y a dunits en lui,
autant de fois le multipli est ajout [ lui-mme], et quil est produit un certain [nombre].

Notons quici, comme lcole primaire, le nombre qui multiplie na pas le mme statut
que celui qui est multipli en fait ajout lui-mme autant de fois quil y a dunits dans
le multiplicateur. Dans le schma ci-dessus, si A et B reprsentent des nombres, on peut faire
correspondre la multitude des droites gales A qui, ajoutes, composent B, le nombre
quatre, et dire que quatre, multipliant A, produit le nombre B.
Nous sommes maintenant arms pour dcouvrir la proposition 31 du livre VII, qui
montre, dans notre langage, que tout nombre compos (non premier) est divisible par un
certain (cest--dire au moins un) nombre premier.

Prop. VII. 31 : Tout nombre compos est mesur par un certain nombre premier.
Soit un nombre compos A. Je dis que A est mesur par un certain nombre premier.
En effet, puisque A est compos, un certain
nombre le mesurera. Quil le mesure et que ce soit B. A
15
Et si B est premier, ce qui tait prescrit aura t fait.
Sil est compos, un certain nombre le mesurera. B
Quil le mesure et que ce soit C. Et puisque C mesure B
et que B mesure A, le [nombre] C mesure donc aussi A. C
Et, dune part si C est premier, ce qui tait prescrit aura t fait, dautre part sil est compos,
un certain nombre le mesurera. Alors linvestigation tant poursuivie de cette faon, un
certain nombre premier sera trouv qui mesurera [A]. Car sil ne sen trouvait pas, des
nombres en quantit illimite mesureraient le nombre A, dont chacun serait plus petit que le
prcdent ; ce qui est impossible dans les nombres. Donc un certain nombre premier sera
trouv qui mesurera le [nombre] prcdent et qui mesurera aussi A.
Donc tout nombre compos est mesur par un certain nombre premier. Ce quil fallait
dmontrer.

11
Le mot droite est pour nous un faux ami : dans le langage euclidien en effet, il renvoie une ligne droite
limite des deux cts, cest--dire ce que nous appelons un segment de droite.
12
mesurer se dit en grec metrein ou katametrein, de la mme racine que metron, mesure, do nous vient notre
mtre. De fait notre opration de mesure laide dun mtre renvoie assez bien au concept euclidien.
13
On pourrait dire encore ajouter, condition de bien entendre par l ad-jouxter, ou faire se jouxter bout bout :
lajout (gomtrique) nest donc pas laddition (arithmtique).
14
La composition se dit en grec sunthesis, de suntithmi, poser ensemble, do nous vient synthse. Ce terme
technique renvoie donc en gnral lajout de deux objets gomtriques.
15
Ce langage voque en fait une rsolution de problmes, comme si lnonc tait : Etant donn un nombre
compos, trouver un nombre premier qui le mesure.

30
 Largument essentiel de cette proposition revient ce que nous formulerions ainsi : il
ny a pas de suite infinie strictement dcroissante dentiers naturels. Il faut noter par ailleurs
que la dmonstration repose en fait sur lanalyse dun algorithme quon pourrait imaginer se
poursuivre indfiniment, au cas o aucun diviseur premier ntait trouv. Cet algorithme nest
pas dcrit en gnral au sens o nous lentendons, cest--dire en dcrivant le passage dune
tape quelconque la suivante, mais il est dcrit sur les deux ou trois premiers pas, qui
permettent de concevoir comment on pourrait poursuivre. Ce type de raisonnement laide
dun exemple gnrique est rest courant pendant longtemps, comme nous avons eu
loccasion de le voir chez Euler (cf. texte III.2).

IV.2. Quelques changes pistolaires du XVIIme

Au XVIIme sicle, Fermat sempare de cette proprit des nombres entiers pour en faire
une route tout fait singulire , quil appelle mthode de descente infinie. Fermat occupe
en effet une place singulire au XVIIme sicle : les mthodes gnrales donnes par lalgbre
pour rsoudre de nombreux problmes dtournent un certain nombre de mathmaticiens des
problmes arithmtiques, qui semblent particuliers et peu susceptibles de gnralit. Ainsi,
Descartes se plaint Mersenne [7] des questions incessantes quil lui pose sur les nombres en
arguant quil a autre chose faire.

IV.2.1. Un extrait de lettre de Descartes

DESCARTES MERSENNE
3 JUIN 1638
Au reste, mon Reverend Pere, je vous crie mercy, et jay les mains si lasses descrire
cette lettre, que je suis contraint de vous supplier et vous conjurer de ne me plus envoyer
aucunes questions, de quelque qualit quelles puissent estre ; car, lorsque je les ay, il est
malays que je mabstiene de les chercher, principalement si je say quelles vienent, comme
celles-cy, de quelque personne de merite. Et mestant propos une estude pour laquelle tout le
tems de ma vie, quelque longue quelle puisse estre, ne saurait suffire, je ferois tres mal den
employer aucune partie des choses qui ny servent point. Mais, outre cela, pour ce qui est
des nombres, je nay jamais pretendu dy rien savoir, et je my suis si peu exerc que je puis
dire avec verit que, bien que jaye autrefois appris la division et lextraction de la racine
quarre, il y a toutefois plus de 18 ans que je ne les say plus, et si javois besoin de men
servir, il faudroit que je les estudiasse dans quelque livre dArithmetique, ou que je taschasse
les inventer, tout de mesme que si je ne les avois jamais sceus.

Mais Fermat est la fois algbriste et arithmticien ; or, en algbre, on perd la

spcificit des nombres entiers. Fermat cherche un moyen de la rcuprer tout en utilisant la
force du calcul algbrique16.
Il sintresse aux triangles rectangles en nombres , qui posent le mme problme que
les triplets pythagoriciens, cest--dire les triplets (a,b,c) vrifiant c = a + b et pouvant
2 2 2
17
donc tre les cts dun triangle rectangle.

16
Voir C.Goldstein, le mtier des nombres au 18me et 19me sicles, in Elments dHistoire des sciences, sous la
direction de Michel Serres, Larousse 1997, pp 411-443.
17
Voir dans la brochure n79 de lIREM Paris VII un problme partir dun texte de Diophante ce sujet.

31
 IV.2.2 Des extraits de lettres de Fermat et de Wallis
FERMAT CARCAVI18
AOUT 1659.
RELATION DES NOUVELLES DCOUVERTES EN LA SCIENCE DES
NOMBRES .

1. Et pour ce que les mthodes ordinaires, qui sont dans les Livres, toient insuffisantes
dmontrer des propositions si difficiles, je trouvai enfin une route tout fait singulire pour
y parvenir. J'appelai cette manire de dmontrer la descente infinie ou indfinie, etc. ; je ne
m'en servis au commencement que pour dmontrer les propositions ngatives, comme, par
exemple:
Quil ny a aucun nombre, moindre de lunit quun multiple de 3, qui soit compos
dun carr et du triple dun autre carr ;
Fermat affirme ici quil nexiste pas de nombre de la forme 3n-1, avec n entier, gal
a2+3b2, avec a, b et n entiers.
Quil n'y a aucun triangle rectangle en nombres dont l'aire soit un nombre quarr.
La preuve se fait par 19 en cette manire:
S'il y avoit aucun triangle rectangle en nombres entiers qui et son aire gale un
quarr, il y auroit un autre triangle moindre que celui-l qui auroit la mme proprit. S'il y en
avoit un second, moindre que le premier, qui et la mme proprit, il y en auroit, par un
pareil raisonnement, un troisime, moindre que ce second, qui auroit la mme proprit, et
enfin un quatrime, un cinquime, etc. l'infini en descendant. Or est-il qu'tant donn un
nombre, il n'y en a point infinis en descendant moindres que celui-l (j'entends parler toujours
des nombres entiers). D'o on conclut qu'il est donc impossible qu'il y ait aucun triangle
rectangle dont l'aire soit quarre.
On infre de l qu'il n'y en a non plus en fractions dont l'aire soit quarre; car, s'il y en
avoit en fractions, il y en auroit en nombres entiers, ce qui ne peut pas tre, comme il peut se
prouver par la descente.
Je n'ajoute pas la raison d'o j'infre que, s'il y avoit un triangle rectangle de cette nature,
il y en aurait un autre de mme nature, moindre que le premier, parce que le discours en seroit
trop long et que c'est l tout le mystre de ma mthode. Je serai bien aise que les Pascal et les
Roberval et tant d'autres savans la cherchent sur mon indication.

Fermat expose ici le principe de la mthode en lappliquant apparemment une suite de

triangles ; mais ces triangles en nombres entiers fournissent en fait trois suites de nombres
(les mesures de leurs trois cts). Cest limpossibilit de construire ces suites infinies
strictement dcroissantes dentiers qui lui permet de conclure. Notons que Fermat ne prcise
pas ce quil entend par triangle moindre quun autre. Le lecteur sera peut-tre du de ne
pas voir ici comment on obtient ce fameux deuxime triangle moindre que celui-l qui
auroit la mme proprit . En fait, dans une autre lettre, Fermat donne une dmonstration

18
(Corresp, Huygens n 651, (1) Publie pour la premire fois par M, Charles Henry (Recherches, p. 113-116)
d'aprs une copie de la main de Huygens. Cette pice avait t envoye depuis peu par Fermat Carcavi,
lorsque celui-ci la communiqua Huygens, le 14 aot 1659.
19
Littralement : conduite jusqu limpossible. Il sagit dun terme consacr depuis Aristote. Fermat utilise
plus bas le terme : dduction limpossible.

32
explicite ; Frnicle de Bessy en donne une galement. Ces dmonstrations sont longues et
difficiles, aussi renvoyons-nous le lecteur intress louvrage de Catherine Goldstein Un
thorme de Fermat et ses lecteurs cit en bibliographie [15] : les textes de Fermat et Frnicle
y sont donns et abondamment comments.
On voit ici Fermat sintresser la dmonstration de limpossibilit de certaines
proprits, position fort moderne, mais peu prise lpoque. Ainsi, Wallis crit-il [4], p.438:

WALLIS DIGBY

Il ne ma certes pas t dsagrable, sur le dsir exprim par votre trs noble
correspondant [Fermat], dengager une, deux fois la lutte avec lui et de descendre dans son
arne ; mais cet illustre savant nattend pas, sans doute, que je continue toujours le mme
exercice, et que, comme si je navais rien autre chose faire, jaborde sans cesse de nouvelles
questions, perptuellement renaissantes.
Jen dis autant pour ses rcentes propositions ngatives, que : en dehors de 25, il ny a
aucun nombre carr entier, qui augment de 2, fasse un cube ; ni, en dehors de 4 et 121, aucun
qui, augment de 4, fasse un cube. Si cela est vrai ou non, je ne men soucie pas extrmement,
alors que je ne vois pas quelle grande consquence peut en dpendre. Je ne mappliquerai
donc pas le rechercher. En tout cas, je ne vois point pourquoi il en fait montre comme de
choses dune hardiesse tonnante et qui doivent stupfier soit M. Frenicle, soit aussi les
Anglais ; car de telles dterminations ngatives sont trs frquentes et nous sont familires.
Les siennes navancent rien de mieux ou de plus fort que si je disais :
Il ny a pas (en entiers) de cubocube (jentends une sixime puissance) ou mme de
carr, qui ajout 62, fasse un carr.
Ou : en dehors de 4, il ny a aucun carr qui, ajout au nombre 12 fasse un bicarr.
Ou : en dehors de 16, il ny a pas de bicarr qui, ajout 9, fasse un carr.

Il est facile dimaginer dinnombrables dterminations ngatives de la sorte.

Fermat est conscient de ces rserves et affirme quil peut appliquer sa mthodes des
questions affirmatives dans le paragraphe suivant de sa lettre Carcavi dAot 1659. Nous
navons malheureusement pas trouv le dtail de ses dmonstrations !!!

2. Je fus longtemps sans pouvoir appliquer ma mthode aux questions affirmatives,

parce que le tour et le biais pour y venir est beaucoup plus malais, que celui dont je me sers
aux ngatives. De sorte que lorsqu'il me fallut dmontrer que tout nombre premier qui
surpasse de l'unit un multiple de 4, est compos de deux quarrs , je me trouvai en belle
peine. Mais enfin une mditation diverses fois ritre me donna les lumires qui me
manquoient, et les questions affirmatives passrent par ma mthode, l'aide de quelques
nouveaux principes qu'il y fallut joindre par ncessit. Le progrs de mon raisonnement en ces
questions affirmatives est tel: si un nombre Premier pris discrtion, qui surpasse de l'unit
un multiple de 4, n'est point compos de deux quarrs, il y a l un nombre premier de mme
nature, moindre que le donn, et ensuite un troisime encore moindre, etc. en descendant
l'infini jusques ce que vous arriviez au nombre 5, qui est le moindre de tous ceux de cette
nature, lequel il s'ensuivroit n'tre pas compos de deux quarrs, ce qu'il est pourtant. D'o on
doit infrer, par la dduction l'impossible, que tous ceux de cette nature sont par consquent
composs de deux quarrs.

33
 IV.3.Un texte de Legendre [6].

Examinons maintenant une variante de cette mthode dans une dmonstration du lemme
dEuclide .

VI. Tout nombre premier qui ne divise ni l'un ni l'autre des facteurs A et B, ne peut
diviser leur produit A B.
Cette proposition tant l'une des plus importantes de la thorie des nombres, nous
donnerons sa dmonstration tout le dveloppement ncessaire.
Soit, s'il est possible, un nombre premier qui ne divise ni A ni B, mais qui divise le
produit A B, on pourra supposer qu'en divisant A par on a le quotient m (qui pourrait tre
zro) et le reste A; on aura donc A = m + A', et semblablement B = n + B'.
Donc AB = m n 2+ n A + m B' + A' B'. Cette quantit, d'aprs l'hypothse, doit tre
divisible par , et comme les trois premiers termes sont divisibles par , il faudra que le
quatrime A' B' soit galement divisible par ; ainsi nous pourrons faire A' B'=C' .
Dans ce premier rsultat, nous remarquerons 1 que A et B' ne sont zro ni l'un ni
l'autre, parce que A et B sont supposs non divisibles par ; 2 que A' et B', comme restes de
la division par , sont moindres que ; 3 qu'aucun des nombres A' et B' ne peut tre gal
lunit ; car si on avait A = 1, le produit AB se rduirait B ; or B tant < , il est
impossible quon ait B' = C .
Nous avons donc deux nombres entiers, A', B', tous deux plus grands que lunit, et
tous deux moindres que , dont le produit est divisible par , de sorte qu'on a A' B' = C.
Voyons les consquences qui en rsultent.
Puisque A' est moindre que , on peut diviser par A'; soit p le quotient et A" le reste,
on aura = p A' +A"; donc B'= p A'B' +A"B'.
Le premier membre est divisible par , il faut donc que le second le soit aussi. Mais la
partie A'B' est divisible d'elle-mme par , puisque A'B' = C'; donc 1'autre partie A"B' doit
tre encore divisible par .
Le nombre A", comme reste de la division par A', est moindre que A', il ne peut
d'ailleurs tre zro; car si cela tait, il serait divisible par A' et ne serait plus un nombre
premier. Donc du produit A'B', suppos divisible par , on tire un autre produit A"B' divisible
encore par , et qui est plus petit que A'B' sans tre zro.
En suivant le mme raisonnement, on dduira du produit A"B' un autre produit A'"B' ou
A"B", encore plus petit, et qui sera toujours divisible par sans tre zro.
Et en continuant la suite de ces produits dcroissants, ou parviendra ncessairement un
nombre moindre que . Or il est impossible quun nombre moindre que , et qui n'est pas
zro, soit divisible par ; donc l'hypothse d'o l'on est parti ne saurait avoir lieu.
Donc si les nombres A et B ne sont divisibles, ni 1'un ni lautre par , leur produit AB
ne pourra non plus tre divisible par .

Legendre, partir dun nombre A tel que le nombre premier divise AB avec
1 <A< , en fabrique un deuxime (par division euclidienne de par A) strictement plus
petit et ayant les mmes proprits. Fermat et conclu immdiatement limpossibilit par sa
mthode de descente, mais Legendre prcise que les produits AB allant en dcroissant
strictement finiront par se trouver infrieurs et donc non divisibles par ce nombre . Il
sagit donc dune descente finie jusqu un entier convenable [MDF].
A la fin du dix-neuvime sicle, cette particularit des entiers naturels (il nexiste pas de
suite infinie strictement dcroissante dentiers naturels) prendra le statut daxiome du bon

34
ordre20 : toute partie non vide de N admet un plus petit lment. Ceci induit une autre forme
de la mthode dont nous donnons un exemple ci-dessous : pour dmontrer quil nexiste pas
dentier possdant une proprit P, on considre lensemble E des entiers naturels possdant
P. Si cet ensemble est non vide, il possde un plus petit lment m. La mthode consiste alors
trouver un entier possdant la proprit P strictement infrieur m. On aboutit ainsi une
contradiction prouvant que E est lensemble vide.
Nous avons rencontr en (III.1) une autre utilisation de cette mthode par Legendre pour
la dmonstration du thorme de Fermat. Nous examinons maintenant une autre variante de la
mthode de descente infinie dans un texte de Tannery sous la forme mthode du plus petit
lment [MPPE].

IV.4. Un texte de Tannery [1].

Tannery dmontre ici en utilisant la mthode du plus petit lment [MPPE] que 2 ne
peut pas tre rsidu quadratique modulo un nombre premier p de la forme 8n 3 (autrement
dit, il nexiste pas dentier x tel que x 2 mod p).
2

Rappelons que, lorsquon travaille mod p, on peut se contenter de travailler avec des
entiers infrieurs p. Par ailleurs un certain nombre daffirmations de Tannery peuvent se
dmontrer aisment par la mthode de disjonction des cas . Par exemple : il nexiste pas de
carr congru 2 mod 3. En effet, tout nombre entier est congru 0, 1 ou 2 , mod 3, donc son
carr est congru 0 ou 1. Le mme type de raisonnement permet de voir que le carr de tout
nombre impair est de la forme8n 3 .

[] Supposons maintenant que p soit de la forme 8n 3; il faut montrer que la

congruence
x 2 2 0 (mod. p) est impossible. On le vrifie sans peine pour p = 3. Si donc la
proposition n'tait pas vraie, il existerait un nombre premier p de la forme 8n 3, tel que la
proposition soit en dfaut pour ce nombre, tout en tant vraie pour tous les nombres premiers
de mme forme infrieurs p. Il suffit donc de dmontrer l'impossibilit d'une telle chose. Si
le nombre p existait, la congruence x 2 2 (mod. p), p = 8n + 3 ou 8n+ 5, aurait deux
solutions infrieures p; l'une d'elles serait un nombre impair21; dsignons-la par x. Nous
allons faire voir que, x tant impair et infrieur p, x 2 2 ne pourrait tre divisible par p sans
tre divisible par un nombre premier de mme forme et infrieur p. En effet, le carr de tout
nombre impair tant de la forme 8n + 1, x2 - 2 est de la forme 8n - 1 et ne peut par suite tre
gal p ; on a donc x2 - 2 = p f, f tant plus grand que 1. f est d'ailleurs infrieur p, puisque x
est infrieur p; tous les facteurs premiers de f sont donc infrieurs p ; il suffit donc de
montrer que l'un au moins de ces facteurs est de la forme 8n +3 ou 8n+ 5. Or, si tous ces
facteurs taient de la forme 8n 1 (ils sont ncessairement impairs), leur produit f serait de la
forme 8n 1 et le produit pf ne pourrait tre de la forme 8n-1, ce qui est contraire ce qu'on
vient de voir.

20
Voir I.R.E.M., Histoires de problmes, histoire des mathmatiques, Ellipses, 1997, pages 7-32.
21
Si a vrifie a 2 2 mod p alors on a ( p a )2 2 mod p . Comme p est impair, a ou p-a est une solution
impaire de la congruence.

35
 IV.5. Un texte dEuler

Comme nous le justifions dans lAnnexe 2, les trois mthodes : descente infinie,
mthode du plus petit lment, dmonstration par rcurrence, sont logiquement quivalentes.
Le nom raisonnement par rcurrence a t donn par Poincar en 1902, mais le principe
de la dmonstration par rcurrence apparatrait dans le Livre Arithmtique de Maurolycus en
1557 ; il est clairement nonc [8] par Pascal22 dans son Trait du Triangle Arithmtique :
Quoique cette proposition ait une infinit de cas, jen donnerai une dmonstration bien
courte en supposant deux lemmes.
Le 1, qui est vident de soi-mme, que cette proportion se rencontre dans la seconde
base []
Le 2, que si cette proportion se trouve dans une base quelconque, elle se trouve
ncessairement dans la base suivante.
Do il se voit quelle est ncessairement dans toutes les bases : car elle est dans la
seconde base par le premier lemme ; donc par le second elle est dans la troisime base, donc
dans la quatrime, et linfini.

Dans le corpus que nous tudions, nous rencontrons la dmonstration par rcurrence, par
exemple dans la premire dmonstration par Euler du petit thorme de Fermat, cite en note
par Legendre (II.1.1).
Voici le texte dEuler :
corollaire 2
1. Cest pourquoi, si on suppose que lexpression a a est divisible par p, lexpression
p

(a + 1) a 1 est aussi divisible par p, de la mme manire sous la mme hypothse

p

cette formule (a + 2) a 2 et de l en continuant (porro) (a + 3) a 3 etc. et

p p

gnralement c c seront divisibles par p.

p

thorme 3
2. Si p est un nombre premier, tout nombre de la forme c c sera divisible par p.
p

dmonstration

Si [] on pose a = 1, comme a a = 0 est divisible par p, il sensuit que ces

p

formules galement 2 2 , 3 3 , 4 4 etc . et gnralement celle-ci c c seront

p p p p

divisibles par le nombre premier p. C.Q.F.D.

Cette dmonstration peut-elle tre rellement qualifie de dmonstration par
rcurrence (MRG)?
Contrairement au rsultat de Pascal qui, pour dmontrer une proprit universelle,
annonce quil suffit de dmontrer deux lemmes (dinitialisation et dhrdit) il nest pas
question, ici, dune thorisation de la dmonstration par rcurrence.
Cependant, la dmonstration de ce que nous appelons lhrdit est faite par Euler
indpendamment du rang (ce que Pascal ne fait pas dans la suite du texte cit plus haut), telle
que nous la ferions actuellement.
Cependant, Euler prouve le besoin de se justifier en effectuant une sorte dinduction. Il
recommence dailleurs dans sa dmonstration du thorme 3, ainsi que nous le faisons
couramment lorsque nous voulons convaincre nos lves et guider leurs premiers pas vers la

22
Voir I.R.E.M., Histoires de problmes, histoire des mathmatiques, Ellipses, 1997, pages 7-32.

36
comprhension du thorme de rcurrence. La comprhension profonde de ce thorme
suppose des connaissances que nont pas nos lves et il semble donc important de leur faire
sentir le principe. Il nen demeure pas moins une extrme rigueur dans la formulation des
dmonstrations, celles-ci sappuyant sur les deux hypothses dinitialisation et dhrdit. Ce
nest videmment pas une proccupation dEuler, la notion de rigueur variant avec le temps.
Le principe de rcurrence na dailleurs pu tre thoris quaprs laxiomatisation des entiers.
Mais nous trouvons bien les lments essentiels dune telle dmonstration, agrments dune
esquisse dinduction qui peut permettre demporter ladhsion des lecteurs.

V. Les diffrents avatars du thorme fondamental

V.1. Dans les lments dEuclide [2bis].

Comme on la vu, larithmtique occupe trois livres des Elments : les livres VII, VIII et
IX. Les rsultats qui nous intressent figurent au livre VII, qui dgage des rsultats importants
sur les nombres premiers et les nombres premiers entre eux. Ces rsultats sappuient, assez
trangement pour nous, sur les proportions entre nombres entiers.
En effet une proportion est une relation quatre termes, en loccurrence des nombres,
qui snonce sous la forme A est B comme C est D (par exemple 20 est 5 comme 4
est 1) et dont le maniement nous parat peu commode. Pour les anciens au contraire, ces
proportions constituent un instrument de pense fondamental. Un exemple arithmtique
permettra de saisir cet aspect de la pense antique : on a vu plus haut ce que voulait dire quun
nombre en multiplie un autre. Dans le cas particulier du schma reprsent dans la partie IV.1
le nombre quatre, multipliant A, produit B veut dire : la multitude des droites gales A
qui, ajoutes ensemble, composent B, est la mme que la multitude des units dans le nombre
quatre . En langage euclidien, A est la mme partie de B que lunit lest de quatre, ou
encore B et quatre sont quimultiples de A et de lunit respectivement. Une faon naturelle
de dire ce qui prcde est dnoncer une proportion : A est B comme lunit est quatre, ou
inversement B est A comme quatre est lunit.
Dans ces conditions, le thorme nonant que deux nombres C et D se multipliant
lun lautre, les produits obtenus (en effet on peut multiplier C par D, mais aussi D par C) sont
gaux entre eux,23 se ramne une opration lmentaire sur les proportions : si P est un
nombre, il est quivalent de dire que 1 est C comme D est P, ou que 1 est D comme C est
P : cest ce quon appelle lalternance des termes moyens (C et D), dmontre par Euclide
en VII.13 et qui est une des oprations lmentaires sur les proportions. Si P est le produit de
C par D, il est donc encore le produit de D par C et rciproquement.24
Lexpos euclidien repose donc sur la dmonstration pralable des proprits
opratoires des proportions (VII.11-14), dont fait partie lalternance des termes moyens
(VII.13) proposition que nous noterons dsormais, de manire anachronique :

A C A B
= =
B D C D

23
Cest ce que nous appelons la commutativit du produit, que nous notons CD = DC. Chez Euclide cest lobjet
de la proposition VII.16.
24
En ralit, ce rsultat, qui fait lobjet de la proposition VII.16 (Heiberg-Vitrac) nest pas dmontr sur la base
de VII.13 o est dmontr lalternance des termes moyens, mais de VII.15 qui nest apparemment quun cas
particulier de VII.13 ; la raison en est probablement que lunit ntant pas un nombre pour les anciens ne
constitue par un terme lgitime dans un proportion. Euclide revient donc une dmonstration lmentaire qui
sappuie directement sur la dfinition VII16. Voir Vitrac [2bis] comm. ad VII.16, p.319-320.

37
 De la mme faon, nous confondrons dsormais, pour simplifier, lexpression antique
A mesure B avec lexpression moderne A divise B . 25

Euclide dmontre ensuite plusieurs rsultats fondamentaux concernant spcifiquement

les proportions de nombres entiers :
A C
Si C et D sont les plus petits nombres tels que = , alors C divise A et D divise B,
B D
avec le mme quotient26 (VII.20).
A C
Si C et D sont premiers entre eux et si = , alors C et D sont les plus petits
B D
A C
nombres tels que = (VII 21).
B D
A C
Si C et D sont les plus petits nombres tels que = , alors ils sont premiers entre
B D
eux (VII.22).
Ces rsultats fondamentaux de larithmtique euclidienne sont constamment utiliss
dans les propositions ultrieures, comme on va le voir sur les exemples qui nous intressent.
Ainsi, voici comment Euclide dmontre la proposition 24, que nous avons note [PE] : si deux
nombres sont premiers avec un certain nombre, leur produit sera aussi premier avec ce mme
[nombre] . En effet, si A et B sont premiers avec C et si AB nest pas premier avec C, il existe
E diffrent de lunit qui divise (Euclide dit mesure ) la fois AB et C. Comme E mesure
C et que A et C sont premiers entre eux, A et E le sont aussi.27 En appelant F le nombre
correspondant la multitude des droites gales E qui composent AB,28 on a29 que AB=FE,
B E
donc = . Comme A et E sont premiers entre eux, A divise F et E divise B (VII 20, 21)
F A
donc E est un diviseur commun B et C, ce qui est contraire lhypothse.
Notons quon peut isoler de cette dmonstration largument suivant, qui se trouve
dmontr au passage : si le nombre E mesure le produit de A par B et quil est premier
avec A, alors (en inventant F et en utilisant VII.20 et 21 de nouveau), on obtient que E mesure
B. Cest ce que nous appelons le thorme de Gauss, moyennant la substitution de divise
pour mesure . Pourtant, Euclide ne lnonce nulle part comme une proposition
indpendante et nen fait donc pas un rsultat fondamental.
Euclide dmontre de la mme manire la proposition VII.30 : si deux nombres se
multipliant lun lautre produisent un certain [nombre], et si un certain nombre premier
mesure leur produit, il mesurera aussi lun des nombres initiaux. En effet, si un nombre
A B
premier A divise le produit BC, alors BC=DA pour un certain nombre D. Donc = . Si le
C D
nombre premier A ne divise pas C, alors A et C sont premiers entre eux, A et C sont les plus

25
Gauss utilise galement deux termes distincts en latin dans les Disquisitiones : metiri (mesurer) et dividere
(diviser). Voir : The shaping of arithmetic after K.F. Gaussdisquisitiones arithmeticae ed. C. Goldstein,
N.Schappacher et J. Schwermer, Springer 2007.
26
Euclide nemploie pas cette notion mais dit que C et D mesurent A et B respectivement autant de fois.
27
Sinon la plus grande commune mesure A et E, diffrente de lunit, mesurerait aussi A et C, qui ne seraient
donc pas premiers entre eux : cest lobjet chez Euclide de la proposition prcdente (VII.23).
28
Euclide applique ici lopration qui permet de faire correspondre un nombre (ici F) une multitude, la mme
qui nous a permis dinventer le nombre quatre pour compter la multitude reprsente en IV.1.
29
Cest lobjet de la prop. VII.19 de prouver lquivalence dune proportion lgalit du produit des termes
moyens et extrmes.

38
 A B
petits nombres vrifiant = , donc A divise B. La formulation est l encore trs proche du
C D
thorme de Gauss, mais nen est quun cas particulier.
Actuellement, dans lenseignement, et particulirement pour lenseignement de
spcialit en Terminale S, cest le chemin inverse qui est privilgi ; les rsultats de
divisibilit, comme le thorme de Gauss, sont obtenus dabord et sont un outil fondamental
pour les dmonstrations. Une consquence mineure est la validation de rsultats sur les
fractions irrductibles.
Enfin, comme on la vu plus haut, la proposition 33 donne un rsultat qui pourrait mener
lexistence de la dcomposition dun entier en produit de deux nombres premiers : Tout
nombre compos est mesur par quelque nombre premier. Mais, ni lexistence, ni lunicit de
la dcomposition dun nombre entier en produit de nombres premiers ne sont noncs
explicitement dans les Elments, mme si on pourrait les dduire assez facilement du corpus
des propositions dmontres par Euclide. De mme, il ny a aucune recherche systmatique
des diviseurs dun nombre. Ce qui ne signifie pas que ces techniques ntaient pas connues
lpoque. Jean Itard signale que Platon donne le nombre (59) de diviseurs stricts de 5040.
En vue de fixer un nombre qui convienne, dcidons que le nombre des chefs de famille
sera de 5040, qui, cultivant le territoire, en sont aussi les dfenseurs. Que la terre ainsi que les
rsidences soient pareillement distribues en un mme nombre de sections, chacune tant
l'unit distributive que sont en commun l'homme et son lot. Commenons donc par distribuer
le nombre total, en deux portions, puis le mme nombre en trois : en fait il est dans la nature
du nombre en question de se laisser diviser en quatre, en cinq et, ainsi de suite jusqu' dix.
Partant, quiconque institue des lois doit propos des nombres avoir, pour autant, rflchi la
question de savoir (a) quel est le nombre, et comment constitu, qui sera le plus
commodment utilisable pour toute organisation sociale : disons donc que c'est celui qui
possde intrinsquement le plus grand nombre de divisions et surtout de divisions qui se
suivent. Tout nombre, c'est clair, pour tous les besoins est susceptible de tous les
fractionnements que l'on voudra; mais ce nombre de 5040, pour la guerre aussi bien que pour
tout ce que comporte la paix par rapport l'ensemble des contrats et des partages, soit
propos de contribution ou de rpartition d'avantages, ce nombre, dis-je, ne pourrait se
fractionner en un nombre de fractionnements suprieur cinquante-neuf ; mais, de 1 jusqu'
10, ils se succdent d'une faon continue. Au reste, voil des proprits dont une solide tude,
et poursuivie loisir, est obligatoire pour ceux qui la loi prescrit de sy consacrer.30
(c) Quant nous du moins, c'est ce qu' cette heure nous affirmons, nous ne pouvions
choisir une exactitude suprieure celle de ce nombre de 5040, puisque, jusqu' 12 en
commenant par 1, il possde toutes les possibilits de partage exact, hormis celui par 11.
Encore cette exception admet-elle le plus simple des remdes, puisqu'il suffit de mettre part
deux foyers familiaux pour lui rendre la sant dune exacte divisibilit dans les deux sens.31

En bref, Euclide sappuie sur les proportions pour dmontrer [PE] et [LE1]
indpendamment lun de lautre, mais nnonce ni [TG] ni [TF]. Ce qui apparat fondamental,
ce sont les rsultats sur les proportions, constamment utiliss dans les dmonstrations. [LE1]
est utilis dans la proposition 14 du livre IX : Si le plus petit nombre est mesur par des
nombres premiers, il ne sera mesur par aucun nombre premier, si ce nest par ceux qui le
mesuraient dabord. Mais la plupart des rsultats sont obtenus en revenant aux proportions,
alors quun lecteur actuel prfrerait sans doute utiliser [LE1].
30
Les Lois dans uvres compltes, Tome II, Collection La Pliade, Gallimard, 1943, Pages 793 et 794.
31
Idem page 840

39
 V.2. Les Nouveaux Elments de Mathmatiques de Jean Prestet (Paris 1689) [9].

Nous avons vu plus haut quEuler na pas nonc explicitement le thorme de

Gauss .
La question se pose alors de savoir quand on voit apparatre cet nonc explicite dans un
trait darithmtique. Catherine Goldstein a tudi[16]un trait de Prestet32 dans lequel est
nonc ce thorme. Ce trait a connu plusieurs ditions : la premire, en 1675, ne comportait
pas lnonc du thorme de Gauss ; cette dition a eu une large audience car Prestet tait
soutenu par Malebranche et Leibniz. Cependant, dans les annes quatre-vingts, le
dveloppement du calcul infinitsimal accapare lattention des mathmaticiens de lpoque,
do un dsintrt pour lanalyse finie . La deuxime dition du livre de Prestet en 1689 ne
rencontre pas le mme succs que la premire ; or cest dans cette dition que Prestet nonce
le thorme qui nous intresse.
Le livre VI des Nouveaux Elments de Prestet constitue un trait darithmtique
lmentaire. Aprs avoir dfini les objets de son tude (grandeur entire, diviseurs, nombres
premiers, quil appelle aussi simples, etc.), Prestet nonce et dmontre un certain nombre de
rsultats sur les nombres premiers ou premiers entre eux :
Corollaire VIII : si un nombre premier a ne divise pas un nombre z, alors a et z sont
premiers entre eux.
Corollaire XI : tout nombre entier z est divisible par un nombre simple.
Il dmontre ensuite le rsultat fondamental suivant :
Thorme I : si deux nombres b et c sont premiers entre eux, bc est le plus petit nombre
que lun et lautre puisse diviser au juste sans reste.
Autrement dit, dans ce cas, bc est le plus petit commun multiple des nombres b et c.
Ce thorme est dmontr par une utilisation assez complexe de lalgorithme dEuclide,
avec descente et remonte. Dcrivons dabord la dmonstration de Prestet, avec des termes
actuels.

Soient b et c deux nombres premiers entre eux et z un multiple commun de b et c.

z y
b = cq + d avec 0 < d < c. Soit y tel que = = k . Comme z est un multiple de b, y est
b d
un multiple de d. Or z= bk=cqk + dk = cqk + y ; comme z est un multiple de c, y est un
multiple de c. On ritre lopration selon lalgorithme dEuclide et on obtient :
y x
c = dq + e avec 0 < e < d. Soit x tel que = . Comme prcdemment, x est un
c e
multiple de d.
On continue jusqu obtenir un reste gal 1 (car b et c sont premiers entre eux).
x v
d = eq + f avec f = 1. Soit v tel que = . Alors v est multiple de e.
d f
v v
Donc e divise v, cest--dire [parce que f = 1] donc e .
f f
x x
Donc e et donc d .
d e
y y
De mme d et donc c .
c d
32
On trouvera une reproduction en fac-simile dextraits significatifs de ce Trait et une prsentation plus
dtaille (par Michle Grgoire) dans la rubrique Bonnes Vieilles Pages du numro 16 de la Revue
Mnmosyne , I.R.E.M. Paris 7, Juillet 2000.

40
 z
Donc c .
b
Donc bc z.
Ainsi bc est plus petit que tout multiple commun de b et c. Donc il est le plus petit
multiple commun.

Notons que ce procd permet dobtenir le lien entre PPCM et PGCD :

Posons b = a1 , c = a2 et z = y1 . On construit les suites (a n ) et ( y n ) comme ci-dessous :
a1 = q1a2 + a3 y1 y 2 y2 est multiple de a2
=
a1 a3

an2 = qn2 a n1 + an y n 2 y n 1 y n1 est multiple de an1
=
an 2 an
y a
En utilisant les relations k = k , en effectuant leur produit et en simplifiant, on
y k +1 a k + 2
y aa y aa
aboutit : 1 = 1 2 quon peut crire : y1 = n1 1 2 . Puisque yn 1 est multiple de
y n1 an 1an a n1 an
an 1 , le premier rapport est un entier et, si on a poursuivi lalgorithme dEuclide jusquau
dernier reste non nul, a n est le PGCD(a1 , a2 ) . On a ainsi prouv que tout multiple commun
a1a 2
a1 et a 2 est un multiple du quotient (entier) qui, tant lui-mme multiple
PGCD ( a1a2 )
commun a1 et a 2 , est donc le plus petit.
Ce type de dmonstration par descente et remonte de lalgorithme dEuclide est aussi
utilis par Bzout pour dmontrer le rsultat qui porte son nom.33
Corollaire II : si b et c divisent a, alors le plus petit commun multiple de b et c divise
a.
Le principe de la dmonstration est le suivant : si on appelle z ce plus petit commun
multiple, z a. Si z = a, alors la proposition est vraie. Sinon, a = zq + r avec 0 r < z.
Comme b et c divisent z et a, alors b et c divisent z aq = r < z. Ceci est contradictoire avec le
fait que z est le plus petit commun multiple (non nul), sauf si r = 0 (Dmonstration du type
[MPPE] avec utilisation de la division euclidienne).
Corollaire III : si un nombre d mesure un produit bc et que c et d soient premiers entre
eux , le nombre d est un diviseur de lautre nombre b.
En effet, dans ce cas, par le thorme I, le plus petit commun multiple de c et d est le
produit cd. Comme bc est un multiple la fois de d (par hypothse) et de c, alors, par le
corollaire prcdent, bc est un multiple du PPCM (d, c), qui est dc. Donc bc = cdk ; donc b =
dk, cest--dire d divise b. Prestet dmontre que le rsultat obtenu sur le PPCM de b et c ,
lorsque b et c sont premiers entre eux, entrane le thorme de Gauss. La rciproque tant
vraie, ce rsultat constitue donc une cinquime forme du thorme fondamental.

Notons au passage que Prestet en tire la dtermination de tous les diviseurs dun nombre
donn sous forme dun produit de facteurs premiers, par gnralisation de rsultats sur ab,
abc, abcd, abcde, abcdef, a2, a2b, a2b2, o a, b, c, d, e, f sont des nombres premiers distincts

33
Voir ce sujet Histoire dalgorithmes Chabert et al. Belin 1994 p139-145.

41
deux deux. Il montre alors le lien entre le plus petit commun multiple de deux nombres et
leur plus grand commun diviseur, en utilisant les rsultats prcdemment dmontrs.

V.3. La Thorie des Nombres de Legendre [6].

Cest dans lIntroduction contenant des notions gnrales des nombres quon trouve nos
rsultats fondamentaux.
Legendre commence par la dmonstration de la commutativit du produit par descente
finie jusqu un entier convenable. Soit en effet deux nombres A et B avec A > B ; On a
A=B+C et on en dduit AB=BB+CB et BA=BB+BC. Donc on aura AB=BA si lon a
BC=CB ; en continuant, on arrivera au cas o lun des deux facteurs est lunit ou bien les
deux facteurs sont gaux. Do le rsultat. Legendre dmontre presque aussitt le lemme
dEuclide [LE2] comme on la vu plus haut. Il fait la remarque que lirrationalit de 2
dcoule de cette proposition ainsi que de manire gnrale celle de n b lorsquil nexiste pas
dentier x tel que x n = b
Legendre donne alors explicitement lexistence de la dcomposition dun nombre entier
en produit de facteurs premiers, mais nnonce pas lunicit. Cependant, il utilise
implicitement ce rsultat dans la recherche de tous les diviseurs dun nombre entier. Le
thorme de Gauss nest pas nonc, ni utilis, le rsultat fondamental est le lemme
dEuclide.
Sa mthode de prdilection est la descente finie jusqu un entier convenable, utilise
pour la dmonstration de la commutativit du produit, le lemme dEuclide , le thorme de
Fermat.

V.4. Les Recherches Arithmtiques de Gauss [5].

Louvrage parat en 1801 ; Gauss

explique dans sa prface quil a commenc
sintresser au sujet en 1795, sans aucune
ide de tout ce qui avait t fait sur le sujet ,
ce qui explique quon y voit la Science prise
presque ds son principe . Il y rend hommage
au trait de Legendre, paru alors que son
propre livre est sous presse.
La Section Premire introduit les
congruences modulo un entier m et donne les
proprits de compatibilit avec les oprations
arithmtiques ; il signale que les critres de
divisibilit et les rgles de vrification des
oprations arithmtiques (preuves par 9 et
11) reposent sur ces rsultats.
La Section Seconde, o est dmontre le
thorme de Gauss [TG], commence par
une dmonstration du lemme dEuclide.

42
 Nous rencontrons ici lutilisation du plus petit entier strictement positif possdant une
proprit donne [MPPE], couple un raisonnement par labsurde.
Gauss prcise la raison pour laquelle il dmontre ce thorme :

Il utilise ensuite ce rsultat pour dmontrer lunicit de la dcomposition en facteurs

premiers [TF], qui lui sert dterminer tous les diviseurs dun entier donn (et donc leur
nombre), ainsi que le plus grand commun diviseur de deux ou plusieurs entiers.
Enfin, il en tire des thormes de divisibilit :
Si les nombres a, b, c, etc. sont premiers avec k, leur produit lest aussi [PE]. En
effet, le produit abc na pas dautres facteurs premiers que ceux de a ou b ou c etc.

43
 Si les nombres a, b, c, etc. sont premiers entre eux, et que k soit divisible par chacun
deux, il le sera aussi par leur produit. Car si p est un diviseur premier du produit abcavec
lexposant n, alors pn divise lun des facteurs a ou b ou c etc.(car ils sont premiers entre eux)
et donc divise k ; il en est de mme de tous les autres facteurs du produit qui divise donc k.
Si a est premier avec b et que ak soit divisible par b, k sera aussi divisible par b
[TG]. En effet, ak est divisible la fois par a et b, qui sont premiers entre eux, donc ak est
divisible par le produit ab (par la prcdente). Do : ak = nab donc k = nb.
Nous donnons dans lannexe 4 un large extrait du texte de Gauss. Remarquons qu ce
stade, il ne resterait qu voir le lemme dEuclide comme cas particulier du thorme de
Gauss pour tablir lquivalence entre les quatre rsultats fondamentaux34. Mais cela ne fait
pas partie des proccupations de Gauss.
La Section Troisime soccupe des rsidus des puissances et cest l quon trouve
une dmonstration du petit thorme de Fermat (voir Annexe 3).

V.5. Les confrences de Jules Tannery lEcole Normale Suprieure (1891-1892)

[1].
E. Borel et J. Drach rdigent les confrences de J. Tannery et publient une Introduction
la Thorie des Nombres et lAlgbre suprieure en 1894. Le livre dbute par un expos
sur les congruences et leurs proprits. Il sappuie sur le thorme de Gauss [TG] dont il
donne une dmonstration attribue Poinsot. Comme dans louvrage de Prestet, on
commence par montrer que le plus petit commun multiple de deux nombres a et m premiers
entre eux est leur produit. Pour cela, on considre la suite des multiples de a : {0, a, 2a, 3a,
, ma, } et on appelle h le plus petit nombre strictement positif tel que ha est aussi un
multiple de m. Le nombre ha est donc le plus petit commun multiple de a et m. Dans la suite
des multiples de a, h nombres conscutifs sont toujours incongrus deux deux modulo m car,
si ka ka (mod. m) avec 0 < k k < h, alors m divise le produit (k k)a, ce qui contredit le
fait que h est le plus petit nombre strictement positif tel que m divise ha. Par contre, si h
divise k k, alors m divise le produit (k k)a, donc ka ka (mod. m). Donc, si on considre
la suite des restes des multiples de a dans la division par m, ces restes se reproduisent de h en
h, mais h restes conscutifs sont distincts deux deux. Par consquent, les seuls multiples de
m parmi les multiples de a sont les multiples de ha (dmonstration du type [MPPE]). En
particulier, ha divise ma, donc h divise m. Par consquent, m = hd et ha = mq = hdq, cest--
dire : a = dq. Le nombre d est donc un diviseur commun a et m, et comme a et m sont
premiers entre eux, d = 1, donc m = h et dans ce cas, le plus petit commun multiple de a et m
est bien leur produit ma. On en tire le thorme de Gauss comme dans Prestet.

En guise de conclusion

On voit dans les classes de Terminale S spcialit certains lves sapproprier avec
bonheur certaines des mthodes rencontres. Par exemple, la mthode de disjonction des cas
rencontre beaucoup de succs, y compris sur des noncs de baccalaurat dont lauteur ne
pensait peut-tre pas ce type de rsolution : on trouvera dans lannexe 6 des exemples de
sujets de baccalaurat utilisant certaines des mthodes dont on parle dans larticle.
Lenseignement de larithmtique, qui avait disparu des programmes, est rapparu et a
beaucoup volu, en intgrant notamment une plus grande diversit des mthodes de
recherche, de raisonnement et de dmonstration. On pourra ce sujet comparer utilement le
libell des programmes de Terminale C de 1971 et le document daccompagnement des
programmes actuels, qui stipule que la dmarche mathmatique comporte des phases

34
Voir lannexe 1.

44
exprimentales [] ; cest particulirement le cas en arithmtique . Ce mme document
prconise de raisonner modulo 5 ou 7 (disjonction des cas) pour prouver que certaines
quations diophantiennes nont pas de solution, un type de raisonnement absent des
programmes antrieurs.
Ltude historique met en lumire des mthodes de dmonstration permettant un
vitement de linfini et des difficults quil entrane : mthode du plus petit lment,
rpartition en classes dquivalence par exemple. Ces mthodes, qui apparaissent assez
naturellement dans le cadre des problmes darithmtique sont riches de possibilits pour des
dveloppements ultrieurs en algbre, que ce soit en tant que mthodes standard ou pour
la construction dobjets thoriques sophistiqus.

Par exemple, la disjonction des cas couple aux congruences, donne une premire ide
des classes dquivalences, avant daborder Z/nZ et les groupes finis..

Lexamen des diffrentes mthodes de dmonstration rencontres dans les textes offre
ainsi un rel intrt pdagogique pour prsenter la multiplicit des points de vue ; la dmarche
exprimentale des auteurs y est galement sensible. Nous esprons que la classification
que nous avons tente est clairante et utile.

45
 Annexe 1
Une arithmtique sans thorme fondamental

On pratique larithmtique dans tout anneau commutatif unitaire intgre35 . On donne

alors les dfinitions suivantes :
Lensemble des lments inversibles de A est not A* .
A* = {a A ;b A tel que ab = 1}
On dit que a divise b (ce quon note a / b) si et seulement sil existe c dans A tel que b =
ac.
Un lment p de A est dit irrductible si et seulement si p A * et
[ p = ab a ou b A *].
Deux lments a et b sont dits premiers entre eux si et seulement si
[d / a et d / b d A *].
Par exemple, dans Z, les nombres inversibles sont +1 et 1 et les nombres irrductibles
sont les nombres premiers avec leurs opposs.

On dit quun anneau A est factoriel lorsque :

 A est intgre
 Tout lment de A se dcompose en produit de facteurs irrductibles.
 Cette dcomposition est unique lment inversible et permutation prs.

Annexe 1a

Pour un anneau intgre A dans lequel tout lment se dcompose en produit de facteurs
irrductibles, il y a quivalence entre les proprits suivantes :
(i) La dcomposition est unique.
(ii) Lemme dEuclide : si p est irrductible et si p divise ab, alors p divise a ou b.
(iii) p est irrductible si et seulement si lidal (p ) est premier36.
(iv) Thorme de Gauss : Si a et b sont premiers entre eux et si a divise bc, alors a divise c.

Remarque : on a toujours : si lidal (p) est premier, alors p est irrductible. En effet, si
lidal (p) est premier, alors : si p = ab, alors ab est un lment de lidal (p) donc a ou b est
dans lidal (p) (car cet idal est premier) donc a = kp ou b = kp. Donc p = ab = kbp ou kap ;
donc kb ou ka est gal 1(car lanneau A est intgre). On en dduit que a ou b est inversible.
La proprit qui nous intresse dans (iii) est donc la rciproque : si p est irrductible, alors
lidal (p ) est premier.

(ii) (iii) Supposons que p est irrductible et soit ab un lment de lidal (p). Alors
p divise le produit ab et, par le lemme dEuclide, p divise a ou b. Donc a
ou b est dans lidal (p), qui est donc premier.

(iii) (ii) Si p est irrductible et divise le produit ab, alors ab est un lment de lidal (p),
qui est premier. Donc a ou b est un lment de (p), donc p divise a ou b.

(ii) (i) Le Lemme dEuclide entrane lunicit de la dcomposition : cest la dmonstration

habituelle, que nous voyons chez Gauss.

35
Un anneau est unitaire sil possde un lment neutre pour sa deuxime loi. Il est intgre si : ab= 0 a = 0
ou b = 0
36
Un idal (P) est dit premier ssi ab P a (P) ou b (P)

46
(i) (iv) Lunicit entrane le thorme de Gauss ; cette dmonstration se trouve dans les
Recherches Arithmtiques de Gauss ; elle ncessite lexistence de la dcomposition.

(iv) (ii) Le lemme dEuclide est un cas particulier du thorme de Gauss.

Dans tout anneau principal (cest--dire dans lequel tout idal est principal, cest--dire
engendr par un seul lment), le thorme de Bzout est vrai, donc aussi le thorme de
Gauss. Tout anneau principal est factoriel.
Tout anneau euclidien (possdant une division euclidienne ) est principal.

Annexe 1b

Il existe des anneaux intgres dans lesquels la dcomposition en produit dlments

irrductibles existe mais nest pas unique. Lexemple qui suit est tir du Cours dalgbre de
Daniel Perrin [19].

[ ] {
A = Z i 5 = z C ; il existe a et b dans Z tels que z = a + ib 5 }
A est intgre (car inclus dans C).
On dfinit, pour tout z de A, N ( z ) = z = a 2 + 5b 2 .
2

Alors, si z = z1z2 , on a : N(z1z2 ) = N(z1 )N(z2 ) . Donc, si z1 divise z, alors N(z1 ) divise
N(z). De plus, si z1 = a1 + i 5b1 et N(z1 ) = 1, alors a12 + 5b12 = 1 donc a1 = 1 et b1 = 0 ; donc
z1 = 1 . On en dduit que, si N(z) est premier, alors z est irrductible car, pour tout diviseur z1
de z, N(z1 ) est un diviseur de N(z), donc est gal 1 , donc aussi z1 qui est alors inversible.
Le mme type de considrations permet de dmontrer que tout lment de A* admet au
moins une dcomposition en produit de facteurs irrductibles. En effet, si llment z est
irrductible, la dcomposition est toute trouve. Sinon, il scrit : z = z1z2 , avec deux facteurs
non inversibles ; si ces deux facteurs sont irrductibles, alors on a trouv une dcomposition
convenable. Sinon, remarquons que N(z1 ) < N(z) (car, sinon, N(z2 ) = 1 et z2 serait
inversible), ainsi que N(z2 ) < N(z), et recommenons le processus avec celui des deux
facteurs qui nest pas irrductible (ventuellement les deux). Le processus sarrte car, sinon,
la suite des N(z i ) serait une suite strictement dcroissante infinie dentiers strictement positifs,
ce qui est impossible. Or, lorsque le processus sarrte, on a dtermin une dcomposition de
z en produit de facteurs irrductibles.

On a ainsi montr lexistence de la dcomposition en produit de facteurs irrductibles de

tout lment de A*. Mais A nest pas factoriel : la dcomposition nest pas unique. Voici un
contre-exemple :
( )(
On a : 9 = 3 3 = 2 + i 5 2 i 5 )
Or 3 est irrductible. En effet, si 3 = z1 z2 alors N(3) = 9 = N(z1 )N(z2 ) . Donc N(z1 ) est
gal 1 ou 3 ou 9. Mais, si N(z1 ) = 3 , alors a12 + 5b12 = 3 , ce qui est impossible. Donc N(z1 )
est gal 1 ou 9, cest--dire que N(z1 ) ou N(z2 ) est gal 1, donc lun des deux facteurs
de 3 est gal 1. Donc 3 est irrductible.
( )
De la mme faon, 2 i 5 est irrductible car une dcomposition en produit amne
galement N(2 i 5) = 9 = N(z1 )N(z2 ) et on peut faire le mme raisonnement.
Ainsi le nombre 9 possde deux dcompositions en produit de facteurs irrductibles
essentiellement diffrentes.

47
 Annexe 2
Equivalence des mthodes de descente infinie, rcurrence et bon ordre

Nous nommons A lensemble des entiers naturels possdant une certaine proprit.

Sous forme logique, le principe de la mthode de descente infinie peut scrire :

MDI {( n A) ( n ' < n n ' A)} A =
Laxiome de bon ordre : Toute partie non vide de N admet un plus petit lment peut
sexprimer de faon quivalente :
ABO Si A est une partie de N qui nadmet pas de plus petit lment, alors A =
La mthode de rcurrence totale scrit :
MRT {(0 A) et [(n' n n' A) (n + 1 A)]} A = N

Dmonstration de MDI ABO

Soit A une partie de N qui nadmet pas de plus petit lment.

Dans ce cas {( n A) ( n ' < n n ' A)} est vrifie et donc, daprs MDI, A =
Dmonstration de ABO MRT
{
Nous supposons que A est telle que ( 0 A ) et ( n ' n n ' A ) ( n + 1 A ) }
La conclusion cherche est A = N, cest--dire B = CA = .
Par labsurde, si B nest pas vide, daprs ABO elle admet un plus petit lment n0.
Puisque 0 A , 0 B , et donc n0 1 et n0 1 N . De plus n ' n0 1 n ' A ( car n0
est le plus petit lment de B) donc n0 A . Ce qui est exclu par n0 B . Donc B est vide et
A = N.

Dmonstration de MRT MDI

{
On suppose que MRT est vrifie et que ( n A ) ( n ' < n n ' A ) }
0 nayant pas dantcdent ne peut appartenir A. Donc 0 B = CA
On a : {( n ' < n + 1 n ' B ) ( n + 1 B )} car, sinon, on aurait (n + 1) A avec

n ' < n + 1, n ' B c' est dire n ' A ; ce qui contredit {( n A) ( n ' < n n ' A)} .

Autrement dit, on a {( n ' n n ' B ) ( n + 1 B )}

On en conclut que B = N par MRT, et donc que A = .

48
 Annexe 3
Une dmonstration du thorme de Fermat par Euler et Gauss

Voici dabord les ides essentielles de la dmonstration :

Etant donns un nombre premier p et un nombre a premier p, il sagit de montrer

p1
que le reste de la division de a par p est 1.
Lide dveloppe par Euler en (II.2) est de classer les diffrents restes possibles
modulo un entier premier p en utilisant les puissances de a modulo p37.
Comme nous lavons vu en lisant le texte dEuler, celui-ci commence par montrer
quil existe des puissances de a dont le reste est 1 dans la division par p : en effet, la suite
a,a 2 ,a 3,...,a ,... tant infinie et le nombre de restes possibles dans la division par p tant fini

gal p 1, il existe des puissances a et a , avec , prsentant le mme reste dans la

division par p [MPT]. Donc le nombre premier p divise a a = a (a 1) (on peut

supposer > ). Or, p premier ne divise pas a , donc p divise a 1 (LE1].
On considre alors le plus petit entier strictement positif ayant cette proprit [MPPE];
alors les puissances 1,a,a 2 ,a 3,...,a 1 ont toutes des restes diffrents (non nuls) dans la
division par p, sinon le raisonnement prcdent donne un entier plus petit que tel que p
'
divise a 1. Si on obtient ainsi les p 1 restes possibles non nuls modulo p, alors = p - 1
et le thorme est dmontr. Sinon, soit r un reste non nul non obtenu ; r est premier p. On
considre les nombres r,ra,ra 2 ,ra 3 ,...,ra 1 ; ces nombres ont tous des restes diffrents dans

la division par p : sinon p diviserait ra ra = ra (a 1) et donc a 1 avec < . De

mme, ra et a ne peuvent pas avoir le mme reste sinon p diviserait r a ce qui est
contradictoire avec le fait que r nest pas obtenu comme reste dans la division dune
puissance de a par p. Nous obtenons ainsi 2 restes non nuls diffrents modulo p ; si nous les
avons tous, alors p 1 = 2. Sinon, on considre un reste s non encore obtenu et les
nombres s,sa,sa 2 ,sa 3 ,..., sa 1 . On montre de mme que tous ces nombres ont des restes
diffrents entre eux et diffrents des restes obtenus prcdemment. Si on a obtenu tous les
restes non nuls possibles, alors p 1 = 3. Sinon, on continue jusqu obtenir tous les restes
possibles et le mme raisonnement prouve : p 1 = t.
Ce raisonnement, en termes modernes, revient faire une partition du groupe
multiplicatif (Z / pZ) * forme des classes dquivalences selon le sous-groupe cyclique
engendr par a.

La mthode est reprise par Gauss, mais allge par lutilisation des congruences, aussi
donnons-nous ci-dessous le texte de Gauss ( in Recherches arithmtiques)[5].
On remarquera aussi dans celle-ci lutilisation dexemples numriques.
De plus, aussi bien Euler que Gauss aboutissent un rsultat plus fort que lnonc
usuel du Thorme de Fermat ( si p est premier, alors a p a mod p ). Cest dailleurs ce rsultat
plus fort qunonait dj Fermat ( cf III.3)

37
De manire beaucoup plus tardive et avec des concepts modernes, ce type dide permet de dmontrer le
thorme de Lagrange : lordre dun sous-groupe dun groupe fini divise lordre de ce groupe

49
 SECTION TRO ISI ME .

Des Rsidus des Puissances.

45. THEOREME. Dans toute progression gomtrique . . 1, a 2 ,a 3 etc., outre le premier

terme l , il y en a encore un autre a t congru l'unit suivant le module p premier avec a,
l'exposant t tant < p.
Puisque le module p est premier avec a, et par consquent avec une puissance
quelconque de a, aucun terme de la progression ne sera = 0 (mod. p ), mais chacun d'eux sera
congru quelqu'un des nombres 1, 2, 3, 4 p - 1. Comme le nombre de ces derniers est
p - 1, il est vident que si l'on considre plus de p - 1 termes de la progression, ils ne
pourront pas avoir tous des rsidus minima diffrents. Ainsi parmi les nombres 1, a 2 , a 3 ...a p 1
on en trouvera au moins deux congrus. Soit donc a m a n et m > n, on aura, en divisant par
a n ,[..] a m n 1 o m n < p et > 0.
Exemple. Dans la progression 1, 2, 4, 8, etc. le premier terme qui est congru avec l'unit
suivant le module 13, se trouve tre 212 = 4096, mais suivant le module 23, on a dans la mme
progression, 211 = 2048 1 ; de mme 56 = 15625 1 (mod. 7) ; et 55 = 3125 1 (mod. 11).
Ainsi dans quelques cas la puissance de a congrue avec lunit est plus petite que a p 1 et dans
d'autres, il faut remonter jusqu' la puissance p - 1 elle-mme.
46. Quand la progression est continue au del du terme qui est congru l'unit, on
retrouvera les mmes rsidus quon avait partir du commencement. Ainsi, soit a t 1 , on
aura a t +1 a , a t + 2 a 2 etc. , jusqu ce qu'on parvienne au terme a 2 t dont le rsidu minimum
sera de nouveau 1, et la priode des rsidus recommencera. On aura ainsi une priode de t
rsidus qui se rptera continuellement, et l'on ne pourra trouver un seul rsidu qui ne fasse
partie de cette priode. On aura en gnral a mt 1 et a mt + n a n ; ce qui peut se prsenter
ainsi suivant notre notation : si r (mod. t), on aura a r a (mod. p ).
47. Ce thorme fournit le moyen de trouver facilement les rsidus des puissances,
quelle que soit la grandeur de l'exposant dont elles sont affectes, en mme temps qu'on
dcouvrira la puissance congrue l'unit. Si, par exemple, on demande le reste de la division
de 31000 par 13, comme 331 (mod.13), on a t=3, et comme d'ailleurs 1000 1 (mod.3), on
trouvera 31000 3 (mod. 13).
48. Si a t est la plus petite puissance congrue l'unit, (en exceptant a 0 = 1 , cas que
nous ne considrons pas), les t restes qui composent la priode seront tous diffrens, comme
on le voit sans difficult par la dmonstration du n 45. Alors la proposition du n 46 peut tre
renverse. Savoir, si a m a n (mod. p), on aura m n (mod. t) : car si m et n taient
incongrus suivant t, leurs rsidus minima et seraient diffrens. Mais a a m , a a n ;
donc a a , cest--dire, que toutes les puissances au dessous de a' ne seraient pas
incongrues, ce qui est contre l'hypothse.
Si donc a k 1 (mod. p), on aura k 0 (mod. t), c'est--dire que k sera divisible par t.
Nous avons parl jusqu'ici de modules quelconques, pourvu qu'ils fussent premiers avec
a. A prsent examinons part les modules qui sont des nombres premiers absolus, et
tablissons sur ce fondement des recherches plus gnrales.

50
 49. THORME. Si p est un nombre premier qui ne divise pas a, et que a t soit la plus
petite puissance de a congrue lunit, l'exposant t sera = p - 1, ou une partie aliquote de p-
1.
Voyez pour des exemples le n 45.
Comme nous avons dj prouv que t est = p - 1 ou < p - 1, il reste faire voir que dans
le dernier cas il est toujours une partie aliquote de p - 1.
1 Rassemblons les rsidus minima positifs de tous les termes, 1, a 2 , a 3 ...a t 1 et
dsignons-les par , ', ", etc. de sorte qu'on ait 1, ' a, " a 2 , etc. il est visible qu'ils
seront tous diffrens ; car si deux termes a m , a n donnaient les mmes rsidus, on aurait
a m n 1 (en supposant m > n et m - n < t); ce qui est absurde, puisque a' est la plus petite
puissance de a congrue l'unit. Au reste tous les nombres , ', ", etc. sont compris dans
la srie 1, 2, 3, 4. . p- 1, srie qu'ils n'puisent pas lorsque t < p - 1. Nous dsignerons par (A)
la somme [lensemble] de tous ces rsidus et (A) comprendra un nombre t de termes.

2. Prenons un nombre quelconque,, parmi ceux de la srie 1, 2, 3... p - 1 qui manquent

dans (A). Multiplions par , ', ", etc. et nommons. , ', ", etc. les rsidus minima qui
en proviendront, et qui seront aussi en nombre t. Ces rsidus seront diffrens entr'eux , et
diffreront des nombres , ', ", etc. En effet, si la premire assertion tait fausse, on aurait
m n , d'o l'on tire, en divisant par , m n : ce qui est contre ce que nous venons
de dmontrer ; si la dernire l'tait, on aurait m n ; d'o, quand n > m, n m , c'est--
dire que serait congru quelqu'un des nombres , ', ", etc.: ce qui est contre l'hypothse;
mais si n< m, on aura, en multipliant par a t m , a t a t + n m , ou comme a t 1, a t ( m n ) ,
d'o rsulte la mme absurdit. Dsignons par (B) la somme des nombres , ', ", etc. qui
sont en nombre t; on aura dj 2t nombres parmi ceux-ci 1, 2 ,3 , . . . p-l. Donc si (A) et (B)
p 1
puisent cette srie, on .aura t = .
2

3. Mais s'il en manque quelques-uns, soit un de ceux-l. Multiplions , ', ", etc
par , et soient , ', ", etc. les rsidus minima de ces produits, dont nous dsignerons
l'ensemble par (C); (C) comprendra t nombres pris dans la srie 1,2,3...p-1 qui seront tous
diffrens entr'eux et non~compris dans (A) et (B). Les deux premires assertions se
dmontrent comme ci- dessus (2); quant la troisime, si l'on avait m n on en tirerait
n m , ou t ( m n ) , suivant que m <n ou >n. Dans l'un ou l'autre cas serait congru
quelqu'un des nombres qui composent (B); ce qui serait contre l'hypothse. On aura ainsi 3t
p 1
nombres pris dans la srie 1, 2,3.. .p-l, et s'il n'en reste plus, t = , conformment au
3
thorme.
4. Mais s'il en reste encore quelques-uns, on arrivera de mme une quatrime somme
de nombres (D), etc.; et comme la srie 1,2,3, etc. p- 1 est finie, on voit que l'on parviendra
ncessairement l'puiser, et p - 1 sera un multiple de t; donc t sera une partie aliquote de p -
1.

51
 p 1
50. Puisque est un nombre entier, il suit qu'en levant chaque membre de la
t
p 1
congruence a t 1 (mod. p) la puissance , on aura a p 1 1 (mod. p); c'est--dire, que
t
a p 1 1 sera toujours divisible par p quand p est premier et qu'il ne divise pas a. Ce thorme
remarquable, tant par son lgance que par sa grande utilit, s'appelle ordinairement thorme
de Fermat, du nom de l'inventeur. (Fermatii opera Math. Tolosoe 1679,Fol.p. 165.) Fermat
n'en a pas donn la dmonstration, bien qu'il ait assur qu'il l'avait trouve. Euler en a le
premier publi une dans la Dissertation intitule : Dmonstration de quelques thormes
relatifs aux nombres premiers. (Comm. Ac. Ptrop. T. VIII) ; elle est tire du dveloppement
de ( a + 1) p qui fait voir par la forme des coefficiens, que ( a + 1) a p 1 est toujours divisible
p

par p, et que par consquent ( a + 1) ( a + 1) le sera si a p a l'est. Or comme 1p 1 est

p

divisible par p, 2 p 2 . le sera donc; et partant 3 p 3 , et gnralement a p a . Donc si p ne

divise pas a, on aura aussi a p 1 1 divisible par p. Ce que nous venons de dire suffit pour faire
connatre l'esprit de la dmonstration.

Lambert en a donn une semblable, (Acta eruditorum. 1769, p. 109.) Mais comme le
dveloppement de la puissance d'un binme semble tranger la thorie des nombres, Euler
(Comm.nov. Petrop. T. VIII, p. 70) donna une autre dmonstration qui est conforme celle
que nous venons d'exposer. Dans la suite il s'en prsentera encore dautres : ici nous nous
contenterons d'en donner encore une dduite du mme principe que celle d'Euler. La.
proposition suivante, dont le thorme en question n'est qu'un cas particulier, nous sera utile
pour d'autres recherches.

52
 Annexe 4
le thorme de Gauss dans les Recherches Arithmtiques[5]

53
54
55
 Annexe 5
Une dmonstration originale du thorme de Fermat

Le document daccompagnement des programmes de Terminale S (spcialit), diffus

sur le site du CNDP, donne une dmonstration combinatoire du petit thorme de Fermat.
Nous reproduisons ci-dessous un extrait de ce document :

56
 Annexe 6
Quelques exemples dexercices darithmtique (Bac S, spcialit)

France mtropolitaine, Juin 2003

Le dbut de lexercice sintresse au cne dquation cartsienne dans un repre

( r r r
)
orthonormal O, i , j , k : y 2 + z 2 = 7x 2 .
3a. Montrer que lquation x 2 3 [7] , dont linconnue x est un entier relatif, na pas
de solution.
3b. Montrer la proprit suivante :
pour tous entiers relatifs a et b, si 7 divise a2+b2 alors 7 divise a et 7 divise b.
4a Soient a, b et c des entiers relatifs non nuls. Montrer la proprit suivante :
Si le point de coordonnes (a, b, c) est un point du cne alors a, b et c sont divisibles
par 7.
4b. En dduire que le seul point de dont les coordonnes sont des entiers relatifs est le
sommet de ce cne.

Remarques : La troisime question induit clairement une disjonction des cas modulo7.
La dernire question peut se rsoudre par descente infinie (mthode qui parat bien difficile
pour un lve de terminale), ou en utilisant le plus petit entier strictement positif a tels quil
existe une solution (a, b, c) .

Centres trangers I, juin 2005

Partie B
On admet que 250 507 nest pas un entier premier.
On se propose de chercher des couples dentiers naturels (a ; b) vrifiant la relation :
(E) : a2 - 250 507 = b2.
1) Soit X un entier naturel.
a) Donner dans un tableau, les restes possibles de X modulo 9 ; puis ceux
de X2 modulo 9.
b) Sachant que a2 - 250 507 = b2, dterminer les restes possibles modulo 9
de a2 250 507 ; en dduire les restes possibles modulo 9 de a2.
c) Montrer que les restes possibles modulo 9 de a sont 1 et 8.

Remarques : Cette question induit clairement une disjonction des cas (remarquons
aussi quelle est clairement trs inspire, jusque dans le choix de lexemple numrique,
dactivits en classes moultes fois prsentes par le groupe M. : A.T.H. sur la machine de
Carissan, lors de stages lI.R.E.M. Paris 7 ou dexposs divers, et finalement publies dans
le bulletin vert de lA.P.M.E.P.).

Inde, avril 2005

r v
Le plan complexe est rapport un repre orhonormal direct (O, u , v ) . On considre
lapplication f qui au point M daffixe z fait correspondre le point M daffixe z tel que :
3 + 4i 1 2i
z' = z+
5 5
1. On note x et x, y et y les parties relles et imaginaires de z et z.

57
 3x + 4 y + 1
x ' =
5
Dmontrer que : .
y' = 4 x 3 y 2
5
..
5. On considre les points M daffixe z = x + iy tels que x = 1 et y Z. Le point M
=f(M) a pour affixe z. Dterminer les entiers y tels que Re(z) et Im(z) soient entiers (on
pourra utiliser les congruences modulo 5).

Remarques : La dernire question a t effectivement trait par un certain nombre

dlves en effectuant une disjonction des cas modulo 5 ; on a en effet, si x = 1,
4 + 4y
x' = 5
.
y' = 2 3 y
5
Un tableau des possibilits modulo 5 donne alors :

y 0 1 2 3 4
4 + 4y 4 3 2 1 0
2 3y 2 4 1 3 0

Il est alors immdiat de conclure :

x et y sont entiers si et seulement si 5 divise la fois 4 + 4y et 2 3y, cest--dire si et
seulement si y 4 (mod.5). Il est videmment aussi possible de sattaquer dabord x en
constatant que, si 5 divise 4(1 + y), alors 5 divise y + 1 grce au thorme de Gauss. Le
raisonnement pour obtenir lquivalence souhaite est alors assez simple.

Nice, juin 1978

1. Dterminer lensemble des entiers relatifs x tels que : 8x 7 (mod.5).

Remarques : On peut voir cet exercice comme rsolution de lquation 8x 5k = 7 (un

classique du programme de TS), inconnues dans Z, ou une application de la mthode de
disjonction des cas.

On pourrait citer dautres exemples, mais ceux-ci suffisent voir comment interviennent
certaines mthodes dans les sujets de baccalaurat.

Nous ne rsistons pas au plaisir de vous donner lnonc du premier exercice du

Concours gnral de Mathmatiques 2006 (merci Didier Trotoux de lI.R.E.M. de Caen de
nous lavoir transmis) :
Si n est un entier naturel strictement positif, on note ai ai 1 ...a 1 a 0 son criture dcimale.
On a donc n = 10i ai + 10 i 1 ai 1 + ... + 10a1 + a0 , les entiers a j , 0 j i , sont compris entre 0
et 9 et ai 0 . On dsigne par q un entier compris, au sens large, entre 1 et 9, et on pose
p=10q 1 et lon considre la fonction
f q ( n) = ai ai 1 ...a1 + qa 0

58
 Si i = 0, alors f q ( n) = qa Enfin, lentier q tant fix, on associe tout entier n la suite
(nk) dfinie par les relations :
n0 = n et k N , n k +1 = f q ( n k )
Par exemple, si q = 5, la suite associe 4907 est 4907, 525, 77, 42, 14, 21, 7, 35, 28,
42, 14,
n + pa0
1. Vrifier que f q (n) = . En dduire que f q ( p ) = p .
10
2. (a) Montrer que, si m > p alors f q (m) < m .
(b) En dduire que pour tout entier n, il existe un entier j tel que nj p.
3. (a) Montrer que si m < p alors f q ( m) < p .
(b) En dduire que pour tout entier n, la suite (nk) est priodique partir dun certain
rang, cest--dire quil existe k et T entiers tels que nj+T = nj, pour tout j k.
4. Etablir que, pour tout entier n, fq(n) est congru qn modulo p.
5. Pour quelles valeurs de q la fonction fq a-t-elle des points fixes (cest--dire des
entiers m tels que fq(m) = m) autres que p ? Quels sont alors ces points fixes ?
6. Montrer que, pour des choix convenables de q, ltude de la suite (nk) associe un
entier n fournit des critres de divisibilit de n par 9, 19, 29, 13, 49 et 7. Enoncer ces critres.

La question 2.b se rsout, soit par la mthode de descente infinie, soit par la mthode du
plus petit lment.
Descente infinie : On suppose que pour tout entier j, on a : nj > p. Alors, on a : pour tout
entier j, fq(nj) < nj (daprs 2.a), cest--dire nj+1 < nj. La suite (nj) est alors une suite infinie
strictement dcroissante dentiers naturels. Ce qui est impossible. Donc il existe j dans N tel
que nj p.
MPPE : On suppose que pour tout entier j, on a : nj > p. Soit nm le plus petit lment de
lensemble des valeurs de la suite (nk). Alors, comme nm > p,on a : fq(nm) < nm, cest--dire
nm+1 < nm. Ce qui est contradictoire avec le fait que nm est le plus petit des lments de
lensemble des valeurs de la suite.

La question 3.b se rsout par une rcurrence suivie dun principe des tiroirs.
On sait par la question prcdente quil existe un entier j tel que nj p.
La rcurrence, trs rapide, sert montrer que, pour tout k j, nk p.
Comme la suite extraite (nk), avec k j, comprend une infinit de termes qui ne peuvent
prendre quun nombre fini de valeurs {1, 2, 3, , p-1}, il existe k et k, avec k < k, tels que nk
= nk (principe des tiroirs). La suite est alors priodique de priode k-k partir du rang k.

La question 4. utilise le thorme de Gauss.

10 f q (n) = n + pa 0 n (mod . p )
Comme p = 10q 1, on a : 10 q 1 (mod . p ) et donc 10 f q ( n) 10qn (mod . p ) . Donc p
divise 10(fq(n) qn). Or p et 10 sont premiers entre eux car 10q p = 1 (thorme de
Bzout) ; donc, par le thorme de Gauss, p divise fq(n) qn.

59
 Bibliographie

Sources primaires

[1] E. BOREL et J. DRACH, Introduction ltude de la Thorie des Nombres et de

lAlgbre, daprs les confrences de Jules Tannery lEcole Normale Suprieure, Paris,
1894.
[2] EUCLIDE, Les Elements, Traduction du grec par F. PEYRARD, Paris, 1819.
Rdition Blanchard, Paris, 1966.
[2bis] EUCLIDE, Les Elements, Vol.2 Livres V IX ,trad. B.Vitrac, Paris , PUF, 1994
[3] L. EULER : Thormes sur les restes laisss par la division des puissances, Trait
262 du catalogue Enestr., Nouveaux mmoires de lAcadmie de Saint Petersbourg ,7,
(1758/9, 1761,pp.49-82). Traduction libre. Red. L.Euleri Commentiones Arithmeticae , 1,
Rudio, Lipsiae et Berolini,1915.
[4] P. de FERMAT, uvres (tome II et III) dites par Tannery et Henry, 1896.
[5] F. GAUSS, Recherches Arithmtiques, Traduction Poullet-Delisle, Paris, 1807.
Rdition Blanchard, Paris, 1979.(Edition latine 1801).
[6] A.M LEGENDRE, Thorie des Nombres, Paris, 1830. Rdition Blanchard 1955
[7] Correspondance du Pre Marin Mersenne publie et annote par Cornelis de Waard
tome III (pp. 266-267), Editions du CNRS, 1969.
[8] B. PASCAL, uvres Compltes, Seuil, Paris, 1963.
[9] J. PRESTET, Elments des Mathmatiques, Paris, 1675 (deuxime dition 1689).

Sources secondaires

[10] V. BATTIE, Spcificits et potentialits de lArithmtique lmentaire pour

lapprentissage du raisonnement mathmatique. Thse IREM Paris 7, 2004.
[11] J.L.CHABERT et al., Histoire dalgorithmes, Belin, 1994.
[12] Commission inter I.R.E.M. Histoire et Epistmologie des Mathmatiques, Histoires
de problmes Histoire des Mathmatiques, Ellipses, 1993.
[13]J.P. DELAHAYE, Merveilleux nombres premiers , Belin-Pour la Science, 2000.
[14] A. DJEBBAR, Une histoire de la science arabe, Collection Points Sciences, Seuil,
2001.
[15] C. GOLDSTEIN, Un thorme de Fermat et ses lecteurs, Presses Universitaires de
Vincennes, 1995
[16] C. GOLDSTEIN, On a Seventeeth Century Version of the Fundamental Theorem
of Arithmetic , Historia Mathematica, 1992 (pp. 177-187).
[16bis] C. GOLDSTEIN, Le mtier des nombres aux XVIIme et XIXmes sicles, in
Elments dHistoire des Sciences, dir. Michel Serres, Larousse-Bordas, 1997.
[17] M. GUILLEMOT, En route vers linfini , Histoires de problmes, histoire des
mathmatiques, Ellipses, Paris, 1993, pp. 7-32
[18] I.R.E.M. Groupe Epistmologie et Histoire, Mathmatiques au fil des ges,
Gauthier-Villars, 1987.
[19] D. PERRIN, Cours dAlgbre pour lAgrgation, Editions ENSJF, 1981
[20] R.RASHED, Entre arithmtique et algbre Recherches sur lhistoire des
mathmatiques arabes, Les Belles Lettres, 1984.
[21] J.A. RODDIER, Larithmtique en Lyce avec Excel, IREM de Clermont-Ferrand,
2002.

Les portraits sont tirs du site de lUniversit de Saint-Andrew (Ecosse) :

www.groups.dcs.st-and.ac.uk./~history/

60