QUELQUES THÉORÈMES FAMEUX FICHE 20
Le postulat de Bertrand
Si
, il y a au moins un nombre premier p dans l'intervalle
.
Le mathématicien Joseph Bertrand a formulé cet énoncé en 1845. Ce résultat a été démontré en
1850 par le mathématicien russe P.L.Tchebycheff.
Ex 20.1 Vérifier le postulat de Bertrand pour les entiers
; 10 ; 20 ; 40 ; 80 ; 160.
Le théorème de Dirichlet
Si a et b sont deux entiers naturels premiers entre eux, il y a une infinité de nombres premiers de
la forme
. (n désignant un entier naturel)
Ex 20.2 Montrer en utilisant le théorème de Dirichlet qu'il y a une infinité de nombres premiers
dont le chiffre des unités est un 7 (dans le système décimal).
Montrer aussi qu'il y a une infinité de nombres premiers dont l'écriture décimale nécessite au
moins 100 zéros consécutifs.
Ex 20.3 Dans ce problème, on démontre le théorème de Dirichlet dans le cas particulier où
et
.
a) Montrer que tout nombre premier p,
, est de la forme
ou
.
b) Prouver que si un nombre non premier est de la forme
alors il admet au moins un
diviseur premier de la forme
.
c) On se donne un nombre premier p de la forme
, et on note N le produit de tous les
nombres premiers inférieurs ou égaux à p augmenté de 1 :
.
Démontrer que N est un nombre de la forme
.
Déduire de ce qui précède qu'il y a une infinité de nombre premiers de la forme
.
Le petit théorème de Fermat
Si p est un nombre premier et a un entier quelconque alors
est divisible par p.
Symboliquement :
.
Ex 20.4 Effectuer la preuve du petit théorème de Fermat, pour cela, on procédera comme suit :
a) Montrer que, si a est divisible par p, alors
est divisible par p.
b) Si a n'est pas divisible par p, on considère les
entiers suivants :
ainsi que leurs restes dans la division euclidienne par p, notés :
.
Montrer qu'aucun de ces restes n'est nul. (Ce sont donc des entiers compris entre 1 et
.)
Montrer qu'il n'y a pas deux restes égaux.
En multipliant membre à membre les congruences :
,
,
, ...,
, montrer que
ppap p!)1(!)1( 1
, puis à l'aide du théorème de
Gauss que
, et donc que
.
c) Conclure.