
Terminale S. 2008/2009.
Spé. Maths.
- 3 -
Or
pour n≥1 et
pour n≥5 donc a est le produit de deux entiers supérieurs
ou égaux à 2 et ne peut donc être premier.
Regardons les cas où n=3 et n=4.
Si n=3, on a a=0 et donc a n’est pas premier.
Si n=4, alors a=5 et a est premier.
3°) L’infinitude des nombres premiers.
Corollaire. L’ensemble ℘ des nombres premiers est infini.
Démonstration. Par l’absurde comme préconisée dans le programme.
Supposons que l’ensemble ℘ des nombres premiers est fini et soit alors ℘={p1, p2,…, pn} la
liste des nombres premiers. Posons N=p1×p2×…×pn+1 un entier naturel, on a : N≥2 donc, N
admet un diviseur premier pi qui est dans la liste.
Ainsi,
et
donc
c’est à dire que
donc
p≤1 ce qui est absurde pour un nombre premier.
Conclusion N est un entier qui n’est pas divisible par l’un des nombres premiers pi de la liste,
donc d’après le théorème I), il est premier ou possède ou diviseur premier qui n’est pas dans
la liste ; dans les deux cas, cette liste n’est pas finie.
II- DECOMPOSITION D’UN ENTIER NATUREL EN PRODUIT DE FACTEURS PREMIERS.
1°) Le théorème fondamental de l’arithmétique.
Théorème (théorème fondamental de l’arithmétique).
Tout entier naturel n≥2 est premier ou se décompose en un produit de facteurs premiers.
Cette décomposition est unique à l’ordre près des facteurs.
Démonstration.
• Si n est premier, la propriété est établie.
• Si n n’est pas premier, alors son plus petit diviseur n1≥2 est premier et donc il
existe un entier naturel q tel que
avec
(avec
car sinon
n1=n ce qui entraîne n premier puisque n1 l’est, ce qui est absurde).
• Si q est premier alors
et la propriété est établie.
• Si q n’est pas premier, alors son plus petit diviseur q1≥2 est premier et il
existe un entier naturel q2 tel que
avec
et donc
.
On réitère le processus avec q2. Ainsi, on construit une suite d’entiers qi
strictement décroissante (les quotients successifs sont de plus en plus petits)
. Cette suite est finie et le dernier d’entre eux est
nécessairement premier (sinon on continuerait), donc
avec les
qi premiers.
Comme ces qi ne sont pas forcément distincts, on peut les regrouper.
du
théorème
I)