Académique Documents
Professionnel Documents
Culture Documents
EUCLIDE, Les lments, volume 2, traduction et commentaires de Bernard Vitrac, PUF, Paris, 1994,
page 445. Dans cet article, nous noterons les propositions d'Euclide avec le numro du livre en chiffres
romains suivi de celui de la proposition dans l'dition de B. Vitrac en chiffres arabes : IX-20 dsigne la
20me proposition du livre IX, dans cette dition.
Thorme 3
Il existe une infinit de nombres premiers.
Dmonstration
(due Euclide, IIIe sicle av. J.C.).
EUCLIDE a mis l'honneur un type de raisonnement trs puissant, le
raisonnement par l'absurde. En voici un exemple cette occasion.
Supposons qu'il n'existe qu'un nombre fini d'entiers premiers : p1, p2, ,
pn ; considrons l'entier N = p1 p2 pn + 1. N tant suprieur 1, il
admet un diviseur premier (thorme 22) dans la liste prcdente ; soit pi ce
diviseur.
Alors N = pi q = p1 p2 pn + 1 . p i divise piq et p1 pn, donc
doit diviser leur diffrence, gale 1. C'est absurde, donc l'hypothse est fausse.
Note
Est-ce le nom d'un mathmaticien de chair et d'os ou celui d'un collectif,
d'une cole ? Toujours est-il que le nom d'EUCLIDE reste attach un ple
scientifique (la mathmatique "grecque" d'Alexandrie, au IIIe sicle av. J.C.) et
un ouvrage : Les lments (13 livres prodigieux dont trois consacrs
l'Arithmtique : les livres VII, VIII et IX).
2) Andr Antibi, Raymond Barra
Math, Term. S Spcialit, Nouveau Transmath
Nathan 1998, page 140 :
THORME 2 Il existe une infinit de nombres premiers.
Nous allons montrer que si l'on choisit un nombre premier quelconque, on
trouve toujours un nombre premier qui lui est strictement suprieur. Il en
rsultera bien que la suite des nombres premiers est infinie.
Dmonstration. Supposons donc choisi un nombre premier p, p > 5, et formons
le produit 2 3 5 p de tous les nombres premiers compris entre 2 et p,
puis posons :
N = (2 3 5 p) + 1
N tant suprieur 2, N admet un diviseur premier. Notons le q.
a."
Les nombres premiers sont plus nombreux que toute multitude de nombres premiers propose.
A
B
C
G
E
F
D
B et de C.
Supposons en effet que G = A
ou G = B ou G = C. Le nombre G est
alors un diviseur de ABC et de D, et
par consquent un diviseur de la
diffrence D - ABC qui vaut 1.
Or un nombre premier G ne peut
diviser 1, on a donc G A et G B et
G C. Donc A, B, C et G sont quatre
nombres premiers distincts.
Partant des trois nombres premiers
A, B, C, nous avons trouv dans les
deux cas quatre nombres premiers
distincts : il y a donc plus de trois
nombres premiers.
Quelques remarques :
L'nonc est un nonc gnral, comme l'indique sa formulation : toute
1)
multitude de nombres premiers propose. Euclide, en ne prenant que trois
nombres, fait une dmonstration en apparence particulire, mais implicitement
gnrale. Nous avons montr en ajoutant la troisime colonne que cette
dmonstration se gnralise sans difficult en numrotant les nombres premiers.
Dans la deuxime colonne, nous avons fait remarquer que le produit ABC
2)
est le plus petit nombre mesur par A, B et C puisque A, B et C sont des
nombres premiers. Pourquoi Euclide ne fait-il pas appel ce produit dont l'accs
est plus direct ?
La dfinition de la multiplication des nombres figure dans les dfinitions
qui ouvrent le Livre VII des lments :
Un nombre est dit multiplier un nombre quand, autant il y a d'units
en lui, autant de fois le multipli est ajout [ lui-mme], et qu'il est
produit un certain [nombre].4
Autrement dit : la somme de p termes gaux n est n p.
Mais Euclide ajoute aussitt
Et quand deux nombres, s'tant multiplis l'un l'autre, produisent un
certain [nombre], le produit est appel plan, et les nombres qui se
sont multiplis l'un l'autre, ses cts.
Et quand trois nombres, s'tant multiplis l'un l'autre, produisent un
certain [nombre], le produit est solide, et les nombres qui se sont
multiplis l'un l'autre [sont] ses cts.5
Le produit a donc une nature gomtrique qui est un obstacle sa
gnralisation : on peut multiplier deux nombres, multiplier le produit par un
troisime nombre, puis nouveau ce produit par un quatrime, et ainsi de suite,
mais on ne peut pas envisager directement le produit de plus de trois nombres
dans un espace qui n'a que trois dimensions.
Par contre, le Plus Petit Nombre Mesur (PPNM) par deux nombres A et B
est un nombre qui chappe cette interprtation gomtrique. Et mme si sa
construction (proposition VII-34) fait intervenir un produit (A B lorsque A et
B sont premiers entre eux ; dans le cas contraire, on dtermine les termes E et F
du rapport irrductible gal au rapport de A B et le rsultat est AF ou BE),
rien n'empche de procder partir de l de proche en proche pour dterminer le
PPNM par trois nombres ou plus. Euclide procde ainsi pour trois nombres la
proposition VII-366, mais c'est une gnralisation du rsultat de cette dernire
proposition qu'il fait appel dans la dmonstration de IX-20.
4
Euclide, Les lments, volume 2, page 259. On pourra se reporter la mme rfrence pour un
commentaire sur le dernier membre de phrase de cette dfinition : et qu'il est produit un certain
[nombre].
5
Euclide, Les lments, volume 2, page 261.
6
L'nonc de cette proposition est : tant donns trois nombres, trouver le plus petit nombre qu'ils
mesurent. Euclide, Les lments, volume 2, page 348
3)
Bilan de la confrontation : aucun des deux manuels cits au dbut de cette
tude ne donne la dmonstration d'Euclide ! Cette dernire contient bien une
dmonstration par l'absurde, mais seulement pour tablir un rsultat
intermdiaire. Elle ne fait appel aucun nombre premier particulier, et ne
consiste pas construire un nombre premier suprieur d'autres. Peut-tre
pourrait-on, en combinant les dmonstrations de Terracher et d'Antibi produire
une version s'approchant de celle d'Euclide !
Il reste qu'il faut interprter le dbut de la dmonstration d'Euclide :
4)
"soient les nombres premiers proposs A, B, C". L'nonc nous invite lire
"soient n nombres premiers distincts", o n dsigne un entier quelconque. Cela
ne signifie pas que l'on sait que la rserve de nombres premiers est illimite (que
resterait-il dmontrer ?), mais que l'on va dmontrer que si l'on a n nombres
premiers, alors on peut en produire un de plus.
Pour plus de cohrence, il faudrait donc prsenter l'nonc de la proposition
sous la forme :
"S'il existe au moins n nombres premiers (n 2), alors il en
existe au moins n + 1".
Nous savons aujourd'hui que pour conclure pour tout naturel n l'existence d'au
moins n nombres premiers, il reste dmontrer qu'il existe au moins deux
nombres premiers. Mais la dfinition des nombres premiers et leur existence
tait loin d'tre un nouveaut l'poque d'Euclide !
Nous voici en train de rcrire la dmonstration d'Euclide la manire
d'une dmonstration par rcurrence et la question de l'infini, qu'Euclide avait
laisse la porte, revient par la fentre !
Allons cependant jusqu'au bout et construisons une dmonstration par
5)
rcurrence.
Il nous faut pour commencer changer l'nonc de la proposition et faire
intervenir un entier quelconque. On peut proposer, pour viter d'utiliser les
notions d'ensemble et de cardinal d'un ensemble :
" Pour tout naturel non nul n, il y a plus de n nombres premiers".
Dmonstration :
a) C'est vrai pour n = 1, car il y a au moins deux nombres premiers : 2 et 3
sont des nombres premiers distincts.
b) Pour tout naturel n, dmontrons que s'il y a plus de n nombres premiers,
alors il y en a plus de n+1.
S'il y a plus de n nombres premiers, on peut choisir n+1 nombres premiers
distincts : A1, A2, , An+1. Soit alors le nombre X = A1 A2 An+1 + 1.
X est un entier, et donc il est soit premier, soit compos.
- dans le cas o X est premier, pour tout i, i {1, 2, , n+1}, X Ai et X est
premier, donc nous avons n+2 nombres premiers : A1, A2, , An+1, X.
6)
La distance entre une dmonstration par rcurrence et la dmonstration
d'Euclide se mesure avec tout ce qu'il a fallu changer (en particulier l'nonc) ou
ajouter (la partie a)) une dmonstration gnrale correspondant celle
d'Euclide (3me colonne du tableau de la page 4) pour obtenir notre
dmonstration par rcurrence. Il n'en demeure pas moins que la partie b) de la
dmonstration par rcurrence est trs proche de la 3me colonne du tableau.
La question de l'infini.
En fait, Euclide dmontre de nombreuses propositions que l'on pourrait
aujourd'hui dmontrer par rcurrence en procdant de proche en proche : ayant
dmontr comment on peut passer de deux termes trois termes, Euclide laisse
le soin au lecteur de poursuivre, avec parfois une formule comme
semblablement nous dmontrerons alors que tous ceux 7.
Ici, Euclide s'y prend diffremment et pour commencer ne part pas de deux
nombres premiers pour passer trois et, en continuant, arriver une quantit
donne de nombres premiers. Son point de dpart est au contraire une
"multitude" de nombres premiers. Cette multitude est certes reprsente par trois
de ces nombres, mais nous avons dit que cette reprsentation est une pratique
courante dans les lments.
On peut imaginer quelques scnarios qui permettent d'envisager ce point de
dpart. Par exemple, en restant dans le domaine grec, on peut se placer dans le
contexte du crible d'Eratosthne et se demander si partir d'un certain rang on
peut encore trouver des nombres qui chappent l'limination. Ainsi, le
problme n'est plus de chercher une quantit donne de nombres premiers, mais
de savoir si la rserve est limite ou pas.On peut aussi franchir plus de vingt
sicles et signaler nos lves la difficult d'tablir la primarit de trs grands
nombres, ou voquer la loi de rarfaction des nombres premiers.
7
Voir la proposition IX-8 : si des nombres en quantit quelconque sont continment en proportion
partir de l'unit, d'une part le troisime partir de l'unit sera un carr ainsi que ceux [qu'on prend]
en en sautant un [sur deux] ; d'autre part le quatrime sera un cube ainsi que tous ceux [qu'on prend]
en en sautant deux, et le septime la fois cube et carr, ainsi que ceux [qu'on prend] en en sautant
cinq. Euclide, Les lments, volume 2, page 419.
Aristote, Physique, III 7, 207 b 30-31, traduction d'Henri Carteron, Les Belles Lettres, Paris, 1983,
p.108.
9
Euclide, Les lments, volume 2, page 247
10
Nicomaque de Grase, Introduction arithmtique, traduction et notes de Jeanne Bertier, VRIN,
Paris, 1978, page 60.
11
Nous avons vu dans le texte de IX-20 une rfrence VII-32, qui n'est qu'une consquence directe
de VII-31.
12
Euclide, Les lments, page 340. C'est nous qui soulignons.
10
Pour prouver qu'il existe un nombre premier strictement suprieur tout nombre entier n, le plus
simple est de considrer n! + 1, ce que font de nombreux manuels.
11
En conclusion .
Finalement, on peut penser que construire une activit autour de la
proposition d'Euclide et de sa dmonstration aurait t plus rentable :
- en vitant des erreurs sur le cadre historique euclidien,
- en restituant l'lgance et la rigueur de la dmonstration d'Euclide,
- en dveloppant partir de l quelques ides sur la question de l'infini.
Dveloppons un peu ce dernier point. Il ne s'agit pas d'aborder l'infini avec
les outils de la thorie des ensembles en TS. Mais il est possible de citer
quelques paradoxes apparus ds l'antiquit sur la question de l'infini. Les plus
cits sont ceux de Znon d'le, mais ils sont difficiles interprter et portent
plutt sur le problme du continu14.
La notion commune n8 des lments d'Euclide,
Et le tout est plus grand que la partie15
ne pose aucun problme quand on reste dans le domaine du fini, mais a t une
source inpuisable de paradoxes lorsqu'on s'est situ dans le domaine de l'infini.
Nous pouvons citer Proclus (Vme sicle de notre re) qui, aprs avoir constat
qu'un diamtre coupe un cercle en deux demi-cercles, crit :
Si par le centre on peut mener une infinit de diamtres, il en
rsultera que les demi-cercles sont doublement infinis quant au
nombre. Cette difficult a t invoque par certains contre l'infini
divisibilit des grandeurs. Nous rpondrons qu'une grandeur est
divisible l'infini, mais non pas en une infinit de parties. []
Avec un diamtre sont donc engendrs deux demi-cercles et les
diamtres ne sont jamais infinis en nombre, mme si on peut
indfiniment en prendre.16
Au VIme sicle, un autre auteur, Jean Philopon, s'oppose l'ide d'un
monde sans commencement :
Si le monde tait sans commencement, le nombre (des hommes)
engendrs jusqu'au temps de Socrate, par exemple, serait infini, mais
si on ajoutait ce nombre celui des hommes engendrs depuis Socrate
jusqu'au temps prsent, alors quelque chose serait plus grand que
l'infini, ce qui est impossible. Et le nombre des hommes engendrs
tant infini, celui des chevaux engendrs tant infini, l'infini serait
14
Lire ce sujet : M. Caveing, Znon d'le. Prolgomnes aux doctrines du continu. tude
historique et critique des Fragments et tmoignages, Vrin, Paris, 1982.
15
Euclide, Les lments, volume 1, page 179.
16
Cit par Tony Levy dans : T. Levy, Figures de l'infini, les mathmatiques au miroir des cultures, Le
Seuil, Paris, 1987, page 74.
12
donc doubl ; si l'on y ajoute le nombre des chiens, l'infini serait tripl
(). Voil qui est impossible l'extrme. Car il n'est rien plus grand
que l'infini 17
Citons enfin Galile :
Salviati : Si je dis que les nombres pris dans leur totalit, en
incluant les carrs et les non-carrs, sont plus nombreux que les
carrs seuls, j'noncerais, n'est-ce pas une proposition vraie.
Simplicio : Trs certainement.
Salviati : Si je demande maintenant combien il y a de nombres
carrs, on peut rpondre sans se tromper, qu'il y en a autant que de
racines correspondantes, attendu que tout carr a sa racine et toute
racine son carr, qu'un carr n'a pas plus de racine, et une racine pas
plus d'un carr.
Simplicio : Exactement.
Salviati : Mais si je demande combien il y a de racines, on ne
peut nier qu'il y en a autant que de nombres, puisque tout nombre est
la racine d'un carr ; cela tant, il faudra donc dire qu'il y a autant de
nombres carrs qu'il y a de nombres, puisqu'il y a autant de racine, et
que les racines reprsentent l'ensemble des nombres ; et pourtant
nous disions au dbut qu'il y a beaucoup plus de nombres que de
carrs, tant donn que la plus grande partie des nombres ne sont pas
des carrs []
Simplicio : Qu'en conclure dans ces conditions ?
Salviati : mes yeux la seule issue possible est de dire que
l'ensemble des nombres est infini, que le nombre des carrs est infini,
et le nombre de leurs racines pareillement ; que le total des carrs
n'est pas infrieur l'ensemble des nombres, ni celui-ci suprieur
celui-l, et, finalement que les attributs "gal", "plus grand" et "plus
petit" n'ont pas de sens pour les quantits infinies, mais seulement
pour les quantits finies.18
On peut aprs cela donner un statut positif la notion d'ensemble infini
avec la dfinition de Dedekind d'un ensemble infini comme ensemble en
correspondance biunivoque avec un de ses sous-ensembles stricts.
17
T. Levy, Figures de l'infini , page 85. On trouvera dans cet ouvrage des citations se rapportant au
mme problme chez de nombreux auteurs arabes, ou dans l'Europe du Moyen Age.
18
G. Galile, Discours et dmonstrations mathmatiques concernant deux sciences nouvelles, trad. M.
Clavelin, Armand Colin, Paris, 1970. On trouvera cet extrait, ainsi que d'autres approches sur l'infini
en mathmatiques dans T. Gilbert et N. Rouche, La notion d'infini, Ellipses, Paris, 2001.