Theorie de Nombres

Mathmatiques 2
Thorie des nombres

Par Paul Cheqe
African Virtual university
Universit Virtuelle Africaine
Universidade Virtual Africana
Universit Virtuelle Africaine 1
NOTE
Ce document est publi sous une licence Creative Commons.
http://en.wikipedia.org/wiki/Creative_Commons
Attribution
http://creativecommons.org/licenses/by/2.5/
License (abrviation cc-by ), Version 2.5.
I. Mathmatiques 2, la thorie des nombres _______________________3
II. Pr requis ________________________________________________3
III. Temps ___________________________________________________3
IV. Matriels didactiques _______________________________________3
V. Justification_______________________________________________3
VI. Contenu__________________________________________________4
6.1 Rsum _______________________________________________4
6.2 Reprsentation graphique _________________________________5
VII. Objectifs gnraux _________________________________________6
VIII. Objectifs spcifiques ________________________________________6
IX. valuation initiale __________________________________________7
X. Concepts-cl (glossaire) ____________________________________11
XI. Lectures obligatoires _______________________________________12
XII. Ressources ncessaires ____________________________________13
XIII. Liens utiles ______________________________________________14
XIV. Activits dapprentissage ___________________________________16
XV. Synthse du module _______________________________________80
XVI. valuation sommative ______________________________________81
XVII. Rfrences bibliographiques _________________________________82
XVIII. Dossiers scolaires _______________________________________83
XIX. Auteur du module _________________________________________83
XX. Structure des fichiers ______________________________________83
Table des maTires
i. mathmatiques 2, la thorie des nombres
Par Paul Cheqe, Universit Amoud.
ii. Pr requis
Mathmatiques de base.
iii. Temps
120 heures.
iV. matriels didactiques
- Manuel en ligne ou sur disque compact.
- Activits TIC en ligne ou sur disque compact.
- Rfrences en ligne.
- Matriel pour lvaluation initiale.
- Logiciel distribu gratuitement.
V. Justifcation
La thorie des nombres est un module essentiel qui offre un support aux en-
seignants dans leur comprhension et leur interprtation de la proprit des
nombres. Elle est un point de dpart pour les nombreuses preuves et solutions
de diverses quations. Elle forme la base de la thorie et est donc trs importante
dans lenseignement des mathmatiques lcole secondaire, en plus dtre le
tremplin vers ltude des mathmatiques avances.
Par son appartenance au domaine de lalgbre, la thorie des nombres offre un
support inestimable pour enseigner et apprendre les modes de raisonnements
logiques, notamment le raisonnement par labsurde, le raisonnement par condi-
tion ncessaire et le raisonnement par disjonction des cas. Notons en effet que
ces deux derniers modes de raisonnement savrent diffciles tre comprises
par nombre dapprenants dans le secondaire, alors ils sont trs frquemment
demands dans la vie active quotidienne : citons par exemple la recherche dun
gisement de ptrole, de saphir, dor, etc, par des indices externes. Larithmtique
des entiers relatifs, rien que par les notions de diviseurs et de dcomposition
dun entier en un produit des facteurs premiers, peut tre effcacement exploite
pour stimuler la capacit dun calcul mental ou rapide, donc largumentation
pertinente spontane, dans la rsolution dune quation polynomiale coeffcients
entiers de degr suprieur ou gal deux ds la quatrime ou la cinquime anne
du secondaire, avant mme dapprendre le discriminant dun trinme du second
degr.
Vi. Contenu
Le module sur la thorie des nombres est constitu de deux units. On prsume
que llve-matre est familier avec les mathmatiques de base. La premire unit
prsente les proprits des entiers relatifs ainsi que les quations diophantiennes
linaires. Elle savance ensuite sur la division avec reste, les nombres premiers
et leur rpartition, le thorme dEuclide sur linfnit des nombres premiers
et, du mme auteur, lalgorithme et son application pour rsoudre les quations
diophantiennes linaires. Lunit se conclut avec le triplet pythagoricien et le
dernier thorme de Fermat dmontr par Andrew Wiles.
On prsume aussi que llve-matre aura assimil la matire de la premire unit
avant de passer la seconde. Cette deuxime unit prsente lensemble des entiers
relatifs (mod p), les rsidus quadratiques et carrs, le critre dEuler, le symbole
de Legendre, le lemme de Gauss et la loi de rciprocit quadratique, lalgorithme
dEuclide et lanneau factoriel de lentier de Gauss, larithmtique de lentier
quadratique et lapplication des quations diophantiennes, et se conclut avec le
dernier thorme de Fermat appliqu aux cubes, lquation de Pell et les units
dans lentier quadratique rel.
6.1 Rsum
Unit 1 : Les proprits des entiers relatifs et les quations diophantiennes
linaires.
Niveau 1. Priorit B. Les mathmatiques de base 2 sont un prrequis.
- Les proprits des entiers relatifs.
- La division avec reste.
- Les nombres premiers et leur rpartition.
- Le thorme dEuclide sur linfnit des nombres premiers.
- Lalgorithme dEuclide.
- Les consquences, classes de rsidus et entiers relatifs (mod n).
- Le cas du nombre premier n.
- Les racines primitives et leurs valeurs.
- Lutilisation de lalgorithme dEuclide pour rsoudre les quations dio-
phantiennes linaires.
- Le triplet pythagoricien et le dernier thorme de Fermat.
Unit 2 : La thorie des congruences et de lentier quadratique.
Niveau 2 : Priorit B. Lunit 1 de ce module est un pr requis.
- Lensemble des entiers relatifs (mod p).
- Rsidus quadratiques et carrs.
- Le critre dEuler. Le symbole de Legendre.
- Le lemme de Gauss et la loi de rciprocit quadratique.
- Lvaluation du caractre quadratique par la loi de rciprocit.
- Lentier quadratique.
- La norme et la trace.
- Lalgorithme dEuclide et lanneau factoriel de lentier de Gauss.
- Larithmtique de lentier quadratique et lapplication des quations dio-
phantiennes.
- Le dernier thorme de Fermat appliqu aux cubes.
- Lquation de Pell et les units dans lentier quadratique rel.
6.2 Reprsentation graphique

Vii. Objectifs gnraux
Llve-matre aura acquis la connaissance ncessaire des proprits des nombres
(et leurs liens entre eux) afn denseigner effcacement les mathmatiques dans
les coles secondaires.
Viii. Objectifs spcifques
Unit 1 :
la fin de cette unit, les apprenants devraient tre capable de :

- Connatre et comprendre les proprits des nombres et les concepts de
base li ceux-ci.
- Connatre et comprendre les relations et les modles rcurrents parmi les
nombres.
- Illustrer les proprits des entiers relatifs et leur divisibilit avec reste.
- Calculer le plus grand commun diviseur et le plus petit commun multiple
par factorisation.
- Calculer le plus grand commun diviseur avec lalgorithme dEuclide
- Illustrer les proprits des nombres premiers et leur rpartition.
- Illustrer le thorme dEuclide sur linfnit des nombres premiers.
- valuer les entiers relatifs (mod p), le cas du nombre premier n, les raci-
nes primitives et les exposants.
- Utiliser et appliquer lalgorithme dEuclide pour rsoudre les quations
diophantiennes linaires.
- Analyser et illustrer le triplet pythagoricien ainsi que le dernier thorme
de Fermat.
Unit 2 :
la fn de cette unit, les apprenants devraient tre capables de :
- Illustrer lensemble des entiers relatifs (mod p), les rsidus quadratiques et
carrs.
- Identifer les grandes lignes du critre dEuler.
- Utiliser le symbole de Legendre, le lemme de Gauss et la loi de rcipro-
cit quadratique.
- valuer le caractre quadratique par la loi de rciprocit quadratique.
- Dfnir la norme.
- Appliquer lalgorithme dEuclide lanneau factoriel de lentier de
Gauss.
- Explorer larithmtique de lentier quadratique et lapplication des qua-
tions diophantiennes.
- Examiner lquation de Pell et les units dans lentier quadratique rel.
iX. valuation initiale
Titre de lvaluation initiale : Rvision des mathmatiques de base.
9.1 Justification : Les mathmatiques de base sont un pr requis pour la
thorie des nombres.
QUESTIONS
1. Trouvez la valeur de x dans 2
(2x + 2)
= 64.
a) 3 b) 5 c) 1 d) 2
2. Rsolvez simultanment: 3x + 2y = 22
x + y = 9
a) 7, 2 b) 1, 8 c) 4, 5 d) 6, 2
3. Rsolvez le quadratique : x
2
3x 10 = 0.
a) -5, 2 b) 5, -2 c) -5, -2 d) 5, 2
4. Trouvez linverse de la fonction : g(x) = 2x 3.
a) g
-1
(x) =
2
) 3 ( + x
b) g
-1
(x) =
2
) 3 2 ( + x
c) g
-1
(x) =
2
) 3 ( - x

d) g
-1
(x) =
2
) 3 2 ( x +

5. Trouvez le plus grand commun diviseur (PGCD) de 986 et 289.
a) 17 b) 58 c) 9 d) 3
6. Rsolvez cette quation:
4
6
2
3
2
1
2
-
-
+
=
- x
x
x x
.

a)
-
2 b) 4 c) 2 d) 3
7. Rsolvez: (2 )(4 + 3).
a) 8 + b) 13 c) 11 + 2 d) 10 - 3
8. Trouvez:
=
6
1 i
( 4i + 2).
a) 6 b) 26 c) 84 d) 97
9. Dterminez:
8
C
2.
a) 20 b) 28 c) 16 d) 4
10. Le 3
e
terme dune squence gomtrique est gal 1 et le 5
e
terme est
gal 16.
Trouvez la valeur du 7
e
terme.
a) 4 b) 128 c) 256 d) 4096
11. Si s = ut + at, dterminez s lorsque u = 3, a = 10 et t = 5.
a) 30 b) 60 c) 110 d) 140
12. Considrant cette quation y = x
2
+ 5x 14, trouvez le point de rebrous-
sement.
a) -2, 7 b) -7, 2 c) -2, 141/8 d) -2, -20

1/4
13. Lorsque factoris, 36j 48 devient:
a) 12 (3j 4) b) 12 (24j 36) c) 9 (4j 7) d) 8 (4j 6)
14. La solution de
8
m
- 11 = - 2 est:
a) 56 b) 64 c) 72 d) 96
15. Rsoudre lquation 6 (7+y) 2 (5y-1) = 12 (3y+5) 16 (y-5) produit :
a) -2 b) -4 c) -3 d) 2
16. Une paille de 20 cm est lobjet le plus long pouvant tre contenu dans
un cylindre ayant un rayon de 6 cm. La hauteur en cm de ce cylindre
se rapprocherait de:
a) 8 b) 15 c) 16 d) 9
17. Considrant cette quation y = - x + 2x + 8, trouvez la valeur de x.
a) - 2, 4 b) 2, - 4 c) 2, 4 d) -2, - 4
18.

67 cm
73 cm
P
p
Q
R

-
65 cm

Le degr de l angle - est de:

a) 0.57
0
b) 55.1
0

c) 43
0
d) 67.2
0

19. Pour cette squence: 7, 16, 25, 34... le 56
e
terme est :
a) 495 b) 640 c) 55 d) 502
20. Chaque angle lintrieur dun polygone rgulier est de 140
0
. Combien
de ct ce polygone possde-til?
a) 5 b) 9 c) 11 d) 7
9.2 Rponses aux questions
1. d 11. c
2. c 12. d
3. b 13. a
4. a 14. c
5. a 15. b
6. a 16. c
7. c 17. a
8. d 18. b
9. b 19. d
10. c 20. b
9.3 Commentaire pdagogique pour les apprenants
Lapproche de lapprenant envers les mathmatiques dterminera sil pourra bien
saisir le module de la thorie des nombres. Ce module est fond sur les mathma-
tiques de base. Cette valuation initiale mesurera ainsi le degr de connaissance
de lapprenant et indiquera son niveau de disposition pour la suite. Lapprenant
devrait rviser les mathmatiques de base avant lvaluation initiale, et aprs
celle-ci sil prouve des diffcults, de manire amliorer sa performance dans
ce module.
La thorie des nombres est une branche des mathmatiques pures qui utilise
beaucoup de notations mathmatiques. Avant de commencer le module, rvisez
toutes les notations mathmatiques rencontres lcole secondaire et en ma-
thmatiques de base.
X. Concepts-cl (glossaire)
1. ALGORITHME :
Procdure pour rsoudre un problme dans un nombre dfni dtapes.
2. ENTIER RELATIF :
Tout nombre entier positif ou ngatif de cet ensemble : {-3, -2, -1, 0, 1,
2,3}.
3. NOMBRE PREMIER :
Tout nombre ne pouvant tre divis que par lui-mme et 1.
4. NOMBRE PAIR :
Nombre qui peut tre divis par 2 sans reste.
5. NOMBRES IMPAIRS :
Nombre qui a 1 comme reste lorsque divis par 2.
6. LALGORITHME DEUCLIDE :
Procdure pour trouver le plus grand commun diviseur de deux entiers. Cet al-
gorithme a t dvelopp par Euclide, un mathmaticien grec ayant vcu dans
les annes 400 av. J.-C.
7. QUATION DIOPHANTIENNE :
quation polynomiale dont les coeffcients sont des nombres entiers et o les
seules solutions possibles sont aussi entires. Par exemple : mx = k, o m et
k sont des nombres entiers et m 0, est une quation linaire diophantienne
du premier degr. Lquation diophantienne doit son nom Diophantus, un
mathmaticien grec ayant vcu dans les annes 300 ap. J.-C.
8. LEMME, THORME, COROLLAIRE :
Signife une proposition qui peut tre mathmatiquement dmontre.
9. LENTIER DE GAUSS :
Nombre complexe dont les parties, relle et imaginaire, sont toutes deux des
entiers relatifs. Cest dire a + bi, o a et b sont des entiers relatifs.
10. LA NORME DES ENTIERS DE GAUSS :
Entier naturel dfni par : N(a + b) = a + b.
11. LE MODULE DUN ENTIER DE GAUSS :
Est simplement sa valeur absolue : | a + b | =
2 2
b a +
.
12. LE CONJUGU :
Le conjugu de : ( a + b ) est ( a b).
Xi. lectures obligatoires
Lecture #1 Wolfram Mathworld (visit le 03.11.06)
Rrfence complte : http://mathworld.wolfram.com/NumberTheory.html
Rsum : Ce site contient une valeur inestimable de matriels sur la thorie des nom-
bres. Il est conseill aux apprenants davoir un regard critique et de suivre les preuves
de lemmes amenes dans ce site. Il y a aussi beaucoup dillustrations venant appuyer
les donnes et permet lapprenant dexplorer diffrentes mthodes dapproche.
Justifcation: Cette rfrence permet lapprenant danalyser la thorie des
nombres travers de multiples approches abstraites que beaucoup dapprenants
narrivent souvent pas visualiser. En lisant de manire assidue, il pourra apprcier
les conclusions techniques aux lemmes, corollaires, thormes et propositions
qui sont utiliss dans plusieurs des dmonstrations.
Lecture #2 Wikipdia (visit le 03.11.06)
Rfrence complte : http://en.wikipedia.org/wiki/Number_Theory
Rfrence complte : http://fr.wikipedia.org/wiki/Thorie_des_Nombres
Rsum : Wikipdia devrait tre la premire source dinformation sur la thorie des
nombres. Elle est trs complte et tout apprenant devrait sy rfrer pour compren-
dre les mathmatiques pures. De plus, elle permet lapprenant un accs des argu-
ments varis ayant laiss perplexe les mathmaticiens depuis des centaines dannes.
Justifcation: Ce site donne des dfnitions, explications et exemples que lappre-
nant naurait autrement pas accs ailleurs. Le fait que Wikipdia est souvent mis
jour donne lapprenant la possibilit davoir sous la main les toutes dernires
informations et elles font souvent rfrence dautres sources qui permettront de
dcouvrir diffrentes approches proposes sur la thorie des nombres.
Lecture #3 MacTutor History of Mathematics (visit le 03.11.06)
Rfrence complte : http://www-history.mcs.st-and.ac.uk/Indexes/Num-
ber_Theory.html
Rsum : MacTutor est une lecture essentielle sur lhistoire de la thorie
des nombres. On y explique comment les thormes, propositions, corol-
laires et lemmes ont su hanter les mathmaticiens travers les sicles. Le
dernier thorme de Fermat y est trs bien illustr comme un concept assez
simple pouvant tre compris facilement. Toutefois, la preuve de ce thorme
a chapp aux mathmaticiens sur plus de 300 ans (de 1637 jusqu 1995).
Justifcation: Lhistoire des mathmatiques telle quamene dans MacTutor
nous permet non seulement de voir diffrents aspects historiques de la thorie des
nombres, mais elle dfe aussi les apprenants de prouver les thormes, proposi-
tions, lemmes et corollaires qui, jusqu ce jour, restent sans preuve. Lapprenant
apprciera un tel df en tentant plusieurs approches telles que linduction et la
contradiction. Cette rfrence est donc approprie pour la varit de ses appro-
ches mathmatiques que tout apprenant se doit de connatre pour approfondir ses
connaissances et comprendre les mathmatiques pures.
Xii. ressources ncessaires
Ressource #1 Maxima
Rfrence complte : Une copie de Maxima sur disque compact est fournie
avec ce cours.
Rsum : Les apprenants loigns sont parfois confronts des mathma-
tiques compliques et ce, sans ressource pour les comprendre. Le manque
de pratique avec la prsence dun enseignant peut rendre lapprenant com-
pltement dmuni sil ne peut squiper de ressources pouvant laider
rsoudre les problmes mathmatiques. Cest ici quentre en jeu Maxima.
Justifcation: Maxima est un logiciel en libre accs qui aide tout apprenant
rsoudre les quations quadratiques et linaires, les systmes dquations, lint-
gration et la diffrentielle, faire des manipulations algbriques : factorisation,
simplifcation, expansion, etc. Cette ressource est essentielle pour tout ceux
prenant le cours distance, car elle leur permettra dapprendre plus rapidement
en utilisant les donnes TIC dj acquises.
Ressource #2 Graph
Rfrence complte : Une copie de Graph sur disque compact est fournie
avec ce cours.
Rsum : Il est difficile de dessiner des graphiques de fonctions, surtout
quand elles sont compliques et encore plus lorsquelles sont en trois di-
mensions. Lapprenant, qui apprend distance, rencontrera invitablement
des situations o il aura besoin de graphiques mathmatiques. Le cours est
justement accompagn du logiciel Graph afn de laider les faire. Il faut tou-
tefois se familiariser avec le logiciel avant de pouvoir lutiliser effcacement.
Justifcation: Graph est un logiciel en libre accs disponible sur le disque com-
pact accompagnant ce cours. Il aide tout apprenant mathmaticien constituer
un graphique qui autrement serait un cauchemar faire la main. Il est facile
dutilisation lorsquon prend le temps dapprendre sen servir. Lapprenant
pourra ainsi profter de ce logiciel, parce quil lassistera non seulement durant
ce cours, mais aussi aprs : il sera extrmement pratique lorsque le temps sera
venu denseigner les mathmatiques du niveau secondaire.
Xiii. liens utiles
Lien utile #1 Le dernier thorme de Fermat
Adresse URL : http://www-history.mcs.st-and.ac.uk/HistTopics/Fermat%27s_
last_theorem.html
Rsum : Le dernier thorme de Fermat est simplement cette quation : x
3
+
y
3
= z
3
. Malgr son apparence simple, la preuve de ce thorme a chappe aux
mathmaticiens sur plus de 300 ans (de 1637 jusqu 1995). Pourquoi une aussi
simple quation cubique, pouvant tre comprit par des enfants de lcole primaire,
a pu ainsi chapper aux mathmaticiens? Tout cela est expliqu sur le site web.
Justifcation: Le triplet pythagoricien fut utilis par les anciennes civilisations
de Babylone et dgypte pour leurs constructions. Le mathmaticien Pythagore
a document la thorie de ce triplet, mais il na toutefois jamais tent lqua-
tion cubique. Cest ce qui a intrigu les mathmaticiens aprs la proposition
de Fermat. Lhistoire derrire cette thorie est vraiment fascinante pour lesprit
mathmatique et ce site est donc une lecture essentielle pour la comprhension
de la thorie des nombres.
Lien utile #2 Wikipdia
Adresse URL : http://en.wikipedia.org/wiki/Number_Theory
Rsum : Wikipdia est le dictionnaire par excellence pour tout mathma-
ticien. Ce site gratuit est frquemment mis jour. La plupart des apprenants
de la thorie des nombres risque de faire face des problmes de rfrence
de temps autre. La majeure partie des livres disponibles sur la thorie
des nombres ne couvre que certaines parties ou sections de ce module. Le
manque douvrage de rfrence peut donc tre remdi par lutilisation
de Wikipdia. Il est facilement accessible par une recherche sur Google.
Justifcation: Que Wikipdia soit aussi facile daccs rsout le problme davoir
chercher des ressources didactiques dans les multiples branches des mathmati-
ques. Lapprenant devrait savoir lutiliser bon escient afn daider son apprentis-
sage. Cest une ressource gratuite trs utile qui non seulement rsout le problme
des lves trouver des sites de rfrences, mais rfre aussi lapprenant vers
dautres sites Internet en lien avec le sujet. Son utilit est ingale.
Lien utile #3 Mathsguru
Adresse URL : http://www.bbc.co.uk/schools/websites/16/index.shtml
Rsum : Mathsguru est un site Internet qui aide lapprenant comprendre les
branches varies de la thorie des nombres. Il est facilement accessible par une
recherche sur Google et offre de linformation trs dtaille sur de nombreuses
questions. Les exemples et les explications sont faciles dapproche.
Justifcation: Mathsguru est une bonne alternative pour avoir accs dautres
sujets en lien avec la thorie des nombres, ainsi que de bons indices et solutions
pouvant tre trs pratique pour lapprenant. Il peut effectivement en venir avoir
des diffcults trouver des livres pouvant lassister lors de rsolutions de probl-
mes rencontrs, alors ce site peut tre dune grande aide.
Lien utile #4 Wolfram Mathworld
Adresse URL : http://en.wikipedia.org/wiki/Number_Theory
Rsum : Wolfram Mathworld est un site web qui se dmarque pour sa multitude
de solutions sur la thorie des nombres. Il aborde corollaires, lemmes et propo-
sitions ainsi que leurs preuves. Lapprenant peut y avoir accs simplement par
une recherche sur Google. Wolfram amne aussi le visiteur vers dautres sites
qui couvrent ces mmes sujets et lui permet ainsi dlargir ses connaissances.
Justifcation: Wolfram est un site utile offrant un bon aperu de la thorie des nom-
bres tout en fournissant une mthodologie et de nombreux dfs. Il est surtout pratique
pour la modlisation des mathmatiques et est recommand pour les apprenants
voulant tudier la thorie des nombres et les autres branches des mathmatiques. Il
est une bonne source vers dautres sites web tout aussi instructifs, leur permettant
de bien comprendre la thorie des nombres.
Lien utile #5 Proof of Fermats last Theorem by Wiles
Adresse URL : http://www.pbs.org/wgbh/nova/proof/wiles.html
Rsum : Le dernier thorme de Fermat a intrigu les mathmaticiens sur
plus de 300 ans; de 1637 jusqu 1995. Cest lors de cette dernire anne que
le professeur Wiles a fnalement russi le rsoudre et cest pour ce thorme
que nombre de mathmaticiens partout dans le monde ont tent de trouver la
rponse, mais sans succs. Wiles a abord ce problme la premire fois alors
quil tait lcole primaire et a ensuite tent maintes reprises de prouver ce
thorme, en vain. Cest en 1995, alors devenu professeur de mathmatiques,
quil russit raliser son rve denfant : prouver le dernier thorme de Fermat.
Justifcation: Ce site web souligne les tapes importantes vers les solutions
de propositions mathmatiques et dcortique dautres propositions qui restent
encore prouver. Tout apprenant peut donc essayer de les rsoudre et ainsi
contribuer au merveilleux monde des mathmatiques, qui est toujours stimulant.
Il est important de savoir que tout nest pas rsolu dans le domaine des ma-
thmatiques et quil y a toujours place lamlioration en prouvant toutes ces
propositions qui ne demandent, depuis bien des annes, qu tre solutionnes.
Activit # 1
XiV. activits dapprentissage
Algorithmec dEuclide et quations diophantiennes linaires.
Unit 1 (60 heures) : Les proprits des entiers relatifs et les quations dio-
phantiennes linaires.
Rsum de lunit 1 (Activits multiples)
Lapproche utilise dans ce module relie la thorie des nombres des situations
de la vie courante. cause du ct trs abstrait de cette thorie, la rfrence aux
lemmes, thormes et preuves est donne lapprenant par matriel didactique.
Lapprenant peut tre amen crire un simple programme dordinateur afn de
faire des calculs de base pour dmontrer ses capacits mathmatiques et les for-
mules. Il naura pas ncessairement tre trs connaisseur en informatique pour
russir faire les exercices. Les thormes sont soutenus, mais avec les preuves
donnes pour les activits de groupe viennent les ressources ncessaires. Il faut
noter que ce module se concentre sur les mathmatiques pures et que les activits
tournent autour de la thorie algorithmique des nombres, thormes, lemmes,
propositions, corollaires et leurs preuves.
Lectures
Toutes les lectures pour ce module proviennent de livres en libre accs. Les auteurs
les ont laisss disponibles pour tous et sont donc gratuits. Le disque compact
accompagnant ce cours inclut les copies compltes de ces livres.
Vous serez rfr des sections spcifques de ces livres lorsque ncessaire.

1. Elementary Number Theory, by W.Edwin Clark, University of South
Florida, 2003.
(File name on CD: Elem_number_theory_Clarke)
2. Elementary Number Theory, by William Stein, Harvard University, 2005.
(File name on CD : Number_Theory_Stein)
3. MIT Open Courseware, Theory of Numbers, Spring 2003, Prof. Martin
Olsson. (File name on CD : MIT_Theory_of_Numbers)
Ressources Internet
Ces ressources gnrales couvrent toute la matire vue dans ce module. Elles
offrent lopportunit dapprofondir ses connaissances en citant des lectures
supplmentaires. Des sources plus spcifques seront dtailles dans la section
approprie de ce guide.
Pr requis
Ce module ncessite que les apprenants soient familiers avec les nombres des
mathmatiques de base, comme les proprits des nombres suivantes:
1. Loi commutative : p + q = q + r et pq = qp
2. Loi associative: p + (q + r) = (p + q) + r = p + q + r
3. Loi des exposants :
a) a
m
x a
n
= a
m

+ n

b) a
m
a
n
= a
m - n

c) (a
m
)
n
= a
mn
o m et n 0
d) =
m
a
1
a
-m

e) a
0
=1, a 0
f) a
-n
=
n
a
1

g)
1
n
n
a a = , n 0
h) a
m
n m
n
a a = ,n 0
i) a
m
x b
m
= (ab)
m

j)
m
m
b
a
=
m
b
a
4. La valeur absolue (ou module) de p p = si p est positif et p p

-
= si p
est ngatif.
La fonction valeur absolue donne la valeur numrique dune entre. Elle
convertit les nombres ngatifs en positifs et scrit comme suit : y x = et
est lue comme y gale mod x .
Exemple : Donnez la valeur de |7 - x| o x = 15.
Solution: Lorsque x =15, |7 -15| = |
-
8| = 8
5. Solutions des quations quadratiques : vous devriez pouvoir rsoudre les
systmes dquations linaires et quadratiques en utilisant une mthode
algbrique.
valuation formative 1
Exercices : Exposants

Trouvez la valeur de x :
1. 4
x+2
= 8
2x

2. 2
2x+1
5(2
x
) + 2 = 0
3. Logx6 =

valuez :
4.
2
3
49
4
-

5. log
10
0.001

Rponses

1. x = 1
2. x = 1, x = -1
3. x = 36
4.
3
2
7

5. x = -3

Notation
1) Si p est divisible par q, nous crivons p q. Si p nest pas divisible par q,
nous crivons p q
2) veut dire pour tout
3) veut dire de telle sorte que
4) ssi veut dire si et seulement si
5) veut dire est un lment de
6) Z veut dire ensemble des entiers relatifs
7) veut dire implique
8) $ veut dire il existe
9) veut dire quivalent
10) veut dire nest pas un lment de
Prenez p, q et r comme entiers relatifs. Alors :
a) p|q, a>0,q>0 p q
b) p|q p|qr , entiers r
c) p|q, p|r p|( qx + ry) pour x,y Z
d) p|q, q|p p = q
e) p|q , q|r p|r
Preuves mathmatiques : par induction (ou rcurrence) et absurde
Le module de la thorie des nombres utilise abondamment linduction math-
matique et la preuve indirecte (ou la preuve par absurde).
Exemple 1 : Preuve par induction

