Vous êtes sur la page 1sur 2

EXERCICE 2 (5 points )

Candidats ayant suivi lenseignement de spcialit On rappelle la proprit, connue sous le nom de petit thorme de Fermat : soit p un nombre premier et a un entier naturel premier avec p ; alors ap1 est divisible par p . 1) Soit p un nombre premier impair. a) Montrer quil existe un entier naturel k, non nul, tel que 2k 1 [p].

b) Soit k un entier naturel non nul tel que 2k 1 [p] et soit n un entier naturel. Montrer que si k divise n, alors 2n 1 [p]. c) Soit b tel que 2b 1 [p], b tant le plus petit entier non nul vriant cette proprit. Montrer, en utilisant la division euclidienne de n par b, que si 2n 1 [p], alors b divise n. 2) Soit q un nombre premier impair et le nombre A = 2q 1. On prend pour p un facteur premier de A. a) Justier que : 2q 1 [p].

b) Montrer que p est impair. c) Soit b tel que 2b 1 [p], b tant le plus petit entier non nul vriant cette proprit. Montrer en utilisant 1) que b divise q. En dduire que b = q. d) Montrer que q divise p 1, puis montrer que p 1 [q]. 3) Soit A1 = 217 1. Voici la liste des nombres premiers infrieurs 400 et qui sont de la forme 34m + 1, avec m entier non nul : 103, 137, 239, 307. En dduire que A1 est premier.

EXERCICE 2 Candidats ayant suivi lenseignement de spcialit

1. a. Un diviseur commun 2 et p est en particulier un diviseur de 2 et donc est gal 1 ou 2. Comme p est impair, 2 ne divise pas p et nalement un diviseur commun 2 et p est ncessairement gal 1. Ainsi, 2 et p sont premiers entre eux. Daprs le petit thorme de Fermat, on a alors 2p1 1 [p]. Lentier k = p 1 est donc un entier naturel non nul (car p 3 et donc p 1 2) tel que 2k 1 [p]. b. Soit k un entier naturel non nul tel que 2k 1 [p] et soit n un entier naturel multiple de k. Il existe donc un entier naturel q tel que n = k q. Mais alors, puisque 2n = 2kq = (2k )q , on a 2n 1q [p] ou encore 2n 1 [p].

c. Soit n un entier naturel tel que 2n 1 [p]. La division euclidienne de n par b scrit n = bq + r o q est un entier naturel et r un entier naturel tel que 0 r b 1. On a alors 2n = (2b )q 2r 2r et donc 2r 1 [p]. [p],

r est donc un entier naturel strictement infrieur b et vrie 2r 1 Ceci montre que b divise n.

[p]. Par dnition de b, on a ncessairement r = 0.

2. a. Puisque p est un facteur premier de A, p divise A ce qui scrit 2q 1 0 [p] ou encore 2q 1 [p]. b. Lentier q est suprieur ou gal 1. Par suite, 2q est un nombre pair et donc A est un nombre impair. p ne peut donc pas tre gal 2 et comme 2 est le seul nombre premier pair, ncessairement p est impair. c. q est un entier naturel non nul et vrie 2q 1 [p]. Puisque p est impair, la question 1.c. permet darmer que b divise q. Comme q est un nombre premier, on a ncessairement b = 1 ou b = q. Mais si b = 1, par dnition de b on a 21 1 [p] ou encore 1 0 [p]. Ceci signie que p divise 1 ce qui nest pas. Donc b = q. d. Daprs le petit thorme de Fermat, 2p1 1 [p]. Puisque p 1 est un entier naturel non nul et que b = q, la question 1.c. permet darmer que q divise p 1. Ceci scrit encore p 1 0 [q] ou aussi p 1 [q]. 3. Dans cette question, on prend q = 17. Daprs la question 2.d., un facteur premier p impair de A1 est congru 1 modulo 17 ou encore est de la forme 17k + 1, k N . p tant impair, lentier 17k doit tre pair et il en est de mme de k. Donc, il existe un entier naturel m tel que k = 2m puis p = 34m + 1. Dautre part, on sait quun entier naturel suprieur ou gal 2 nest pas premier si et seulement si il est divisible par au moins un nombre premier infrieur ou gal sa racine carre. Or 217 1 < 217 = 28,5 = 362, . . . < 400. Ainsi, lentier A1 nest pas premier si et seulement si il est divisible par lun des entiers 103, 137, 239 ou 307. Maintenant, 217 = (27 )2 23 . Or 27 = 128 et donc 27 25 [103] puis 217 (25)2 8 [103] ou encore, puisque (25)2 = 625 = 618 + 7 = 6 103 + 7, 217 7 8 [103] ou enn 217 56 [103]. En particulier, 217 1 [103]. A1 nest donc pas divisible par le nombre premier 103. 217 = (27 )2 23 = (128)2 8 et (128)2 (9)2 [137]. Ceci fournit 217 81 8 [137] ou encore 217 648 [137] ou enn 217 100 [137]. A1 nest pas divisible par le nombre premier 137. 217 = (28 )2 2 = 2562 2. Donc 217 (17)2 2 [239] ou encore 217 100 [239]. A1 nest donc pas divisible par le nombre premier 239. 217 = (28 )2 2 = 2562 2. Donc 217 (51)2 2 [307] ou encore 217 5202 [307] ou enn 217 290 [307]. A1 nest donc pas divisible par le nombre premier 307. Finalement Lentier 217 1 est un nombre premier.

http ://www.maths-france.fr

c Jean-Louis Rouget, 2007. Tous droits rservs.