59
Démo
[Raisonner.
]
Soit
n un entier supérieur ou égal à
2. On veut montrer qu'il existe des nombres premiers
p_1,
p_2, … ,
p_{\ell} et des entiers naturels non nuls
\alpha_1,
\alpha_2, ... ,
\alpha_{\ell} tels que
n=p_{1}^{\alpha_{1}} \times p_{2}^{\alpha_{2}} \times \ldots \times p_{\ell}^{\alpha_{\ell}}.
Pour cela, on va raisonner par récurrence sur la proposition
\mathrm{P}_n : « Tout entier
r compris entre
2 et
n se décompose en produit de nombres premiers. »
1. Pour quelle valeur de n doit‑on initialiser le raisonnement ? Rédiger cette étape.
2. On suppose qu'il existe un entier k tel que \mathrm{P}_k est vraie. Rédiger la suite du raisonnement par récurrence, en utilisant une disjonction des cas en fonction de la primalité de k+1, puis conclure.