Prouvez par induction mathmatique que :
1 + 2 + + m =
2
) 1 ( + m m

Preuve:

tape 1: Technique par rcurrence

Linduction mathmatique prouve en vrifant si la proposition retient que m =
1 et m = k + 1. Lorsquelle retient que m = k, alors la proposition retient pour
tout entier relatif positif m = 1, 2, 3

tape 2: Substituez m = 1 de cette quation:
1 =
2
) 1 1 ( 1 +
= 1

tape 3: Supposez que la formule retienne que m = k.
1 + 2 + + k =
2
) 1 ( + k k

tape 4: Preuve que la formule retient m = k + 1.

1 + 2 + + k + ( k + 1 ) =
2
} 1 ) 1 ){( 1 ( + + + k k

On crit:

1 + 2 + + k =
2
) 1 ( + k k

Donc
2
) 1 ( + k k
+ ( k + 1) =
2
} 1 ) 1 ){( 1 ( + + + k k
, donc
2
2 2 ) 1 ( + + + k k k

=
2
) 2 ){( 1 ( + + k k
do
2
) 2 ){( 1 ( + + k k
=
2
) 2 ){( 1 ( + + k k
{par factorisation} [ PROUV ]
Ceci est une preuve par rcurrence.

Exemple 2 : Prouvez par rcurrence que pour tout entier positif n, alors :
1 +2 + 3 + 4 + + n =
6
) 1 2 )( 1 ( + + n n n

tape 1 : Technique par rcurrence
Linduction mathmatique prouve en vrifant si la proposition retient que n =
1 et n = k + 1. Lorsquelle retient que n = k, alors la proposition retient pour
tous entiers relatifs positifs n = 1, 2, 3

tape 2 : Substituez n = 1 de cette quation :

1=
6
} 1 ) 1 2 }{( 1 1 { 1 + +
= 1

tape 3 : Assumez que la formule retient pour k :

1 +2 + 3 + 4 + + k =
6
) 1 2 )( 1 ( + + k k k

tape 4 : Prouvez que la formule retient que n = k + 1.

1 +2 + 3 + 4 + + (k + 1) =
6
} 1 ) 1 ( 2 ){ 1 1 )( 1 ( + + + + + k k k

On crit
1 +2 + 3 + 4 + + (k + 1) = (1 + 2 + 3 + 4 +. + k) + (k + 1)
=
6
) 1 2 )( 1 ( + + k k k
+ (k + 1)
=
6
) 6 6 2 )( 1 (
2
+ + + + k k k k
=
6
) 3 2 )( 2 )( 1 ( + + + k k k

{par factorisation} [ PROUV ]
Ceci est une preuve par rcurrence.
* lire : Preuve par induction
1. Elementary Number Theory, by W.Edwin Clark, 2003, pages 2-7.
Ressource Internet
http://www.bbc.co.uk/schools/websites/16/index.shtml
Lisez sur ce site les deux pages concernant la preuve par induction.
Exercices : Preuve par rcurrence
1. Prouvez que 1 + 2 + 2_ + + 2
n
= 2
n+1
1 o n 1.
2. Prouvez que 1 + 3 + 5 + 7 + + (2n 1) = n
2
.
3. Prouvez que a + ar + ar
2
+ + ar
n
=
r
r a
n
-
-
+
1
) 1 (
1
, o n > 0.
4. Prouvez que 1
4
+ 2
4
+ 3
4
+ 4
4
+ + n
4
=
30
) 1 3 3 )( 1 2 )( 1 (
2
- + + + n n n n n
.

5. Prouvez que pour n < 2
n
pour tous les entiers relatifs positifs n.
6. Prouvez que (ab)
n
= a
n
b
n
.
7. Prouvez que 1 + 4 + 7 + 10 + + (3n -2) = (3n -1).
Nombres pairs et impairs
Activit sur les nombres pairs et impairs
Cas 1
Que comprenez-vous des nombres pairs et impairs?
Donnez une faon simple de distinguer les nombres pairs des nombres impairs.
Combien de mois dans une anne possdent un nombre impair de journes?
Combien dannes en nombres pairs y a-t-il entre 1960 et 2010?

Rponse
Les nombres divisibles par 2 sont appels pairs et les nombres qui ne le sont
pas sont appels impairs.
Organigramme pour tester les nombres pairs et impairs.

Dpart
Insrez un
entier N
Calculez M = (N / 2) 2
(Ignorez le reste)
?
M = N

crit N est
pair

crit N est
impair
STOP
oui no
n
Procdures :
1. Insrez un entier N.
2. Calculez M comme indiqu.
3. Dcidez si N est pair ou impair.
Cette activit est un organigramme qui reprsente le classement des nombres
entiers pairs et impairs.
Classifezvosrsultats:
Nombre, N
Pair
Impair

Exercice
Modifez lorganigramme pour tester si un nombre est divisible par 3.
Rponse
Changez la formule M = N/2 x 2 pour M = N/3 x 3. Aussi, changez le format de
la formule afn dcrire les messages appropris.
Rflexions
1. En tant qulve-matre, comment enseigneriez-vous les exposants et entiers
relatifs tout en les reftant dans des situations de la vie courante? Pensez
des approches pratiques pour les inclure dans des expriences de la vie
quotidienne des apprenants.
2. La droite numrique a t utilise pour enseigner le calcul des entiers relatifs
positifs ou ngatifs. Comment lenseignant peut-il lutiliser sans perdre la
signifcation relle des oprations de base comme la division, laddition, la
soustraction et la multiplication telles quelles sont relies la vraie vie? Par
exemple :
-
2
-
2 = 4.
Diviseur
Le diviseur dun entier relatif n, aussi appel facteur de n, est un entier relatif qui
divise n de manire gale et ce, sans laisser de reste.
Exemple :
7 est un diviseur de 35 parce que 35/7 = 5. On dit aussi que 35 est divisible par 7
ou 35 est un multiple de 7 ou 7 divise 35 que lon crit habituellement : 7/35.
Gnralement, on dit m|n (se lit: m divise n) pour les entiers relatifs diffrent de
0. Sil existe un entier k pour que n = km et par consquent les diviseurs peuvent
autant tre ngatif que positif. Par exemple les diviseurs de 6 sont 1, 2, 3, 6, -1,
-2, -3, -6 mais la plupart ne mentionnerait que les positifs. 1 et -1 divisent (sont
diviseurs de) tous les entiers relatifs, tous les entiers relatifs sauto-divisent et
sont diviseurs de 0.
Un diviseur de n qui nest pas 1, -1, n ou n est reconnu comme diviseur non
trivial, les nombres avec diviseur non trivial sont connus comme nombres com-
poss alors que les nombres premiers ont des diviseurs non triviaux.
Si a|b=c, alors a est le dividende, b le diviseur et c le quotient.
Le reste des entiers naturels
Si a et d sont des entiers naturels, avec d diffrent de 0, il est possible de prouver
quil existe des entiers uniques q et r, pour que a = qd + r et 0 r < d. Lentier q
se nomme le quotient, alors que r est appel le reste.
Exemple :
1) Lorsquon divise 17 par 10, 1 est le quotient et 7 le reste puisque 17 = 1 x
10 + 7.
2) 22 / 4 = 5 x 4 + 2 o 5 est le quotient et 2 le reste.
3) Lorsquon divise 42 par 7, 6 est le quotient et 0 est le reste puisque 42 =
7 x 6 + 0.
Cas gnral des entiers
Si a et d sont entiers, avec d diffrent de 0, alors le reste est un entier r pour que
a = qd + r pour un entier q, et 0 <= |r| <= |d|.
Lorsque dfni de la sorte, il y a deux possibilits de reste.
Exemple :
La division de -37 par 5 peut sexprimer soit par -37 = 8 x (-5) + 3 ou par -37 =
7 x (-5) + (-2). Le reste est alors 3 ou -2.
Note: Lorsquon divise par d, si le reste positif est r1 et que le reste ngatif est
r2,
alors r1 = r2 + d.
Opration modulo
Lopration modulo calcule le reste par une division dun nombre par un autre.
Considrant deux nombres a et n, a modulo n (en abrg : a mod n) est le reste, par
la division de a par n. Par exemple : 10 mod 3 svalue 1 et 12 mod 3 svalue
0 o 1 et 3 sont les restes aprs la division.
Divisibilit
Dfnition : Un entier p est divisible par un entier q ssi $ un entier r p = q r.
Le thorme de la division
Si m et n sont des entiers, o n est diffrent de 0, alors il existe des entiers uni-
ques q et r,
0 r< I n I, m = qn + r.
Les entiers :
a) m est le dividende
b) q est le quotient
c) n est le diviseur
d) r est le reste
Cas 1
Divisez 11 hectares de terrain entre 5 personnes. Combien en auront-ils cha-
cun?
Chaque personne a un nombre entier et une fraction.
Dans ce cas, identifez le divis (a), le quotient (q), le diviseur (b) et le reste (r).
Exemples :
Si m et n sont entiers o n est difrent de 0, alors il existe des entiers uniques q et r.
0 r< I n I, m = qn + r. n q r m= qn + r
Les entiers 2 7 1 m=7(2) + 1
m est le dividende 5 6 3 m =5(6) + 3
q est le quotient - 10 2 1 m = -10(2) + 1
n est le diviseur -9 5 8 m = -9 (5) +8

Exercice : Facteurs
1. Remplissez ce tableau
m n q r Solution
7 2
7 -3
-7 3
-7 -3

Dfnition:
Un entier naturel qui se divise en un autre, et ce en un nombre exact de fois,
sappelle un facteur.
Exemples :
- Les facteurs de 24 sont 1, 2, 3, 4, 6, 8, 12 et 24.
- Les facteurs de 15 sont 1, 3, 6 et 15.
Exercice : Facteurs
Quels sont les facteurs de :
1. 20
2. 28
3. 36
4. 120
5. 169
6. 180
Communs multiples
Un entier qui est divisible par deux entiers p et q est appel un multiple de p et q.
Les communs multiples de 2 et 3 sont 0, 6, 12, 18, 24 Les communs multiples
de 4 et 5 sont 0, 20, 40, 60
Exercice : Communs multiples
n u m r e z l e s 8 p r e mi e r s c o mmu n s mu l t i p l e s d e :
1) 3 2) 7 3) 11 4) 23 5) 61 6) 138
Le plus petit commun multiple (PPCM)
Au march
Madame Safa va faire ses courses au centre commercial le plus prs de chez elle
o tout est prserv dans des botes de conserves. Elle visite trois magasins qui
utilisent trois formats diffrents de botes de conserves. Le magasin A utilise des
2 litres, le magasin B utilise des 4 litres et le magasin C utilise des 5 litres. Ayant
besoin damener un rcipient qui lui permettra dacheter bon nombre de botes
de conserves et ce, quimporte le magasin o elle dcidera daller, quel volume
minimal devra avoir ce rcipient?
Dfnition
Le plus petit commun multiple de p et q est dfni comme tant le plus petit entier
positif pouvant tre divis par p et q. Il peut tre reprsent comme [p, q].
Exemples :
- [4, 9] = 36
- [-3, 4] = 12
- [7, 8] = 56
Calcul du PPCM en utilisant les facteurs premiers
Exemple : Trouvez le PPCM de 16, 24 et 840.
tape 1 : Exprimez chacun des chiffres comme facteurs premiers
16 = 2
4
24 = 2
3
x 3
840 = 2
3
x 3 x 5 x 7
tape 2 : Trouvez le plus grand exposant de chacun des facteurs premiers qui
ressortent. Le facteur na pas tre commun. Par exemple, les plus grands expo-
sants de 2, 3, 5 et 7 sont 4, 1, 1, 1 et le PPCM devient 2
4
x 3 x 5 x 7 = 1680.
Exercice : Trouvez le PPCM
Trouvez le PPCM de
1. 18, 20 et 24
2. 30, 45 et 50
3. 252, 990 et 3150
4. 450, 2100 et 900
Commun diviseur
Dfnition:
Un entier p est un commun diviseur de q et r si p|q et p|r.
Plus grand commun diviseur
Considrant ces trois chiffres : 20, 24 et 28; quel est le plus grand nombre pouvant
diviser chacun de ces chiffres? Comment calculez-vous ce nombre?
Dfnition:
Nimporte quel des deux entiers p et q a au moins un diviseur positif en commun
appel le plus grand commun diviseur (PGCD). Si au moins un des deux entiers
p et q est diffrent de 0, alors il existe un plus grand entier positif d qui divise
p et q. Cet entier est appel le plus grand commun diviseur (PGCD) de p et q et
peut tre reprsent comme PGCD (p,q) ou (p,q).
Exemples :
- PGCD (6,12) =3
- PGCD (0,18) = (0,
-
18) = 18
- PGCD (9,27) = 9
- PGCD (14,28) = 7
Calcul du PGCD en utilisant les facteurs premiers
Exemple : Trouvez le PGCD de 60, 100 et 840.
tape 1 : Exprimez chacun des nombres comme produit des facteurs premiers
60 = 2
2
x 3 x 5
100 = 2
2
x 5
2
840 = 2
3
x 3 x 5 x 7
tape 2 : Trouvez le plus grand exposant commun de chacun des facteurs pre-
miers. Le produit de ces plus grands exposants donne le PGCD. Par exemple,
les facteurs premiers communs sont 2 et 5. Les plus grands exposants de 2 et 5,
qui sont communs, sont 2
2
x 51 = 20 est le PGCD.
Exercice : Trouvez le PGCD
Trouvez le PGCD de
1. 540, 72 et 378
2. 105, 546 et 231
3. 1125 et 675
* lire :
1. Elementary Number Theory, by Stein, October 2005, p. 5 7.
2. Greatest Commun Divisor MIT : Units 1 & 2 Notes, p. 1 2 each.
3. Elementary Number Theory, by W. Edwin Clark, p. 10 -14.
Exercice:
Prouvez les corollaires suivantes:
1. Pour chaque m > 0, m (b, c) = (mb, mc)
2. Si d|a, d|b, d> 0,alors
d
b
d
a
, = ) , (
1
b a
d
Prouvez les propositions suivantes:
1. Si (a, m)= (b, m)= 1 alors (ab, m)=1
2. Si c|ab et (b,c) =1 alors c|a
Rfrence : MIT Notes 7 Feb 2003 (Common Divisor) page 1 & 2
Rflexions
1. Pensez des exemples appropris de la vie courante pour enseigner le PGCD
et le PPCM afn que les apprenants puissent sy identifer rapidement.
2. Une bonne mthode denseignement aide lapprenant assimiler la thorie
par la pratique. Comment lenseignant peut-il intgrer le PGCD et le PPCM
dans les mathmatiques dusage courant?
Lalgorithme euclidien
Lalgorithme euclidien (ou lalgorithme dEuclide) est un algorithme dterminant
le plus grand commun diviseur (PGCD) de deux entiers en divisant de manire
rptitive les deux nombres et le reste chacun leur tour.
Description de lalgorithme
Considrant deux entiers naturels m et n, vrifez si n = 0. Si oui, m est le PGCD.
Si non, rptez le processus en utilisant n et le reste aprs la division des entiers
m et n (scrit m modulo n).
Thorme: Lalgorithme dEuclide
Soit m est un multiple de n, soit il y a un entier positif k, et les entiers q1, q2.qk, r1, r2 r k-1
(et r = 0) pour que :
m= q
1
n + r
1
(0 r
1
< I n I )
n= q
2
r
1
+ r
2
(0 r
1
< r
2
)

r
k-3
=

q
k-1
r
k-2
+ r
k-1
(0 r
k-1
< r
k-2
)
r
k-2
=q
k
r
k-1
(0 r
k
)
Exemple: Calculez le PGCD de 1071 et 1029.
Euclid ( 400 av.J.-C.) a dvelopp une procdure systmatique pour trouver le plus
grand commun diviseur de deux entiers: lalgorithme euclidien.
a b Expression Explication
1071 1029 tape 1: Mettre le plus grand nombre
gauche et le plus petit droite.
1071 1029 1071=1029 1+42 tape 2: Le reste de 1071 -1029 est 42,
que lon met la droite, et le diviseur
1029 est mis la gauche.
1029 42 1029=42 24+21 tape 3: Rptez ltape 2, divisez 1029
par 42, il y a un reste de 21.
42 21 42=21 2+0 tape 4: Rptez nouveau ltape 2,
vu que 42 est divisible par 21, il reste 0
et cest ici que se termine lalgorithme.
21 0 Le nombre 21 est le PGCD
Exemple: Calculez le PGCD de 5775 et 1008 et de 2261 et 1275.
Exemples: Illustration de lalgorithme dEuclide pour trouver le PGCD
Exemple 1
Trouvez le PGCD de 5775 et 1008
Solution.
m = 5775 et n = 1008.
5775 = 5 x 1008 + 735
1008 = 1 x 735 + 273
735 = 2 x 273 + 189
189 = 2 x 84 + 21
84 = 4 x 21
Ainsi le PGCD = 21, c.--d. le plus grand entier divisant
5775 et 1008.
Exemple 2
Trouvez le PGCD de 2261 et 1275
Solution.
m = 2261 et n = 1275
2261 = 1 x1275 + 986
1275 = 1 x 986 + 289
986 = 3 x 289 +119
289 = 2 x 119 + 51
119 = 2 x 51 + 17
Ainsi le PGCD = 17.
Exercice : Trouvez le PGCD en utilisant lalgorithme dEuclide
Trouvez le plus grand commun diviseur pour chacun en utilisant lalgorithme
dEuclide :
1. (276, 336, 396, 468, 972)
2. (1387, 1292, 722, 836)
3. (924, 798, 1358, 1827)
4. (60, 84)
5. (190, 72)
Solutions:
1) 12 2) 19 3) 7 4) 12 5) 2
Exercice
Tche : Utilisez Elementary Number Theory par William Stein et tentez de
rpondre la question 2.1, exercice 2.6 la page 38.
* lire :
2. Euclidean Algorithm & Common Multiples MIT Unit 3, p. 1 & 2.
3. Elementary Number Theory, by W. Edwin Clark,p. 1 -33.
Rflexion
Lalgorithme dEuclide est simplement une division familire, mais version
longue. En vous rfrant aux deux exemples dalgorithme, liez une signi-
fcation quantitative chaque tape de cette longue division. Est-ce que le
sens est mieux compris de cette faon? Expliquez bien chaque tape de la
division afn de permettre un collgue de bien comprendre lalgorithme.
Les nombres premiers et leur rpartition
Introduction
Lensemble des entiers naturels est N = {1,2,3,4}
Lensemble des entiers relatifs est Z = {...-2, -1, 0, 1,2 }
Dfnition: Nombre premier et compos
Un entier p > 1 est un nombre premier si et seulement sil na pas de diviseur d
avec 1< d< p. En dautres mots, le seul diviseur positif de p sont 1 et p. On appelle
p un nombre compos si p nest pas un nombre premier
Le chiffre 1 nest ni premier, ni compos. Les premiers nombres premiers de N
sont 2, 3, 5, 7, 11, 13, 17, 23, 29, 31, 37, 42, 43, 47 et les premiers nombres
composs sont 4, 6, 8, 9, 10, 12, 14, 16, 18, 20, 21, 22, 24, 26, 27
Dfnition:
Deux entiers p et q sont relativement premiers si PGCD (p, q) = 1.
Thorme
Si p est compos, alors p a un facteur premier
Exemple:
Le nombre compos 12 peut tre dcompos en produit de facteurs premiers c.--d. 12 = 2 x 2
x 3, et 90 = 2 x 3 x 3 x 5
Thorme fondamental de larithmtique
Tous les entiers plus grands que 1 sont soit premiers, ou peuvent tre considrs comme un produit
de premiers.
Corollaire
Les noncs suivants squivalent :
1. a et b nont aucun diviseur commun, c.--d. (n|a et n|b) n = 1.
2. (a, b) = 1 c.--d. le sous-groupe engendr par a et b est la totalit de Z.
3. $ m,n Z avec ma +nb = 1.
Dfnition
Si une seule de ces trois conditions est satisfaite, on dit que a et b sont des nom-
bres premiers entre eux.
Thorme
Si a et b sont nombres premiers entre eux, o a est diffrent de 0, alors a|bc
a|c.
Preuve
Supposons que a et b sont nombres premiers entre eux, c Z et a|bc, alors il existe m, n avec ma
+ nb = 1, et ainsi mac + nbc = c. Maintenant a|mac et a|nbc. Ainsi a|(mac + nbc) et donc a|c.
Thorme
Supposez que p est un nombre premier
1. Si a est un entier qui nest pas un multiple de p, alors (p,a) = 1. En dautres mots, si a est
nimporte quel entier (p,a)=p ou (p,a)=1.
2. Si p|ab alors p|a ou p|b.
3. Si p|a
1
,a
2
,. a
n
alors p divise a
i
. Ainsi si chaque a
i
est premier, alors p est gal certain a
i
.

Thorme de factorisation unique
Supposons que a est un entier diffrent de 0, 1 ou -1. Alors a peut tre dcompos
en produit de facteurs premiers et, except lordre, cette factorisation est unique.
Ceci dit, $ une collection unique de premiers distincts p
1
,p
2
,.. , p
k
et dentiers
positifs s
1
,s
2
,.,s
k
afn que a= p
1
1
S
,p
2
2
S
,.p
k
S
k
.
{E.H Connell, 2004}
Travail dquipe
1. tudiez la preuve de la thorie fondamentale de larithmtique. Assurez-vous
de pouvoir prouver ce thorme pour les examens.
Rfrence : Euclids proof of intinitely many primes in Elementary Number
Theory, by William Stein, 2005, pages 13 & 14.
2. Quel est le plus grand nombre premier connu?
3. Illustrez les nombres premiers des formules :
a. ax + b
b. 4x 1
4. noncez le thorme des nombres premiers
Rfrence : Elementary Number Theory, by William Stein, 2005, pages 15 & 18.
Rsoudre les quations diophantiennes linaires
Dfnition
Une quation diophantienne est une quation polynomiale (p.ex. mx = k, mx
+ ny = k, etc.) dont les coeffcients sont des nombres entiers (m et n) et pour
laquelle seulement des solutions entires sont permises.
Lquation diophantienne linaire du premier degr est une quation une
variable, par exemple : mx = k, o m et k sont entiers et m est diffrent de 0.
Lquation diophantienne linaire a une solution entire, x = k/m.
Les quations diophantiennes deux variables
Elles sont de la nature mx + ny = k (o m, n et k sont entiers et o m et n sont
diffrents de 0).
Cette quation est rsoluble si k est le PGCD (m, n), o m et n sont diffrents de 0.

Thormes
1. Considrant que les entiers m 0 et n 0, il existe les entiers x et y pour lquation dio-
phantienne mx + ny = gcd (m,n)
2. Lquation diophantienne mx+ny = k, est rsoluble en entier ssi le PGCD (m, n) divise k.

Activit : Rsoudre les quations diophantiennes
Exemple 1 :
Rsolvez lquation diophantienne.
2772x + 390y = (2772, 390)
Solution :
tape 1 : Appliquez lalgorithme dEuclide pour trouver le PGCD de 2772 et
390.
Il vient :
2772 = 7 390 + 42.(i)
Puis 390 = 9 42 + 12.(ii)
et 42 = 3 12 + 6.(iii)
do PGCD = 6
tape 2 : Substituez le PGCD dans lquation, par exemple 2772x + 390y = 6.
Substituez en utilisant les tapes utilises en commenant par (iii), en-
suite (ii) pour finir avec (i) afin dobtenir les solutions pour lquation.
Comme 6 = 42 3 12
Donc 6 = 42 3 (390 9 42) = 42 - 3(390)
= 42 + 27(42) - 3(390)
= 28(42) - 3(390)
= 28(2772 7 390) 3(390)
= 28(2772) 196(390) 3(390)
donc 6 = 28(2772) 199(390)
Soit 6 = mx + ny, avec x = 28 et y =
-
199
Exemple 2 :
7472x + 2624y = (7472, 2624)
Solution :
2624.
Il vient 7472 = 3 2624 + 80 (i)
Puis 2624 = 30 80 + 64....... (ii)
Ensuite 80 = 1 64 + 16(iii)
Or 64 = 4 x 16 + 0
Do PGCD(7472, 2624) = 16
tape 2 : Substituez le PGCD dans lquation, par exemple 7472x + 2624y = 16.
Substituez en utilisant les tapes utilises en commenant par (iii), en-
suite (ii) pour finir avec (i) afin dobtenir les solutions pour lquation.
On a 16 = 80 1 64
Donc 16 = 80 1 (2624 30 80)
= 80 - 1(2624) + 30 80
= (1)80 + 30(80) 1(2624)
= 31(80) 1(2624)
= 31(7472 3 2624) 1(2624)
= 31(7472) 93(2624) 1(2624)
Donc 16 = 31(7472) 94(2624)
c.--d. 16 = mx + ny, avec x= 31et y =
-
94
Exemple 3:
803x + 154y = (803, 154)
Solution :
154
Il vient 803 = 5 154 + 33. (i)
Puis 154 = 4 33 + 22 (ii)
Ensuite 33 = 1 22 + 11
Comme 22 = 2 x 11+0.... (iii)
Do PGCD(803, 154) = 11
tape 2: Substituez le PGCD dans lquation, par exemple 803x + 154y = 11.
Substituez en utilisant les tapes utilises en commenant par (iii), ensuite (ii)
pour fnir avec (i) afn dobtenir les solutions pour lquation.
On a 11 = 33 1 22
= 33 1(154 4 33)
= 33 -154 + 4(33)
= 5(33) 154
= 5(803 - 5(154)) 154
= 5(803) 25(154) 154
= 5(803) - 26(154)
Soit 5(803) - 26(154) 803x + 154y
Do x = 5 et y =
-
26.
Rsoudre les quations diophantiennes
Exercice
Rsolvez les quations diophantiennes :
1. mx + ny = (m, n) pour m = 5775, n = 1008
2. 18203x 9077y = 17
3. 32x + 14y = 22
4. 35x + 61y = 1
Solutions
1. x = 11, y = -6
2. x = 17 x 742 = 12 597, y = 17 x 1486 = 25 262
3. Plusieurs solutions : x = -33, y = 77. Gnralement la solution est : x = -33,
y = 77 16i
(i = 0, 1, 2, 3, 4)
4. x = 7, y = -4
(Kirch, 1974 & Clarke)
Travail dquipe : Rsoudre les quations diophantiennes
Trouvez toutes les solutions de x et y pour chacune de ces quations :
1. 64x + 108y = 4
2. 64x + 108y = 2
3. 64x + 108y = 1
Rflexions
1. Selon votre point de vue, quelles sont les tapes essentielles pour rsoudre
des quations diophantiennes? Quelle est la meilleure approche pour les
rsoudre?
2. Identifez les zones sur lesquelles le professeur pourrait avoir insister lors
de lenseignement des quations diophantiennes.
Congruences et entiers (Mod n)
Si deux nombres b et c ont la proprit que leur diffrence b - c est entirement
divisible par un nombre m {c.--d. (b - c)|m est un entier}, alors b et c sont appels
congrus modulo m . Le nombre m est appel modulo et lnonciation b est
congru c (modulo m) est crit de manire mathmatique comme
b c (mod m)
Si b c nest pas entirement divisible par m, on dit b nest pas congru c
(modulo m) , qui scrit :
b c (modm)
La quantit b est parfois appele la base , et la quantit c est appele le r-
sidu ou reste .
(Wikipdia)
Dfnition: Si m qui est diffrent de 0 est un entier positif et a, b Z; alors on
dit que a est congru b modulo m, si m|a-b.
Notation : Dans a b (mod m), lentier positif m est appel le module.
Exemples :
45 3 mod 6 p.ex. m|a-b
3 45
6
-
=
7
1

72 0 mod 12 p.ex. m|a-b
0 72
12
-
=
6
1

-27 0 mod 4
Lide de congruence et la notation a b (mod m) sont dues Carl Friedrich
Gauss (1777-1855).
PROPRITS DES CONGRUENCES MODULO
Soient a a(mod m) et b = b(mod m), alors les proprits importantes des
congruences incluent :
1) quivalence : a b (mod 0) a b
2) Dtermination : soit a b (mod m)
3) Rfexivit : a a (mod m) ou b c (mod m)
4) Symtrie : a b (mod m) b a (mod m)
5) Transitivit : a b (mod m) et b c (mod m) a c (mod m)
6) a + b a + b (mod m)
7) a - b a - b (mod m)
8) ab ab (mod m)
9) a b (mod m) ka kb (mod m)
10) a b (mod m) a
n
b
n
(mod m)
11) a b (mod m
1
) et a b (mod m
2
) a b (mod[m
1
,m
2
]), o [m
1
,m
2
] est
le plus petit commun multiple (PPCM)
12) ak bk (mod m) a b (mod
) , ( m k
m
), o (k,m) est le plus grand commun diviseur
(PGCD)
13) Si a b (mod m), alors p(a) p(b)(mod m), pour p(x) un polynome
Thorme
Si a,b,c et d Z, alors :
1) a b (mod m) ssi b a (mod m) ssi b a 0 (mod m)
2) Si a b (mod m ) et b c, alors a c (mod m)
3) Si a b (mod m) et d|m, d 0, alors a b (mod d)
4) Si a b (mod m) et c 0, alors ac bc (mod mc)
5) Si a b (mod m) et c d (mod m), alors a + c b + d (mod m)
6) Si a b (mod m) et c d (mod m), ac bd (mod m)
.
Thorme (La loi dannulation)
Soit m un module fx et supposez ab ac (mod m).
Alors b c (mod m/d), o d = (a, m).
Particulirement, si a et m sont deux nombres premiers entre eux, alors ab ac (mod m) implique b
c (mod m).
Propositions
1. Annulation
Si le PGCD (c, n) = 1 et ac bc (mod n), alors a b (mod n)
2. Units
Si le PGCD (a, n) = 1, alors lquation ax b (mod n) a une solution, et cette
unique solution est modulo n.
3. Solvabilit
Lquation ax b (mod n) a une solution ssi le PGCD (a, n) divise b.
Algorithme (inversez modulo n)
Supposez que a et n sont entiers et le PGCD (a, n) =
1. Lalgorithme trouve un x afn que ax 1 (mod n).
Procdure: Calculez le PGCD en utilisant lalgorithme dEuclide tendu afn de
calculer les entiers x et y pour que ax + ny = 1
Exemple : Trouvez un entier 37x 1(mod 101)
Solution : 37x 1(mod 101)
tape 1 : Formez lquation 37x + 101y = 1
tape 2 : Trouvez le PGCD = 1
Utilisez lalgorithme dEuclide tendu
101 = 2 x 37 + 27 (i)
37 = 1 x 27 + 10 (ii)
27 = 2 x 10 + 7 (iii)
10 = 1 x 7 + 3 (iv)
7 = 2 x 3 + 1 (v)
Ainsi le PGCD (101, 37) = 1
tape 3 : Passez travers les tapes suivantes (i), (ii), (iii), (iv) et fnalement (v)
dans le sens contraire.
i. 27 = 101 2 (37)
ii. 10 = 37 1 (37)
= 37 1 [101 - 2 (37)] c.--d. substituez la valeur de 27 ltape (i) ci-
dessus.
= 37 1 (101) + 2 (37)
= -101 + 3 (37)
iii. 7 = 27 2 (10)
= 101 2 (37) 2 [
-
101 + 3 (37)]
c.--d. substituez les valeurs fnales de 27 et 10 aux tapes (i) et (ii) ci-des-
sus.
iv. 3 = 10 1 (7)
= -101 + 3 (37) 1 [3(101) - 8(37)]
c.--d. substituez les valeurs de 10 et 7 ltape (ii) et (iii) ci-dessus.
= -101 3 (101) + 3 (37) + 8 (37)
= -4 (101) + 11 (37)
v. 1 = 7 2 x 3
= 3 (101) 8 (37) 2 [
-
4(101) + 11(37)]
= 3 (101) + 8 (101) 8 (37) 22 (37)
= 11 (101) 30 (37)
Donc 37x + 101y
-
30(37) + 11(101)
Do x =
-
30 est la solution de 37x 1(mod 101)
Travail dquipe: quations linaires modulo n
1. Allez voir la preuve de la loi dannulation :
Units and Solvability in Stein 2005, pages 21-26.
2. Comment rsoudre ax 1 (mod n). Stein 2005, pages 29 31. Rsolvez la
question 2.9 de lexercice 2.6 la page 39.
Classes de rsidus
Le nombre b dans la congruence a b (mod m) est appel le rsidu de a (mod m).
Rsidu commun
La valeur de b, o a b (mod m) est convenue comme tant non ngative et
infrieure m.
Rsidu minimal
Le rsidu minimal de a (mod m) est la valeur de b ou b m, celui qui est plus
petit dans sa valeur absolue, o a b (mod m). Si m = 2b 9 afn que b=|b-m|,
alors le rsidu minimal est convenu b. Le tableau ci-dessous illustre les rsidus
communs et minimaux de 0, 1, 2 et 3 (mod 4).
n Rsidu commun n(mod 4) Rsidu minimal n(mod 4)
0 0 0
1 1 1
2 2 - 2
3 3 - 1

