Soit $n$ un entier naturel. Il convient tout d’abord de remarquer que la racine carrée de $n$ est inférieure ou égale à $\frac{n+1}{2}.$ En effet :
Ainsi :
Par définition, un entier naturel supérieur ou égal à $2$ qui n’est pas premier sera qualifié de composé.
Le résultat à démontrer
Il s’agit d’établir que, pour tout entier naturel $n$ impair supérieur ou égal à $3\comma$ vous avez l’équivalence :
Note. Ce résultat a déjà été établi dans un autre article. Une démonstration plus succincte est présentée dans ce contenu.
Pour en savoir davantage, allez lire le contenu rédigé dans l'article 296.
Démontrez le sens $\implies$
Soit $n$ un entier naturel impair composé supérieur ou égal à $3.$ Il existe deux entiers naturels $a$ et $b$ compris entre $2$ et $n-1$ tels que $n=ab.$
Si $a$ est pair, alors $2\mid a.$ Comme $a\mid n$ vous déduisez par transitivité que $2\mid n$ donc $n$ est pair ce qui est absurde. De même si $b$ est pair, il vient $2\mid b$ puis $b\mid n$ donc $2\mid n$ du coup $n$ est pair, contradiction. Donc $a$ et $b$ sont impairs.
Le reste de la division euclidienne de $a$ par $2$ est donc égal à $1.$ De même, le reste de la division euclidienne de $b$ par $2$ est égal à $1.$ Il existe deux entiers naturels $a’$ et $b’$ tels que $a = 2a’+1$ et $b = 2b’+1$ d’où $a+b = 2(a’+b’+1)$ ce qui prouve que $a+b$ est pair. Ainsi $\frac{a+b}{2}$ est un entier naturel. En utilisant le même raisonnement, $a – b = 2(a’-b’)$ donc $a-b$ est un entier relatif pair et $\frac{a-b}{2}$ est un entier relatif.
Vous posez maintenant $k = \frac{a+b}{2}.$ Il a été vu que $k\in\N.$
Comme $a\gt1$ et comme $b\gt1\comma$ le produit $(a-1)(b-1)$ est strictement positif. En développant, vous obtenez :
Maintenant, $k^2-n$ est le carré d’un entier relatif. En effet :
Comme un carré est positif, il vient $k^2-n \geq 0$ puis $k^2\geq n$ et enfin $k\geq \sqrt{n}$ ce qui donne le résultat.
Démontrez le sens $\impliedby$
Soit $n$ un entier naturel impair supérieur ou égal à $3.$ Vous supposez qu’il existe un entier naturel $k$ tel que :
Comme $n\geq 3$ il vient $\sqrt{n}\geq 1$ donc $k\geq 1.$
Il existe un entier relatif $u$ tel que $k^2-n=u^2 = (\vert u \vert)^2.$ En posant $\ell = \vert u \vert$ il vient :
Comme $2k \lt n+1$ vous déduisez ce qui suit :
Comme $\ell$ et $k-1$ sont positifs, vous déduisez $\ell \lt k-1$ donc $1\lt k-\ell.$
Ainsi, l’entier $k-\ell$ est supérieur ou égal à $2$ et divise $n.$
Si $n$ était premier, alors $k-\ell = n$ puisque $k-\ell$ est un diviseur positif de $n$ différent de $1.$ L’égalité $(k+\ell)(k-\ell) = n$ s’écrirait $n(k+\ell) = n$ d’où $k+\ell =1.$ Comme $k\geq 1$ et $\ell\geq 0\comma$ cela impose $k=1$ et $\ell = 0\comma$ donc $k-\ell = 1\comma$ ce qui contredit le fait que $k-\ell$ est supérieur ou égal à $2.$
Donc $n$ est composé.
Application : factorisez $2279$
Cherchez d’abord le plus petit carré parfait qui soit supérieur ou égal à $2279.$
Comme $40^2 = 1600$ et comme $50^2=2500$ vous prenez $45^2=2025.$
Ce nombre étant strictement inférieur à $2279$ vous calculez le carré suivant.
Vous poursuivez :
Vous continuez :
Comme $48^2 \geq 2279$ vous évaluez la différence suivante :
Ainsi $2279$ va être factorisé comme suit :
Application : factorisez $10541$
Vous avez $100^2 =10000$ ce qui vous amène à calculer le carré parfait suivant.
Comme $10201\lt 10541$ vous poursuivez.
Comme $10404\lt 10541$ vous poursuivez.
Étant donné que $10609\geq 10541$ vous calculez la différence suivante :
Comme $68$ n’est pas un carré parfait, vous calculez la prochaine différence :
Comme $275$ n’est pas un carré parfait, vous calculez la prochaine différence :
Ainsi, $10541$ est factorisable et :
Prolongement
Un autre exemple est détaillé dans un autre article.
Pour en savoir davantage, allez lire le contenu rédigé dans l'article 295.
