par Anonyme » 30 Avr 2005, 18:04
> Je souhaiterais savoir s'il n'existe pas un moyen simple de voir la
> primalité
> de 2^11 - 1 ..
>
> Bien entendu, sans faire appel aux nombres de Mersennes ... sans aucune
> théorie
> au-delà du programme de Terminale S ...
>
> Je ne vois pour ma part que la manière "bête" : ENT(rac(2^11 - 1)) = 45.
> On teste donc avec tous les nombres premiers inférieurs à 45 ... Mais ça
> me
> semble long pour une première question de bac (donné en 1973)...
Supposons que 2^11-1 ne soit pas premier: il a alors un facteur premier
p<45, et 2^11=1 mod p.
En multipliant par (p+1)/2 (possible car p est forcément impair, vu que
2^11-1 est impair), qui est inverse de 2 modulo p: 2^10=(p+1)/2 mod p. Ainsi
(p+1)/2 est un carré non nul modulo p, donc son inverse 2 aussi. On a donc:
2^((p-1)/2)=1 mod p.
Sachant que les seules valeurs possibles de p sont 3, 5, 7, 11, 13, 17, 19,
23, 31, 37, 41 et 43, on a respectivement (p-1)/2=1, 2, 3, 5, 6, 8, 9, 11,
15, 18, 20 et 21. Les puissances modulo p se calculent facilement:
2^1=2 mod 3
2^2=4 mod 5
2^3=8=1 mod 7
2^5=32=10 mod 11
2^6=64=12 mod 13
2^8=16^2=1 mod 17
2^9=2*16^2=18 mod 19
2^11=1 mod 23
2^15=32^3=1 mod 31
2^18=8*32^3=8*(-125)=8*23=36 mod 37
2^20=(1024)^2=(-1)^2=1 mod 41
2^21=128^3=(-1)^3=42 mod 43
Les seuls facteurs premiers possibles de 2047 sont donc 7, 17, 23, 31 et 41.
Or: 2100 est un multiple de 7, et pas 53, donc 2047 ne l'est pas.
1717 est multiple de 17, donc 330 le serait aussi si 2047 l'était, donc 347,
donc 7 aussi: absurde.
2047=23*89, donc 2^11-1 n'est pas premier...
Un peu tordu, mais fait sans calculette!
--
Mû