Exemple
Trouvez 37
13
(mod 17)
Solution
37 3
37
2
3
2
9 -8
37
4
81 -4
Alors 37
13
= 37
1+4+8
3 (-4) (-1) 12 (mod 17)
Systme modulaire de rduction
Tout systme dentiers f(n), o f(n) est lindicatrice, reprsentant toutes les clas-
ses de rsidus nombres premiers entre eux de n est appel un systme modulaire
de rduction.
Classe de rsidu
Les classes de rsidu de la fonction f (x) mod n sont toutes des valeurs possibles
du rsidu f (x) (mod n).
Exemple :
Les classes de rsidus de x
2
(mod 6) sont {0,1,3,4} puisque
0 0 (mod 6)
1 1 (mod 6)
2 4 (mod 6)
3 3 (mod 6)
4 3 (mod 6)
5 1 (mod 6), sont tous les rsidus possibles.
Un systme complet de rsidus est un ensemble dentiers contenant un lment
de chaque classe, alors {0,1,9,16} serait un systme complet de rsidus pour x
2

(mod 6).
(Wolfram Mathworld)
Dfinitions
1) Si a b (mod m), alors b est appel rsidu dun mod m.
2) Un ensemble {x
1,
x
2,
x
3,..
x
m
} est appel un systme complet de rsidus
(mod m) si n, $ x n x
i
(mod m)
3) La classe de congruence (classe de rsidu) de n (mod m) est lensemble
{n + mx|x Z}.
4) Un systme modulaire de rduction (mod m) est un ensemble dentiers r
i
avec
(r
i
, m) = 1 pour nimporte quel n avec (n,m)=1 $ ri n r
i
(mod m)
Fonction dEuler
Dfnition:Fonction arithmtique (f)
Une fonction arithmtique est une fonction dont le domaine est un ensemble
dentiers positifs, p.ex. si une fonction f (p) = p o p = 1, 2, 3, 4 assigne seu-
lement des valeurs positives de la racine, alors nous disons que la fonction est
une fonction arithmtique.
Dfnition: Multiplicativ
Une fonction G est multiplicative si G (pq) = G (p) G (q) chaque fois que p et q
sont entiers premiers entre eux, et compltement multiplicative si G (pq) = G (p)
G (q) pour tous les entiers positifs p et q.
Dfnition: Fonction dEuler (Indicatrice dEuler)
Le symbole - (phi) est utilis pour reprsenter la fonction dEuler.
p>1, laisse (p) dsigner le nombre dentiers positifs infrieurs p et pre-
miers entre eux avec p.
Exemple : (15) = 8 c.--d. quil y a 8 entiers positifs: 1, 2, 4, 7, 8, 11, 13, 14
premiers entre eux avec 15 et infrieur ce dernier. Si vous voyez (1) = 1, alors
est une fonction arithmtique. Cette fonction est appele la fonction dEuler ou
lindicatrice dEuler.
(Leonhard Euler 1701-1783, mathmaticien suisse)
Proprits de
1. Pour tout nombre premier p, (p) = p 1 = p (1-
p
1
)
est multiplicative, c.--d. (pq) = (p) (q)
Thorme
(m) du m des classes de rsidu distinct mod m sont premiers entre eux avec m, qui est le nombre
des entiers 0 r < m.
Le petit thorme de Fermat
Si p est un nombre premier et a est nimporte quel entier, alors
1. ap a (mod p).
2. Si a et p sont premiers entre eux, alors ap - 1 1 (mod p).
Thorme chinois des restes
Le systme des congruences
x a (mod m)
x b (mod n)
Est rsoluble si et seulement si (m, n) divise b a. Dans le cas o une solution x
o
existe, un nombre
x est aussi une solution et si seulement x x
o
(mod[m,n]), o [m, n] est le plus petit commun
multiple de m et n.
(Kirch, 1974)
Thorme chinois des restes (gnralisation)
Si m
1
, m
2
,, m
k
sont k entiers naturels premiers entre eux deux deux, alors quels que soient k
entiers r
1
, r
2
,,r
k
, il existe au moins un entier r tel que le systme des congruences

x =
1
r
(mod
1
m
)
x =
2
r
(mod
2
m
)
x =
k
r
(mod
k
m
)

est rsoluble en entiers et admet pour solution le nombre x=r (mod m
1
, m
2
,, m
k
), soit plus prci-
sement : x = r
1
M
1
u
1
+r
2
M
2
u
2
++r
k
M
k
u
k
+tM, avec t entier relatif, o M=. m
1
, m
2
,, m
k,
puis pour
tout i, M
i
= M/m
i
, et u
i
solution de lquation de bezout M
i
u
i
+m
i
v
i
=1, vu que les m
i
sont premiers
entre eux deux deux.
Remarque : Lorsque leurs modules ne sont pas premiers entre eux, on peut tou-
jours les transformer de telle sorte que lon travaille avec des modules premiers
entre eux.
Ainsi, par exemple, puisque (6, 15)=3, x=1 (mod 6) quivaut (x=1 (mod 2) et
x=1 (mod 3)).
De mme x=1 (mod 4) quivaut (x=1 (mod 2) et x=4 (mod 3)).
Par consquent :

x = 1(mod
6
)
x =
4
(mod 15)

quivaut

x = 1(mod2 )
x = 1(mod3 )
x = 4(mod5 )

.

Cette fois, les modules 2, 3 et 5 sont premiers entre eux.
Note historique (vers 395 ans aprs Jesus -Christ): le thorme chinois des
restes est utilis pour la premire fois par les astronomes chinois pour construi-
re des calendriers, ensuite par les militaires chinois pour compter leurs soldats
en rangeant par certains ordres et comptant seulement les restes respectifs. Ce
thorme prend essor ensuite dans la vie quotidienne pour rsoudre des probl-
mes de type suivant :
* lire :
2. Attempt exercise on page 38, no. 2.1, 2.2, 2.4(b).
3. Congruences MIT Units 5 and 6, pages 1 & 2 in each.
4. Elementary Number Theory, by W. Edwin Clark, pages 58 80.
Travail dquipe
1. Prouvez le thorme : ax ay (mod m) ssi x y (mod )
) , ( m a
m

2. Prouvez la proposition : Si b c (mod m), alors (b, m) (c, m).
Rfrence : MIT notes, Congruences 21 feb 2003, pages 1 & 2.

Exercice 3 : En comptant les marches dun escalier 4 par 4, il en reste une, en
les comptant 5 par 5 il en reste 3. Quel est le nombre de marches de cet escalier,
sachant quil est certainement moins que 160?
Exercice 4 : Mon panier peut contenir au plus cent ufs. Si je le par trois ufs
la fois, il en reste un ; si je le vide quatre par quatre la fois, il en reste trois ; et
si je le vide par cinq la fois, il en reste quatre. Combien ai-je dufs?
Exo 3 : x 1 (mod 4) et x 3 (mod 5). Donc x = x = r
1
m
1
u
1
+r
2
m
2
u
2
+t m
1
m
2
,
o m
1
u
1
+m
2
u
2
=1.
On trouve : x = 33+20t. Comme 0<x<160, les solutions possibles sont : x=13,
ou bien 33, ou bien 53, ou bien 73, ou bien 93, ou bien 113, ou bien 133, ou bien
153.
Exo 4 : 1, ou 79.
Racines primitives
Une racine primitive dun nombre premier p est un entier g pour que g (mod p)
ait un ordre modulo p - 1.
Gnralement, si le PGCD (g, n) = 1 (g et n sont nombres premiers entre eux)
et g est de lordre modulo f (n) modulo n o f (n) est lindicatrice, alors g est la
racine primitive de n.
Si n a une racine primitive, alors il a exactement autant de: f [f (n)] , ce
qui veut dire que si p est un nombre premier, alors il y a exactement f
(p-1) de racines primitives non congrues de p pour n = 1, 2, 3 les pre-
mires valeurs de f [f(n)] sont 1, 1, 1, 1, 2, 1, 2, 2, 2, 2, 4, 2, 4, 2, 4, 4, 8.
N a un racine primitive si elle est de la forme 2, 4, p
a
ou 2p
a
, o p est un nombre
premier impair et a 1.Les quelques premiers n pour lesquels des racines primi-
tives existent sont 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 17, 18, 19, 22, alors le
nombre de racines primitives dordre n pour n = 1, 2 sont 0, 1, 1, 1, 2, 1, 2, 0,
2, 2, 4, 0, 4 La plus petite racine primitive pour les quelques premiers p sont
1, 2, 2, 3, 2, 2, 3, 2, 5, 2, 3, 2, 6, 3, 5, 2, 2, 2
Tableau des racines primitives des quelques premiers n pour lesquels une racine
primitive existe.
n g(n)
2 1
3 2
4 2
5 2,3
6 5
7 3,5
9 2,5
10 3,7
11 2,6,7,8
13 2,6,7,11
Les plus grandes racines primitives pour n = 1, 2 sont 0, 1, 2, 3, 5, 5, 0, 5, 7, 8, 0, 11

(Wolfram Mathworld)
Considrons m comme un entier positif. Si a est nimporte quel entier positif et
nombre premier avec m et k est le plus petit entier positif afn que a
k
1 (mod
m). Le nombre k est appel un exposant pour lequel a appartient au modulo m.
Exemple :
7 appartient lexposant 2 modulo 4 puisque 7
2
1 (mod 4)
Thormes
1) Si k est lexposant pour lequel a appartient au modulo m, alors k divise f(m).
2) Pour tout nombre premier p il y a exactement f(p 1) de racines primitives non congrues
modulo p.
3) Si p est nimporte quel nombre premier et g est nimporte quelle racine primitive modulo p,
alors les puissances g, g
2
,g
p-1
forment un systme modulaire de rduction modulo p.
4) Supposez que m est nimporte quel entier plus grand que 1. Les raciness primitives existent
modulo m si et seulement si m=2, m=4, m=p
n
, m=2p
n
o p nombre premier impair.

Travail dquipe
tudiez la preuve du thorme sur les racines primitives. Assurez-vous de pou-
voir faire la preuve de ce thorme pour les examens.
Rfrence : Elementary Number Theorem, by Stein, October 2005, page 36.
Le triplet pythagoricien
Lhistoire du triplet pythagoricien
Ltude du triplet pythagoricien commena bien avant lexistence de Pythagore.
Les anciennes civilisations de Babylone et dgypte utilisaient ce triplet.
Triplet pythagoricien
Figure 1 : Le triangle pythagoricien

c
b
a

a
2
+ b
2
= c
2

Exemples du triplet pythagoricien
3
2
+ 4
2
= 5
2

5
2
+ 12
2
= 13
2
8
2
+ 15
2
= 53
2
28
2
+ 45
2
= 53
2

Tableau 1
S/No a Impair b Pair c Impair quation
1 3 4 5 3
2
+ 4
2
= 5
2
2 5 12 13 5
2
+ 12
2
= 13
2
3 7 24 25 7
2
+ 24
2
= 25
2
4 9 40 41 9
2
+ 40
2
= 41
2
5 11 60 61 11
2
+ 60
2
= 61
2
6 15 8 17 15
2
+ 8
2
= 17
2
7 21 20 29 21
2
+ 20
2
= 29
2
8 33 56 65 33
2
+ 56
2
= 65
2
9 45 28 53 45
2
+ 28
2
= 53
2
TRIPLET PYTHAGORICIEN PRIMITIF
Dfnition:
Un triplet pythagoricien primitif est un triplet de chiffres (a, b, c) afn que a, b et
c naient aucuns facteurs communs et puissent satisfaire a
2
+ b
2
= c
2
Observations sur le triplet de Pythagore (Tableau 1)
- Un de a ou b est pair et lautre impair et il semble que c soit toujours im-
pair.
- Considrant a comme tant impair et b comme tant pair, alors pour a
2
+
b
2
= c
2

On peut trouver a avec a
2
= c
2
b
2
= (c b) (c + b).
Exemples
3, 4, 5 3
2
= (5
2
4
2
) = (5 4) (5 + 4) = 1 9 = 1
2
3
2
5, 12, 13 5
2
= (13
2
12
2
) = (13 12) (13 + 12) = 1 25 = 1
2
5
2
7, 24, 25 7
2
= (25
2
24
2
) = (25 24) (25 + 24) = 1 49 = 1
2
7
2
15, 8, 17 15
2
= (17
2
8
2
) = (17 8) (17 + 8) = 9 25 = 3
2
5
2
- De ces observations, il semble que
1. (c b) et (c + b) sont toujours des entiers impairs carrs.
2. (c b) et (c + b) nont aucun facteur commun.
Le triplet de Pythagore et le cercle trigonomtrique
Considrant a
2
+ b
2
= c
2
divis par c
2
(
c
a
)
2
+ (
c
b
)
2
= 1
Ceci suit les nombres rationnels
c
a
et (
c
b
) est la solution lquation

dun cercle x
2
+ y
2
= 1, qui dcrit un cercle dont le rayon est de 1 avec un cen-
tre (0,0) sur le plan cartsien.

Liste de triplets pythagoriciens
( a, b, c) ( a, b, c) ( a, b, c) ( a, b, c)
3, 4, 5 64, 1023, 1025 84, 13, 85 96, 2303,
2305
5, 12, 13, 68, 285, 293 84, 187, 205 100, 621,
629
7, 24, 25 63, 1155, 1157 84, 437, 445 100, 2499,
2501
9, 40, 41 72, 65, 97 84, 1763, 1765
15, 8, 17 72, 1295, 1297 88, 105, 137
21, 20, 29 76, 357, 365 88, 1935, 1937
35, 12, 37 76, 1443, 1445 92, 525, 533
45, 28, 53 80, 39, 89 92, 2115, 2117
63, 16, 65 80, 1599, 1601 96, 247, 265
Le dernier thorme de Fermat
Les quations diophantiennes x + y = z et x
2
+ y
2
= z
2
ont une infnit de rpon-
ses.
En 1637, Fermat crivit quil tait impossible dcrire un cube positif comme la
somme de deux cubes, par exemple : x
3
+ y
3
= z
3
ou la puissance
4 :
x
4
+ y
4
= z
4
,
comme la somme de deux fois la puissance
4
. En fait, toute puissance suprieure
2 comme la somme de deux puissances semblables, c.--d. il crivit lquation
diophantienne x
n
+ y
n
= z
n
, qui na pas de rsultat positif pour n 3.
La preuve de cette affrmation prit 358 annes avant dtre trouve en 1995, o
Andrew Wiles a dvoil sa quatrime tentative de rponse. Cinq ans plus tard,
la preuve tait confrme.
Recherche Internet
Explorez lhistoire de la preuve du dernier thorme de Fermat dans les archives
MacTutor venant de lUniversit de St-Andrews en cosse, Royaume-Uni.
Le thorme et sa preuve :
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Fermats_last_theorem.
html
Pierre de Fermat :
http://www-history.mcs.st-andrews.ac.uk/Biographies/Fermat.html
Andrew Wiles :
http://www-history.mcs.st-andrews.ac.uk/Biographies/Wiles.html
Entrevue dAndrew Wiles avec Nova Magazine :
http://www.pbs.org/wgbh/nova/proof/wiles.html
Unit 2 (60 heures) : La thorie des congruences et de lentier quadrati-
que.
Rsum de lunit 2 (Activits multiples)
Lunit 2 de la thorie des nombres sous-entend que lunit 1 est un pr requis.
Elle illustre lensemble des entiers relatifs, les rsidus quadratiques et carrs.
Elle prsente le symbole de Legendre, le lemme de Gauss et la loi de rciprocit
quadratique. Elle analyse lentier quadratique et met en application lalgorithme
dEuclide et lanneau factoriel de lentier de Gauss. On y analyse aussi larith-
mtique de lentier quadratique et lapplication des quations diophantiennes.
Lunit 2 se termine avec lquation de Pell et les units dans lentier quadratique
rel. Le tout est amen travers diverses activits pour les apprenants et contient
des valuations formatives chaque sous-thme.
Lensemble des entiers relatifs (mod p), rsidus quadratiques et carrs
Dfnition:
Si xn = a (mod m) a une solution o a et m sont premiers entre eux, alors a est
appel rsidu la puissance
n
modulo m.
Si la congruence na pas de solution, alors a est appel un non rsidu la puis-
sance
n
modulo m.
* lire :
1. Solving equations Modulo Primes, MIT Unit 14, Notes, pages 1 & 2.
2. More on solving equations, modulo primes, MIT Unit 15, pages 1 & 2.
3. Quadratic Residue Symbol, MIT Unit 16, Notes, pages 1 & 2.
4 Elementary Number Theory, by W. Edwin Clark, pages 76 80.
La rciprocit quadratique, sa loi et le symbole de Legendre
Dfnition:Larciprocitquadratique
Lquation linaire a b (mod n) a une solution si et seulement si le PGCD (a, n) divise b.
La rciprocit quadratique cherche le critre de si oui ou non cette quation ax
2

+ bx + c 0 (mod n).
Dfnition:Loidelarciprocitquadratique
Soit a la puissance p, un entier a non divisible par p est un rsidu quadratique
modulo p si a est un carr modulo p; sinon, a est un non rsidu quadratique.
Dfnition:LesymboledeLegendre
Considrant p comme un nombre premier impair et a comme un entier premier
avec p, alors
p
a
=
On appelle ce symbole :
p
a
le symbole de Legendre. Cette notation est bien

ancre dans la littrature, mme si elle est aussi la notation pour a divis par p .

Note :
p
a
dpend seulement sur a (mod p), il est donc sens de le dfnir
p
a

pour a Z /
p
Z dtre
p
a
~
pour tout changement de a
~
a vers Z.
Le symbole de Legendre de 2
Dfnition : Si p est un nombre premier impair, alors
p
2
=

Travail dquipe : Vrifez les preuves
1. Legendre assertion from Number Theory by Stein page 67.
2. Quadratic reciprocity from Number Theory by Stein page 68 72.

+1 si a est un rsidu quadratique

1 par ailleurs

+1 if p 1 (mod 8)

1 if p 3 (mod 8)
Le critre dEuler, le lemme de Gauss et la loi de la rciprocit quadratique
Le critre dEuler
Considrons un nombre premier impair p et un entier a non divisible par p. Euler a utilis
lexistence des racines primitives pour dmontrer que
p
a
est congru a
(p 1)/2
modulo p.
Nous avons
p
a
1 si et seulement si a
(p 1)/2
(mod p). Considrons un nombre
premier impair p et un entier a diffrent de 0 (mod p). Des nombres a, 2a, 3a,,
a
p
2
1 -
et les rduire modulo p afn de le mettre dans lintervalle
-
2
,
2
p p
.

Considrons comme tant le nombre de nombres ngatifs dans un ensemble.
Alors
p
a
=(
-
1)
.
Travail dquipe : tudiez la preuve du critre dEuler
1. Eulers criterion, Number theory by Stein, page 62.
2. Gauss lemma, Number theory by Stein, page 64.
3. Quadratic reciprocity using Gauss sums, Number theory by Stein, page 71.
* lire :
1. Solving equations Modulo Primes, MIT Unit 14, Notes, pages 1 & 2.
2. More on quadratic residues, MIT Unit 17, 18, 19 & 20, pages 1 & 2 each.
3. Elementary Number Theory, by Stein, October 2005, pages 59 - 72. Com-
plete questions 4.1, 4.2 on page 74.
4. Elementary Number Theory, by W. Edwin Clark, pages 24 25.
valuer le caractre quadratique par la loi de la rciprocit
Thormes
1. Considrant un nombre premier impair p et un entier a premier avec p. Alors 2 est un rsidu
quadratique pour tous les nombres premiers de la forme 8n 1; 2 un non rsidu quadratique
pour tous les nombres premiers de la forme 8n 3.
2. Si p est premier et (a,p) = 1, alors la congruence de ax + bx + c 0 (mod p) a tout au plus
deux solutions non congrues modulo p.

* lire :
1. Solving equations Modulo Primes, MIT Unit 14, 17, 18, 19 & 20 pages 1
& 2 each.
2. Elementary Number Theory, by Stein, October 2005, pages 59 - 72.
3.Elementary Number Theory, by W. Edwin Clark, pages 58 - 74.
Lquation de Pell et les units dans lentier quadratique rel.
Dfnition
Lquation diophantienne x
2
qy
2
= 1 (q 0) est appele lquation de Pell. Elle
se concentre sur les valeurs positives entires de x et y qui satisfont lquation, en
assumant que q est un entier positif. Si on assume que q est un entier positif alors
par consquent 1 nest pas la diffrence des carrs puisque q nest pas carr.
La solution fondamentale de lquation de Pell
Considrons un entier positif q qui nest pas carr. Par une solution positive de
lquation de Pell, il faut comprendre une paire dentiers positifs x
0
et y
0
afn que
x
0
2
+ y
0
2
= 1. Si lquation a une solution dentiers diffrents de 0 x
0
et y
0
, alors elle
a une solution positive, savoir [x
0
] , [y
0
]. La solution positive x
1
, y
1
minimisant
la quantit x
1
+ y
1
q est appele la solution fondamentale de lquation de Pell.
Le tableau ci-dessous donne les solutions (donnes par ordinateur) de lquation
de Pell x
2
qy
2
= 1 pour des entiers non carrs o q satisfait 1 < q 52.
q x y q x y q x y q x y
2 3 2 18 17 4 32 17 3 46 24335 3588
3 2 1 19 170 39 33 23 4 47 48 7
5 9 4 20 9 2 34 35 6 48 7 1
6 5 2 21 55 12 35 6 1 50 99 14
7 8 3 22 197 42 37 73 12 51 50 7
8 3 1 23 24 5 38 37 6 52 649 90
10 19 6 24 5 1 39 25 4
11 10 3 26 51 10 40 19 3
12 7 2 27 26 5 41 2049 320
13 649 180 28 127 24 42 13 2
14 15 4 29 9801 1820 43 3482 531
15 4 1 30 11 2 44 199 30
17 3 8 31 1520 273 45 161 24

Thorme
Considrons x
1
, y
1
comme solution fondamentale de lquation de Pell (pour q donn). Alors x, y est
une solution positive si et seulement si
x+ y q = (x
1
+ y
1
q)
n
pour un certain entier positif n.
Exemple de rsolution pour lquation de Pell
Rsolvez lquation diophantienne x
2
5y
2
= 1
Solution
tape 1 : Lquation diophantienne est appele lquation de Pell, p.ex. x -
qy=1.
tape 2 : Du tableau ci-dessus sur les solutions fondamentales de lquation
de Pell, on peut noter que quand q = 5, x = 9, alors y = 4. Ceci est la solution
fondamentale de lquation de Pell.
tape 3 : Dans le thorme ci-dessus, lquation de Pell a une infnit de solu-
tions.
En substituant q = 5, x = 9 et y = 4, nous avons :
(9 + 45) = 161 + 725 et
(9 + 45) = (9 + 45)(161 + 725) = 2889 + 12925
Les deux plus larges solutions positives suivantes sont : x = 161, y = 72 and
x = 2889, y = 1292
Exercice : Solutions impliquant les quations de Pell
Trouvez toutes les solutions positives de :
1. x
2
2y
2
= 1
2. x
2
3y
2
= 1
Solutions :
1. (3, 2), (17, 12), (99, 70) sont les quelques premires solutions.
2. (2, 1), (7, 4), (26, 151) sont les quelques premires solutions.
* lire :
1. Solving equations Modulo Primes, MIT Unit 14, 17, 18, 19 & 20 pages 1
& 2 each.
2. Elementary Number Theory, by Stein, October 2005, pages 59 - 72.
Application du PGCD dans la recherche des raciness
rationnelles dune equation polynomiale coefficients
rationnels.
Rsum du paragraphe
Dans un souci d'attnuer des sauts psychocognitifs, cet article dfend la faisabi-
lit, la pertinence et l'effcacit de l'enseignement / apprentissage de la rsolution
d'quations qui dbute par un travail dj assez intense dans Z, puis dans l'ensem-
ble Q des rationnels, en investissant les connaissances en arithmtique lmentaire,
avant d'attaquer les ensembles continus de nombres rels ou complexes. Il offre
une opportunit simple d'entranement au raisonnement par conditions ncessaires,
au calcul mental, la mise en acte d'algorithmique chez des adolescents..
Introduction et motivation
La recherche des racines d'un polynme est l'un des problmes majeurs en ma-
thmatiques. Un survol rapide du programme scolaire montre que l'apprentissage
du concept de polynme dmarre au collge en classes de 4
ime
et 3
ime
par la
manipulation des expressions affnes et du produit de ces dernires qu'on crira
sous forme dveloppe en regroupant les termes semblables : le dveloppement
d'une expression algbrique factorise s'obtient en appliquant la distributivit de
la multiplication des nombres rels par rapport l'addition et la soustraction.
Faire sentir le sens de la distributivit de . par rapport + faciliterait sa
comprhension par les apprenants dbutants : pour ce faire, l'enseignant peut
s'aider de leur comptence en calcul d'aire d'une confguration gomtrique
plane, tel un rectangle, en dcomposant des cts et en comptant sur l'aspect
intuitif de l'additivit d'une mesure d'aire. De telle dialectique de changement
de cadres / registres de travail (ici, il s'agit de : algbre gomtrie - algbre)
apparat gnralement fructueux sur le plan pdagogique en mathmatiques. A
titre indicatif, sur les fgures 1, 2 et 3 ci-dessous, le calcul de l'aire du rectangle
ABCD effectu de deux faons permet de donner sens la distributivit de .
par rapport + ou - .
Ensuite, la factorisation dun polynme nest autre que lopration inverse du
dveloppement dun produit dexpressions affnes.
Les polynmes sont re-appris en classe de seconde pour tre investis en analyse
en classes de premires et terminales pour dfnir les fonctions rationnelles et
pour approcher un certain ordre derreur une fonction numrique irrationnelle.
Voil en quelques mots un argument qui montre dj limportance des polynmes
en mathmatiques du secondaire.
Activit 2
Avec le nouveau programme en vigueur dans certains pays, Madagascar en
l'occurrence, au niveau de collge, la recherche des racines relles par la m-
thode du discriminant (le fameux delta !) n'est plus autorise. La raison en est
vraisemblablement que l'enseignement du discriminant d'un trinme du second
degr provoquerait une robotisation trop prcoce chez les jeunes adolescents de
3
ime
d' aujourd'hui au dtriment du dveloppement de l'esprit d'initiative, de la
crativit et de la spontanit d'action face une situation-problme. Ainsi, par
exemple pour l'quation

2
x
+ x - 30 = 0
, conscient de la somme des racines
S=-1 et de leur produit P=-30, l'lve du secondaire devrait tre amen tenter
de factoriser -30 en un produit de deux facteurs ; or cette factorisation peut se
faire ici de plusieurs manires ; il va falloir en faire un choix judicieux ; effec-
tivement, -30 = 2x(-15) = (-2)x15=5x(-6)=(-5)x6=(-1)x30=1x(-30). Un simple
raisonnement mental permet didentifer que seuls 5 et (-6) conviennent ici : ce
sont les racines cherches de l'quation.
Pour s'en convaincre, titre indicatif, analysons la dmarche rapporte ci-des-
sous d'un lve (alors envoy au tableau) de terminale technologique du secteur
industriel recueilli le mois de mars 2005 l'occasion d'une inspection pdagogique
formative d'un tudiant en stage responsabilit au lyce technique d'Antsira-
nana Madagascar :
Exercice propos : Soit f la fonction numrique d'une variable relle dfnie
par :

- -
-
=
3
1
) 2 (
2 x si ,
2) x
2
x(x
2) (x x
f(x)
f
Prciser l'ensemble de dfnition de f.
Rponse propose (sic) par un lve au tableau :
f est dfnie si x(x
2
-x-2) 0
x 0
x
2
-x-2 0
D = b
2
-4ac = (-1)
2
4(1)(-2) = 1+8 = 9
3 9 = = D
X =
a
b
2
D - -
=
2
3 1 -
= - 1
X = 2
2
3 1
2
=
+
=
D + - b
x -1 et x 2
D
f
= ]- , -1[ ]-1, 0[ ]0, + [
Cette procdure squelettique de l'lve est trs loquente ; en effet, vraisembla-
blement, le calcul du discriminant lui serait peru comme incontournable ici, et
l'apprenant y aurait laiss beaucoup d'implicites dans sa maladroite rdaction,
entre autres :
f est dfnie sur D
f
= {x rel / x(x
2
-x-2) 0} = {x rel / x 0 et x
2
-x-2 0}
Rsolvons dans R l'quation x
2
-x-2 = 0. C'est une quation du second degr.
Son discriminant est D = b
2
-4ac = (-1)
2
4(1)(-2) = 1+8 = 9. Donc D>0 et
3 9 = = D . Donc l'quation x
2
-x-2 = 0 admet deux racines relles savoir :
X' =
a
b
2
D - -
=
2
3 1 -
= - 1 et X'' = 2
2
3 1
2
=
+
=
D + - b
.
Donc x
2
-x-2 0 quivaut x -1 et x 2. Or par construction f(2) = 1/3. D'o
l'ensemble de dfnition de f est D
f
= ]- , -1[ ]-1, 0[ ]0, + [.
En fait, comme l'attestent nos expriences d'enseignement au premier cycle de
l'enseignement suprieur, ce phnomne tend persister encore en fn de la pre-
mire anne dans la rsolution des quations exponentielles ou logarithmiques :
ae
2x
+be
x
+c = 0, a(lnx)
2
+blnx+c = 0, avec a, b et c rationnels, etc.
Se pose alors la question suivante. Pourquoi un tel lve de niveau terminale
quand bien mme n'a pas pens utiliser d'autres moyens, comme la proprit
- relevant des comptences exigibles d'lves sortant de la classe de seconde - d'un
trinme du second degr vis--vis de la somme et du produit de ses racines et/ou
d'autres proprits relativement simples d'un polynme coeffcients entiers ba-
ses sur l'arithmtique de Z? Ainsi, par exemple pour l'quation du second degr

2
x
+ x - 30 = 0,la prise de conscience de la somme des racines tant S=-1 et leur
produit P=-30 devrait amen l'lve dcomposer -30 en un produit de deux
facteurs ; or cette factorisation peut en fait se faire de plusieurs manires : -30=(-
5)x6 = 5x(-6)=2=(-15)=(-2)x15=(-1)x30=1x(-30) ; laquelle parmi ces factorisation
correspond la somme gale (-1)? Il est fort parier que l'intelligence des lves
trouvera mentalement que c'est c'est 5x(-6) et non les autres qui convient, d'o
les racines de ce polynme

2
x
+ x - 30 = 0 sont identifables mentalement et sans
diffcult, sous rserve d'un entranement au pralable : 5 et -6,
Aussi, conviendrait-il de trouver une voie plus propice l'mancipation des jeu-
nes esprits pour dbuter l'tude des polynmes ! Ainsi, dj muni d'une certaine
comptence cerner de faon plus libre les polynmes plus simples ceux
coeffcients entiers par exemples- les lves de seconde seront moins tents
la dmarche routinire consistant l'utilisation systmatique de l'outil magique,
car peru comme incontournable, du discriminant delta avec ses trois cas im-
muables : ils sauront choisir la mthode de faon dlibre, et leurs productions
seraient alors plus personnelles.
Dans le but justement de donner une occasion pour bien matriser les tech-
niques de recherche des racines rationnelles dun polynmes de Q[X], il
nous semble utile de retracer la thorie des polynmes de Q[X], ainsi que le
thorme de Vite et les polynmes symtriques lmentaires. Par ailleurs,
nous remarquerons que lalgorithme de la recherche des racines ainsi
dvelopp pourrait bien tre utilement exploit pour lapprentissage de
linformatique scientifque en schmatisant le procd qui sera prt tre
automatis par la suite. Dans cet article, les notions de groupe, anneau,
idal et corps, danneau euclidien, factoriel ou principal sont supposs
connues. Les notations Z[X], Q[X], R[X], C[X] dsignent des ensembles
des polynmes une indtermine coeffcients respectivement dans Z,
Q, R, C. Quelques commentaires psychopdagogiques seront donns tout
au long des rafrachissements mathmatiques prparant ainsi la partie
dvolue limplication pdagogique proprement dite.
Brefs aperus sur les polynmes
Dfinition
Soit A un anneau commutatif unitaire.
On appelle polynme une indtermine sur l'anneau A, toute expression
de type : P = a
n
X
n
+ a
n-1
X
n-1
+ +a
1
X + a
0
, avec (a
n
, a
n-1
, , a
1
, a
0
) A
n+1

tel que a
n
0, n N, X tant l'indtermination.
Dans ce cas :
a
n
est le coeffcient dominant, n le degr de P not dP = n, et a
0
, a
1
,, a
n
:
sont les coeffcients de P. Si a
n
= 1, alors P est dit un polynme unitaire ou
norm.
Le cas o a
n
= 0 correspond au polynme nul.
2.2 Racines d'un polynme
Dfnition
Soit A un anneau factoriel, P =
X a
i
n
i
i
=0
, avec a
n
0, un polynme non constant
de A[X].
On appelle une racine de P, tout lment a A vrifant P(a) = 0.
Exemple : Pour P = X
3
7X
2
+ 3X +14, P(2) = 0 ; donc 2 est une racine de P.
Commentaire : Etant donn un nombre
a A, pour vrifer que a est une racine de P, il sufft de calculer P(a) et comparer
P(a) avec 0. Dans la pratique, le calcul de P(a) nest pas toujours facile surtout
lorsque a est une fraction et que P est de degr suprieur. Do la considration
des proprits suivantes.
2.2 Existence de racine d'un polynme
On se rappelle du Thorme de D'Alembert-Gauss dont la dmonstration est
visible dans beaucoup d'ouvrages sur la thorie des nombres :
Tout polynme non constant coeffcients complexes admet au moins une racine
complexes. Un polynme de degr n a exactement n racines dans C.
On dit que l'ensemble des nombres complexes C est un corps algbriquement
clos.
Passons l'tude spcifque des polynmes coeffcients rationnels (dans Q ou
Z) qui nous intressent juste titre.
2.3- Recherche des racines rationnelles d'un polynme de Q[X]
Le Thorme de DAlembert Gauss affrme lexistence dau moins une racine
dans C, mais il ne donne pas cette racine ou ces racines. Puis, parmi ces racines
dans C, lesquelles sont dans R ?
Toutefois, pour un polynme de Q[X], de simples considrations darithmtique
de Z permettent de savoir sil admet des racines rationnelles ou entires, et mme
de les dterminer le cas chant. Lide de base rside en lexploitation du lemme
de Gauss qui fgure dj parmi les acquis des lves de fn de 5
ime
ou de 4
ime
.
Lemme de Gauss
Pour tous a,b,c Z {0] tels que a divise bc, et que a premier avec b, alors a
divise c. Soit : si a|bc et pgcd(a,b) = 1, alors a|c.
Remarquons d'abord que dans un anneau intgre A : si x|a
i
i = n , 1 , alors
x|Sl
i
a
i
.
En effet, i x|a
i
, alors i = n , 1 , a
i
= b
i
x
Donc l
i
a
i
= l
i
b
i
x.
Alors x
b a
i i i
n
i
i
) (
1
=
=
l l
. D'o la proposition.

Considrons alors deux entiers a et b premiers entre eux.
D'aprs l'identit de Bezout, il existe U et V A tels que aU + bV = 1. Donc pour
c A-{0}, on a : acU + bcV = c (1).
Dautre part, a|bc par hypothse, et a|ac. Donc a|(acU + bcV).
D'o a|c.
2.4 Optimisation de niveau 1
Pour rduire le champ de recherche, on a peut dj s'aider du thorme sui-
vant :
Pour tout polynme
P = a
n
X
n
+ a
n-1
X
n-1
+ + a
1
X + a
0
Z[X] avec a
0
0 et a
n
0, et soit p/q Q
*

irrductible. Si p/q est une racine rationnelle de P, alors p|a
0
et q|a
n
.
En effet : soit p/q un rationnel irrductible. Si p/q est racine de P, alors a
n
(p
n
/q
n
)
+ a
n-1
(p
n-1
/q
n-1
) + +a
1
(p/q) + a
0
= 0.
En rendant au mme dnominateur, il vient :
a
n
p
n
+ a
n-1
qp
n-1
++ a
1
q
n-1
p + a
0
q
n
= 0 (1)

Soit p(a
n
p
n-1
+ a
n-1
qp
n-2
+ + a
1
q
n-1
= -a
0
q
n
= a
0
(-q
n
).

Donc p|a
0
(-q
n
) ; or p et q sont premiers entre eux ; donc p et q
n
sont aussi pre-
miers entre eux.

Donc d'aprs le lemme de Gauss on a : p|a
0
.
D'autre part, en factorisant q dans la relation (1), il vient :
q( a
n-1
p
n-1
+ +a
0
q
n-1
) = -a
n
p
n
. Donc q|a
n
(-p
n
).
Comme p et q sont premiers entre eux, il en est de mme de q et p
n
.
Et d'aprs le lemme de Gauss, q/a
n
.
Ainsi, si p/q est racine de P, alors p|a
0
et q|a
n
.
Le vin est tir, il ne reste plus qu' boire.
En effet, ce thorme nous fournit une mthode d'identifcation d'un ensemble
assez limit dj des rationnels candidats tre racines de P, savoir :
(1) Lister lensemble D(a
0
) = {d Z ; d|a
0
} des diviseurs de a
0
(2) Lister lensemble D(a
n
) = {d Z ; d|a
n
} des diviseurs de a
n
(3) Lister lensemble des Racines Possibles de P, ou tout simplement le domaine
des tests : DT(P) = { p/q ; p D(a
0
) et q D(a
n
)} D(a
0
) x D(a
n
).

Notons au passage qu'une telle approche, malgr sa simplicit, possde au moins
la vertu de Former la dmarche scientifque en dveloppant l'esprit d'analyse et
de synthse, de crativit ou d'initiative, de rigueur, ainsi que les qualits d'expres-
sion crite ou orale par rapport la clart, la prsentation et la rdaction que
l'lve sera amen faire.
Exemple : Le polynme P= 3X
3
2X
2
+ 5X + 2 admet-il des racines ration-
nelles ?
Solution :
Recherchons des conditions necessaries.
Ici a
3
= 3 et a
0
= 2. Donc D(a
3
) = {1, 3} et D(a
0
) = {1, 2}
Ainsi lensemble des racines rationnelles possibles de P est
DT(P) = {-1, 1, -1/3,1/3, -2/3, 2/3}.
Ce qui va exiger faire cinq tests : c'est la dmarche de recherche des conditions
suffsantes. L'lve dispose d'une libert, donc d'une autonomie dans son choix
de succession de validation.
P(1) = 3 2 + 5 +2 = 8 0 ;
P(-1) = -3 2 5 + 2 = -8 0
P(-1/3) = -3(1/27) 2(1/9) + 5(-1/3) + 2 = (-3 6 45 + 54)/27 = 0
P(1/3) = (3/27) 2(1/9) + 5(1/3) + 2 = (3 6 + 45 + 54)/27 = 96/27
P(-2/3) = -8(3/27) (8/9) (10/3) + 2 = (-24 24 90 + 54)/27 0
P(2/3) = (24/27) (8/9) + (10/3) + 2 = (24 24 + 90 + 54)/27 = 144/27
D'o a = -1/3 est lunique racine rationnelle de P.
Le recours une calculatrice ou au mieux un tableur en serait conomique pour
les candidats entiers. Nanmoins, les polynmes offrent une occasion d'apprendre
la ralit des approximations d'Excel ou d'autres calculatrices aux lves, ds qu'on
travaille sur les fractions irrductibles. En effet, Excel ne va donner ce mme
rsultat P(- 1/3) =0, par exemple. Les lves se rendraient alors conscients que le
recours systmatique une calculette n'est pas toujours convenable, car il s'agit en
fait de l'approximation prcision limite. Ceci permet dj de motiver l'opration
d'un changement de variable pour se ramener un polynme unitaire).
De lalgorithmique en acte
A ce stade dj, il serait trs instructif de solliciter les apprenants laborer
une synthse sous forme de schma pour dcrire l'algorithme de recherche auto-
matique des racines rationnelles d'un polynme coeffcients entiers ou mme
rationnels.
Le cas d'un polynme unitaire
Si a
n
= 1, alors D(a
n
) = {-1, 1} : donc les racines rationnelles, si elles existent,
sont ncessairement des nombres entiers cette fois.
La preuve est vidente partir du thorme qui prcde.
Exemple :
P=X
7
8X
6
+ 5X
5
+ 3X
2
2X + 1 admet-il des racines rationnelles ?
Recherche de conditions ncessaires :
Ici a
7
= 1 = a
0,.
Donc, si les racines rationnelles existent, elles devraient tre
entires.
Or D(a
7
) = D(a
0
) = {-1, 1}.
Donc DT(P) = {-1, 1}.
Recherchedesconditionssuffsantes:
Testons ces deux valeurs :
P(-1) = -1 8 5 + 3 + 2 + 1 = - 6 et P(1) = 1 8 + 5 + 3 2 + 1 = 0
Donc 1 est lunique racine rationnelle de P.
2.5 Optimisation de niveau 2
Le rsultat qui suit permet encore une recherche moins coteuse encore.
(1) Si a Z est un zro d'un polynme
P Z[X], alors
1
) 1 (
- a
P
et
1
) 1 (
+
-
a
P
sont des entiers.
(2) Par contraposition,
si
1
) 1 (
- a
P
ou
1
) 1 (
+
-
a
P
ne sont pas entiers, alors a n'est pas racine entire de
P.
En effet :
Pour (1) : Si a est racine de P Z[X] alors P(X) = (X - a)T(X), avec T
Z[X].
Donc T(X) = P(X)/(X-a) ;
donc T(1) = P(1)/(1-a) et T(-1) = P(-1)/(-1-a) ; or T Z[X] ;
donc T(-1) Z et T(1) Z. D'o
1
) 1 (
- a
P
et
1
) 1 (
+
-
a
P
sont des entiers.
Cette proposition rduit beaucoup le domaine de recherche des racines ration-
nelles d'un polynme norm, car elle permet d'liminer encore les candidats a
tels que

1
) 1 (
- a
P
Z ou
1
) 1 (
+
-
a
P
Z.
2.5 Retour la recherche des racines fractionnaires
Pour embrasser le cas plus gnral des polynmes coeffcients entiers, on a le
thorme suivant.
Pour tout polynme P Z[X], on a :
(1) Si P est norm (unitaire), alors tout zro rationnel de P est un entier.
(2) Si P n'est pas norm et P = a
0
X
n
+ a
1
X
n-1
+ + a
n-1
X
n
+ a
n
, avec a
0
1
et a
n
0.
Alors, chercher les zros rationnels de P quivaut trouver les zros entiers
du polynme norm f, avec f (Y) = Y
n
+ a
1
Y
n-1
+ a
0
a
2
Y
n-2
+ + (a
0
)
n-1
a
n-1
Y +
(a
0
)
n-1
a
n
.
Ainsi, dans ce second cas(2) pour trouver les zros rationnels de P, il sufft alors
de diviser les zros entiers de f par le coeffcient dominant a
0
de P.
Dmonstration
(1) dcoule d'un rsultat antrieur dans le cas o P est unitaire.
Pour (2), nous savons que la multiplication du polynme P par un nombre non
nul ne modife pas la nature de ses racines.
Comme
(a
0
)
n-1
P = (a
0
)
n
X
n
+ a
1
(a
0
)
n-1
X
n-1
+ a
2
(a
0
)
n-1
X
n-2
+ + a
n-1
(a
0
)
n-1
X + (a
0
)
n-1
a
n
.
= (a
0
X)
n
+ a
1
(a
0
X)
n-1
+ a
2
a
0
(a
0
X)
n-2
+ + a
n-1
(a
0
)
n-2
(a
0
X) + (a
0
)
n-1
a
n
.
Posons Y = a
0
X. Alors
(a
0
)
n-1
P = Y
n
+ a
1
Y
n-1
+ a
2
a
0
Y
n-2
+ + a
n-1
(a
0
)
n-2
Y + (a
0
)
n-1
a
n
= FY).
Do : les racines rationnelles de P sobtiennent de la relation Y = a
0
X par X =
Y/a
0
, i.e. en divisant les racines rationnelles de F par le coeffcient dominant a
0

du polynme P.
Exemple
Reprenons lexemple du polynme
P = 3X
3
2X
2
+ 5X + 2.
Ici, on a : a
0
= 3, n = 3,
(a
0
)
n-1
p =3
2
p =
3
3
X
3
- 2.3
2
X
2
+ 5.3.3.X + 3
2
.2= (3X)
3
2(3X)
2
+ 15(3X) + 18
Ce qui conduit considrer le transform F(Y) = Y
3
2Y
2
+ 15Y +18.
Cherchons les diviseurs de son terme constant 18 : ils constituent lensemble
D(18) = {1, 2, 3, 9, 18}. Effectuons maintenant les tests qui simposent, en
tenant compte de loptimisation du second niveau voqu plus haut. Il vient :
F(1) = 1 2 + 15 + 18 = 32
et F(-1) = -1 2 15 + 18 = 0.
Donc -1 est racine de F.
Pour les autres candidats a 1, tudions si
1
) 1 (
- a
f
appartient ou nappartient
pas Z.
Si a = 2 alors a -1 = 1, F(1)/ a - 1 = 32 Z ; donc a = 2 peut tre racine du
polynme F.
Si a = -2 alors
a - 1 = -3; F(1)/(-3) = 32/-3 Z donc
a = -2 ne peut pas tre racine de F.
Si a = 3, F(1)/a-1 = 32/2 = 16 Z.
Si a = 3, a-1 = -4, F(1)/a-1 = 8 Z
Si a = 9, alors a - 1 = 8 ; F(1)/a-1 = 32/8 = 4 Z
Si a = -9, F(1)/a-1 = 32/10 Z.
Si a = 18, a - 1 = 17, alors F(1)/a-1 = 32/17 Z.
Si a = -18, a - 1 = -19, alors F(1)/a-1 = 32/-19 Z.
Donc les racines rationnelles possibles sont lments de DT(F) = {2, -3,
3, 9}.
Calculons F(a) pour tout a DT (F).
F(2) = 8 - 8 + 30 + 18 = 48 0
F(9) = 729 - 162 + 135 + 18 0
F(3) = 27 - 18 + 45 + 18 = 72 0
F(-3) = -27 - 18 - 30 + 18 = -57 0
En conclusion, la seule racine entire de F est 1.
Do : lunique racine rationnelle de P est 1/3.
Cet exemple illustre que cette dmarche de rsolution dune quation polyno-
miale coeffcients rationnels donne beaucoup de latitude l'lve quant au
choix des candidats tester, une fois que 1 et 1 sont dj tests. De plus, on
n'est pas contraint se limiter aux trinmes du second degr, comme c'est le cas
pour l'emploi du discriminant. Ds lors, ceci n'est que conjecture certes, aprs
un certain nombre d'entranement, l'algorithmique aurait beaucoup de chance
se gnraliser chez l'apprenant.
2.6 Algorithme de calcul des racines rationnelles
De ce qui prcde, on labore facilement un algorithme de rsolution dans Z
et Q de P(x) = 0 avec P Z[X]. L'ide de cet algorithme peut s'exprimer comme
ci-dessous.
Donnes :
le degr n N*
les n+1 coeffcients a
0
, a
1
, a
2
, , a
n
lments de Z
le polynme P(x) = a
0
+ a
1
x+ a
2
,x
2
++a
n
x
n
.
Etape 1 : a - t-on a
n
= 1 ?
Si a
n
= 1, alors :
lister lensemble D(a
0
) de tous les diviseurs de a
0
(ce qui ncessite la d-
composition de

a
0
en un produit de facteurs premiers)
Calculer P(1) et P(-1)
Pour tout i D(a
0
)\{-1, +1}, calculer A(i) = P(1)/(i-1) et B(i) = P(-1)/(i+1)
Si P(1)=0 et P(-1)=0, alors tous les diviseurs de P sont racines de P,
Sinon si P(1)=0 et P(-1) 0 alors
Pour tout i D(a
0
)\{-1, +1}, si B(i) Z, alors i est racine de P,
Sinon i nest pas racine de P,
Si P(-1)=0 et P(1) 0 alors
Pour tout i D(a
0
)\{-1, +1}, si A(i) Z, alors i est racine de P,
Sinon i nest pas racine de P,
Si P(1) 0 et P(-1) 0 alors si A(i) Z et B(i) Z, alors i est racine de
P,
Sinon i nest pas racine de P.
Sinon, tape 2 :
Faire le changement de variable suivant : poser y = a
n
x, soit x=y/a
n
.
Calculer les nouveaux coeffcients : pour tout i allant de 0 n, b
i
= a
i
. (a
n
)
n-
1-i
Considrer le polynme unitaire T(x) = b
0
+ b
1
y+ b
2
, y
2
++b
n
y
n
, avec b
n

= 1.
Considrer T(x) au lieu de P(x) : les zros de T sont des entiers, et les zros
de P sont les rationnels dont les numrateurs sont les zros entiers de T et
les dnominateurs tous gaux au coeffcient dominant a
n
de P.
Revenir l'Etape 1

Synthse :
Soit, P admet des racines entires et la liste exhaustive de ses racines entires
ou rationnelles est trouve ;
soit, P na aucune racine rationnelle.
Cet algorithme, qui se programme facilement sur ordinateur, fonctionne essen-
tiellement par le raisonnement par conditions ncessaires dont le manque, voire
l'incomprhension, fait souvent l'objet du reproche que les enseignants du pre-
mier cycle du suprieur surtout font l'encontre des jeunes tudiants. Le mode
de raisonnement par disjonction de cas est en action galement tout au long de
la recherche des ventuelles racines rationnelles.
Remarque : Le clbre critre d'Eiseinstein qui donne les conditions suffsantes
d'irrductibilit dans Q[X] d'un polynme coeffcients entiers pourrait faire
l'objet d'un algorithme galement, mais sa comprhension ncessite celle de la
notion de corps de fractions d'un anneau. Donc ce thorme d'Eiseinstein n'est
pas administrable au niveau secondaire ; cependant, il offre un excellent terrain
de mise en acte du mode de raisonnement par conditions suffsantes qui fait
dfaut chez bons nombres d'lves ou de jeunes tudiants, semble-t-il.
Rappelons que le thorme d'Eiseinstein voqu ci-dessus peut s'noncer
ainsi :
Soit A un anneau factoriel, K son corps de fractions, et P A[X], non constant,
avec P(x) = a
0
+ a
1
x+ a
2
,x
2
++a
n
x
n
, tel que a
0
0 et a
n
0.
Sil existe p/A tel que p/a0, p/a1, , p/an-1, et p ne divise pas an et p2 ne divise
pas a0, alors p est irrductible dans K[X].
La diffcult y rsiderait manifestement dans la recherche d'un tel lment diviseur
p. Dans le prsent article, on s'est intress au cas o A = Z et K = Q.
2.6 A propos du problme inverse
Comment construire un polynme de degr minimum dont les racines sont don-
nes et/ ou vrifant quelques contraintes supplmentaires? On peut y rpondre
partiellement en appliquant les clbres formules de Vite dans C[X].
Pour tout P
n
C[X] non constant et norm, P
n
= X
n
+ a
n-1
X
n-1
+ ....+ a
1
X + a
0
,
alors on peut exprimer les coeffcients a
0
, a
1
, , a
n-1
de P en fonction des poly-
nmes symtriques des racines de P
n
.
Dmonstration :
Comme C[X] est un corps algbriquement clos alors le polynme P
n
de degr n
de C[X] admet exactement n-racines complexes a
1
, a
2
, ..., a
n
.
Donc
P
n
(X) = (X-a
1
)(X-a
2
)...(X-a
n
) = ) (
1
-
=
n
i
i
X
a
.
Pour trouver les relations entre des coeffcients a
i
pour i = 0 n-1 et les racines
a
i
, i = ) , 1 ( n , nous partons de quelques cas particuliers, puis nous tirons une
conjecture et enfn nous les gnraliserons.
Pour n = 2 P
2
= (X - a
1
)(X - a
2
)
= X
2
(a
1
+a
2
)X + a
1
a
2
Dautre part P
2
= X
2
+ a
1
X + a
0
.
Par identifcation, nous avons
a
1
= - (a
1
+a
2
a
0
= a
1
a
2

Soit en introduisant les polynmes symtriques lmentaires de degr 2, nous
obtenons :
a
1
= - s
1
(a
1
, a
2
) et a
0
= s
2
(a
1
, a
2
)
Pour n =3 :
P
3
= X
3
+ a
2
X
2
+ a
1
X + a
0
= (X - a
1
)( X - a
2
)( X - a
3
)
= X
3
(a
1
+a
2
+a
3
)X
2
+ (a
1
a
2
+a
1
a
3
+a
2
a
3
)X - a
1
a
2
a
3
Par identifcation, nous obtenons :
a
2
= - (a
1
+a
2
+a
3
)
a
1
= a
1
a
2
+ a
1
a
3
+ a
2
a
3
a
0
= - a
1
a
2
a
3
Soit encore :
a
2
= -s
1
( a
1
, a
2
, a
3
)
a
1
= s
2
( a
1
, a
2
, a
3
)
a
0
= - s
3
( a
1
, a
2
, a
3
)
En rsum, on a :
Pour n = 2 :
a
1
= - (a
1
+a
2
) =
- s
1
( a
1
, a
2
) = (-1)
1
s
1
( a
1
, a
2
)

a
0
= a
1
a
2
= s
2
( a
1
, a
2
) = (-1)
2
s
2
( a
1
, a
2
)
or on peut remarquer que
a
1
= a
2 1
= (-1)
1
s
1
( a
1
, a
2
)
a
0
= a
2 2
= (-1)
2
s
2
( a
1
, a
2
)
Pour n = 3, il vient :
a
2
= a
3 1
= (-1)
1
s
1
( a
1
, a
2
, a
3
)
a
1
= a
3 2
= (-1)
2
s
2
( a
1
, a
2
, a
3
)
a
0
= a
3 3
= (-1)
3
s
3
( a
1
, a
2
, a
3
)
On peut conjecturer que :
si P
n
= X
n
+ a
n-1
X
n-1
+ ....+ a
1
X + a
0
= ) (
1
-
=
n
i
i
X
a
, alors
a
n-1
= (-1)
1
s
1
(a
1
, a
2
,a
n
)
a
n-2
= (-1)
2
s
2
(a
1
, a
2
,a
n
)
...
a
n-k
= (-1)
k
s
k
(a
1
, a
2
,a
n
)
a
n (n-1)
= a
1
= (-1)
n-1
s
n-1
(a
1
, a
2
,a
n
)
a
n n
= a
0
= (-1)
n
s
n
(a
1
, a
2
,a
n
).
La proprit est vraie pour n = 2, 3. Supposons la vraie jusqu n.
Calculons les coeffcients de P
n+1
en fonction des polynmes symtriques l-
mentaires de degr (n+1).
Par dfnition, P
n+1
= X
n+1
+ a
n
X
n
+ a
n-1
X
n-1
+ + a
1
X

+ a
0
= P
n
.(X - a
n+1
)
= [ X
n
+ (-1)
1
s
1
X
n-1
+ + (-1)
n-1
s
n 1
X + (-1)
n
s
n
] (X - a
n+1
)
Par hypothse de rcurrence, en dveloppant, on obtient :
P
n+1
= X
n+1
+ (-1)
1
s
1
X
n
+ (-1)
2
s
2
X
n-1
+ + (-1)
n -1
s
n -1
X
2
+ (-1)
n
s
n
Xa
n+1
X
n

(-1)
1
s
1
a
n+1
X
n-1
- . (-1)
n
s
n
a
n+1
Donc en regroupant les termes semblables, on obtient :
P
n+1
= X
n+1
+ [(-1)
1
s
1
- a
n+1
]X
n
+ [(-1)
2
s
2
- (-1)
1
s
1
a
n+1
]X
n-1
+
+ [(-1)
n
s
n
- (-1)
n -1
s
n -1
a
n+1
]X - (-1)
n
s
n
a
n+1
= X
n+1
+ (-1)
1
s
1
(a
1
, a
2
,a
n+1
)X
n
+ (-1)
2
s
2
(a
1
, a
2
,a
n+1
)X
n-1
+
+ (-1)
n
s
n
(a
1
, a
2
,a
n+1
)X + (-1)
n +1
s
n +1
(a
1
, a
2
,a
n+1
).
Par identifcation, nous avons :
a
n
= (-1)
1
s
1
(a
1
, a
2
,a
n + 1
)
a
n
= (-1)
2
s
2
(a
1
, a
2
,a
n + 1
)
a
1
= (-1)
n
s
n
(a
1
, a
2
,a
n + 1
)
a
0
= (-1)
n
s
n + 1
(a
1
, a
2
,a
n + 1
).
Donc la proprit demeure vraie lordre n+1.
Do si P
n
C[X] tel que P
n
= X
n
+ a
n-1
X
n-1
+ ....+ a
1
X + a
0
admet n-racines
a
1
, a
2
,a
n
alors on peut exprimer les coeffcients de P
n
en fonction des
polynmes de racines de P
n
par les relations de Vite :
k = (0,n-1) ; a
n-k
= (-1)
k
s
k
(a
1
, a
2
,a
n
)
Remarques
1/ Les formules de Vite gnralisent le rsultat connu ds la classe de seconde :
relation entre les sommes et les produits des racines et les coeffcients dun trinme
X
2
+ a
1
X + a
0
savoir X
2
+ a
1
X + a
0
= X
2
- SX + P, o S = a
1
+ a
2
et P = a
1
a
2

et a
1
, a
2
sont les solutions de X
2
+ a
1
X + a
0
= 0.
2.7 Les formules de Vite permettent de reconstituer, sans besoin
de dveloppement, un polynme dans C[X], do la connaissance
de toutes les racines.
Exemple
Trouver un polynme de degr minimum unitaire dont 1 et 2 sont des racines
simples et 4 une racine double.
dP = O
m
(1) +O
m
(-2) +O
m
(4) o O
m
(a)dsigne lordre de multiplication
de racine a..
dP = 1+1+2 = 4
Donc P = X
4
+ a
3
X
3
+ a
2
X
2
+ a
1
X + a
0
.
Cherchons les coeffcients a
3
, a
2
, a
1
et a
0
. Daprs les formules de Vite, ici
a
1
= 1, a
2
=-2, a
3
= 4, alors :
a
3
= (-1)
1
s
1
(a
1
, a
2
, a
3
, a
4
) = -1(a
1
+ a
2
+ a
3
+ a
4
) = -(1-2+8) = -7
a
2
= (-1)
2
s
2
(a
1
, a
2
, a
3
, a
4
) = a
1
a
2
+ a
1
a
3
+ a
1
a
4
+ a
2
a
3
+ a
2
a
4
+ a
3
a
4
a
2
= -2 + 4 + 4 8 8 +16 = 6
a
1
= (-1)
3
s
3
(a
1
, a
2
, a
3
, a
4
) = -(a
1
a
2
a
3
+a
1
a
2
a
4
+ a
1
a
3
a
4
+ a
2
a
3
a
4
)
= -( - 8 8 + 16 32)
a
0
= (-1)
4
s
4
(a
1
, a
2
, a
3
, a
4
) = a
1
a
2
a
3
a
4
= 1.(-2).4*4 = -32
do P
4
= X
4
7X
3
+ 6X
2
+ 32X - 32
2.8 Implication pdagogique
La rsolution des quations polynomiales de degr suprieure ou gale 2 ap-
parat ds la classe de seconde. La forme varie un peu suivant le changement de
variable adapt au niveau des classes de premire et de terminale.
2.8.1 En classe de seconde, on rsout les quations du type ax
2
+bx + c = 0 ;
Cela exige le calcul du discriminant D = b
2
4ac, et la discussion sur son signe
pour savoir le nombre des racines et le calcul des racines.
Cependant, le calcul de D ne devrait pas tre peru incontournable, surtout lorsque
l'quation admet des racines videntes sachant que :
1 est un racine d'un polynme
X a
X P
k
n
k
k
=
=0
) ( , si la somme des coeffcients
est nulle : 0
0
=
=
n
k
k
a
.
(-1) est une racine d'un polynme
X a
X P
k
n
k
k
=
=0
) ( , si la somme des coeffcients

de degr pair diminu de la somme des coeffcients de degr impair est nulle.
Donc en connaissant une racine, et par factorisation ou par les formules de Vite,
on peut trouver les autres racines.
Exemple : Rsoudre dans R lquation 2x
2
3x + 1 = 0
Posons P(x) = 2x
2
3x + 1 . On remarque que 2-3+1 = 0 donc x=1 est racine
de P(x) = 0.
P(x) = 2x
2
3x + 1 = 2(x
2
3x/2 + 1/2) =
2(x
2
Sx + p), d'aprs les formules de Vite.
Soit x la seconde racine, alors x.x = do x = 1/2
D'o l'ensemble des solutions S est :
S = {1, 1/2}
2.2.2 En classe de premire, sa rsolution exige plus de comprhension par le
choix de changement de variable adapt pour se ramener au cas des polynmes
tudis en classe de seconde. De plus, on va interprter la solution de f(x) = g(x)
comme abscisse du point d'intersection des deux courbes reprsentatives (C
f
) et
(C
g
) respectivement de f et g.
D'autre part, on introduit la notion de drive d'une fonction dans le but d'tudier
les sens des variations d'une fonction f, en calculant la fonction drive f de f et
d'tudier le signe de f(x).
Dans le cas d'une fonction polynomiale ou d'une fonction rationnelle, rsoudre
f(x) = 0 revient chercher les racines d'un polynme.
Exemple : Etudier les sens de variations de la fonction numrique f dfnie
par

3
5
) (
2
3
+
+ -
=
x
x
x
x f .
Pour tout rel x, f(x) existe, si x
2
+ 3 0. Or x
2
+ 3 = 0 n'admet pas de solution
relle. Donc l'ensemble de dfnition de f est D
f
= R = ]- , + [.
Calcul de la drive f(x) :
Pour tout rel x, il vient

f ' (x) ==
-(
4
x
+14x
2
-15)
(
2
x
+ 3)
2
Soit

f ' (x) ==
-(
4
x
+14x
2
-15)
(
2
x
+ 3)
2
.
Rsolvons f(x) = 0.
f(x) = 0 signife (x
4
+14x
2
15) = 0 soit x
4
+14x
2
15 = 0 (1)
Posons X = x
2
alors l'quation (1) devient :
X 0
(2) X
2
+14X 15 = 0

On remarque que 1 + 14 15 = 0, donc X = 1 est solution de (2) et lautre racine
est X telle que XX = -15 ; donc X = -15 < 0.
Or X = x
2
= 1, donc x = 1.
Do f(x) = 0 quivaut x = 1 ou x = -1.
Par consquent f(x) = -(x2 + 15)(x2 1)/(x2 + 3)2. Or (x2 +15)/ (x2 + 3)2 >
0. Donc f(x) est de mme signe que 1 x2. Le tableau de variations de f sen
dduit facilement.
2.2.3 En classe de Terminale, avec les changements de variable de type expo-
nentiel ou logarithmique, on peut se ramener parfois au cas des polynmes, et
on appliquerait les acquis des classes antrieures sur la recherche des racines
rationnelles d'un polynme coeffcients rationnels.
Exemple : Rsoudre dans R lquation (lnx)
4
+ 14(lnx)
2
15 = 0 (1)
L'quation est dfnie, si x > 0. Posons Y = (lnx)
2
, avec Y 0. L'quation (1) devient
Y
2
+ 14Y 15 = 0 (2).
D'aprs l'exemple ci-dessus, on a ;
Y = 1 ou Y = -15 < 0.
Donc (lnx)
2
= 1 soit lnx = 1 ou lnx = -1.
lnx = 1 quivaut x = e ; lnx = -1 = ln(1/e) donc x = 1/e
D'o l'ensemble des solutions S = {e, 1/e}.
Commentaire
Parfois au niveau de la classe Terminale, la solution exacte d'une quation n'est
pas toujours possible. Pour cela, on va se contenter de racine approche, en s'ap-
puyant sur le thorme des valeurs intermdiaires : si une fonction f est continue
et strictement monotone sur [a, b] et que f(a).f(b) <0, alors il existe une solution
unique a ]a, b[ tel que f Puis, par des itrations successives, on trouve la valeur
approche de a avec la prcision voulue.
Exemple : Soit montrer que lquation x
3
+ 6x
2
9x + 5 = 0 admet une solution
relle unique x
0
dans lintervalle ]4 ; 4,5[.
Considrons la fonction f dfnie par
f(x) = x
3
+ 6x
2
9x + 5
Il est vident que f est dfnie sur R, et f(x) tend vers + au voisinage - , vers
- au voisinage de +.
Donc il existe a > 0, b< 0 tel que f(a)>0 et f(b)< 0 donc f(a).f(b)< 0.
Calcul de la drive f(x) : f(x) = -3x2 +12x 9. On voit que 3 +12 9 = 0,
donc f(x) = 0 admet x = 1 comme racine et x = 3 la seconde racine.
Il en rsulte le tableau de variations de f. En particulier, f est continue stricte-
ment dcroissante sur [3, + [, a fortiori elle l'est sur [4 ; 4,5] ; comme f(4).f(4,5)
= -5,25 < 0
Donc il existe une racine unique a ]4 ; 4,5[ tel que f(a) = 0.
Enfn, en guise de dernier exemple, voici un exercice non rsolu proposable au
niveau des terminales scientifques :
On veut trouver les racines rationnelles du polynme P(x)=2x
4
x
3
+ 5x
2
3x
3.
1. a) Calculer la somme des coeffcients de P(x).
b) En dduire lexistence dune racine vidente entire de P(x).
c) Ecrire P(x) = (x - a )T(x), o T(x) est un polynme que lon
dterminera.
2- a) Montrer que lquation T(x) = 0 admet une solution unique - Encadrer
b) Que peut on dire sur la racine de T(x) et de T
1
(x) = 2
2
.T(x) ?
c) Montrer que rsoudre T(x) = 0 quivaut rsoudre T
2
(y) = y
3
+ y
2
+ 12y
+ 12 = 0.
3 Montrer que la racine de T(y) est entire que lon prcisera.
4 En dduire les racines rationnelles de P(x).
CONCLUSION DU CHAPITRE XV
L'tude quelque peu thorique de la recherche des racines rationnelles d'un poly-
nme coeffcients rationnels prsente un grand intrt eu gard son implication
pdagogique. En effet, ce travail pourrait fournir une base thorique concernant
la recherche des racines videntes d'un polynme coeffcients rationnels : elles
sont intuitivement trouver gnralement parmi les entiers ou parmi les rationnels
au plus, au lieu de se contenter de ttonner parmi 1 et -1.
Ainsi, ce travail montre qu'au niveau scolaire (collge et lyce), les nombres
qualifs de racines videntes d'un polynme coeffcients rationnels ne sont
pas toujours vidents comme le penseraient certains professeurs du secondaire.
Initier les lves de fn du collge cette thorie des racines videntes des poly-
nmes coeffcients rationnels apparatrait trs formateur et intellectuellement
enrichissant.
On notera en particulier que, malgr sa simplicit, l'approche voque dans ce
papier contribuerait la formation des jeunes adolescents la dmarche scienti-
fque par sa vertu de dvelopper ainsi l'esprit d'analyse et de synthse et l'esprit
critique, esprit de crativit et de rigueur, ainsi que les qualits d'expression crite
ou orale par rapport la clart, la prsentation et la rdaction mathmatique.
La mise en uvre des rsultats thoriques sur la rsolution dune
quation polynomiale dans le corps des rationnels est sous-jacente
des prises dinitiative de llve, une autre facult qui nest pas simple
cultiver chez les jeunes apprenants du secondaire en plus de sa vertu
daiguiser la mmoire, donc lintelligence.
En vue de l'initiation l'informatique scientifque, il serait galement fructueux
de demander aux jeunes apprenants de schmatiser l'algorithme de recherche des
racines rationnelles d'un polynme coeffcients entiers : ce qui les prparerait
de faon prcoce la culture d'algorithmique ou la gestion informatise d'un
systme de productions plusieurs ventualits prvisibles. A cette occasion, les
comptences en arithmtique lmentaire de Z acquises en 5
ime
et 4
ime
sont
galement mobilises et donc consolides : divisibilit, diviseurs, pgcd, ppcm,
primalit, dcomposition en un produit de facteurs premiers, etc. De faon im-
plicite, Il en est de mme pour leur capacit faire du calcul mental ncessit
d'une rfexion personnelle et du raisonnement mental et spontan, raisonner
par analogie et par conditions ncessaires, adopter une dmarche scientifque
devant une situation-problme relevant de la vie quotidienne.
Cette suggestion pdagogique, eu gard la recherche des racines rationnelles
en fractions irrductibles, contribuerait aussi la prise de conscience des jeunes
apprenants que le recours systmatique une machine calculer ou un tableur
n'est pas toujours appropri : ils comprendraient alors que les machines utilisent
de l' approximation. La prcision en est donc limite. Du coup, ceci pourrait les
motiver optimiser l'algorithme d'approximation intgr dans l'avenir !
Dans la recherche des conditions suffsantes parmi les nombres dlivrs par l'ac-
tion de la recherche des conditions ncessaires, il serait conomique d'utiliser un
tableur, un changement de variable prs pour se retrouver le cas d'un polynme
unitaire.
Comme suggestion, par soucis d'un objectif terminal d'intgration [8, 9] et de
l'Education Pour Tous , nous suggrerions de prendre le temps de faire travailler
les lves de la classe de troisime sur la Rsolution dans Z ou Q d'une quation
polynomiale de degr suprieur ou gal 2 coeffcients entiers ou rationnels
ou Recherche des racines entires ou rationnelles d'un polynme coeffcients
entiers ou rationnels. Ce qui permettrait d'assurer une progressivit psycholo-
giquement et gntiquement congruente dans l'apprentissage de rsolution des
quations polynomiales : travailler dj dans les ensembles discrets Z, puis Q
au collge avant de fouiner dans les ensembles continus des nombres rels ou
complexes au lyce.
Exercice : Trouver les raciness rationnelles des polynmes suivants et en
dduire leurs factorizations respectives en un produit des plynmes irr-
ductibles :
1)

p(x) =
3
x
+ 2
2
x
- 29x - 30.
2)

q(x) =
3
x
- 6
2
x
+11x - 6.
3)

r(x) =
4
x
- 6
3
x
- 23
2
x
+132x -140.
4)

t(x) =
4
12x
-11
3
x
+ 31
2
x
+ 4x +12.
5)

s(x) = 12
4
x
+ 37
3
x
-123
2
x
- 28x + 60.
Solution ou indications
Les trois premiers polynmes ont leurs raciness rationnelles entires, leurs
coeffcients dominants tant gaux 1. Alors que les deux derniers polynmes
peuvent admettre des raciness rationnelles fractionnaires dont les dnominateurs
sont des diviseurs de 12, et les numrateurs sont des diviseurs de 12 pour r(x),
des diviseurs de 60 pour s(x).
Les raciness rationnelles cherches sont respectivement :
1) -1, -6 et 5; 2) 1, 2 et 3. 2) 2 est une racine de r, en dduire les autres raciness
rationnelles.
4) deux raciness fractionnaires : -3/4 et 2/3 ; deux raciness entires : -1 et 2.
5) deux raciness fractionnaires : -3/4 et 2/3 ; deux raciness entires : -5 et 2
XV. synthse du module
la fn de ce module, lapprenant devrait connatre les proprits des entiers et
leur divisibilit, les nombres premiers ainsi que leur distribution. Il pourra aussi
mettre en application la divisibilit de lalgorithme dEuclide qui forme la base
pour ensuite aller vers les solutions des quations diophantiennes linaires. En
effet, lalgorithme dEuclide rsout les quations diophantiennes linaires. Le
triplet pythagoricien, troitement li au thorme de Fermat, est un aspect fonda-
mental que tout apprenant devrait matriser. Lunit 1 de la thorie des nombres
est explique travers beaucoup dexemples que lapprenant peut suivre sans
diffcult. Il est recommand que lapprenant essaie les valuations formatives
incluses afn dvaluer le progrs de leur comprhension de la matire. Il devra
aussi prendre le temps de vrifer le matriel de rfrence recommand inclut
sur le disque compact ainsi que les logiciels en libre accs et les sites Internet.
De plus, il est trs important que lapprenant sencourage lire tout le contenu
et essaie de rpondre aux questions aprs chaque sujet.
Lunit 2 de ce module amne lapprenant vers les rsidus et leurs proprits ainsi
que vers la rciprocit quadratique. Le critre dEuler et la notation du symbole
de Legendre sont importants. Lapprenant devrait tre en mesure de dfnir la
norme et son application dans lanneau factoriel de lentier de Gauss. Il devrait
aussi tre capable de prouver les lemmes des entiers de Gauss. Lunit 2 comprend
plusieurs activits dapprentissage o lapprenant est amen comprendre la
matire des nombreux sujets explors afn dvaluer sa connaissance travers les
valuations formatives. Sil commet beaucoup derreurs, il serait bien de revoir la
matire qui a t aborde avant de passer autre chose. Les activits font parties
intgrantes du module afn de rendre lapprentissage plus facile. Les diffrentes
tches donnes lors de ces activits vous offrent la possibilit de dmontrer votre
haut niveau de comptences TIC. Les objectifs dapprentissage sont tous dcrits
au dbut de ce module et devraient guider lapprenant dans ses attentes envers
celui-ci. La dernire partie de ce module aborde lquation de Pell qui demande
lapprenant dutiliser les connaissances acquises avec les quations diophan-
tiennes pour comprendre pourquoi elle constitue une quation part des autres.
Lvaluation sommative permettra de juger si lapprenant matrise bien la matire
du module. Il est recommand de rviser avant de faire cette valuation.
XVi. valuation sommative
valuation globale (Rpondez trois questions de votre choix 60%)
1. Utilisez lalgorithme dEuclide pour calculer le PGCD de
(i) m = 25 174, n = 42 722
(ii) m = 7472, n = 2464
(iii) m = 455, n = 1235
2. Prouvez par induction que :
(i) 1
3
+ 2
3
+ 3
3
+ 4
3
+ ..+ n
3
=
4
) 1 (
2 2
+ n n

(ii) a + ar + ar
2
++ ar
n
=
r
r a
n
-
-
+
1
) 1 (
1
, n > 0
3. a) Prouvez cette proposition dannulation : Si le PGCD (c, n) = 1 et ac
bc (mod n) alors a b (mod n)
b) Rsolvez 17x 1 (mod 61)
4. Le tableau ci-dessous dmontre des solutions fondamentales de lquation
de Pell
Value of q Value of x Value of y
6 5 2
10 19 6
14 15 4
Utilisez ce tableau pour rsoudre les quations de Pell suivantes :
x
2
6y
2
= 1
x
2
14y
2
= 1
5. Rsolvez x et y de lquation diophantienne suivante :
2261x + 1275y = PGCD (2261, 1275)
XVii. rfrences bibliographiques
- Elementary number theory, by W.Edwin Clark, University of South Florida,
2003
- http://www-history.mcs.st-andrews.ac.uk/Biographies/Wiles.html
- Notes on Algebraic Numbers, by Robin Chapman, 2002
- Algebra and number theory, by A.Baker, University of Glasgow,
2003
- http://www.pbs.org/wgbh/nova/proof/wiles.html
- Prime factorization, by William Stein, Havard University, 2001
- Lecture notes, by William Stein, Havard University, 2001
- Elementary number theory, by Allan M.Kirch, Intext Educational
Publishers, New York, 1974
- Elements of abstract & linear algebra, by E.H. Connell, Coral Gables,
Florida, USA
- MIT Open Courseware, theory of numbers, spring 2003, Prof. Martin
Olsson
- http://www-history.mcs.st-and.ac.uk/HistTopics/Fermat%27s_last_
theorem.html
- http://www.bbc.co.uk/schools/websites/16/index.shtml
- http://en.wikipedia.org/wiki/Number_Theory
- http://fr.wikipedia.org/wiki/Thorie_des_Nombres
- http://mathworld.wolfram.com/NumberTheory.html
XViii. dossiers scolaires
Voici le nom du fchier EXCEL : Mathmatiques Thorie des nombres Dossiers
scolaires
XiX. auteur du module
Monsieur Paul Cheqe (B.Ed(Sc), M.Ed)
Contact: paulamoud@yahoo.com
Lauteur de ce module est un pdagogue charg de former les enseignants
lUniversit Amoud de Borama en Somalie.
Il a aussi occup le mme poste au Kenya, la Rpublique de Seychelles et en
Somalie. Il sest impliqu au renforcement des mathmatiques et des sciences
au niveau secondaire et tertiaire sous le programme de lAgence corporative
internationale du Japon dans quinze pays africains.
Il est mari et pre de trois enfants.
XX. structure des fchiers
Nom du module en fchier WORD : Mathematics Number Theory (WORD)
Nom de tous les autres types de fchiers (WORD, PDF, PPT, etc.) pour ce
module:
1. Number Theory Students Record (EXCEL)
2. Marking Scheme for Summative Evaluation (WORD)
3. Number Theory Lecture Notes by Stein (PDF)
4. Elementary Number Theory Textbook by Clarke (PDF)
5. Number Theory Textbook by Stein (PDF)
6. MIT Theory of Numbers Lecture Notes and Exams (PDF)
1

THORIE DE NOMBRES

Lectures Obligatoires

Source: Wikipedia.org

2

Table des matires
Algorithme d'Euclide .................................................................................................................................. 5
Remarque prliminaire ......................................................................................................................... 6
Description de l'algorithme ................................................................................................................... 6
Exemple ............................................................................................................................................... 6
Pseudocode rcursif ........................................................................................................................... 7
Remarque historique ............................................................................................................................. 7
Dmonstration de sa finitude et de son exactitude .............................................................................. 7
Le thorme de Lam ............................................................................................................................ 8
Algorithme tendu aux coefficients de Bzout .................................................................................... 8
Description .......................................................................................................................................... 8
Commentaires .................................................................................................................................... 8
Fractions continues ................................................................................................................................ 9
Plus grand commun diviseur ................................................................................................................... 10
Dnomination ....................................................................................................................................... 10
Notations ............................................................................................................................................... 10
Dfinitions ............................................................................................................................................. 11
Pour des entiers ................................................................................................................................ 11
Quelques prcisions sur plus grand .......................................................................................... 11
Cas du zro ........................................................................................................................................... 12
Exemple ................................................................................................................................................. 12
Calcul .................................................................................................................................................... 13
Proprits .............................................................................................................................................. 13
Gnralisations ..................................................................................................................................... 13
PGCD de fractions ........................................................................................................................... 13
Cas des rels ...................................................................................................................................... 14
Polynmes coefficients rels ......................................................................................................... 15
Dans les anneaux commutatifs ........................................................................................................ 15
Dfinition par les idaux .................................................................................................................. 16
Anneaux non-commutatifs .............................................................................................................. 16
Algorithme d'Euclide tendu ................................................................................................................... 17
Exemple introductif ............................................................................................................................. 17
3

L'algorithme ......................................................................................................................................... 18
Complexit de l'algorithme ................................................................................................................. 20
Gnralisations ..................................................................................................................................... 20
Les entiers relatifs ............................................................................................................................ 20
Les anneaux euclidiens .................................................................................................................... 21
Nombre premier ........................................................................................................................................ 21
lments historiques ............................................................................................................................ 22
Structures algbriques, topologiques, et nombres premiers ............................................................ 23
Nombres premiers particuliers ........................................................................................................... 24
Nombres premiers de Mersenne ..................................................................................................... 24
Nombres premiers jumeaux ............................................................................................................ 25
Nombres premiers et nombres de Fermat ..................................................................................... 25
Algorithmique : calcul des nombres premiers et tests de primalit ................................................ 26
Crible d'ratosthne et algorithme par essais de division ........................................................... 26
Autres algorithmes ........................................................................................................................... 27
Des formules sur les nombres premiers ............................................................................................. 28
Rpartition des nombres premiers ..................................................................................................... 29
Infinit des nombres premiers ........................................................................................................ 29
Les avances du XIX
e
sicle ............................................................................................................. 30
Thorme de Green-Tao .................................................................................................................. 31
Conjecture de Bateman-Horn ......................................................................................................... 32
Applications .......................................................................................................................................... 32
Cryptographie cl publique .......................................................................................................... 32
Gnralisations des nombres premiers .............................................................................................. 33
Questions ouvertes ............................................................................................................................... 33
quation diophantienne ........................................................................................................................... 34
Arithmtique lmentaire ................................................................................................................... 35
Identit de Bzout ............................................................................................................................ 35
Thorme de Wilson ........................................................................................................................ 36
Triplet pythagoricien ....................................................................................................................... 36
Petit thorme de Fermat ................................................................................................................ 36
Autres techniques ............................................................................................................................. 38
4

Arithmtique modulaire ...................................................................................................................... 40
Groupe ablien fini .......................................................................................................................... 40
Anneau euclidien .............................................................................................................................. 41
Thorme de la progression arithmtique ..................................................................................... 42
Thorie algbrique des nombres ......................................................................................................... 44
Entier algbrique ............................................................................................................................. 44
Corps cyclotomique ......................................................................................................................... 45
Gomtrie algbrique .......................................................................................................................... 47
Le dixime problme de Hilbert ..................................................................................................... 47
Recherche moderne .......................................................................................................................... 48

5

Algorithme d'Euclide
L'algorithme d'Euclide est un algorithme permettant de dterminer le plus grand commun
diviseur (P.G.C.D.) de deux entiers dont on ne connat pas la factorisation. Il est dj dcrit dans
le livre VII des lments d'Euclide.
Dans la tradition grecque, en comprenant un nombre entier comme une longueur, un couple
d'entiers comme un rectangle, leur PGCD est la longueur du ct du plus grand carr permettant
de carreler entirement ce rectangle. L'algorithme dcompose ce rectangle en carrs, de plus en
plus petits, par divisions euclidiennes successives, de la longueur par la largeur, puis de la
largeur par le reste, jusqu' un reste nul.

Dans le rectangle de dimensions L=21 par l=15 ci-dessous, par exemple, on peut glisser un carr
de ct 15 mais il reste un rectangle de cts 15 et 6, dans lequel on peut glisser deux carrs de
ct 6 mais il reste un rectangle de cts 6 et 3 que l'on peut carreler entirement de carrs de
ct 3. Les carrs de ct 6 ou 15 peuvent aussi se carreler en carrs de ct 3. Le rectangle
entier peut se carreler en carrs de cot 3. Il n'existe pas de carr plus grand permettant un tel
carrelage.
Cet algorithme repose sur la structure d'anneau euclidien de l'anneau des entiers relatifs, plus
particulirement sur la proprit de division euclidienne. Il se gnralise donc bien d'autres
anneaux, en particulier les anneaux de polynmes coefficients dans un corps. L'algorithme se
gnralise pour permettre le calcul des coefficients de Bezout.
L'algorithme est effectif condition de disposer d'un algorithme effectif de division euclidienne.
La possibilit de disposer d'un tel algorithme rend de nombreux autres calculs effectifs,
notamment, en algbre linaire, le calcul de facteurs invariants.
6

Remarque prliminaire []
Puisque l'algorithme a pour objet le calcul d'un PGCD, il est possible de se restreindre aux
entiers positifs, un PGCD de deux entiers relatifs tant gal au PGCD de leurs valeurs absolues.
Description de l'algorithme []
Soient deux entiers naturels a et b, dont on cherche le PGCD. Le cas o a ou b est nul ne
ncessite aucun algorithme ; on l'exclut. Une suite d'entiers (a
n
)
n
est dfinie par rcurrence de pas
2, plus prcisment par divisions euclidiennes successives ; la suite est initialise par a
0
= a,a
1
=
b, puis propage par la rgle de rcurrence : tant que a
n + 1
est non nul, a
n + 2
est dfini comme le
reste de la division euclidienne de a
n
par a
n + 1
.
On commence donc par calculer le reste de la division de a par b, qu'on note r ; puis on remplace
a par b, puis b par r, et on rapplique le procd depuis le dbut.
On obtient ainsi une suite, qui vaut 0 un certain rang ; le PGCD cherch est le dernier reste non
nul.
Exemple []

Calculons, par exemple, le PGCD de 1071 et de 1029 l'aide de l'algorithme d'Euclide :
1071 = 1029 x 1 + 42
7

1029 = 42 x 24 + 21
42 = 21 x 2 + 0
Il faut prendre le dernier reste avant le zro, donc PGCD(1071 ; 1029) = 21
Pseudocode rcursif []
Fonction PGCD(a:nombre, b:nombre):nombre
Si b=0
| alors PGCD=a
Sinon
| r egal au reste de la division entire (modulo) de a par b
| PGCD=PGCD(b, r)
Ce qui pourrait donner en C:
int PGCD(int a, int b) {
return b ? a : PGCD(b, a%b);
}
Remarque historique []
Au dbut, Euclide a formul le problme de faon gomtrique : comment trouver une unit de
mesure commune pour deux longueurs de segments. Il procde par soustractions rptes de la
longueur du plus court segment sur la longueur du plus long. Cela correspond une adaptation
de la mthode nave de calcul de la division euclidienne, telle que dcrite dans l'article consacr.
Dmonstration de sa finitude et de son exactitude []
La dfinition mme de la suite (a
n
) par division euclidienne montre que, pour tout n tel que a
n + 1

est non nul, il existe un entier q
n + 2
tel que :
avec de plus . La suite d'entiers naturels (a
n
) est donc strictement
dcroissante, et donc vaut 0 un certain rang. L'existence d'un dernier reste non nul est ainsi
tablie.
Soit N + 1 l'indice de ce dernier reste non nul. Il faut montrer que a
N + 1
est bien le PGCD
cherch. La relation prcdente s'crit donc ici , qui montre que a
N + 1

divise a
N
. crivant ensuite , on en dduit que a
N + 1
divise
aussi a
N 1
; puis, de mme, et par rcurrence, que a
N + 1
divise tous les termes de la suite a
n
; en
particulier les premiers termes a et b. a
N + 1
est donc bien un diviseur commun de a et b.
Rciproquement, tout diviseur commun de a et b divisera aussi , et
nouveau par rcurrence, divisera tous les termes de la suite (a
n
) ; donc en particulier a
N + 1
.
8

a
N + 1
est donc un diviseur commun de a et b que divise tout autre diviseur commun ; c'est bien le
PGCD.
Le thorme de Lam []
Le thorme de Lam stipule que le nombre d'tape de l'algorithme d'Euclide excut sur deux
entiers est born (suprieurement) par cinq fois le nombre de chiffres ncessaire crire (en base
10) le plus petit de ces deux entiers.
On peut en fait tre lgrement plus prcis : le nombre d'tapes de l'algorithme d'Euclide excut
sur deux entiers a et b, avec , est born par la partie entire de , o ln
dsigne le logarithme naturel et est le nombre d'or.
Comme le nombre de chiffres de l'criture de b en base 10 est ln(b) / ln(10) et que la quantit
est infrieure 5 (elle vaut environ 4,78497), on retrouve bien le thorme de
Lam.
De plus, cette borne suprieure est la meilleure possible, puisqu'elle est atteinte quand a et b sont
deux nombres de Fibonacci conscutifs.
Algorithme tendu aux coefficients de Bzout []
Article dtaill : Algorithme d'Euclide tendu.
L'identit de Bzout assure l'existence de deux entiers u et v tels que : au + bv = a
N + 1
=
PGCD(a,b). L'algorithme d'Euclide convenablement adapt permet de calculer de tels
coefficients.
Description []
Pour cela, on introduit deux suites (u
n
) et (v
n
) telles que pour tout n, on ait la relation : au
n
+ bv
n

= a
n
. Si de telles suites existent, les termes u
N + 1
,v
N + 1
constitueront une paire de coefficients de
Bezout pour a et b.
On peut choisir u
0
= 1,v
0
= 0 puis u
1
= 0,v
1
= 1, puis la relation de rcurrence de pas 2 entre les a
n

montre :
a
n + 2
= a
n
q
n + 2
a
n + 1
= au
n
+ bv
n
q
n + 2
(au
n + 1
+ bv
n + 1
) = a(u
n
q
n + 2
u
n + 1
) + b(v
n
q
n + 2
v
n + 1
)
On peut ainsi dfinir (u
n
) par la relation de rcurrence de pas 2 : u
n + 2
= u
n
q
n + 2
u
n + 1
et
l'initialisation prcdente, et (v
n
) par v
n + 2
= v
n
q
n + 2
v
n + 1
et l'initialisation prcdente ; et on
obtient bien la relation annonce pour tout n.
Commentaires []
9

L'algorithme tendu s'implmente comme l'algorithme classique ; il suffit de rajouter des
variables correspondant aux coefficients u et v calculer, et de faire une multiplication et une
soustraction supplmentaires, pour calculer chacun des deux nouveaux coefficients, chaque
tape.
Fractions continues []
Article dtaill : fraction continue.
Les quotients successifs qui apparaissent quand l'algorithme d'Euclide est appliqu aux donnes
a et b, sont prcisment les nombres qui apparaissent dans la reprsentation sous forme de
fraction continue de a/b. Considrons l'exemple de a = 1071 et b = 1029 utilis ci-dessus.
Voici le calcul avec les quotients souligns (successivement 1, 24 et 2):
1071 = 1029 1 + 42
1029 = 42 24 + 21
42 = 21 2 + 0
De cela on tire :
.
Dans l'galit prcdente, le second membre s'appelle la fraction continue ou continue du
quotient 1071/1029.
On peut en dduire les 3 approximations suivantes de la fraction, classes par ordre de prcision
croissante :

Cette mthode peut galement tre utilise pour des nombres rels a et b ; comme dans le cas de
deux entiers, la suite de quotients calculs reprsente la dcomposition en fraction continue
de a/b et fournit une suite d'approximations successives, de qualit croissante, du quotient a/b.
Dans le cas o ce quotient est irrationnel, l'algorithme d'Euclide ne se termine pas et la suite des
approximations obtenues est donc elle-mme infinie !
10

nota : La dcomposition en fraction continue (et la srie d'approximations successives
correspondante) peut tre applique, non seulement un nombre rel quelconque, mais
galement une fonction : cette dmarche consiste rechercher les approximants de Pad, dont
on peut dfinir le principe comme suit : Au voisinage d'un point, le dveloppement en srie de
Taylor d'une fonction donne fournit un polynme qui ralise une approximation de la fonction.
Mais on peut galement chercher une fraction rationnelle qui satisfasse les mmes conditions
que la partie polynmiale du dveloppement de Taylor : l'galit des drives de la fonction et
de son approximation, jusqu' un certain ordre donn.
La comparaison de ces deux types de dveloppements permet de trs intressants
dveloppements (voir par exemple la dmonstration de l'irrationalit de (3)).
Plus grand commun diviseur
En arithmtique lmentaire, le plus grand commun diviseur, abrg en gnral PGCD, de
deux nombres entiers naturels est le plus grand entier naturel qui divise simultanment ces deux
entiers.
Par exemple le PGCD de 42 et 56 est 14. En effet, , et 3 et 4 sont premiers entre eux (il
n'y a aucun naturel part 1 qui soit la fois diviseur de 3 et de 4).
Pour une explication plus dtaille suivant ce sens, voir :
Article dtaill : Plus grand commun diviseur (mathmatiques lmentaires).
On peut tendre cette notion, tout d'abord aux entiers relatifs, 0 compris, mais aussi aux nombres
rationnels, voire aux rels. On pose mme des dfinitions s'appliquant pour n'importe quel
anneau, en distinguant les proprits valables pour tous les anneaux et celles valables pour des
anneaux de types particuliers.
De plus, on peut galement considrer le PGCD d'un nombre arbitraire d'lments, et dans
certains cas d'une infinit.
Dnomination []
L'lment dont nous parlons est le plus grand diviseur commun de a et b. On pourrait s'attendre
le voir appel le plus grand diviseur commun, abrg "PGDC" et non le plus grand commun
diviseur. Mais le nom est assez ancien, et en ancien franais il tait plus normal de dire "commun
diviseur" que "diviseur commun" et l'on retrouve plus souvent l'appellation PGCD.
Notations []
Le PGCD de deux entiers a et b est souvent not : PGCD(a,b) ou pgcd(a,b). De mme, le pgcd
d'une squence d'entiers a
i
sera note pgcd(a
i
) ou PGCD(a
i
).
11

Certains auteurs notent le pgcd de deux entiers a et b sous la forme . Cette notation fait
rfrence aux ensembles ordonns : tout diviseur commun a et b divise leur pgcd (voir ci-
dessous).
Les anglophones le nomment greatest common divisor, not : gcd(a,b).
Dfinitions []
Pour des entiers []
tant donne une squence finie ou infinie a
i
d'entiers qui ne sont pas tous nuls, l'ensemble des
diviseurs communs des termes de la squence est une partie finie et non vide de N
Finie, car un diviseur d'un entier non nul a est born par |a| ;
Non vide car contient 1, entier qui divise tous les entiers.
Cet ensemble admet donc un lment maximal d, appel le pgcd de la squence a
i
considre.
Par exemple, les diviseurs communs de 36, 48 et 60 sont 1, 3, 4 et 12. Le pgcd de 36, 48 et 60 est
donc 12.
Rappelons qu'un entier n s'crit de manire unique l'ordre prs des facteurs et au signe prs
comme un produit fini de nombres premiers. Le nombre de fois que l'entier premier p apparait
dans cette criture s'appelle la valuation p-adique de n, note v
p
(n). Un entier m divise un entier n
si et seulement si pour tout p .
De fait, le pgcd d'une squence a
i
est donne par :

o le produit portent sur l'ensemble des nombres premiers (presque tous les termes du produit,
hormis une quantit finie, sont gaux 1).
Tout diviseur commun une squence d'entiers relatifs, non tous nuls, divise leur pgcd. Ce
constat rsulte immdiatement de l'criture ci-dessus en produit de nombres premiers. Le pgcd
apparait de fait comme l'lment maximal de l'ensemble des diviseurs communs, maximal au
sens de la division (avec son oppos : certains prfrent mme prciser "le PGCD positif",
cependant quand on parle des entiers, si on demande le PGCD, il est vident qu'on parle du
PGCD positif).
Quelques prcisions sur plus grand []
Usuellement, pour des nombres entiers, on considre uniquement des PGCD positifs et la notion
de plus grand correspond bien la notion d'ordre usuelle pour les nombres. Pour d'autres cas,
12

le plus grand de PGCD ne correspond pas forcment la relation d'ordre habituelle mais au
fait que tout diviseur commun de a et de b divise PGCD(a,b). Le ou les PGCD de a et de b sont
donc les plus grands lments de l'ensemble des diviseurs de a et de b au sens de la relation de
divisibilit, et donc -3 et 3 sont tous deux des PGCD de 6 et de 9. Cette faon de voir les choses
est utile pour dfinir le PGCD, pour des polynmes par exemple, ou pour le PGCD de nombres
rationnels. Dans le cas des polynmes, le PGCD est le diviseur de plus haut degr. Pour le cas de
nombres entiers, on prfre en gnral prendre le PGCD positif, ce qui permet de faire en sorte
qu'il soit bien le plus grand au sens normal du terme. Et mme, on ne prcise pas qu'on souhaite
le PGCD positif quand on dsigne le PGCD comme unique.
videmment, celui des deux pgcd qui est positif est galement le plus grand diviseur au sens de
la relation d'ordre suprieur ou infrieur , mais ce n'est vrai que pour le cas des nombres (le
PGCD s'tend d'autres objets mathmatiques). Et encore, le cas de PGCD(0,0), que nous
examinerons plus loin, contredit cette assertion.
Rappelons que le D de PGCD signifie toujours diviseur et non dnominateur. Le plus petit
commun dnominateur est en fait le PPCM employ pour la rduction de fractions. L'emploi de
cette expression n'est pas une erreur, c'est un cas particulier d'emploi du PPCM. L'expression
"Plus grand commun dnominateur" est en revanche errone, sauf si l'on considre
"dnominateur" comme synonyme de "diviseur" (ce qu'on fait parfois cause de sa position en
bas d'une fraction, le nombre rationnel n/m tant gal n divis par m, et m est le dnominateur).
Cas du zro []
Certaines dfinitions du PGCD autorisent le calcul du PGCD d'un entier quelconque avec 0. Pour
tout n entier, pgcd(0,n) = n.
Cette proprit reste vraie pour n=0.
Donc pgcd(0,0)=0 (c'est la rponse donne par les calculatrices : elle ne peut se justifier par la
dfinition du PGCD du premier paragraphe).
Ce n'est pas une simple convention, mais la consquence de la dfinition formelle du PGCD.
En effet, ce rsultat devient vident quand on adopte la #Dfinition par les idaux (a) + (b) =
(pgcd(a,b)) ("(a)" signifiant "idal engendr par l'lment a") comme dfinition du PGCD, ce qui
se fait sans problme si on travaille sur les nombres entiers, puisque leur ensemble est un anneau
principal.
Il s'agit d'ailleurs du seul cas pour lequel il n'y a pas choisir entre un PGCD positif et un
ngatif.
Exemple []
On cherche le PGCD de 15 et 12.
13

Les diviseurs positifs de 15 sont : 1, 3, 5, 15.
Les diviseurs positifs de 12 sont : 1, 2, 3, 4, 6, 12.
On obtient donc d
12,15
= {1,3}
On en dduit pgcd(12, 15) = 3.
Pour trouver le PGCD de deux nombres plus grands, on peut utiliser l'algorithme d'Euclide
Calcul []
On peut calculer le PGCD de deux nombres en crivant leur dcomposition en produit de
facteurs premiers et en considrant le produit de certains facteurs premiers communs. Dans la
pratique, on utilise rarement cette mthode du fait de sa lenteur, except dans les cas vidents
(par exemple pour 4 et 6, on trouve immdiatement 4=2*2 et 6=2*3, d'o PGCD(4,6)=2).
Une mthode beaucoup plus efficace est l'algorithme d'Euclide.
Proprits []
Soit

, on peut tendre
un nombre arbitraire d'lments
Gomtriquement, pgcd(a,b) est le nombre de points de coordonnes entires sur le
segment d'extrmits des points (0,0) et (a,b), sans compter (0,0).
Gnralisations []
PGCD de fractions []
Dans ce paragraphe, on utilise la dfinition suivante: d est un pgcd de a et b si d divise a et b et d
est divisible par tout lment divisant a et b. (paragraphe 2)
14

Premier point de vue: c'est le plus vident: on se place dans le corps des rationnels. Alors pour
p1/q1 et q2/p2 deux rationnels non tous deux nuls, tout rationnel non nul est un PGCD de p1/q1
et q2/p2 (Q tant un corps, tout rationnel autre que 0 divise 1, et 1 divise tout rationnel). Par
convention, on choisit 1 comme PGCD. Dans le cas o les deux fractions sont nulles, le PGCD
vaut encore 0.
Note: on montre que A est un corps si et seulement si A est un anneau unitaire dont les seuls
idaux sont {0} et A. On comprend facilement, avec la dfinition du paragraphe 2.1, que deux
lments non tous deux nuls de A admettent n'importe quel lment non nul de A comme PGCD,
et on choisit 1 (le neutre de la seconde loi) par convention. La notion de PGCD n'a donc pas
beaucoup d'intrt dans un corps!
Deuxime point de vue: il consiste considrer qu'une fraction p/q en divise une autre p'/q' non
pas s'il existe une fraction a/b telle que p/q*a/b=p'/q' (toujours vrai si p ne vaut pas 0: prendre
a=q*p' et b=p*q') mais seulement s'il existe un entier c tel que p/q*c=p'/q'.
De faon analogue au paragraphe sur les idaux, un pgcd de p1/q1 et q2/p2 est une fraction p/q
telle que . Mais attention, les objets manipuls ici ne
sont pas des idaux, ni des pseudo sous-anneaux de Q, seulement des sous-groupes.
Finalement, on trouve p=+/- pgcd(p1,p2) et q=ppcm(q1,q2).
De mme, on a ppcm(p1/q1,p2/q2)= +/- ppcm(p1,p2)/pgcd(q1,q2)
Le PGCD obtenu suivant le deuxime point de vue est galement un PGCD possible quand on se
place sur le corps Q. Les calculatrices et les logiciels de calcul choisissent l'un ou l'autre suivant
le choix des programmeurs (par exemple Maple adopte le premier point de vue, la Casio Graph
100+ et la TI-92 le second).
Un inconvnient du second point de vue est que le PGCD d'une famille infinie de rationnels
n'existe pas toujours. Par exemple la famille des fractions 1/n, n allant de 1 l'infini parmi les
entiers, n'admet pas de PGCD.
Cas des rels []
On peut encore tendre les dfinitions prcdentes avec des nombres rels: le premier point de
vue conduit un PGCD de 1 pour tout couple de rels non tous deux nuls.
Le second point de vue dit que pour deux rels quelconques a et b, s'il existe un rel c tel que
a=u*c et b=v*c avec u et v rationnels, on choisit PGCD(a,b)=|c|*PGCD(u,v), suivant la
dfinition des PGCD de rationnels vue ci-dessus (2e point de vue).
Pour deux rels a et b tels que a/b soit irrationnel (si b=0 on est dans la situation prcdente) on
est oblig de revenir au premier point de vue d'o PGCD(Pi, )=1; noter que le PPCM le
15

mme problme, mais il est dtermin par PGCD(a,b)*PPCM(a,b)=|a*b|. (PPCM(Pi, )=Pi*
)
Chaque calculateur se plaant dans la continuit de son comportement concernant les rationnels,
Maple rpond suivant le premier point de vue, la Casio Graph 100+ selon le second ; la Ti-92 n'a
pas de rponse.
Polynmes coefficients rels []
Le PGCD dans l'anneau vrifie la dfinition donne plus haut. Mais cette fois il y a une
infinit de PGCD possibles pour 2 polynmes: tout PGCD des polynmes A et B multipli par
un rel non nul est aussi un PGCD de A et B. Pour dfinir un PGCD unique il y a deux
conventions possibles: ou bien on pose par convention que le PGCD doit tre un polynme
unitaire, ou bien on choisit le polynme dont le coefficient dominant est le PGCD des
coefficients dominants de A et B, en employant la dfinition du paragraphe prcdent pour les
PGCD de rels.
titre d'exemple, Maple choisit la premire option quand les polynmes sont coefficients
entiers, la seconde sinon, tandis que les calculatrices Casio optent toujours pour la seconde
convention.
Dans les anneaux commutatifs []
Par extension, le plus grand commun diviseur peut tre dfini plus gnralement pour les
lments d'un anneau commutatif arbitraire, pas forcment unitaire (certains diraient: pseudo-
anneau). Le plus grand commun diviseur d'une famille a
i
d'lments de A non tous nuls est le
plus grand diviseur commun aux a
i
au sens de la division.
L'existence d'un tel lment (tout comme du PPCM) est certaine dans un anneau factoriel, pas
toujours dans d'autres anneaux.
Par exemple, dans l'anneau , 4 et admettent 2 et comme diviseurs,
mais aucun lment divisible simultanment par 2 et ne les divise.
Le PGCD de a et b n'est pas toujours unique, mais si A est intgre alors deux quelconques PGCD
de a et b sont des lments associs.
Dans le pseudo-anneau 2 * Z / 20Z, [8] et [12] admettent comme pgcd possibles [4], [8], [12],
[16] ([2]*[4]=[8], [4]*[8]=[32]=[12], [8]*[12]=[96]=[16], [4]*[16]=[64]=[4]), qui ne sont pas
associs.
Dans un anneau principal, il existe c et d lments de A (non uniques) tels que ac + bd =
pgcd(a,b) (thorme de Bachet-Bzout)
16

Si A est un anneau euclidien alors une forme de l'algorithme d'Euclide peut tre utilise pour
calculer le PGCD.
L'unicit peut dans certains cas tre rtablie en posant une contrainte supplmentaire. Par
exemple dans l'anneau des polynmes coefficients complexes, le PGCD est unique si on exige
qu'il soit un polynme unitaire.
D'ailleurs dans le cas des nombres entiers, l'unicit du PGCD est obtenue avec la convention "le
PGCD est un nombre positif". Sans cette convention, la dfinition ci-dessus donne deux PGCD
distincts, opposs.
Tout ce qui prcde se gnralise un nombre arbitraire ou mme infini d'lments, sauf
l'algorithme d'Euclide.
Dfinition par les idaux []
La dfinition de ce paragraphe est un peu plus gnrale que celle du paragraphe prcdent, et
permet de dfinir des PGCD dans des cas o ils ne pourraient l'tre suivant la dfinition
prcdente.
Dans l'anneau commutatif A, on note (x) l'idal principal engendr par l'lment x, ie
l'intersection de tous les idaux de A contenant x, (l'ensemble des lments xy, y dcrivant A si
A est unitaire).
Pour a et b lments de A, (a)+(b) est galement un idal.
Alors d est un pgcd de a et b ssi (d) est le plus petit idal engendr par un seul lment et incluant
(a)+(b), ie (a)+(b) (d) et pour tout x A, (a)+(b) (x) (ce qui quivaut "x est un diviseur de
a et b" si A est unitaire) (d) (x) (ce qui quivaut "x est un diviseur de d" si A est unitaire).
Dans le pseudo-anneau (anneau non unitaire) 2Z, 8 et 12 ont pour PGCD possibles 4 et -
4 En effet, (8)+(12) (4) = (-4) = 4Z, et pourtant il n'existe pas dans 2Z d'lment x tel
que 4*x=12.
Dans un anneau principal, ce qui prcde quivaut (a)+(b) = (d)
Comme plus haut, il n'y a pas unicit du pgcd.
Ici encore, on peut tendre un nombre arbitraire voire infini d'lments.
Anneaux non-commutatifs []
Dans un anneau non-commutatif, un lment peut admettre des "diviseurs droite" et des
"diviseurs gauche". On peut dans certain cas dfinir un PGCD droite et/ou un PGCD
gauche. Mais l'existence de l'un n'implique pas forcment celle de l'autre, et l'existence commune
n'implique pas forcment l'galit.
17

Demander un calculateur lectronique le PGCD de deux matrices n'est pas forcment interprt
au sens de l'algbre linaire. Par exemple une TI-92 interroge sur le PGCD de deux matrices de
mme taille rpond en donnant la matrice compose des PGCD des lments de mme position
des deux matrices.
Algorithme d'Euclide tendu
L'algorithme d'Euclide tendu est une variante de l'algorithme d'Euclide qui permet, partir de
deux entiers a et b, de calculer non seulement leur plus grand commun diviseur (PGCD), mais
aussi un de leurs couples de coefficients de Bzout (deux entiers u et v tels que au + bv =
PGCD(a, b)). Quand a et b sont premiers entre eux, u est alors l'inverse pour la multiplication de
a modulo b, ce qui est un cas particulirement utile. L'algorithme d'Euclide tendu fournit
galement une mthode efficace non seulement pour dteminer quand une quation
diophantienne ax+by = c possde une solution, ce que permet dj l'algorithme d'Euclide simple,
mais galement pour en calculer dans ce cas une solution particulire, dont on dduit facilement
la solution gnrale.
Comme l'algorithme d'Euclide, l'algorithme tendu se gnralise aux anneaux euclidiens, tels
celui des polynmes une variable sur un corps commutatif. De mme que pour les entiers, il
permet alors de calculer l'inverse d'un polynme modulo un polynme avec lequel il est premier,
et donc des calculs d'inverse dans les anneaux ou corps construits par quotient sur l'anneau des
polynmes : corps de rupture, corps finis
Exemple introductif []
Considrons par exemple le calcul du PGCD de 120 et 23 avec l'algorithme d'Euclide :
120 23 = 5 reste 5
23 5 = 4 reste 3
5 3 = 1 reste 2
3 2 = 1 reste 1
2 1 = 2 reste 0
Dans ce cas, le reste obtenu l'avant dernire ligne donne le PGCD gal 1 ; c'est--dire que 120
et 23 sont premiers entre eux. Maintenant prsentons autrement les divisions prcdentes :
Reste = Dividende - Quotient Diviseur
5 = 120 - 5 23
3 = 23 - 4 5
2 = 5 - 1 3
1 = 3 - 1 2
0 = 2 - 2 1
18

Observons que 120 et 23 apparaissent sur les deux premires lignes. D'autre part, la valeur la
plus droite dans chaque ligne ( partir de la 2
e
ligne du tableau) est le reste de la ligne
prcdente, et le dividende est dans chaque galit partir de la 3
e
ligne le reste obtenu
deux lignes plus haut. Nous pouvons ainsi calculer progressivement chaque reste successif
comme combinaison linaire des deux valeurs initiales 120 et 23.
Cependant cette mthode n'est pas la plus efficace. On crit d'abord ces calculs de faon faire
apparatre un algorithme plus direct :
r

= u a + v b
120

= 1 120 - 0 23
23

= 0 120 + 1 23
5 = 120 - 5 23

= 1 120 - 5 23
3 = 23 - 4 5 = 123 - 4 (1120 - 523) = -4 120 + 21 23
2 = 5 - 1 3 = (1120 - 523) - 1 (-4120 + 2123) = 5 120 - 26 23
1 = 3 - 1 2 = (-4120 + 2123) - 1 (5120 - 2623) = -9 120 + 47 23
Remarquons que la dernire ligne donne 1 = -9120 + 4723, et nous fournit exactement ce que
nous voulons : u = -9 et v = 47. Ceci signifie que -9 est l'inverse pour la multiplication de 120
modulo 23, parce que 1 = -9 120 (mod 23). De mme 47 est l'inverse, pour la multiplication
modulo 120, de 23.

On a en bleu les calculs successifs qui conduisent au pgcd par reste de la division des deux
nombres prcdents (algorithme d'Euclide ordinaire). On a not en jaune les quotients
correspondants. Les deux colonnes vertes donnent les calculs successifs qui aboutissent aux
coefficients de Bezout (u et v). On peut vrifier que ces coefficients se calculent partir des deux
coefficients les prcdant dans la mme colonne, l'aide des quotients de la colonne jaune : les
formules sont prcises dans le tableau du paragraphe suivant.
L'algorithme []
On prsente, sous forme de suite, le calcul du PGCD et des coefficients de Bezout pour deux
entiers naturels a et b. Le quotient (entier !) de x par y est not x y. Pour a=120 et b=23, on
vrifiera que le calcul conduit aux trois colonnes r, u et v de l'exemple.
r u v
r
0
= a u
0
= 1 v
0
= 0
r
1
= b u
1
= 0 v
1
= 1

r
i-1
u
i-1
v
i-1

r
i
u
i
v
i

r
i-1
- (r
i-1
r
i
)r
i
u
i-1
- (r
i-1
r
i
)u
i
v
i-1
- (r
i-1
r
i
)v
i

19

r
n
= pgcd(a, b) u
n
= u v
n
= v
0 u
n+1
v
n+1

On obtient donc une suite (r
i
, u
i
, v
i
), rcurrente d'ordre 2, ncessairement finie car la suite (r
n
) est
strictement dcroissante au plus tard partir du second rang, et parce que l'on ne peut diviser par
0. On a pos n+1 le premier indice tel que r
n+1
=0 qui est donc l'indice maximal d'un lment de
la suite. On peut justifier cette construction, plus prcisment justifier que l'avant dernier terme
de la suite, soit (r
n
, u
n
, v
n
) fournit bien le pgcd de a et b et deux coefficients de Bezout u et v
vrifiant pgcd(a, b)= ua + bv. En effet, il est immdiat, par rcurrence partir des deux termes
prcdents, qu' chaque tape r
i
= au
i
+ bv
i
(voir le tableau). On en dduit que tout diviseur de a
et b divise les r
i
, combinaisons linaires de a et b, en particulier r
n
. Enfin on remarque que si un
entier divise r
i+1
et r
i
, il divise r
i-1
(voir le tableau) ; comme r
n
divise bien r
n+1
= 0 et r
n
, on en
dduit par rcurrence qu'il divise tous les r
i
, en particulier r
0
= a et r
1
= b, c'est donc bien le pgcd
de a et b.
Au cours de la dmonstration, on a jamais eu besoin de supposer le thorme de Bezout, et de
fait, celle-ci fournit galement une dmonstration de ce thorme pour deux entiers naturels et on
le dduit immdiatement pour deux entiers relatifs.
La dfinition par rcurrence de la suite (r
i
, u
i
, v
i
) fournit directement un algorithme trs simple
pour calculer les coefficients de Bezout. L'algorithme, va calculer chaque tape deux triplets
conscutifs de la suite (deux lignes conscutives du tableau ci-dessus). Par exemple on obtient le
pgcd et les deux coefficients de Bezout par la dfinition rcursive suivante :
eucl(r, u, v, 0, u', v') = (r, u, v)
eucl(r, u, v, r', u', v') = eucl(r', u', v', r - (rr')*r', u - (rr')*u', v
- (rr')*v') pour r' 0
On a alors eucl(a, 1, 0, b, 0, 1) = (pgcd(a, b), u, v) avec pgcd(a, b)= a*u + b*v.
De faon peu prs quivalente, on a l'algorithme impratif suivant, qui utilise une boucle while.
Entre : a, b entiers (naturels)
Sortie : r entier (naturel) et u, v entiers relatifs tels que r = pgcd(a, b)
et r = a*u+b*v

Initialisation : r := a, r' := b, u := 1, v := 0, u' := 0, v' := 1
q, rs, us, vs quotient et variables de stockage
intermdiaires

les galits r = a*u+b*v et r' = a*u'+b*v' sont des invariants de boucle.

tant que (r' 0) faire
q := rr'
rs := r, us := u, vs := v
r := r', u := u', v := v'
r' := rs -q *r', u' = us - q*u', v' = vs -q*v'
fait
20

renvoyer (r, u, v)

Les calculs de u
i
et v
i
dpendent tous deux de celui des r
i
, mais sont indpendants entre eux. On
peut donc simplifier cet algorithme en ne calculant que (r
i
, u
i
). Cela suffit si on cherche l'inverse
de a modulo b (cas o a et b sont premiers entre eux). On peut de toute faon calculer ensuite
directement le second coefficient partir du premier.
Complexit de l'algorithme []
L'algorithme d'Euclide tendu a la mme structure que l'algorithme d'Euclide : le nombre
d'itrations est le mme, seul change le nombre d'oprations chaque itration.
Pour valuer le nombre de pas d'itrations, c'est--dire l'entier not n + 1 ci-dessus, on suppose
tout d'abord que a b, pour que la suite (r
i
) soit dcroissante ds le dbut. On remarque alors que
le quotient est, par construction, toujours suprieur ou gal 1. En prenant la suite (r
i
) dans
l'ordre inverse, soit (r
n + 1 - i
), et en remplaant chaque tape le quotient par 1, on reconnait la
suite de Fibonacci, la diffrence que si le premier terme, r
n + 1 - 0
, est bien 0, le second, r
n + 1 - 1
,
est le PGCD de a et b. En notant d = pgcd(a, b), et (f
i
) la suite de Fibonacci, on obtient donc :
r
n + 1 - i
d.f
i

et donc (thorme de Lam) :
r
1
= b d.f
n
o le nombre d'itrations de l'algorithme est n+1.
Ce nombre est d'ailleurs effectivement atteint pour a et b deux nombres conscutifs de la suite de
Fibonacci, ou multiples de ceux-ci : la suite de Fibonacci tant croissante le quotient est bien 1
chaque tape..
Comme f
n
~ [(1+5)/2]
n
(voir l'article sur la suite de Fibonacci), le nombre d'itrations est donc
en log b, une constante multiplicative prs.
Il n'est gure raliste, sauf ne manipuler que de petits nombres, de considrer que le cot des
oprations effectues chaque itration, division, multiplication et soustraction, est constant. Si
l'on suppose que celui-ci est linaire en la taille de l'entre (en binaire), on obtient une
complexit en O(log(sup(a, b)), c'est--dire, une constante multiplicative prs, celle de
l'algorithme d'Euclide ordinaire.
Gnralisations []
Les entiers relatifs []
On pourrait facilement ramener le calcul du pgcd et des coefficients de Bezout de deux entiers
relatifs, celui de deux entiers naturels. L'algorithme indiqu s'applique cependant sans aucune
modification aux entiers relatifs. Il suffit de remarquer que, dans la division euclidienne, c'est
21

alors la valeur absolue du reste qui est plus petite que la valeur absolue du diviseur, ce qui assure
la terminaison de l'algorithme. En effet, si on dfinit de la mme faon partir de deux entiers
relatifs a et b la suite (r
i
, u
i
, v
i
), c'est cette fois-ci la suite des valeurs absolues des r
i
qui est
strictement dcroissante partir du second rang. On montre de faon identique que r
n
, l'avant
dernier terme de la suite, est un diviseur commun de a et de b, multiple de tout diviseur commun
de a et de b, c'est--dire un plus grand (au sens de la divisibilit) diviseur commun de a et b, et
donc le pgcd de a et b ou son oppos. Pour les mmes raisons les nombres u
n
, v
n
satisfont
l'identit de Bezout.
Les anneaux euclidiens []
L'anneau des entiers relatifs est un anneau euclidien, et ce sont les seules proprits utiles pour
l'algorithme d'Euclide tendu. Celui-ci se gnralise donc directement aux anneaux euclidiens, et
se justifie de la mme faon. Seules changent les oprations de base, et la division. Comme pour
les entiers relatifs, il n'y a pas forcment unicit, et l'algorithme dtermine un plus grand diviseur
commun, les autres s'en dduisent par multiplication par une unit (1 et -1. pour les entiers
relatifs). De mme que pour les entiers, il peut tre lgrement modifi quand le pgcd est dfini
de faon unique grce une condition supplmentaire, de faon ce que le rsultat vrifie celle-
ci.
Nombre premier

7 est un nombre premier car il admet exactement deux diviseurs positifs.
Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers
et positifs (qui sont alors 1 et lui-mme). Cette dfinition exclut 1, qui n'a qu'un seul diviseur
entier positif. Par opposition, un nombre non nul produit de deux nombres entiers diffrents de 1
est dit compos. Par exemple 12 = 2 6 est compos, tout comme 21 = 3 7 ou 7 3, mais 11
22

est premier car 1 et 11 sont les seuls diviseurs de 11. Les nombres 0 et 1 ne sont ni premiers ni
composs. Les nombres premiers infrieurs 100 sont :
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 et 97.
De telles listes peuvent tre obtenues grce diverses mthodes de calcul. On sait depuis
l'Antiquit qu'il existe une infinit de nombres premiers. Dcouvert en 2008, le plus grand
nombre premier connu est le nombre premier de Mersenne 2
43 112 609
-1 , qui comporte prs de
13 millions de chiffres en criture dcimale
[1]
. La notion de nombre premier est une notion de
base en arithmtique lmentaire : le thorme fondamental de l'arithmtique assure qu'un
nombre compos est factorisable en un produit de nombres premiers, et cette factorisation est
unique l'ordre des facteurs prs. Elle admet des gnralisations importantes dans des branches
des mathmatiques plus avances, comme la thorie algbrique des nombres, qui prennent ainsi
leur tour l'appellation d'arithmtique. Par ailleurs, de nombreuses applications industrielles de
l'arithmtique reposent sur la connaissance algorithmique des nombres premiers, et parfois plus
prcisment sur la difficult des problmes algorithmiques qui leur sont lis ; par exemple
certains systmes cryptographiques et des mthodes de transmission de l'information. Les
nombres premiers sont aussi utiliss pour construire des tables de hachage et pour constituer des
gnrateurs de nombres pseudo-alatoires.
lments historiques []

L'os d'Ishango
Les entailles retrouves sur los d'Ishango dat plus de 20 000 ans avant notre re, mis au jour
par l'archologue Jean de Heinzelin de Braucourt
[2]
et antrieur l'apparition de l'criture
(antrieur 3 200 ans avant J.-C.), semblent isoler quatre nombres premiers 11, 13, 17 et 19.
Certains archologues l'interprtent comme la preuve de la connaissance des nombres premiers.
Toutefois, il existe trop peu de dcouvertes permettant de cerner les connaissances relles de
cette priode ancienne
[3]
.
Des tablettes d'argile sches attribues aux civilisations qui se sont succd en Msopotamie
durant le II
e
millnaire av. J.-C. montrent la rsolution de problmes arithmtiques et attestent des
premires connaissances de l'poque. Les calculs ncessitaient de connatre des tables d'inverses
d'entiers (les rciproques) dont certaines ont t retrouves. Dans le systme sexagsimal utilis
par la civilisation babylonienne pour crire les entiers, les rciproques des diviseurs des
puissances de 60 (nombres rguliers) se calculent facilement : par exemple, diviser par 24, c'est
multiplier par et dcaler de deux places le rang. Leur connaissance ncessitait une
bonne comprhension de la multiplication, de la division et de la factorisation d'entiers.
23

Dans les mathmatiques gyptiennes, le calcul fractionnaire demandait des connaissances sur les
oprations, les divisions dentiers et les factorisations. Les gyptiens ne notaient que les inverses
dentiers (1/2, 1/3, 1/4, 1/5, ...) ; lcriture des fractions se faisait en additionnant des inverses
d'entiers, si possible sans rptition (1/2 + 1/6 au lieu de 1/3 + 1/3). Disposer dune liste des
premiers nombres premiers devait tre ncessaire.
La premire trace incontestable de la prsentation des nombres premiers remonte l'Antiquit
(vers -300 av. J.-C.), et se trouve dans les lments dEuclide (tomes VII IX). Euclide donne la
dfinition des nombres premiers, la preuve de leur infinit, la dfinition du plus grand commun
diviseur (pgcd) et du plus petit commun multiple (ppcm), et les algorithmes pour les dterminer,
aujourdhui appels algorithmes dEuclide. Les connaissances prsentes lui sont toutefois bien
antrieures.
Structures algbriques, topologiques, et nombres premiers []

12 n'est pas un nombre premier car il est l'aire d'un rectangle de cts 3 et 4.
La notion de nombre premier est lie l'tude de la structure multiplicative de l'anneau des
entiers relatifs. Le thorme fondamental de l'arithmtique, bas sur le lemme d'Euclide, lucide
cette structure en assurant que tout entier se factorise en un produit de nombres premiers, de
manire unique l'ordre des facteurs prs. Ce thorme permet de dterminer des notions de
pgcd, ppcm, et de nombres premiers entre eux, qui sont utiles pour la rsolution de certaines
quations diophantiennes, notamment la caractrisation des triplets pythagoriciens.
D'autres problmes naturels sont envisags, comme la dtermination de la proportion d'entiers
premiers un entier fix. L'introduction de structures algbriques plus avances permet de
rsoudre ce problme rapidement dans le cadre de l'arithmtique modulaire. De nombreux
thormes classiques de nature arithmtique peuvent tre noncs, comme le petit thorme de
Fermat, ou le thorme de Wilson ; ou des thormes de nature plus algbrique comme le
thorme des restes chinois.
24

Le thorme des restes chinois est un premier rsultat dans l'tude des groupes abliens finis
[4]
. Il
est en fait suffisant pour dcrire entirement la structure de ces groupes, qui est donc en partie
lie la dcomposition en produit de facteurs premiers de leurs cardinaux. Les choses sont plus
compliques pour les groupes non abliens, cependant, l'tude se base nouveau sur la
dcomposition en facteurs premiers de leurs cardinaux, travers la thorie de Sylow.
Les nombres premiers interviennent aussi dans les structures topologiques. Le corps des nombres
rationnels admet une structure topologique habituelle, qui donne par compltion le corps des
nombres rels. Pour chaque nombre premier p, une autre structure topologique peut tre
construite, partir de la norme suivante : si est un nombre rationnel non nul sous forme
irrductible et que p
et p
sont les plus grandes puissances de p divisant a et b, la norme p-

adique de x est p

. En compltant le corps des rationnels suivant cette norme, on obtient le
corps des nombres p-adiques, introduit par Kurt Hensel au dbut du XX
e
sicle. Le thorme
d'Ostrowski assure que ces normes p-adiques et la norme habituelle sont les seules sur le corps
des nombres rationnels, quivalence prs
[5]
.
Nombres premiers particuliers []
Nombres premiers de Mersenne []
Article dtaill : Nombre premier de Mersenne.

Marin Mersenne.
Les nombres premiers de la forme :
M
p
= 2
p
1
o p est lui-mme un nombre premier, sont appels nombres premiers de Mersenne. Les grands
nombres premiers sont souvent recherchs sous cette forme car il existe un test efficace, le test
de primalit de Lucas-Lehmer, pour dterminer si un tel nombre est premier ou non.
25

En 2009, le plus grand nombre premier connu est M
43 112 609
=2
43 112 609
-1, qui comporte
12 978 189 chiffres en criture dcimale. Il s'agit (chronologiquement) du 45
e
nombre premier de
Mersenne connu et sa dcouverte a t annonce le 23 aot 2008 grce aux efforts du projet
collaboratif de calcul distribu Great Internet Mersenne Prime Search . Le 46
e
nombre
premier de Mersenne, 2
37 156 667
-1, qui est infrieur au prcdent a t dcouvert deux semaines
plus tard ; le 12 avril 2009 tait dcouvert, par le mme projet GIMPS, le 47
e
nombre premier de
Mersenne, 2
42 643 801
-1, lui aussi "lgrement" infrieur au premier cit.
L'Electronic Frontier Foundation offre un prix de calcul coopratif d'un montant de 100 000
USD pour la dcouverte d'un nombre premier d'au moins 10 millions de chiffres dcimaux, afin
d'encourager les internautes contribuer la rsolution de problmes scientifiques par le calcul
distribu; ce prix devrait donc tre attribu GIMPS ; l'EFF offre galement des prix plus
importants (de 150 000 et 250 000 USD respectivement) pour la dcouverte de nombres premiers
de 100 millions et 1 milliard de chiffres dcimaux
[6]
.
Nombres premiers jumeaux []
Article dtaill : Nombres premiers jumeaux.
Deux nombres premiers sont dits jumeaux s'ils ne diffrent que de deux. Hormis pour la paire (2,
3), cette distance de deux est la plus petite distance possible entre deux nombres premiers. Les
plus petits nombres premiers jumeaux sont 3 et 5, 5 et 7, 11 et 13.
Au 15 janvier 2007, les plus grands nombres premiers jumeaux connus sont 2003663613
2
195000
1, qui possdent 58 711 chiffres en criture dcimale et furent dcouverts par ric
Vautier dans le cadre des projets de calcul distribu Twin Prime Search et PrimeGrid
[7]
.
Il est conjectur qu'il existe une infinit de nombres premiers jumeaux.
Nombres premiers et nombres de Fermat []
Article dtaill : Nombre de Fermat.

26

Pierre de Fermat.
Les nombres de la forme :

sont appels les nombres de Fermat. Pierre de Fermat avait conjectur que tous ces nombres
devaient tre premiers. Cependant, les seuls nombres de Fermat premiers connus sont
F
0
,F
1
,F
2
,F
3
et F
4
. Le calcul donne :

Le nombre de Fermat F
5
nest pas premier : il est divisible par 641.

Il s'agit du premier contre-exemple cette conjecture de Fermat, dcouvert par Euler en 1732.
Algorithmique : calcul des nombres premiers et tests de
primalit []
Crible d'ratosthne et algorithme par essais de division []

Le crible d'ratosthne : nombres premiers infrieurs 120.
27

Les premiers algorithmes pour dcider si un nombre est premier (appels tests de primalit)
consistent essayer de le diviser par tous les nombres infrieurs sa racine carre : s'il est
divisible par l'un d'entre eux, il est compos, et sinon, il est premier. Cependant, l'algorithme
dduit de cette formulation peut tre rendu plus efficace : il suggre beaucoup de divisions
inutiles, par exemple, si un nombre n'est pas divisible par 2, il est inutile de tester s'il est divisible
par 4. En fait, il suffit de tester sa divisibilit par tous les nombres premiers infrieurs sa racine
carre.
Le crible d'ratosthne est une mthode, reposant sur cette ide, qui fournit la liste des nombres
premiers infrieurs une valeur fixe n (n = 120 dans l'animation ci-contre) :
On forme la liste des entiers de 2 n ;
On retient comme nombre premier le premier nombre de la liste non encore barr (le
premier dans ce cas est 2) ;
On barre tous les entiers multiples du nombre retenu l'tape prcdente, en commenant
par son carr (puisque 2*i, 3*i, ...(i-1)*i ont dj t barrs en tant que multiples de 2, 3,
...) ;
On rpte les deux dernires oprations (c'est--dire : on retient le prochain nombre non
barr et on barre ses multiples) ;
Ds qu'on en est chercher les multiples des nombres excdant la racine carre de n, on
termine l'algorithme.
Ainsi les nombres premiers infrieurs n sont les nombres qui restent non barrs la fin du
processus. Cet algorithme est de complexit algorithmique exponentielle.
Le crible d'ratosthne fournit donc plus d'information que la seule primalit de n. Si seule cette
information est souhaite, une variante parfois plus efficace consiste ne tester la divisibilit de
n que par des petits nombres premiers dans une liste fixe au pralable (par exemple 2, 3 et 5),
puis par tous les nombres entiers infrieurs la racine carre de n qui ne sont divisibles par
aucun des petits nombres premiers choisis ; cela amne tester la divisibilit par des nombres
non premiers (par exemple 49 si les petits premiers sont 2, 3 et 5 et que n excde 2500), mais un
choix d'un nombre suffisant de petits nombres premiers doit permettre de contrler le nombre de
tests inutiles effectus
[8]
.
Autres algorithmes []
Une variante du crible d'ratosthne est le crible de Sundaram qui consiste former les produits
de nombres impairs. Les nombres qui ne sont pas atteints par cette mthode sont les nombres
premiers impairs, c'est--dire tous les nombres premiers sauf 2. Par ailleurs, partir du crible
d'ratosthne, la factorisation de l'entier n peut facilement tre trouve. D'autres mthodes plus
gnrales concernant ce problme plus difficile que simplement dterminer la primalit sont
aussi appeles mthodes de crible, la plus efficace tant actuellement le crible gnral des corps
de nombres
[9]
.
Les algorithmes prsents prcdemment ont une complexit trop importante pour pouvoir tre
mens terme, mme avec les ordinateurs les plus puissants, quand n devient grand.
28

Une autre classe d'algorithme consiste tester l'entier n pour une famille de proprits vrifies
par les nombres premiers : si une proprit de cette famille n'est pas vrifie pour n, alors il est
compos ; en revanche, le fait qu'une des proprits de la famille soit vrifie pour n ne suffit pas
assurer la primalit. Toutefois, si cette famille est telle qu'un nombre compos ne vrifie pas au
moins la moiti des proprits en jeu, alors l'utilisateur peut estimer qu'un nombre n qui vrifie k
proprits de la famille est premier avec une probabilit suprieure 1-2
-k
: il est dclar
probablement premier partir d'une valeur de k choisir par l'utilisateur ; un nombre dclar
probablement premier, mais qui n'est pas premier est appel nombre pseudo-premier. Un test
bas sur ce principe est appel test probabiliste de primalit. De tels tests reposent souvent sur le
petit thorme de Fermat, amenant au test de primalit de Fermat, et ses raffinements : le test
de primalit de Solovay-Strassen et celui de Miller-Rabin, qui sont des amliorations, car ils
admettent moins de nombres pseudo-premiers.
[10]

L'algorithme AKS mis au point en 2002 permet de dterminer si un nombre donn N est premier
en utilisant un temps de calcul polynomial.
Des formules sur les nombres premiers []
Article dtaill : Formule pour les nombres premiers.
De nombreuses formules ont t cherches pour gnrer les nombres premiers. Le plus haut
niveau d'exigence serait de trouver une formule qui un entier n associe le n
e
nombre premier.
De manire un peu plus souple, on peut se contenter d'exiger une fonction f qui tout entier n
associe un nombre premier et telle que chaque valeur prise ne le soit qu'une fois.
Enfin, on souhaite que la fonction soit calculable en pratique
[11]
. Par exemple, le thorme de
Wilson assure que p est un nombre premier si et seulement si . Il
s'ensuit que la fonction vaut n si n est un nombre
premier et vaut 2 sinon. Cependant, le calcul de la factorielle est rdhibitoire, et cette fonction a
donc peu de valeur pour gnrer les nombres premiers.
Il est donc tentant de chercher des fonctions polynmes dont les valeurs sont des nombres
premiers. Ceci a conduit au rsultat (ngatif) suivant: un polynme, une ou plusieurs variables,
dont les valeurs aux entiers naturels sont des nombres premiers, est un polynme constant
[12]
.
La recherche de polynmes vrifiant une proprit plus faible s'est dveloppe partir de la
notion d'ensemble diophantien de nombres entiers ; de tels ensembles peuvent tre caractriss
comme les ensembles de valeurs strictement positives prises par un polynme ( plusieurs
variables) dont les coefficients et les variables sont des nombres entiers.
Un travail men dans les annes 1960 et 1970, notamment par Putnam, Matijasevic, Davis,
Robinson, permet de montrer que l'ensemble des nombres premiers est diophantien, conduisant
l'existence de polynmes coefficients et variables entires dont toutes les valeurs positives sont
les nombres premiers. L'criture de divers polynmes explicites a ensuite t possible, avec
29

diffrents nombres de variables, et divers degrs. Notamment, le polynme suivant, de degr 25
26 variables (de a z), a t dtermin par Jones, Sato, Wada et Wiens en 1976 :
( 1
[ w.z + h + j q ]
2

[ 2.n + p + q + z e ]
2

[ a
2
.y
2
y
2
+ 1 x
2
]
2

[ e
3
.(e + 2).(a + 1)
2
+ 1 o
2
]
2

[ 16.(k + 1)
3
.(k + 2).(n + 1)
2
+ 1 f
2
]
2

[ ((a + u
2
.(u
2
a))
2
1).(n + 4.d.y)
2
+ 1 (x + c.u)
2
]
2

[ a.i + k + 1 l i ]
2

[ (g.k + 2.g + k + 1).(h + j) + h z ]
2

[ 16.r
2
.y
4
.(a
2
1) + 1 u
2
]
2

[ p m + l.(a n 1) + b.(2.a.n + 2.a n
2
2.n 2) ]
2

[ z p.m + p.l.a p
2
l + t.(2.a.p p
2
1) ]
2

[ q x + y.(a p 1) + s.(2.a.p + 2.a p
2
2.p 2) ]
2

[ a
2
.l
2
l
2
+ 1 m
2
]
2

[ n + l + v y ]
2

) . (k + 2)
De mme que pour les formules factorielles, l'exploitation de ce polynme ne donne aucun
rsultat en pratique car il ne donne pratiquement que des valeurs ngatives quand on fait varier
les variables a z de 0 l'infini.
La notion d'ensemble diophantien s'est plus gnralement dveloppe partir des problmes
poss par le dixime problme de Hilbert sur les quations diophantiennes
[13]
.
Rpartition des nombres premiers []
Infinit des nombres premiers []
Euclide a dmontr dans ses lments (proposition 20 du Livre IX) que les nombres premiers
sont en plus grande quantit que toute quantit propose de nombres premiers. Autrement dit, il
existe une infinit de nombres premiers. La dmonstration d'Euclide repose sur la constatation
qu'une famille finie p
1
,...,p
n
de nombres premiers tant donne, tout nombre premier divisant le
produit des lments de cette famille augment de 1 est en dehors de cette famille (et un tel
diviseur existe, ce qui est aussi prouv par Euclide)
[14]
.
D'autres dmonstrations de l'infinit des nombres premiers ont t donnes. La preuve d'Euler
[15]

utilise l'identit :

30

Dans la formule prcdente, le terme de gauche est la somme de la srie harmonique, qui est
divergente. Par consquent, le produit de droite doit contenir une infinit de facteurs.
Furstenberg fournit une preuve utilisant une argumentation topologique
[16]
.
Les avances du XIX
e
sicle []

La distribution des nombres premiers de 1 76 800, de gauche droite et de haut en bas. Un
pixel noir signifie que le nombre est premier alors qu'un blanc signifie qu'il ne l'est pas.
Le rsultat sur l'infinit des nombres premiers amne des questions plus prcises concernant la
fonction qui un nombre rel x associe (x), le nombre de nombres premiers infrieurs x, et qui
tend donc vers l'infini
[17]
. Une conjecture importante au XIX
e
sicle, formule par Adrien-Marie
Legendre et Carl Friedrich Gauss, tait que cette fonction de compte des nombres premiers est
quivalente la fonction quand x tend vers l'infini, c'est--dire que la proportion de
nombres premiers parmi les nombres infrieurs x (soit ) tend vers 0 la vitesse de
. Avant la dmonstration de la conjecture la fin du sicle, un rsultat partiel
[18]
avait t
dmontr par Pafnouti Tchebychev, l'existence de deux constantes explicites C et D telles qu'on
ait l'encadrement, pour x assez grand :

L'ingalit de Tchebychev permettait notamment de dmontrer le postulat de Bertrand selon
lequel dans tout intervalle d'entiers naturels entre un entier et son double existe au moins un
nombre premier
[19]
. Plus gnralement, les rsultats sur la fonction de compte des nombres
premiers permettent d'obtenir des rsultats sur le n
e
nombre premier ; par exemple les rsultats
d'Ishikawa de 1934 sont des consquences directes des thormes de Tchebychev : p
n
+ p
n + 1
>
31

p
n + 2
et p
n
p
m
> p
n + m
, o p
n
dsigne le n
e
nombre premier (et donc p
1
=2) ; ou encore, d'aprs un
rsultat de Felgner de 1990 : 0,91 n ln(n) < p
n
< 1,7 n ln(n)
[20]
.
La dmonstration analytique d'Euler sur l'infinit des nombres premiers peut tre vue comme un
premier pas vers la rsolution de problmes plus avancs. Elle consiste essentiellement tudier
le comportement de la fonction zta de Riemann en 1 au moyen de ce qu'il est convenu d'appeler
un produit eulrien, et d'en dduire la divergence de la srie des inverses des nombres premiers.
En reprenant cette tude, au moyen d'un outil appel caractre de Dirichlet, et en utilisant la
place de la fonction zta de Riemann des fonctions analogues appeles fonction L de Dirichlet,
Dirichlet a t capable d'adapter la dmonstration aux nombres premiers dans des progressions
arithmtiques : si a et b sont premiers entre eux, alors il existe une infinit de nombres premiers
de la forme aq+b. Plus prcisment, les nombres premiers sont quirpartis entre les diffrentes
progressions arithmtiques de raison a (c'est--dire avec a fix, et b variant parmi les divers
restes inversibles dans la division euclidienne par a)
[21]
.
La conjecture de Legendre et Gauss a t dmontre indpendamment par Jacques Hadamard et
Charles-Jean de La Valle Poussin en 1896
[22]
, et porte le nom de thorme des nombres
premiers. Ces dmonstrations ncessitent des outils puissants d'analyse complexe pour dmontrer
un nonc d'arithmtique et d'analyse relle. Une stratgie pour ces dmonstrations est l'tude de
la fonction zta de Riemann sur un domaine plus grand qu'un simple voisinage de 1 : il est
ncessaire de la contrler (c'est--dire majorer son module) au voisinage de la droite verticale des
nombres de partie relle 1 dans le plan complexe
[23]
. En particulier, l'tude de la fonction zta de
Riemann devient un thme central en thorie analytique des nombres, en particulier l'hypothse
de Riemann sur la localisation de ses zros, encore non dmontre, qui aurait des consquences
fortes sur l'tude de la fonction de compte des nombres premiers. Ultrieurement, des
dmonstrations ont t proposes sans recours l'analyse complexe (par Erds et Selberg au
milieu du XX
e
sicle)
[24]
. Toutefois, la puissance des outils d'analyse complexe a conduit au
dveloppement d'une branche entire des mathmatiques : la thorie analytique des nombres.
Thorme de Green-Tao []
Un thorme dmontr en 2004 par Ben Joseph Green et Terence Tao gnralise notamment le
thorme de Dirichlet en assurant que pour tout entier k, il existe une infinit de suites de k
nombres premiers en progression arithmtique, c'est--dire de la forme :

Le thorme de Green-Tao est en fait bien plus fort que cet nonc seul : par exemple, ils sont en
mesure d'affirmer qu'une telle progression arithmtique existe, avec des entiers tous plus petits
que :

Ils assurent aussi que pour tout entier k et tout rel strictement positif, pour tout x suffisamment
grand, si P est un ensemble de nombre premiers infrieurs x contenant au moins (x)
32

lments, alors P contient au moins une progression arithmtique de nombres premiers comptant
k termes
[25]
.
Conjecture de Bateman-Horn []
Article dtaill : Conjecture de Bateman-Horn.
De nombreux rsultats et conjectures sur la rpartition des nombres premiers sont contenus dans
la conjecture gnrale suivante. Soit f
1
,...,f
k
des polynmes de degr 1, irrductibles et vrifiant la
proprit que pour tout nombre premier p il y ait au moins un entier n parmi 0, ..., p-1 tel que p
ne divise pas le produit des f
i
(n). On note (p) le complmentaire p du nombre de tels entiers.
Un tel ensemble de polynmes est dit admissible ; on cherche connatre la proportion d'entiers
en lesquels les polynmes prennent simultanment des valeurs premires, et se limiter des
ensembles de polynmes admissibles permet d'viter des cas triviaux comme f
1
(t)=t, et f
2
(t)=t+1.
Il est alors conjectur
[26]
que le nombre d'entiers n plus petits qu'un rel x tels que les valeurs
f
1
(n),...,f
k
(n) sont simultanment premires, est, pour x assez grand, de l'ordre de :

Le thorme des nombres premiers correspond au cas k=1 et f
t
=t, le thorme de Dirichlet k=1
et f
t
=at+b, et pour k=2, f
1
(t)=t et f
2
(t)=t+2, on obtient une version quantitative (et donc plus
gnrale) de la conjecture des nombres premiers jumeaux.
Applications []
Les nombres premiers, et la thorie des nombres en particulier, ont longtemps t vus comme un
sujet purement mathmatique, avec peu ou pas d'applications extrieures. Cela changea d'un seul
coup dans les annes 1970, quand des nouveaux systmes de cryptographie bass sur les
proprits des nombres premiers furent dcouverts.
Cryptographie cl publique []
Article dtaill : Cryptographie cl publique.
Jusque dans les annes 1970, les systmes de chiffrement connus taient bass sur le principe de
la cryptographie symtrique, o une mme cl (secrte) est utilise pour chiffrer et dchiffrer un
message. En 1978, Ronald Rivest, Adi Shamir et Leonard Adleman dcrivent le premier systme
public de cryptographie asymtrique (nomm d'aprs eux RSA), bas sur les proprits des
nombres premiers et de la factorisation
[27]
. Dans un tel systme, deux cls sont utilises : l'une
sert chiffrer, l'autre dchiffrer. La cl permettant de chiffrer est accompagne d'un grand
nombre entier, le produit de deux grands nombres premiers gards secrets (de l'ordre de 200
chiffres). Pour calculer la cl de dchiffrement, la seule mthode connue ncessite de connatre
les deux facteurs premiers. La scurit du systme est base sur le fait qu'il est facile de trouver
33

deux grands nombres premiers (en utilisant des tests de primalit) et de les multiplier entre eux,
mais qu'il serait difficile pour un attaquant de retrouver ces deux nombres. Ce systme permet
galement de crer des signatures numriques, et a rvolutionn le monde de la cryptographie.
Gnralisations des nombres premiers []
La notion de nombre premier s'est vue gnralise au cours du dix-neuvime sicle dans d'autres
structures algbriques que l'anneau des entiers relatifs. Pour rsoudre des problmes
arithmtiques tels que le thorme des deux carrs, le thorme des quatre carrs, ou encore la loi
de rciprocit quadratique (dont la premire preuve est due Carl Friedrich Gauss dans ses
Disquisitiones Arithmeticae), les mathmaticiens ont t amens mener des raisonnements sur
la divisibilit analogues ceux qui impliquent les nombres entiers dans d'autres anneaux, par
exemple celui des entiers de Gauss ou celui des entiers d'Eisenstein.
Le point de vue moderne trouve sa source dans les travaux de Kummer, qui introduit la notion de
nombre premier idal , dans sa tentative de dmontrer le grand thorme de Fermat. Cette
notion est l'origine de la thorie moderne des anneaux d'entiers algbriques, suite aux travaux
de Dedekind et Kronecker
[28]
: en termes modernes, on dit que ces anneaux ont une structure
d'anneaux de Dedekind ; notamment, le thorme sur la factorisation des nombres premiers y est
remplac par un rsultat de factorisation des idaux de l'anneau (c'est--dire les sous-groupes
absorbants pour la multiplication, que Kummer appelait donc nombres idaux ) en produit
d'idaux premiers. L'arithmtique dans ces anneaux a en gnral des liens profonds et difficiles
avec l'arithmtique des nombres premiers classiques : par exemple, dans ses travaux sur le
thorme de Fermat, Kummer parvient dmontrer l'impossibilit de trouver des solutions non
triviales (c'est--dire avec x, y et z non nuls) l'quation x
p
+y
p
=z
p
si p est un nombre premier
vrifiant une condition portant sur la nature de l'anneau des entiers algbriques engendr par une
racine primitive p-me de l'unit ; c'est--dire si p est ce qu'on appelle un nombre premier
rgulier.
Questions ouvertes []
Il y a beaucoup de questions ouvertes sur les nombres premiers. Par exemple :
La conjecture de Goldbach : tout nombre pair strictement suprieur 2 peut-il s'crire
comme somme de deux nombres premiers ?
La conjecture de De Polignac : tout entier naturel pair peut-il s'crire comme diffrence
de deux nombres premiers conscutifs et cela d'une infinit de manires?
Conjecture des nombres premiers jumeaux : un couple de nombres premiers jumeaux est
une paire de nombres premiers dont la diffrence est gale 2, comme 11 et 13. Existe-t-
il une infinit de jumeaux premiers ? (cas particulier de la conjecture de De Polignac pour
n=2)
Toute suite de Fibonacci contient-elle une infinit de nombres premiers ?
Existe-t-il une infinit de nombres premiers de Fermat ou de Mersenne?
Y a-t-il une infinit de nombres premiers de la forme n + 1 ?
Y a-t-il une infinit de nombres premiers factoriels ?
34

Y a-t-il une infinit de nombres premiers primoriels ?
Soit la suite, dite d'Euclide-Mullin, de premier terme u
1
=2 et telle que le terme u
n
soit le
plus petit nombre premier diviseur du produit des termes u
i
, pour i<n, augment de 1.
Tous les nombres premiers apparaissent-ils dans cette suite ? C'est une conjecture de
Daniel Shanks.
La conjecture de Legendre affirme qu'il existe toujours au moins un nombre premier
entre n et (n+1). Cette conjecture non dmontre est lie l'hypothse de Riemann et,
comme cette dernire, non dmontre.
L'hypothse H de Schinzel, qui englobe la conjecture des nombres premiers jumeaux, dit
que si on a une famille finie de polynmes coefficients entiers, alors il existe une
infinit d'entiers n tels que tous les polynmes de la famille donnent des nombres
premiers quand on les value en n ( condition qu'il n'y ait pas d'obstruction vidente
pour ce soit le cas: par exemple, si un des polynme est n(n+1) ou 2n, ce n'est clairement
pas possible).
La conjecture de Bateman-Horn qui prcise l'hypothse de Schinzel en donnant une
valeur approche du nombre de n ayant cette proprit.
quation diophantienne

dition de 1670 des Arithmtiques de Diophante d'Alexandrie.
Une quation diophantienne, en mathmatiques, est une quation dont les coefficients sont des
nombres entiers et dont les solutions recherches sont galement entires. Le terme est aussi
utilis pour les quations coefficients rationnels. Les questions de cette nature entrent dans une
branche des mathmatiques appele arithmtique.
Si l'expression du problme pos est parfois simple, les mthodes de rsolution peuvent devenir
complexes. Carl Friedrich Gauss (1777 - 1855), un mathmaticien du XIX
e
sicle, disait des
35

problmes de cette nature : Leur charme particulier vient de la simplicit des noncs jointe
la difficult des preuves
[1]
.
Certaines quations diophantiennes ont demand pour leur rsolution les efforts conjugus de
nombreux mathmaticiens sur plusieurs sicles. Gauss se plaignait des efforts dmesurs que
lui a cot la dtermination d'un signe d'un radical dans la thorie des nombres ; bien d'autres
choses ne l'ont pas retenu autant de jours que cette question l'a retenu d'annes
[2]
. Le dernier
thorme de Fermat est un exemple archtypal, il est conjectur par Pierre de Fermat (1601 - 1665)
et rsolu en 1994 par Andrew Wiles aprs 357 ans d'efforts de la part de nombreux
mathmaticiens.
L'intrt de la rsolution de questions de cette nature rside rarement dans l'tablissement d'un
thorme cl pour les mathmatiques, la physique ou les applications industrielles, mme s'il
existe des contre exemples comme la cryptologie, qui fait grand usage du petit thorme de
Fermat. Leur analyse amne le dveloppement d'outils mathmatiques puissants dont l'usage
dpasse le cadre de l'arithmtique. Les formes quadratiques sont cet gard exemplaires. La
richesse et la beaut formelle des techniques issues de la rsolution dquations diophantiennes
fait de l'arithmtique la branche reine des mathmatiques pour David Hilbert
[2]
.
Ce type d'quation doit son nom au mathmaticien grec Diophante d'Alexandrie, un
mathmaticien vivant une date incertaine, probablement autour du III
e
sicle. Il est l'auteur d'un
trait, Arithmtiques, tudiant des questions de cette nature.
Arithmtique lmentaire []
Si les questions diophantiennes deviennent rapidement difficiles, il existe certaines exceptions
rsolubles avec un minimum d'outils thoriques et une dmonstration courte et simple.
Identit de Bzout []
Articles dtaills : quation diophantienne ax+by = c - Thorme de Bachet-Bzout

Claude-Gaspard Bachet de Mziriac propose une mthode de rsolution de l'identit de Bzout.
36

Quelques techniques lmentaires permettent de rsoudre une premire famille d'quations
diophantiennes
[3]
. Un exemple est donne par l'quation linaire du premier degr deux
indtermines :

Cette quation porte le nom d'identit de Bzout, du nom du mathmaticien qui a gnralis ce
rsultat aux polynmes
[4]
. Sa rsolution n'utilise que la division euclidienne et l'algorithme
d'Euclide. Cette identit possde un double statut. Elle correspond une quation diophantienne
et reprsente un des piliers soutenant l'difice de l'arithmtique lmentaire. Le lemme d'Euclide
se dmontre l'aide de cette identit et le thorme fondamental de l'arithmtique l'aide du
lemme d'Euclide. Le thorme fondamental permet de dterminer les proprits des oprateurs
plus grand commun diviseur et plus petit commun multiple ainsi que celles des nombres
premiers entre eux.
Thorme de Wilson []
Article dtaill : Thorme de Wilson.
Un exemple d'quation diophantienne utilisant ces outils pour sa rsolution est le thorme de
Wilson. Il correspond la rsolution de l'quation suivante, le signe ! dsignant la fonction
factorielle :

Les seules valeurs de x diffrentes de un vrifiant cette quation sont les nombres premiers.
Triplet pythagoricien []
Article dtaill : Triplet pythagoricien.
Le lemme d'Euclide permet de venir bout de la recherche des triplets pythagoriciens, c'est--
dire des triplets de nombres entiers (x, y, z) vrifiant l'quation :

Ces mmes techniques permettent de montrer que l'quation suivante, correspondant au dernier
thorme de Fermat pour n gal 4, n'a pas de solutions autres que celles qui vrifient x.y.z = 0.
Cette quation diophantienne correspond
[5]
:

Petit thorme de Fermat []
Article dtaill : Petit thorme de Fermat.
37

Pierre de Fermat est l'auteur de nombreuses dcouvertes sur les quations diophantiennes.
Pierre de Fermat consacre une large part de ses recherches mathmatiques la rsolution de
questions diophantiennes. Il dcouvre le petit thorme de Fermat qu'il exprime de la manire
suivante : Tout nombre premier mesure infailliblement une des puissances -1 de quelque
progression que ce soit, et l'exposant de la dite puissance est sous-multiple du nombre premier
donn -1 ...
[6]
. En terme diophantien, il offre une rponse partielle l'quation suivante, o a
dsigne un entier et p un nombre premier :

Le petit thorme de Fermat indique que p 1 est une valeur possible pour x. Ce rsultat possde
de nombreuses applications. Il permet de construire des grands nombres premiers, comme ceux
de Mersenne, correspondant l'quation suivante o y est recherch parmi les nombres
premiers :

Il est relativement ais de montrer que x est alors aussi un nombre premier. Cette question
diophantienne permet de trouver les plus grands nombres premiers connus en 2008
[7]
. Fermat
s'intresse une quation analogue, permettant de construire d'autres nombres premiers portant
maintenant son nom. Ici y est encore recherch dans les nombres premiers
[8]
:

38

A cette occasion, Fermat commet la seule conjecture fausse connue de lui. Il imagine que tout
nombre de Fermat est premier : Si je puis une fois tenir la raison fondamentale que 3, 5, 7, 17,
257, 65537... sont nombres premiers, il me semble que je trouverai de trs belles choses en cette
matire, car j'ai dj trouv des choses merveilleuses dont je vous ferai part
[9]
. Presque un
sicle s'coule avant que Leonhard Euler (1707 - 1783) prsente
[10]
un diviseur du cinquime
nombre de Fermat. Il ne dvoile la construction de sa preuve
[11]
que quinze ans plus tard. Elle
correspond exactement aux travaux de Fermat, ayant permis de dmontrer
[12]
en 1640 la non
primalit de deux nombres de Mersenne.
L'intrt du petit thorme de Fermat ne se limite pas l'tude de la primalit de nombres entiers.
Il permet aussi de rsoudre certaines quations, la suivante est un exemple o p dsigne un
nombre premier
[13]
:

Elle correspond une tape de la rsolution de l'quation suivante :

Si cette quation est rsolue pour p premier, il devient relativement ais de la rsoudre pour p un
entier positif quelconque. La rsolution de cette quation se fonde sur un rsultat nomm
thorme des deux carrs de Fermat et dont la premire preuve connue est l'uvre d'Euler
[14]
. Ce
mathmaticien gnralise le petit thorme en apportant une rponse de mme nature que celle
de Fermat l'quation suivante, ici a et b dsignant deux entiers premiers entre eux :

Ce rsultat est connu sous le nom de thorme d'Euler.
Autres techniques []

39

Joseph-Louis Lagrange introduit les formes quadratiques pour tudier des quations
diophantiennes comme les gnralisations du thorme des deux carrs de Fermat.
Joseph-Louis Lagrange (1736 - 1813) cherche gnraliser des quations diophantiennes dj
traites dans des cas particuliers. L'quation du thorme des deux carrs devient, si n dsigne un
entier sans facteur carr et p un nombre premier :

Pour cela, il tudie les formes quadratiques deux variables, c'est--dire les fonctions qui un
couple (x, y) associe
[15]
:

Il cherche savoir quelle forme linaire est quivalente quelle autre. Equivalente signifie en
termes modernes qu'un changement de base dans Z
2
(Z dsigne l'ensemble des nombres entiers)
permet de passer d'une forme une autre. Cette dmarche lui permet de rsoudre l'quation (1)
dans le cas o n est gal 1, 2, 3 ou 5
[16]
. Le cas gnral reste hors de porte.
Une autre gnralisation de cette quation est rsolue l'aide de cette mthode, elle consiste
trouver le plus petit nombre de carrs ncessaire pour trouver au moins une solution pour tout
entier positif. La rponse est 4, elle correspond l'quation suivante :

Le Thorme des quatre carrs de Lagrange affirme que pour toute valeur de n, cette quation
admet une solution. Edward Waring (1736 - 1798) gnralise la question sous le nom de problme
de Waring qui s'exprime de la manire suivante. Combien faut-il de termes dans une somme de
puissance k
ime
pour obtenir tous les entiers positifs ?
L'quation (1), pour une valeur donne de n, impose de rsoudre pour la mme valeur du
paramtre n et pour p un nombre premier quelconque, l'quation :

Pour chaque valeur de n, il est souvent relativement simple de trouver la liste des nombres
premiers admettant une solution pour l'quation (2). L'expression de la solution gnrale est
conjecture par Euler
[17]
, mais sa dmonstration chappe aux arithmticiens du XVIII
e
sicle
[18]
.
Lagrange s'intresse une autre question, dj souleve par Fermat 150 ans plus tt et par
Diophante dans l'antiquit. Elle correspond l'quation dite de Pell-Fermat. Si n est un entier
sans facteur carr, elle s'crit :

40

Cette question est objet d'tude par les mathmaticiens indiens si m est gal 1. La mthode dite
de chakravala permet de trouver les solutions
[19]
avec une grande efficacit. Bhskara II (1114
1185 ?) l'utilise pour n gal 61 et trouve la solution x = 1 766 319 049 et y = 226 153 980.
Fermat redcouvre cette mthode et la dmontre selon les critres de rigueur de l'poque.
Lagrange trouve une autre mthode, fonde sur les fractions continues. Elle permet aussi de
trouver une infinit de solutions pour toutes valeurs de n, la dmonstration du fait que toutes les
solutions sont bien atteintes pour m = +/-1 est enfin dmontre, le cas gnral reste nanmoins
hors de porte
[20]
.
Arithmtique modulaire []
Article dtaill : Arithmtique modulaire.

Carl Friedrich Gauss est l'origine d'une approche structurelle d'tude d'quations
diophantiennes. Ces mthodes portent maintenant le nom d'arithmtique modulaire.
Si quelques cas particuliers se traitent avec les mthodes lmentaires, en revanche les solutions
gnrales restent inabordables. Aucun des trois cas d'quations diophantiennes quadratique
deux indtermines, n'est trait dans le cas gnral. Ils correspondent soit une ellipse avec
l'quation (1) du paragraphe prcdent, soit une parabole avec l'quation (2), soit une
hyperbole avec l'quation (3). Les mthodes de l'arithmtique lmentaire ne sont pas assez
puissantes.
En 1801 Gauss propose l'usage d'une nouvelle approche
[21]
maintenant appele arithmtique
modulaire. Elle consiste, en termes modernes, user d'une dmarche structurelle. Des ensembles
sont munis d'oprations, une addition et parfois une multiplication. Les structures, c'est--dire
l'ensemble et ses oprations sont tudies dans un cadre gnral, permettant d'obtenir des
thormes au vaste champ d'application. Cette dmarche permet de simplifier les rsolutions
d'quations diophantiennes dj connues, de rsoudre des cas particuliers nouveaux et mme
d'tablir des solutions gnrales, par exemple pour l'quation (2).
Groupe ablien fini []
41

Article dtaill : groupe ablien fini.

Leopold Kronecker tablit le thorme dcrivant la structure d'un groupe ablien fini.
Il est possible de considrer le quotient de l'anneau Z par n Z, l'lment gnrique de cette
structure est la classe de tous les entiers ayant mme reste par la division euclidienne par n. Les
lments de cette structure s'additionnent et se multiplient. L'tude du quotient apporte une
formulation plus simple de certaines quations diophantiennes. Le petit thorme de Fermat
s'crit, si p est un nombre premier et a un entier non nul
[22]
:

Si n est un nombre premier, alors l'ensemble des lments non nuls forment un groupe ablien
non seulement fini, mais aussi cyclique. L'galit prcdente devient une consquence directe du
thorme de Lagrange sur les groupes. Si n n'est pas premier, l'ensemble des lments inversibles
de Z/n Z
*
forme encore un groupe ablien fini, offrant ainsi une dmonstration simple de la
gnralisation d'Euler du petit thorme de Fermat. La structure gnrale d'un groupe ablien
fini, lucide par le thorme de Kronecker, n'est dmontre que bien plus tard, en 1870
[23]
. Ce
formalisme simplifie aussi la dmonstration du thorme de Wilson.
La rsolution de l'quation (2) revient au problme suivant, au signe prs :

Cette quation admet une solution non nulle si et seulement si n est lment du sous-groupe des
carrs de (Z/p Z
*
, .). L'tude des morphismes de ce groupe dans celui des racines de l'unit des
nombres complexes permet Gauss de rsoudre l'quation (2) dans toute sa gnralit. Ce
rsultat est connu sous le nom de loi de rciprocit quadratique
[24]
. C'est la premire famille
d'quations quadratiques entirement rsolue, elle correspond au cas parabolique
[25]
.
Anneau euclidien []
42

Article dtaill : Anneau euclidien.
Une autre structure, permettant de rsoudre des quations diophantiennes, est au cur de
l'arithmtique modulaire : celle d'anneau euclidien. Un anneau est un ensemble munis d'une
addition et d'une multiplication compatibles entre elles. Parfois, il est possible de dfinir une
division euclidienne. Un tel anneau dispose de tous les thormes de l'arithmtique lmentaire :
l'identit de Bzout, le lemme d'Euclide et le thorme fondamental de l'arithmtique
s'appliquent encore.
Gauss tudie l'ensemble des nombres de la forme a + i.b o a et b dsignent deux nombres
entiers et i l'unit imaginaire. L'ensemble forme un anneau euclidien dont les lments portent le
nom d'entier de Gauss. Travailler sur cet anneau simplifie la rsolution de certaines quations
diophantiennes comme celle des deux carrs
[26]
. Il existe d'autres anneaux euclidiens de cette
nature. Ferdinand Eisenstein (1823 - 1852) tudie ceux de la forme a + j.b o a et b dsigne encore
deux nombres entiers et j la racine cubique de l'unit dont la composante imaginaire est
strictement positive. Un tel nombre est appel entier d'Eisenstein. Cet anneau est le cadre d'une
rsolution de l'quation (1) pour n gal trois
[27]
.
Il permet aussi de rsoudre le dernier thorme de Fermat pour n gal trois
[28]
. Elle reprend les
grandes lignes d'une tentative d'Euler de rsolution de cette question. En revanche, le
mathmaticien utilisait l'anneau des nombres de la forme a + i3.b
[29]
. Il supposait que l'anneau
considr est euclidien, ce qui n'est pas le cas et invalidait sa dmonstration. En effet, le nombre
quatre possde deux dcompositions en facteurs irrductibles, ce qui est impossible dans un
anneau euclidien :

En 1825 Johann Peter Gustav Lejeune Dirichlet (1805 - 1859) utilise un anneau analogue, compos
d'entiers de Dirichlet et initialise une preuve du grand thorme de Fermat pour n gal 5. Elle
est finalise par Adrien-Marie Legendre (1752 - 1833) quelques mois plus tard
[30]
.
Thorme de la progression arithmtique []
Article dtaill : Thorme de la progression arithmtique.
43

Johann Peter Gustav Lejeune Dirichlet, pour tablir le thorme de la progression arithmtique,
utilise de nouvelles techniques, fondatrice de la thorie analytique des nombres.
Une quation diophantienne, pose une question dont la rponse est dj conjecture par Gauss et
Legendre. Si a et b sont deux entiers premiers entre eux, elle prend une des deux formes
suivantes, toutes deux quivalentes :

Les solutions recherches sont celles o x est un nombre premier. La conjecture affirme qu'il
existe une infinit de valeurs de x satisfaisant l'quation.
Dirichlet parvient dmontrer ce rsultat
[31]
en 1837. La dmonstration utilise l'arithmtique
modulaire travers l'tude des morphismes du groupe multiplicatif de Z/a Z dans C. Il gnralise
l'analyse harmonique sur un groupe ablien fini entame par Gauss avec les sommes et priodes
de Gauss qui ne traitaient que le cas o a est un nombre premier. Dirichlet s'inspire des
dcouvertes de Joseph Fourier (1768 - 1830) sur ses sries. Charles Gustave Jacob Jacobi (1804 -
1851) dit de lui : En appliquant les sries de Fourier la thorie des nombres, Dirichlet a
rcemment trouv des rsultats atteignant les sommets de la perspicacit humaine
[32]
.
Sa dmonstration est remarquable au sens o elle ne se limite pas au simple usage de techniques
algbriques. Il reprend les travaux d'Euler sur un produit infini, trouv la suite de l'tude du
problme de Mengoli
[33]
et qui tablit le rsultat suivant, si P dsigne l'ensemble des nombres
premiers :

La dmonstration ouvre la porte une nouvelle arithmtique, faisant aussi usage de l'analyse et
maintenant appele thorie analytique des nombres.
44

Thorie algbrique des nombres []
Article dtaill : Thorie algbrique des nombres.
Quatorze ans plus tard, le succs de Dirichlet est suivi par une tentative russie de Gabriel Lam
(1795 - 1870) pour rsoudre le cas n gal 7 du dernier thorme de Fermat. Une fois encore les
techniques modulaire sont l'uvre, la structure cl est encore un anneau euclidien
[34]
. Mais la
complexit de la preuve montre que la dmarche n'est pas gnralisable.
Ainsi, l'arithmtique modulaire permet de vritables avances, mais la rsolution gnrale de
famille d'quations reste trs gnralement hors de porte. Cette remarque est valable pour le
dernier thorme de Fermat ainsi que pour les quations quadratiques. En effet, s'il est possible
de trouver une infinit de solution l'quation (3), personne ne sait dmontrer si l'ensemble des
solutions est exhaustif ou non. Enfin l'quation (1) reste inabordable dans le cas gnral. Une
famille d'anneaux reprsentent des bons candidats pour aller plus loin, ils sont constitus
d'entiers algbriques.
Entier algbrique []
Article dtaill : Entier algbrique.

Cette figure illustre le groupe des units de l'anneau des entiers de Dirichlet. Ici dsigne l'entier
de Dirichlet gal 1/2.(1 + 5).
Plusieurs exemples d'anneau entiers algbriques ont dj t observs dans cet article : les entiers
de Gauss, d'Eisenstein ou de Dirichlet. Une dmarche plus gnrale consiste tudier un corps
quadratique c'est--dire le plus petit sous-corps de C (l'ensemble des nombres complexes)
contenant les racines d'un polynme de degr deux. Un entier quadratique est un lment de ce
corps qui est racine d'un polynme unitaire (le monme de degr deux a pour coefficient un) et
coefficients dans Z. Les entiers quadratiques forment un anneau inclus dans le corps quadratique.
45

A certains gards, les exemples utiliss sont exceptionnels. Dans le cas gnral, deux
obstructions demandent d'amnager les rsultats de l'arithmtique modulaire pour permettre de
rsoudre des quations diophantiennes. Une fois la structure de ces obstructions comprises, les
quations de type (1) et (3) peuvent tre traites.
La premire est mise jour par Dirichlet. Pour les entiers quadratiques, elle ne concerne que les
cas o les lments sont tous inclus dans l'ensemble des nombres rels, on parle de corps
quadratique totalement rel. Le groupe des units, est l'ensemble des lments inversibles de
l'anneau. Il devient infini sur un corps quadratique totalement rel. L'quation (3) revient
trouver tous les lments du groupe des units de l'anneau. Le thorme des units de Dirichlet
donne la structure d'un tel groupe, sans se limiter aux extensions associes aux polynmes de
degr deux. Dans le cas d'un corps quadratique totalement rel, il est isomorphe au groupe additif
Z/2Z x Z. Graphiquement, l'illustration de gauche montre que les lments se situent sur quatre
branches d'hyperboles. Toute solution de l'quation de Pell-Fermat correspond un couple de
racines inverse l'une de l'autre. Les fractions continues permettent de dterminer une racine
primitive du groupe des units, c'est--dire que cette racine gnre toutes les autres. La
comprhension de la structure de cette obstruction montre que la mthode de Lagrange permet
effectivement de trouver toutes les solutions de l'quation (3) et clt la question.
[35]

La deuxime obstruction concerne la dcomposition en facteurs premiers d'un entier algbrique.
Elle est unique dans le cas des anneaux euclidiens, principaux ou factoriels. Cette proprit,
exprime par le thorme fondamental de l'arithmtique, est l'un des fondements de
l'arithmtique lmentaire ou modulaire. Elle n'est plus vrifie dans le cas d'un anneau d'entiers
algbriques. Ernst Kummer (1810 - 1893) interprte cette ralit comme un dfaut de nombres
premiers, c'est parce qu'il en manque que l'unicit de la dcomposition disparat. Il a l'ide
d'enrichir l'anneau de nombres idaux pour remplacer les nombres premiers manquants
[36]
.
Richard Dedekind (1831 - 1916) donne cette thorie son formalisme moderne. Il met en vidence
en 1876 que les nombres idaux de Kummer se formalisent simplement l'aide du concept
d'idal, un sous-groupe de l'anneau stable par multiplication par un lment quelconque. Il
reprend cette occasion le vocabulaire de Kummer, tout en modifiant le formalisme. Les
nombres premiers idaux correspondent en fait des idaux premiers non principaux
[37]
. Grce
la notion d'idal fractionnaire, il trouve un quivalent du thorme fondamental : tout idal se
dcompose de manire unique en un produit d'idaux premiers. Il reste alors dterminer la
structure des idaux premiers principaux et non principaux. l'aide d'un groupe quotient
d'idaux par des idaux principaux, il dfinit le thorme cl, savoir que ce quotient, appel
groupe des classes d'idaux est un groupe ablien fini
[38]
. Dans les cas simples, comme celui des
anneaux d'entiers quadratiques, ce rsultat permet de dterminer les idaux premiers non
principaux et par la mme occasion de rsoudre l'quation (3) dans le cas gnral
[39]
.
Corps cyclotomique []
Article dtaill : Corps cyclotomique.
46

Ernst Kummer dmontre en 1847 le dernier thorme de Fermat pour tout nombre premier
rgulier
Si le formalisme moderne venant bout de la deuxime obstruction est l'uvre de Dedekind et
date de la fin du XIX
e
sicle, une partie non ngligeable du travail mathmatiques provient des
travaux de Kummer du milieu du sicle. Sa proccupation est la gnralisation de la loi de
rciprocit quadratique ainsi que le dernier thorme de Fermat.
La dmonstration du cas n gal sept de Lam se fonde encore sur l'anneau des entiers
algbriques d'un corps quadratique. L'impossibilit de rponse gnrale fonde sur l'tude des
entiers quadratiques poussent Lam et Kummer tudier d'autres corps de nombres, c'est--dire
que plus petit sous-corps de C contenant toutes les racines d'un polynme. Ils choisissent tous
deux les polynmes cyclotomiques, c'est--dire les polynmes unitaires de degr minimal ayant
pour racine une racine de l'unit. Le corps de nombre associ est appel corps cyclotomique. De
tels corps possdent de multiple bonnes proprits. Le polynme cyclotomique est coefficients
dans Z
[40]
ainsi une racine de l'unit est toujours un entier algbrique. Un corps cyclotomique
reste plus longtemps principal et, si tel est le cas, l'anneau des entiers vrifie le thorme
fondamental de l'arithmtique. Ainsi, les anneaux d'entiers algbriques des corps cyclotomiques
d'indice 5, 7, 11, 13, 17 et 19 sont principaux. Cette observation pousse Lam
[41]
prsenter une
solution qu'il croit gnrale au grand thorme de Fermat en 1847. Kummer est plus prudent, il a
dj dmontr trois ans plus tt que pour l'indice 23, l'anneau n'est pas principal
[42]
.
Le formalisme utilis dans cet article est celui en vigueur actuellement et diffre de celui de
Kummer, cependant le contenu mathmatique est le mme. La difficult rsoudre est de
comprendre comment s'agencent les idaux premiers non principaux. Ce problme, bien que
rsolu plus tt, est finalement plus complexe que celui des anneaux d'entiers quadratiques. Le
polynme l'origine du corps de nombres est de degr quelconque et non plus gal deux. La
thorie de Galois est d'une grande aide. Dans le cas d'un corps cyclotomique K, l'extension est
dite galoisienne, c'est--dire qu'il existe autant d'automorphismes de K que l'ensemble possde de
dimensions s'il est considr comme un Q espace vectoriel. Ces automorphismes forment un
groupe fini G, appel groupe de Galois. L'image d'un idal premier par un automorphisme est
aussi un idal premier. Cette remarque permet de comprendre la structure des idaux premier
47

l'aide de la ramification. Tout idal premier P contient un unique nombre premier p. La
technique consiste alors dcomposer l'idal principal pK en idaux premiers. Le groupe G agit
transitivement sur le idaux premiers dcomposant pK ce qui permet de dterminer la
dcomposition des idaux premiers dans les extensions galoisiennes.
De plus, K est une extension ablienne et mme cyclique, c'est--dire que le groupe de Galois est
cyclique. Une consquence est que le groupe des classes est aussi cyclique. Le groupe des
classes devient relativement ais dterminer et, si p est un nombre premier rgulier, alors il ne
divise pas l'ordre du groupe des classes. Cette proprit permet d'obtenir une dmonstration
relativement aise du dernier thorme de Fermat
[43]
. Les seules exceptions plus petites que 100
sont 37, 59 et 67.
Gomtrie algbrique []
La dmarche fonde sur l'analyse fine d'un corps de nombres possde des limites. Pour une
quation polynomiale diophantienne non homogne, c'est--dire si le degr des diffrents
monmes n'est pas le mme, les outils imposent des acrobaties limitant largement la porte de la
mthode. Mme dans les cas les plus simples, comme celui de l'extension cyclotomique, la
structure des idaux premiers est parfois complexe, tel est le cas pour les idaux associes des
nombres premiers non rguliers.
En revanche, les outils dveloppes dans ce contexte, se gnralisent d'autres branches des
mathmatiques. La thorie des anneaux, et particulirement des anneaux de Dedekind avec ses
idaux premiers ou fractionnaires s'appliquent aussi la gomtrie algbrique. Une varit
algbrique se dfinit comme l'ensemble des racines communes d'un idal de polynmes. La
thorie de Galois est aussi oprationnelle dans ce domaine. Enfin d'autres outils sont disponibles,
un polynme se drive alors qu'un entier non, une surface possde de nombreuses proprits
topologiques comme le genre, source de thormes nouveaux.
Une quation polynomiale diophantienne s'interprte aussi comme l'intersection d'une varit
algbrique et d'un rseau gal Z
n
. Cette approche permet des mthodes de rsolutions simples
d'quations diophantiennes comme la recherche de triplets pythagoricien. Ces diffrentes raisons
poussent le XX
e
sicle tudier les quations diophantiennes avec cet axe.
Le dixime problme de Hilbert []
Ces problmes traditionnels sont poss et souvent non-rsolus durant des sicles, les
mathmaticiens d'ailleurs en viennent graduellement les comprendre dans leur profondeur
(dans certains cas), plutt qu' les traiter comme des puzzles. En 1900, en reconnaissance de leur
profondeur, Hilbert proposa la rsolubilit de tous les problmes diophantiens comme le dixime
de ses clbres problmes. En 1970, un nouveau rsultat en logique mathmatique connu sous le
nom de thorme de Matiyasevich le rsolut ngativement : en gnral les problmes
diophantiens ne sont pas rsolubles, au sens o l'on peut construire explicitement de tels
problmes pour lesquels l'existence d'une solution est indcidable (dans le systme axiomatique
o l'on s'est plac ; on construit un polynme prcis en partant de la liste des axiomes). Le point
de vue de la gomtrie diophantienne, qui est une application des techniques de la gomtrie
48

algbrique dans ce domaine, a continu de crotre comme rsultat ; puisqu'en traitant
arbitrairement les quations, cela mne une impasse, l'attention se tourne vers les quations qui
ont aussi un sens gomtrique.
Recherche moderne []
Une des approches gnrales est travers le principe de Hasse. La descente infinie est la
mthode traditionnelle, et a t pousse trs loin.
La profondeur de l'tude des quations diophantiennes gnrales est montre par la
caractrisation des ensembles diophantiens comme rcursivement numrables.
Le domaine de l'approximation diophantienne a voir avec les cas d'ingalits diophantiennes :
les variables sont toujours supposes tre entires, mais certains coefficients peuvent tre des
nombres irrationnels, et le signe de l'galit est remplac par des bornes suprieures et
infrieures.

Theorie de Nombres

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Theorie de Nombres

Hochgeladen von

Copyright:

Verfügbare Formate

Mathmatiques 2

Thorie des nombres

4. La valeur absolue (ou module) de p p = si p est positif et p p

Universit Virtuelle Africaine 70

sont les plus grandes puissances de p divisant a et b, la norme p-

Das könnte Ihnen auch gefallen