Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

350. Extraction d’une racine carrée entière en commençant avec une multiplication par 5

Si on veut se passer de division, il est possible de calculer la racine carrée entière d’un nombre entier $n$ en utilisant des soustractions successives. Une variante est proposée ici : le nombre de départ dont on souhaite connaître la racine carrée entière est multiplié par $5$ dès le début, ce qui va faciliter le déroulement des étapes ultérieures.

Note. Cette technique évite d’avoir à gérer des multiplications par $2$ qui apparaissent dans la méthode de la potence.

Étudiez la situation sur un exemple

Soit $n = 1562$ un nombre dont on veut connaître la racine carrée entière.

Il s’agit de déterminer l’unique entier $p$ tel que $p\leq \sqrt{n} < p+1.$

Vous formez immédiatement le nombre $m = 5n =7810.$ Vous écrivez ce nombre $m$ comme une succession de tranches de $2$ chiffres, soit $m = 78\ 10.$

Première étape

Vous partez de la première tranche, $78$ en retirez successivement $5$, $15$, $25$ etc et vous stoppez juste avant de trouver un nombre strictement négatif.

Cette étape peut être formalisée dans le tableau ci-dessous :

\begin{array}{|c|c|c|c|}
\hline
78 & 73 & 58 & 33 \\
\hline
5 &  15 & 25 &\\
\hline
\end{array}

Cette étape montre que :

78 = (5+15+25) + 33.

Le nombre de soustractions effectuées est égal à $3$, soit autant de termes contenus dans la somme $5+15+25.$

En vertu des sommes formées par les termes consécutifs d’une suite arithmétique, vous avez :

\begin{align*}
5+15+25 &= 3\times \frac{5+25}{2}\\
& = \frac{3\times 30}{2}\\
&= 3\times 3\times \frac{10}{2}\\
&= 5\times 3^2.
\end{align*} 

Ainsi :

78 = 5\times 3^2 + 33.

Note. Le chiffre $3$ est le premier du résultat de la racine carrée entière cherchée.

Deuxième étape

Vous prenez le reste, à savoir $33$ et vous collez les chiffres de la tranche d’après de $m$, ce qui fournit le nombre $3310.$

Le nombre de soustractions effectuées précédemment est égal à $3$, vous collez à ce nombre $05$ ce qui fait $305.$ Puis vous allez, à partie de $3310$ retrancher $305$, $315$, $325$, $335$ etc et vous stoppez juste avant d’obtenir un nombre strictement négatif.

\begin{array}{|c|c|c|c|c|c|c|c|c|c|}
\hline
3310 & 3005 & 2690 & 2365 & 2030& 1685 &1330 & 965& 590& 205\\
\hline
305 &  315 &  325 & 335 &345 & 355 & 365 & 375 & 385\\
\hline
\end{array}

Vu que le nombre de soustractions est égal à $9$, d’après le tableau et les sommes de termes consécutifs d’une suite arithmétique, il vient :

\begin{align*}
3310 &= (305+315+\cdots+385)+205\\
&= 9\times \frac{690}{2}+205\\
&= 9\times 69\times 5+205\\
&= (9\times 60 + 9^2)\times 5 + 205\\
&= (2\times 9\times 30 + 9^2)\times 5 + 205.
\end{align*}

Vous constatez que l’autre facteur de la multiplication par $5$ contient la fin d’une identité remarquable.

Note. Le chiffre $9$ est le deuxième du résultat de la racine carrée entière cherchée.

Comment prouve-t-on que la racine carrée entière de $1562$ est bien $39$ ?

Vous partez de la première étape, vous multipliez par $100$ et vous ajoutez $10$, ce qui fournit :

\begin{align*}
78 &= 5\times 3^2 + 33\\
7800 &= 5\times 3^2 \times 100 + 3300\\
7810 &= 5\times 3^2 \times 10^2 + 3310\\
7810 &= 5\times 30^2 + 3310.
\end{align*} 

En appliquant la deuxième étape, il vient :

\begin{align*}
7810 &= 5\times 30^2 + (2\times 9\times 30 + 9^2)\times 5 + 205\\
&= 5(30^2 + 2\times 9\times 30+9^2) + 205\\
&= 5\times 39^2 + 205.
\end{align*} 

En divisant par $5$, il vient :

1562 = 39^2 + 41.

Il est donc établi que :

1562 \geq 39^2.

Or :

\begin{align*}
39^2+41 &< 39^2+39+40\\
1562 &< 40^2.
\end{align*} 

De ces deux encadrements, vous obtenez :

\begin{align*}
39^2&\leq 1562 < 40^2\\
39 &\leq \sqrt{1562}< 40.
\end{align*} 

Autrement dit, la racine carrée entière de $1562$ est égale à $39.$

Cas où $n\leq 1999$

Soit $n$ un entier naturel inférieur ou égal à $1999$, de sorte que $5n<9995.$

En posant $m = 5n$, vous constatez que $m$ possède deux tranches de deux chiffres, autrement dit, $m = 100c+u$ où $c$ est $u$ sont deux entiers naturels inférieurs ou égaux à $99.$ Comme $m$ est un multiple de $5$, l’entier $u$ est aussi un multiple de $5$ et vaut $95$ au maximum.

La première tranche

Comme tout à l’heure, vous effectuez un certain nombre de soustractions (voire aucune), vous retranchez à $c$ les entiers $5$, $15$, $25$ juste avant de trouver un nombre strictement négatif. Tous ces entiers sont de la forme $10k-5$ avec $k$ entier supérieur ou égal à $1.$

Soit $k$ le nombre de soustractions effectuées.

Premier cas. Supposez $c\geq 5.$ Alors $k\geq 1.$

Les deux inégalités sont vérifiées :

\begin{align*}
& 5+\dots+(10k-5) \leq c\\
&c <  5+\dots+(10k+5).
\end{align*} 

Le nombre de termes de la somme $5+\dots+(10k-5)$ est égal à $k$, si bien que :

\begin{align*}
5+\dots+(10k-5) &= k\times \frac{5+10k-5}{2}\\
&=5k^2.
\end{align*}

Le nombre de termes de la somme $5+\dots+(10k-5)$ est égal à $k+1$, si bien que :

\begin{align*}
5+\dots+(10k+5) &= (k+1)\times \frac{5+10k+5}{2}\\
&= (k+1)\times \frac{10(k+1)}{2}\\
&=5(k+1)^2.
\end{align*}

Par ce procédé, pour trouvez un entier $k$ tel que :

5k^2\leq c < 5(k+1)^2.
\begin{array}{|c|c|c|c|}
\hline
c & \dots & \dots & c-5k^2 \\
\hline
5 & \dots & \dots &\\
\hline
\end{array}

Remarquez que $c<100$ si bien que $5k^2< 100$ donc $k^2<20$ d’où $k^2<25$ donc $k<5$ puis $k\leq 4.$ Ainsi $k$ est bien un chiffre.

Second cas. Supposez $c<5.$ Alors le nombre de soustractions est égal à $0$ et vous posez $k=0.$ Comme $5(k+1)^2 =20 $·K² 5, l’inégalité $5k^2\leq c < 5(k+1)^2$ est encore satisfaite.

Dans les deux cas, l’inégalité $\boxed{5k^2\leq c < 5(k+1)^2}$ est valable et $k\in\llbracket 0, 4\rrbracket$ est un chiffre.

La seconde tranche

Lorsque vous effectuez les $k$ soustractions précédentes au nombre $c$, vous obtenez un reste qui est égal à :

r = c-5k^2.

Comme $c <5(k+1)^2$ il convient de noter que $c<5(k^2+2k+1)$ donc $c-5k^2< 10k+5.$

Il s’ensuit que $\boxed{0\leq r \leq 10k+4.}$

A partir de ce reste, vous collez la deuxième tranche $u.$ Or c’est multiplier $r$ par $100$ et ajouter $u.$

Le nombre $p = 100r+u$ est ainsi obtenu.

C’est à partir de ce nombre que vous allez coller $05$ au chiffre $k$ calculé précédemment.

Concrètement, vous allez soustraire $100k+5$, $100k+15$, $100k+25$ au nombre $p$ jusqu’à vous arrêter avant de tomber sur un nombre strictement négatif.

Notez $\ell$ le nombre de soustractions effectuées.

Premier cas. Supposez que $p\geq 100k+5$, soit $p\geq 5(20k+1)$ de sorte que $\ell \geq 1.$

Alors :

\begin{align*}
& (100k+5)+\dots+(100k+10\ell-5) \leq p\\
&p <  (100k+5)+\dots+(100k+10\ell+5).
\end{align*} 

Le nombre de termes de la somme $(100k+5)+\dots+(100k+10\ell-5)$ est égal à $\ell$, si bien que :

\begin{align*}
(100k+5)+\dots+(100k+10\ell-5)  &= \ell\times \frac{100k+5+100k+10\ell-5}{2}\\
&=\ell\times \frac{200k+10\ell}{2}\\
&=\ell\times (100k+5\ell)\\
&=5\ell\times (20k+\ell).
\end{align*}

Le nombre de termes de la somme $(100k+5)+\dots+(100k+10\ell+5)$ est égal à $\ell+1$, si bien que :

\begin{align*}
(100k+5)+\dots+(100k+10\ell+5)  &= (\ell+1)\times \frac{100k+5+100k+10\ell+5}{2}\\
&=(\ell+1)\times \frac{200k+10\ell+10}{2}\\
&=(\ell+1)(100k+5\ell+5)\\
&=5(\ell+1)(20k+\ell+1).
\end{align*}

Par ce procédé, vous trouvez un entier $\ell$ tel que :

\boxed{5\ell\times (20k+\ell) \leq p < 5(\ell+1)(20k+\ell+1).}
\begin{array}{|c|c|c|c|c|c|c|c|c|c|}
\hline
p = 100r+u & \dots & \dots & \dots & \dots& \dots &\dots & \dots& \dots&p-5\ell\times (20k+\ell)\\
\hline
100k+5 & \dots &  \dots & \dots &\dots & \dots & \dots & \dots & \dots\\
\hline
\end{array}

Second cas. Supposez que $p< 100k+5$, soit $p< 5(20k+1)$ de sorte que $\ell = 0.$ Alors, $p$ étant positif, l’inégalité $5\ell\times (20k+\ell) \leq p < 5(\ell+1)(20k+\ell+1)$ est encore valable : en effet, quand $\ell=0$ vous avez $5(\ell+1)(20k+\ell+1) = 5(20k+1).$

Le nombre $\ell$ est bien un chiffre

Raisonnez par l’absurde en supposant que $\ell \geq 10.$

Du coup :

\begin{align*}
& p\geq 50(20k+10)\\
&p  \geq 1000k+500\\
&100r+u\geq 1000k+500.

\end{align*}

Comme $95\geq u$ vous déduisez ce qui suit :

\begin{align*}
&100r+95\geq 100r+u\\
&100r+95 \geq 1000k+500.
\end{align*}

Cela fournit :

100r\geq 1000k+405.

Il a été montré précédemment que :

r\leq 10k+4.

Après multiplication par $100$, il vient :

100r\leq 1000k+400 < 1000k+405\leq 100r.

D’où la contradiction recherchée.

Donc $\ell$ est bien un chiffre.

Prouvez que la racine carrée entière de $n$ est égale à $10k+\ell$

Vous partez de l’encadrement obtenu à partir de la deuxième tranche et l’ensemble s’enchaîne :

\begin{align*}
5 (20k+\ell) &\leq p < 5(\ell+1)(20k+\ell+1)\\
5 (20k+\ell) &\leq 100r+u < 5(\ell+1)(20k+\ell+1)\\
5 (20k+\ell) &\leq 100(c-5k^2)+u < 5(\ell+1)(20k+\ell+1)\\
5 (20k+\ell) &\leq 100c-500k^2+u < 5(\ell+1)(20k+\ell+1)\\
5 (20k+\ell)+500k^2 &\leq 100c+u < 5(\ell+1)(20k+\ell+1)+500k^2\\
5 (20k+\ell)+500k^2 &\leq m < 5(\ell+1)(20k+\ell+1)+500k^2\\
5 (20k+\ell)+500k^2 &\leq 5n < 5(\ell+1)(20k+\ell+1)+500k^2\\
 \ell(20k+\ell)+100k^2 &\leq n < (\ell+1)(20k+\ell+1)+100k^2\\
(10k)^2 +2(10k) \ell + \ell^2&\leq n < (10k)^2+2(10k)(\ell+1)+(\ell+1)^2\\
(10k+\ell)^2 &\leq n < (10k+\ell+1)^2.
\end{align*}

Il en résulte que :

\boxed{10k+\ell \leq \sqrt{n} < (10k+\ell)+1.}

Ainsi la racine carrée entière de $n$ a bien été déterminée.

Prolongements

Démontrez que la méthode décrite ci-dessus reste valable pour des nombres plus grands, quitte à rajouter des tranches supplémentaires.

Soit $n$ un entier tel que $n\leq 199999$, de sorte que $5n \leq 999995.$ En découpant $m=5n$ en trois tranches de deux chiffres, vous avez $m = 10000a+100b+c$ où $a$, $b$ et $c$ sont des entiers naturels tels que $a\leq 99$, $b\leq 99$ et $c\leq 95.$

En appelant $k$ le nombre de soustractions de la première tranche, $\ell$ le nombre de soustractions de la deuxième tranche et $h$ le nombre de soustractions de la troisième tranche, démontrez que $k$, $\ell$ et $h$ sont des chiffres et que la racine carrée entière de $n$ est égale à $100k+10\ell+h.$

Généralisez alors à un entier naturel $n$ quelconque : posez encore $m=5n$ que vous découpez en $r$ tranches de deux chiffres et poursuivez.

349. Démontrez que le nombre de Mersenne n°11 n’est pas premier et que le nombre de Mersenne n°13 est premier

Pour tout entier naturel $n$, vous notez $M_n$ le nombre de Mersenne numéro $n$, défini par la formule suivante :

M_n = 2^n-1.

Dans cet article, vous cherchez à déterminer des diviseurs premiers candidats des nombres $M_{11}$ et $M_{13}$ afin d’éviter des tests successifs de divisibilité qui peuvent rapidement devenir longs.

Étudiez le nombre de Mersenne n°11

Analyse

Par définition :

\begin{align*}
M_{11} &= 2^{11}-1\\
&= 2^4 2^4 2^3-1\\
&=16\times 16\times 8 -1\\
&=256\times 8 -1\\
&=2048 - 1\\
&=2047.
\end{align*} 

Supposez que $M_{11}$ ne soit pas un nombre premier. Alors il existe deux diviseurs propres de $M_{11}$, notés $d$ et $d’$, tels que $2\leq d\leq 2046$ puis $2\leq d’\leq 2046$ et $2047 = dd’.$

Si $d$ et $d’$ sont tous les deux strictement supérieurs à $\sqrt{2047}$ il s’ensuit que $dd’ > (\sqrt{2047})^2$ donc $dd’ > 2047$ ce qui est absurde.

Donc $2047$ admet un diviseur propre inférieur ou égal à $\sqrt{2047}.$ Par suite, ce diviseur propre, supérieur ou égal à $2$ est divisible par un nombre premier $p.$ Ce nombre premier $p$ divise donc $2047.$

Comme $40^2 =1600$ et comme $50^2=2500$, vous calculez $45^2 =2025.$ Puis $46^2 =45^2 + 45+46 =2025+45+46 =2070+46 =2116.$ Ces résultats prouvent que $45<\sqrt{2047}<46.$ Comme $p\leq \sqrt{2047} < 46$ vous déduisez que $\boxed{p\leq 45.}$

Il serait possible de tester tous les nombres premiers inférieurs ou égaux à $45$ mais il y en a encore trop.

Un argument de théorie des groupes va permettre de limiter grandement les possibilités.

Comme $2047 = 2^{11}-1$ et comme $p\mid 2^{11}-1$, il s’ensuit que :

2^{11}\equiv 1\mod p.

Cette écriture montre que $2$ est inversible modulo $p$ (et que $2^{10}$ est son inverse modulo $p.$)

Notez $r$ l’ordre de $2$ modulo $p.$ Comme $2^{11} \equiv 1 \mod p$, vous avez $r\mid 11.$ Or, $11$ est un nombre premier, donc $r = 1$ ou $r=11.$

Si $r=1$, alors $2\equiv 1 \mod p$ donc $1\equiv 0 \mod p$ donc $p\mid 1$ ce qui est absurde.

Donc $r=11.$

D’après le petit théorème de Fermat, $2^{p-1}\equiv 1 \mod p$ donc $r\mid p-1$ ce qui s’écrit : $p\equiv 1 \mod 11.$

Vous en déduisez que :

p\in\{1, 12, 23, 34, 45\}.

De cette liste, vous excluez $1$ qui n’est pas premier car strictement inférieur à $2$. Vous excluez $12$ et $34$ qui sont pairs et divisibles par $2$ donc non premiers. Vous excluez aussi $45$ qui est divisible par $5.$

Vous en déduisez que $\boxed{p=23.}$

Synthèse

D’après ce qui précède, si $2047$ n’est pas un nombre premier, il est divisible par $23.$

En effectuant la division, vous constatez que $\frac{2047}{23} = 89.$

Concluez

Ainsi, $2047 = 23\times 89.$

\boxed{M_{11} \text{ n'est pas un nombre premier.}}

Étudiez le nombre de Mersenne n°13

Analyse

Par définition :

\begin{align*}
M_{13} &= 2^{13}-1\\
&= 2^{11} \times 4-1\\
&=2048\times 4 -1\\
&=8192 -1\\
&=8191.
\end{align*} 

Supposez que $M_{13}$ ne soit pas un nombre premier. Alors il existe deux diviseurs propres de $M_{13}$, notés $d$ et $d’$, tels que $2\leq d\leq 8190$ puis $2\leq d’\leq 8190$ et $8191 = dd’.$

Si $d$ et $d’$ sont tous les deux strictement supérieurs à $\sqrt{8191}$ il s’ensuit que $dd’ > (\sqrt{8191})^2$ donc $dd’ > 8191$ ce qui est absurde.

Donc $8191$ admet un diviseur propre inférieur ou égal à $\sqrt{8191}.$ Par suite, ce diviseur propre, supérieur ou égal à $2$ est divisible par un nombre premier $p.$ Ce nombre premier $p$ divise donc $8191.$

Comme $90^2 =8100$ et comme $91^2=90^2+90+91 =8100+181=8281$, vous avez $90<\sqrt{8191}<91.$ Comme $p\leq \sqrt{8191} < 91$ vous déduisez que $\boxed{p\leq 90.}$

Comme $8191 = 2^{13}-1$ et comme $p\mid 2^{13}-1$, il s’ensuit que :

2^{13}\equiv 1\mod p.

Cette écriture montre que $2$ est inversible modulo $p$ (et que $2^{12}$ est son inverse modulo $p.$)

Notez $r$ l’ordre de $2$ modulo $p.$ Comme $2^{13} \equiv 1 \mod p$, vous avez $r\mid 13.$ Or, $13$ est un nombre premier, donc $r = 1$ ou $r=13.$

Si $r=1$, alors $2\equiv 1 \mod p$ donc $1\equiv 0 \mod p$ donc $p\mid 1$ ce qui est absurde.

Donc $r=13.$

D’après le petit théorème de Fermat, $2^{p-1}\equiv 1 \mod p$ donc $r\mid p-1$ ce qui s’écrit : $p\equiv 1 \mod 13.$

Vous en déduisez que :

p\in\{1, 14, 27, 40, 53, 66, 79\}.

De cette liste, vous excluez $1$ qui n’est pas premier car strictement inférieur à $2$. Vous excluez $14$, $40$ et $66$ qui sont pairs et divisibles par $2$ donc non premiers. Vous excluez aussi $27$ qui est divisible par $3.$

Du coup :

\boxed{p\in\{ 53, 79\}.}

Synthèse

D’après ce qui précède, si $M_{13} = 8191$ n’est pas un nombre premier, il est divisible par $53$ ou par $79.$

Or, les divisions montrent que $154<\frac{8191}{53}<155$ et que $103<\frac{8191}{79}<104.$

Par contraposée, comme $8191$ n’est divisible ni par $53$, ni par $79$, il est premier.

Concluez

\boxed{M_{13} \text{ est un nombre premier.}}

348. Minorez le PPCM des n premiers entiers naturels

Dans cet article, vous allez démontrer que pour tout entier $n$ non nul, le plus petit multiple commun des entiers naturels allant à de $1$ à $n$, est supérieur ou égal à $\frac{2^n}{4}$, ce qui s’écrit :

\forall n\geq 1, \quad PPCM(1,\dots,n) \geq \frac{2^n}{4}.

Une inégalité et du second degré

Tout d’abord, Ppour tout réel $x$ appartenant à l’intervalle $[0,1]$ vous aller montrer que $x(1-x)\leq \frac{1}{4}.$

Vous fixez un réel $x$ compris entre $0$ et $1.$

\begin{align*}
4x(1-x)-1 &= 4x-4x^2-1\\
&= -(4x^2-4x+1)\\
&= -(2x-1)^2.
\end{align*}

Le réel $4x(1-x)-1$ est égal à l’opposé d’un carré, il est donc négatif ou nul. Il s’ensuit que :

\begin{align*}
4x(1-x)-1 \leq 0\\
4x(1-x)\leq 1\\
x(1-x)\leq \frac{1}{4}.
\end{align*}

Lien entre un PPCM et une intégrale

Soit $n$ un entier naturel non nul.

Pour tout $x\in [0,1]$, le réel $x(1-x)$ est positif et il est inférieur à $\frac{1}{4}.$ En élevant à la puissance $n$, il vient :

\begin{align*}
(x(1-x))^n\leq \frac{1}{4^n}\\
x^n(1-x)^n \leq \frac{1}{4^n}.
\end{align*}

En intégrant sur l’intervalle $[0,1]$ vous définissez une intégrale notée $I = \int_0^1 x^n(1-x)^n\dx$ et vous avez :

\boxed{I\leq \frac{1}{4^n}.}

En utilisant la formule du binôme, vous avez :

(1-x)^n = \sum_{k=0}^n\binom{n}{k}(-1)^{k}x^k.

En multipliant par $x^n$ il vient :

x^n(1-x)^n = \sum_{k=0}^n \binom{n}{k}(-1)^kx^{n+k}.

En intégrant sur l’intervalle $[0,1]$ vous définissez une intégrale notée $I$ qui se calcule de la façon suivante :

\begin{align*}
I &= \int_0^1 x^n(1-x)^n\dx\\
&= \int_0^1 \sum_{k=0}^n \binom{n}{k}(-1)^kx^{n+k}\dx \\
&=\sum_{k=0}^n \binom{n}{k} (-1)^k\int_0^1 x^{n+k}\dx \\
&= \sum_{k=0}^n \binom{n}{k} (-1)^k\  \left[\frac{x^{n+k+1}}{n+k+1}\right]_0^1\\
&=\sum_{k=0}^n \binom{n}{k} (-1)^k\  \frac{1}{n+k+1}.
\end{align*}

Notez $\mu = PPCM(1,\dots,2n+1)$ le plus petit multiple commun de tous les entiers naturels allant de $1$ jusqu’à $2n+1.$

Vous avez :

\mu I = \sum_{k=0}^n \binom{n}{k} (-1)^k\  \frac{\mu}{n+k+1}.

Or, par définition de $\mu$, quel que soit $k\in\llbracket 0, n\rrbracket$, $n+k+1 \mid \mu$ donc $\frac{\mu}{n+k+1}\in\N.$

Pour tout $k\in \llbracket 0, n\rrbracket$ le coefficient binomial $\binom{n}{k}$ est un nombre entier. Par produit et par somme, vous déduisez que $\mu I$ est un nombre entier relatif.

D’autre part, en utilisant la relation de Chasles sur les intégrales :

I = \int_{0}^{1/4} x^n(1-x)^n\dx + \int_{1/4}^{3/4} x^n(1-x)^n\dx + \int_{3/4}^1 x^n(1-x)^n\dx.

Sur les intervalles $[0,1/4]$ et $[3/4,1]$ la fonction $x\mapsto x^n(1-x)^n$ est positive, il en résulte que, par intégration, les intégrales $\int_{0}^{1/4} x^n(1-x)^n\dx$ et $\int_{3/4}^1 x^n(1-x)^n\dx$ sont positives. Il s’ensuite que :

I\geq \int_{1/4}^{3/4} x^n(1-x)^n\dx.

Or, quand $x\in[1/4, 3/4]$ vous avez aussi $1-x\in[1/4, 3/4]$ si bien que, par produit de réels positifs, $x(1-x)\in[1/16, 9/16].$

Pour tout $x\in[1/4, 3/4]$, $x(1-x)\geq \frac{1}{16}$ donc en élevant à la puissance $n$, il vient $x^n(1-x)^n\geq \frac{1}{16^n}.$ En intégrant sur l’intervalle $[1/4, 3/4]$ vous déduisez :

\begin{align*}
\int_{1/4}^{3/4} x^n(1-x)^n\dx &\geq \int_{1/4}^{3/4} \frac{1}{16^n}\dx \\
&\geq \left(\frac{3}{4}-\frac{1}{4}\right)\frac{1}{16^n}\\
&\geq \frac{1}{2\times 16^n}. 
\end{align*}

Vous déduisez finalement que $I\geq \frac{1}{2\times 16^n}.$ Le réel $I$ est donc strictement positif.

Comme $\mu \geq 1$ vous déduisez que $\mu I$ est un entier strictement positif, donc $\boxed{\mu I \geq 1.}$

En divisant par $I$, vous obtenez $\mu \geq \frac{1}{I}.$

Or, il a été montré que $I\leq \frac{1}{4^n}$ donc $\frac{1}{I }\geq 4^n$ ce qui donne $\mu \geq 4^n.$

Finalement, il a été montré le résultat suivant :

\boxed{\forall n\geq 1, \quad PPCM(1, \dots, 2n+1)\geq 4^n.}

Passez au cas général

Lorsque $n=1$, $PPCM(1, \dots, n) = PPCM(1) = 1.$ Or $1$ est bien supérieur ou égal à $\frac{1}{2} = \frac{2^1}{4}.$

Lorsque $n=2$, $PPCM(1, \dots, n) = PPCM(1, 2) = 2.$ Or $2$ est bien supérieur ou égal à $1 = \frac{2^2}{4}.$

Soit maintenant $n$ un entier naturel supérieur ou égal à $3.$

Cas où $n$ est impair

Comme $n-1$ est pair et supérieur ou égal à $2$, il existe un entier naturel $m\geq 1$ tel que $n-1 = 2m.$

Comme $PPCM(1, \dots, n) = PPCM(1,\dots,2m+1)$ il vient :

\begin{align*}
PPCM(1, \dots, n) &\geq 4^m \\
 &\geq (2^2)^m \\
&\geq  2^{2m}\\
&\geq 2^{n-1}\\
&\geq \frac{2^n}{2}\\
&\geq \frac{2^n}{4}.
\end{align*} 

Cas où $n$ est pair

Il s’agit de se ramener au cas impair.

Notez que $PPCM(1,\dots, n)$ est un multiple des $n-1$ entiers allant de $1$ jusqu’à $n-1.$

Comme $PPCM(1, \dots, n-1)$ est le plus petit multiple commun de ces $n-1$ entiers, vous déduisez :

PPCM(1, \dots, n) \geq PPCM(1, \dots, n-1).

Comme $n$ est pair et supérieur ou égal à $3$ il est même supérieur ou égal à $4.$

Donc $n-1$ est impair et il est supérieur ou égal à $3.$ Il existe un entier $m\geq 1$ tel que $n-1 = 2m+1.$ Comme $PPCM(1, \dots, n-1) = PPCM(1,\dots,2m+1)$ vous déduisez :

\begin{align*}
PPCM(1, \dots, n) &\geq PPCM(1, \dots, n-1)\\
&\geq PPCM(1, \dots, 2m+1)\\
&\geq 4^m\\
&\geq  2^{2m}\\
&\geq  2^{n-2}\\
&\geq \frac{2^n}{4}.
\end{align*} 

Concluez

Le résultat suivant est bien démontré :

\boxed{\forall n\geq 1, \quad PPCM(1,\dots,n) \geq \frac{2^n}{4}.}

347. Dénombrez le nombre de possibilités de choisir des entiers naturels dont la somme est connue

Soit $n$ un entier naturel non nul et $p$ un entier naturel. Il s’agit de déterminer le nombre exact de solutions de l’équation suivante, où toutes les inconnues sont des entiers naturels :

x_1+\dots+x_n=p.

Un exemple, pour $n=3$ et $p=4$

Vous cherchez tous les triplets possibles $(x_1,x_2,x_3)$ d’entiers naturels tels que :

x_1+x_2+x_3=4.

Vous allez traiter cette situation en envisageant toutes les possibilités pour l’inconnue $x_3.$

Cas où $x_3 = 4$

Dans ce cas, vous avez :

x_1+x_2 = 0.

Cela conduit immédiatement à $x_1=x_2=0.$

Il y a un triplet solution $(0,0,4).$

Cas où $x_3 = 3$

Dans ce cas, vous avez :

x_1+x_2 = 1.

Il y a deux possibilités, soit $x_1=1$ et $x_2=0$, soit $x_1=0$ et $x_2=1.$

Cela donne deux triplets $(1,0,3)$ et $(0,1,3).$

Cas où $x_3 = 2$

Dans ce cas, vous avez :

x_1+x_2 = 2.

Il y a trois possibilités, soit $x_1=2$ et $x_2=0$, soit $x_1=1$ et $x_2=1$, soit $x_1=0$ et $x_2=2.$

Cela donne trois triplets $(2,0,2)$, $(1,1,2)$ et $(0,2,2).$

Cas où $x_3 = 1$

Dans ce cas, vous avez :

x_1+x_2 = 3.

Il y a quatre possibilités, soit $x_1=3$ et $x_2=0$, soit $x_1=2$ et $x_2=1$, soit $x_1=1$ et $x_2=2$ et $x_1=0$ et $x_2=3.$

Cela donne quatre triplets $(3,0,1)$, $(2,1,1)$, $(1,2,1)$ et $(0,3,1).$

Cas où $x_3 = 0$

Dans ce cas, vous avez :

x_1+x_2 = 4.

Il y a cinq possibilités, soit $x_1=4$ et $x_2=0$, soit $x_1=3$ et $x_2=1$, soit $x_1=2$ et $x_2=2$ et $x_1=1$ et $x_2=3$, $x_1=0$ et $x_2=4.$

Cela donne cinq triplets $(4,0,0)$, $(3,1,0)$, $(2,2,0)$, $(1,3,1)$ et $(0,4,0).$

Concluez

Le nombre de solutions positives et entières de l’équation $x_1+x_2+x_3=4$ est égal à $15.$

ll serait intéressant de pouvoir généraliser. Aussi, vous allez traiter le cas où le nombre d’inconnues est égal à $n$ et où le résultat de la somme prend des petites valeurs.

Le nombre de solutions pour $n$ inconnues lorsque $p=0$

Il s’agit de résoudre $x_1+\dots+x_n=0$ où toutes les inconnues sont des entiers naturels. Du coup, toutes les inconnues sont nulles et il y a une seule solution, qui est le $n$-uplet suivant : $(0,\dots,0).$

Le nombre de solutions pour $n$ inconnues lorsque $p=1$

Il s’agit de résoudre $x_1+\dots+x_n=1$ où toutes les inconnues sont des entiers naturels.

Soit $(x_1,\dots,x_n)$ un $n$-uplet solution de cette équation.

Il est impossible que toutes les inconnues soient nulles. Du coup, au moins une d’entre elles notée $x_i$, avec $i$ compris entre $1$ et $n$ est supérieure ou égale à $1.$

Si $x_i\geq 2$, la somme $x_1+\dots+x_n$ est supérieure ou égale à $2$ ce qui contredit que $(x_1,\dots,x_n)$ est solution. Donc $x_i = 1.$ Il en résulte immédiatement que la somme $\sum_{j\neq i} x_j$ est nulle, donc toutes les autres inconnues sont nulles.

Il y a donc exactement $n$ solutions candidats possibles pour être solution.

Réciproquement, pour tout $i$ compris entre $1$ et $n$, considérons le $n$-uplet qui contient uniquement des zéros, sauf à la coordonnée numéro $i$ qui est égale à $1.$ La somme des coordonnées est bien égale à $1.$

Il y a donc en tout $n$ solutions.

Note. Pour $n=4$, les solutions seraient $(1,0,0,0)$, $(0,1,0,0)$, $(0,0,1,0)$ et $(0,0,0,1).$

Le nombre de solutions pour $n$ inconnues lorsque $p=2$

Il s’agit de résoudre $x_1+\dots+x_n=2$ où toutes les inconnues sont des entiers naturels.

Deux types de solutions sont possibles : les $n$-uplets dont l’une des coordonnées vaut $2$ et toutes les autres valent $0$. Il y en a exactement $n.$

Il y a aussi les $n$-uplets comportant deux coordonnées parmi $n$ égales à $1$, et les autres sont nulles, il y en a $\binom{n}{2} = \frac{n(n-1)}{2}.$

En définitive, le nombre de solutions est égal à :

\begin{align*}
n+\frac{n(n-1)}{2} &= \frac{2n}{2}+\frac{n(n-1)}{2}\\
&= \frac{n(2+n-1)}{2}\\
&=\frac{n(n+1)}{2}\\
&=\binom{n+1}{2}.
\end{align*} 

Le nombre de solutions pour $n$ inconnues lorsque $p=3$

Il s’agit de résoudre $x_1+\dots+x_n=3$ où toutes les inconnues sont des entiers naturels.

Trois types de solutions sont possibles : les $n$-uplets dont l’une des coordonnées vaut $3$ et toutes les autres valent $0$. Il y en a exactement $n.$

Il y a aussi les $n$-uplets comportant une coordonnée égale à $1$, une autre égale à $2$ et les autres sont nulles, il y en a $n(n-1)$ d’après le principe du produit.

Il y a aussi les $n$-uplets comportant trois coordonnées égales à $1$ parmi $n$, les autres étant nulles, il y en a $\binom{n}{3} = \frac{n(n-1)(n-2)}{6}.$

En définitive, le nombre de solutions est égal à :

\begin{align*}
n+n(n-1)+\frac{n(n-1)(n-2)}{6} &= \frac{6n}{6}+\frac{6n(n-1)}{6}+\frac{n(n-1)(n-2)}{6} \\
&=\frac{6n+n(n-1)(6+n-2)}{6}\\
&=\frac{6n+n(n-1)(n+4)}{6}\\
&=\frac{n[6+(n-1)(n+4)]}{6}\\
&=\frac{n(6+n^2+3n-4)}{6}\\
&=\frac{n(n^2+3n+2)}{6}\\
&=\frac{n(n+1)(n+2)}{6}\\
&=\binom{n+2}{3}.
\end{align*}

Avant de passer au cas général, vous aurez besoin d’un lemme sur les coefficients binomiaux

Vous allez démontrer la propriété suivante :

\boxed{\forall (a,b)\in\N^2,\quad \sum_{k=0}^b \binom{a+k}{a} = \binom{a+b+1}{a+1}.}

Pour tout entier naturel $b$, vous notez $\mathscr{S}(b)$ la proposition suivante : « Pour tout entier naturel $a$, $\sum_{k=0}^b \binom{a+k}{a} = \binom{a+b+1}{a+1}.$ »

Initialisation. Pour $b=0.$

Soit $a$ un entier naturel.

D’une part, $\sum_{k=0}^0\binom{a+k}{a} = \binom{a}{a}=1.$

D’autre part, $\binom{a+0+1}{a+1} = \binom{a+1}{a+1} = 1.$

Du coup, $\mathscr{S}(0)$ est vérifiée.

Hérédité. Soit $b$ un entier naturel tel que $\mathscr{S}(b)$ soit vérifiée.

Soit $a$ un entier naturel. En séparant le dernier terme de la somme et en utilisant l’hypothèse de récurrence, il vient :

\begin{align*}
\sum_{k=0}^{b+1} \binom{a+k}{a} &= \sum_{k=0}^{b} \binom{a+k}{a} + \binom{a+b+1}{a}\\
&= \binom{a+b+1}{a+1}+ \binom{a+b+1}{a}.
\end{align*}

Or, d’après la relation de Pascal sur les coefficient binomiaux :

\binom{a+b+1}{a}+\binom{a+b+1}{a+1} = \binom{a+b+2}{a+1}.

Ainsi :

\sum_{k=0}^{b+1} \binom{a+k}{a} =  \binom{a+(b+1)+1}{a+1}.

La propriété $\mathscr{S}(b+1)$ est vérifiée.

Conclusion. Par récurrence, il a été démontré que pour tout entier naturel $b$, la propriété $\mathscr{S}(b)$ est vraie. Le résultat annoncé est bien démontré.

Passez au cas général

Bien que les dénombrements précédents aient été effectués avec des approches différentes, ils semblent tous converger vers un résultat qui va être démontré par récurrence, sur le nombre d’inconnues.

Pour tout entier naturel $n$ non nul, vous notez $\mathscr{P}(n)$ la proposition suivante : « Pour tout entier naturel $p$, le nombre de solutions positives et entières de l’équation $x_1+\dots+x_n = p$ est égal au coefficient binomial $\binom{n+p-1}{p}$. »

Initialisation. Pour $n=1.$ Soit $p$ un entier naturel. La résolution de l’équation à une inconnue positive entière $x_1=p$ possède une seule solution. Or, $\binom{1+p-1}{p} = \binom{p}{p}=1$ donc $\mathscr{P}(1)$ est vérifiée.

Hérédité. Soit $n$ un entier naturel tel que $\mathscr{P}(n)$ soit vérifiée.

Soit $p$ un entier naturel, vous cherchez le nombre de solutions positives et entières de l’équation $x_1+\dots+x_n+x_{n+1}=p.$

Lorsque $x_{n+1} = 0$, l’équation s’écrit $x_1+\dots+x_n=p$ elle possède $n$ variables positives et entières donc d’après l’hypothèse de récurrence, il y a $\binom{n+p-1}{p} = \binom{n+p-1}{n-1}$ solutions.

Plus généralement l’inconnue $x_{n+1}$ peut être égale à $k$, où $k\in\llbracket 0, p\rrbracket.$ l’équation à résoudre s’écrit $x_1+\dots+x_n=p-k$ et d’après l’hypothèse de récurrence, elle possède $\binom{n+p-k-1}{p-k} =\binom{n+p-k-1}{n-1}$ solutions.

D’après cette analyse, le nombre de solutions de l’équation $x_1+\dots+x_n+x_{n+1}=p$ est égal à la somme suivante :

\sum_{k=0}^p\binom{n+p-k-1}{n-1}.

En effectuant le changement d’indice $\ell = p-k$, vous obtenez :

\sum_{k=0}^p\binom{n+p-k-1}{n-1} = \sum_{\ell=0}^p\binom{n-1+\ell}{n-1}.

D’après le lemme, la somme $\sum_{\ell=0}^p\binom{n-1+\ell}{n-1}$ est égale au coefficient binomial $\binom{n+p}{n} = \binom{n+p}{p} = \binom{(n+1)+p-1}{p}.$

La propriété $\mathscr{P}(n+1)$ est vérifiée.

Conclusion. Par récurrence, il a été établi que pour tout entier naturel non nul $n$, $\mathscr{P}(n)$ est vérifiée.

Concluez

Pour tout entier naturel $n$ non nul et pour pour tout entier naturel $p$, le nombre de solutions positives et entières de l’équation $x_1+\dots+x_n = p$ est égal au coefficient binomial $\binom{n+p-1}{p}$.

Prolongements

Inéquation

Soit $n$ un entier naturel $n$ non nul et $p$ un entier naturel. Déterminez le nombre de solutions positives et entières de l’inéquation $x_1+\dots+x_n \leq p.$

Raccourci combinatoire

Pourriez-vous démontrer, en utilisant l’assertion « on obtient $n$ quantités à partir de $n-1$ piquets », que pour tout entier naturel $n$ non nul et pour pour tout entier naturel $p$, le nombre de solutions positives et entières de l’équation $x_1+\dots+x_n = p$ est égal au coefficient binomial $\binom{p+(n-1)}{n-1}$ ?

346. Un nombre est premier, si et seulement si, il divise tous les coefficients binomiaux de sa ligne dans le tableau de Pascal, excepté le premier et le dernier

Le but de cet article est de démontrer qu’un nombre entier $n\geq 2$ est premier, si et seulement si, pour tout entier $k$ compris entre $1$ et $n-1$, le coefficient binomial $\binom{n}{k}$ est divisible par $n.$

Visualisez le triangle de Pascal

Les premières lignes du tableau de Pascal sont les suivantes, à chaque fois est donnée la valeur du coefficient binomial $\binom{n}{k}.$

\begin{array}{|c|c|c|c|c|c|c|c|c|c|}
\hline
&k=0&k=1&k=2 & k=3 & k=4& k=5& k=6& k=7& k=8\\
\hline
n=0&1 & \\
\hline
n=1&1 & 1\\
\hline
n=2&1 & 2 & 1\\
\hline
n=3&1 & 3 & 3 & 1\\
\hline
n=4&1 & 4 & 6 & 4 & 1\\
\hline
n=5&1 & 5 & 10 & 10 & 5& 1\\
\hline
n=6&1 & 6 & 15 & 20 & 15& 6 & 1\\
\hline
n=7&1 & 7 & 21 & 35 & 35& 21 & 7 & 1\\
\hline
n=8&1 & 8 & 28 & 56 & 70& 56 & 28 & 8&1\\
\hline
\end{array}

En prenant un numéro de ligne qui est un nombre premier, par exemple lorsque $n=7$, vous constatez que les coefficients binomiaux $7$, $21$, $35$, $35$, $21$ et $7$ sont tous des multiples de $7.$ Autrement dit :

\forall k\in\llbracket 1, 6\rrbracket, \quad 7 \left| \binom{7}{k}\right..

Par contre, en prenant $n=6$ qui n’est pas un nombre premier, vous constatez, par exemple que $20$ n’est pas un multiple de $6$, ce qui s’écrit ainsi :

6 \not\left| \binom{6}{3}\right..

Autrement dit :

\exists k\in\llbracket 1, 5\rrbracket, \quad 6 \not\left| \binom{6}{k}\right..

Le premier sens comme conséquence du lemme d’Euclide

Soit $n$ un nombre entier supérieur ou égal à $2.$ Vous supposez que $n$ est un nombre premier.

Soit $k$ un nombre entier compris entre $1$ et $n-1.$ Le coefficient binomial $\binom{n}{k}$ se calcule avec une expression comportant des factorielles :

\binom{n}{k} = \frac{n!}{k! (n-k)!}.

Vous déduisez de ce qui précède que :

n! = k! (n-k)! \binom{n}{k}.

Comme $n! = n\times (n-1)!$ il s’ensuit que $n$ divise le produit $k! (n-k)! \binom{n}{k}.$

Supposez que $n$ ne divise pas le coefficient binomial $\binom{n}{k}.$ Comme $n$ est un nombre premier qui divise le produit des deux nombres $k! (n-k)!$ et $\binom{n}{k}$ le lemme d’Euclide (vous en trouverez une démonstration dans le contenu rédigé dans l'article 126) permet d’affirmer que $n$ divise $k! (n-k)!.$ Toujours d’après le même lemme d’Euclide, $n$ divise un des facteurs noté $i$ du produit $k! (n-k)!.$ Comme $k$ est compris entre $1$ et $n-1$, tous les facteurs du produit $k! (n-k)!$ sont des nombres entiers compris entre $1$ et $n-1.$ Il s’ensuit que $i$ lui-même est un entier compris entre $1$ et $n-1.$

Or, $n$ divise $i$ avec $i$ non nul impose d’avoir $n\leq i.$ Or il a été vu que $i \leq n-1$ ce qui aboutit à une contradiction.

Par l’absurde, il a été prouvé que $n$ divise le coefficient binomial $\binom{n}{k}.$

Ainsi, pour tout entier $n$ supérieur ou égal à $2$, l’implication ci-dessous est démontrée.

\boxed{n \text{ est premier }\implies \forall k\in\llbracket 1, n-1\rrbracket, \quad n \left| \binom{n}{k}\right..}

Le sens réciproque comme conséquence de la relation de Pascal et de l’arithmétique modulaire

Visualisez la situation lorsque $n=8$

Supposez que, pour $n=8$, vous ayez :

\forall k\in\llbracket 1, n-1\rrbracket, \quad n \left| \binom{n}{k}\right..

Vous raisonnez modulo $8$ et obtenez :

\forall k\in\llbracket 1, 7\rrbracket, \quad \binom{8}{k} \equiv 0 \mod 8.

En écrivant le triangle de Pascal modulo $8$ pour les lignes $n=7$ et $n=8$ il vient :

\begin{array}{|c|c|c|c|c|c|c|c|c|c|}
\hline
&k=0&k=1&k=2 & k=3 & k=4& k=5& k=6& k=7& k=8\\
\hline
n=7&1 &  &  &  & &  &  & \\
\hline
n=8&1 & 0 & 0 & 0 & 0& 0 & 0 & 0&1\\
\hline
\end{array}

Pour déterminer le résidu du coefficient binomial $\binom{7}{1}$ modulo $8$, vous utilisez la relation de Pascal :

\binom{7}{0}+\binom{7}{1} = \binom{8}{1}.

Ainsi :

\binom{7}{1} = \binom{8}{1} - \binom{7}{0}.

En raisonnant modulo $8$ cela donne :

\begin{align*}
\binom{7}{1} &\equiv  0 - 1 \mod 8\\
&\equiv  -1 \mod 8.
\end{align*}

En continuant ainsi, vous obtenez tous les résidus modulo $8$ de la ligne du triangle de Pascal pour $n=7$ et constatez une alternance de $1$ et de $-1.$

\begin{array}{|c|c|c|c|c|c|c|c|c|c|}
\hline
&k=0&k=1&k=2 & k=3 & k=4& k=5& k=6& k=7& k=8\\
\hline
n=7&1 & -1 & 1  & -1  &1 &-1  &1  &-1 \\
\hline
n=8&1 & 0 & 0 & 0 & 0& 0 & 0 & 0&1\\
\hline
\end{array}

Note. Vous ignorez le dernier résidu de la ligne pour $n=7$ qui est égal à $-1.$ En prenant une autre ligne, par exemple $n=9$, vous auriez trouvé à la ligne $n=8$ un résidu de $1$ et n’auriez pas pu conclure à une absurdité.

Comme $8$ n’est pas premier, il admet un diviseur propre, à savoir un nombre $d$ compris entre $2$ et $7$, tel que $d\mid 8.$

Vous vous intéressez au coefficient binomial $\binom{8}{d} = \binom{8}{2}$ et l’exprimez avec un coefficient binomial situé dans la ligne précédente du tableau de Pascal :

\begin{align*}
\binom{8}{2} &= \frac{8!}{2! 6!}\\
&=\frac{8 \times 7! }{2\times 1! 6!}\\
&=\frac{8}{2}\times \frac{7!}{1! 6!}\\
&= 4\times \binom{7}{1}.
\end{align*}

En prenant les résidus modulo $8$, vous obtenez :

\begin{align*}
\binom{8}{2} &\equiv 4\times (-1) \mod 8\\
&\equiv -4 \mod 8.
\end{align*}

Du coup, il vient :

0 \equiv-4 \mod 8.

Ceci est absurde.

Vous en déduisez qu’il est impossible que $8$ divise tous les coefficients binomiaux $\binom{8}{k}$ lorsque $k$ décrit l’intervalle d’entiers $\llbracket 1, 7\rrbracket.$

Traitez le cas général

Soit $n$ un entier supérieur ou égal à $2$, tel que :

\forall k\in\llbracket 1, n-1\rrbracket, \quad n \left| \binom{n}{k}\right..

Si $n = 2$, le nombre $n$ est un nombre premier et le résultat est démontré.

Supposez maintenant que $n\geq 3.$

Alors :

\forall k\in\llbracket 1, n-1\rrbracket, \quad \binom{n}{k} \equiv 0 \mod n.

Vous allez maintenant effectuer une récurrence limitée afin de déterminer les résidus modulo $n$ des coefficients binomiaux $\binom{n-1}{k}$ lorsque $k$ décrit l’intervalle $\llbracket 0, n-1\rrbracket.$

Pour tout entier $k\in \llbracket 0, n-1\rrbracket$ vous notez $\mathscr{P}(k)$ la propriété : « le résidu modulo $n$ du coefficient binomial $\binom{n-1}{k}$ est égal à $(-1)^k$ ».

Initialisation. Pour $k=0$, vous avez d’une part $(-1)^k = (-1)^0 = 1.$

D’autre part, $\binom{n-1}{0} = 1$ donc $\binom{n-1}{0} = (-1)^0$ ce qui donne :

\binom{n-1}{0} \equiv (-1)^0 \mod n.

La propriété $\mathscr{P}(0)$ est vérifiée.

Hérédité. Soit $k$ un entier naturel inférieur ou égal à $n-2$ tel que $\mathscr{P}(k)$ soit vérifiée.

Vous avez déjà :

\binom{n-1}{k} \equiv (-1)^k \mod n.

D’après la relation de Pascal :

\binom{n-1}{k} + \binom{n-1}{k+1} = \binom{n}{k+1}.
 \binom{n-1}{k+1} = \binom{n}{k+1} - \binom{n-1}{k}.

Comme $k+1$ est un entier supérieur ou égal à $1$ et inférieur ou égal à $n-1$, vous avez :

\binom{n}{k+1} \equiv 0 \mod n.

Du coup :

\begin{align*}
 \binom{n-1}{k+1} &\equiv 0 - (-1)^k \mod n \\
&\equiv  (-1)^{k+1} \mod n.
\end{align*}

Donc la propriété $\mathscr{P}(k+1)$ est vérifiée.

Conclusion. Par récurrence limitée, il a été établi que :

\forall k\in\llbracket 0, n-1\rrbracket, \quad\binom{n-1}{k} \equiv (-1)^k \mod n.

Supposez que $n$ ne soit pas un nombre premier.

Il existe deux diviseurs propres $d$ et $d’$ c’est-à-dire deux entiers compris entre $2$ et $n-1$ tels que $n = dd’.$

Vous exprimez le coefficient binomial $\binom{n}{d}$ de la façon suivante :

\begin{align*}
\binom{n}{d} &= \frac{n! }{d! (n-d!)}\\
&= \frac{n}{d}\times \frac{(n-1)!}{(d-1)! (n-d)!}\\
&=d' \times \binom{n-1}{d-1}.
\end{align*}

Maintenant, modulo $n$, vous avez :

\begin{align*}
0 &\equiv \binom{n}{d} \mod n\\
&\equiv d' \times \binom{n-1}{d-1} \mod n.
\end{align*}

Comme $d-1$ est compris entre $0$ et $n-1$, vous déduisez :

\binom{n-1}{d-1} \equiv (-1)^{d-1}\mod n.

Du coup :

0\equiv d'\times (-1)^{d-1}\mod n.

En multipliant ce résultat par $(-1)^{d-1}$ vous aboutissez à :

0\equiv d' \mod n.

Il en résulte que $n$ divise $d’$ qui est non nul, donc $n\leq d’ \leq n-1$ ce qui est absurde.

Donc $n$ est un nombre premier.

Ainsi, pour tout entier $n$ supérieur ou égal à $2$, l’implication ci-dessous est démontrée.

\boxed{n \text{ est premier }\impliedby \forall k\in\llbracket 1, n-1\rrbracket, \quad n \left| \binom{n}{k}\right..}

Concluez

Il a été démontré l’équivalence suivante :

\boxed{\forall n\geq 2, n \text{ est premier }\Longleftrightarrow \forall k\in\llbracket 1, n-1\rrbracket, \quad n \left| \binom{n}{k}\right..}

Prolongement

Pourriez-vous utiliser le résultat établi pour démontrer qu’un nombre entier $n\geq 2$ est premier, si et seulement si, pour tout entier $a$ premier avec $n$, $(X+a)^n\equiv X^n+a \mod n$ ?

344. L’indicatrice d’Euler est une fonction multiplicative

Dans cet article, les notions d’anneaux et d’ensemble-quotient ne seront pas abordées. L’approche choisie consiste à démontrer le résultat de l’indicatrice d’Euler en travaillant principalement dans l’ensemble $\Z$ des entiers relatifs.

Notations

Pour tout entier naturel $a$ et tout entier naturel $n$ non nul, la notation $(a \mod n)$ désignera le reste de la division euclidienne de $a$ par $n.$

Pour tout entier naturel $n$ non nul, vous notez $\varphi(n)$ le nombre d’éléments de l’ensemble :

U_n = \{k\in\Z, \mathrm{PGCD}(k,n)=1\text{ et } 0\leq k\leq n-1\}.

Il s’agit de démontrer que si $m$ et $n$ sont deux entiers naturels non nuls tels que $\mathrm{PGCD}(m,n)=1$, alors :

\varphi(mn)=\varphi(m)\varphi(n).

Dans toute la suite de cet article, vous fixez deux entiers $m$ et $n$ non nuls fixés, tels que $\mathrm{PGCD}(m,n)=1.$

Construisez une application de l’ensemble $U_{mn}$ vers le produit $U_m\times U_n$

Soit $x$ un élément de $U_{mn}.$

Pour être certain d’obtenir un entier de l’ensemble $U_m$ et un entier de l’ensemble $U_n$ vous effectuez la division euclidienne de $x$ par $m$ et $n$ respectivement. Il existe quatre entiers uniques $q_n, r_n, q_m, r_m$ avec $0\leq r_n\leq n-1$ et $0\leq r_m\leq m-1$ tels que :

\left\{\begin{align*}
x&=q_m m+r_m\\
x&=q_n n+r_n.
\end{align*}
\right.

Il s’agit maintenant de comprendre pourquoi le couple $(r_m,r_n)$ est un élément de l’ensemble $U_m\times U_n.$

Notez $d = \mathrm{PGCD}(r_m,m).$ Comme $d$ divise $m$, $d$ divise le produit $q_m m.$ Comme $d$ divise aussi $r_m$, il divise la somme $q_m m + r_m.$ Par suite, $d$ divise $x.$

Comme $d$ divise $m$ et que $m$ divise le produit $mn$ vous déduisez que $d$ divise $mn.$ Comme $d$ divise $mn$ et $x$, c’est un diviseur commun à $x$ et à $mn.$ Or, $x\in U_{mn}$ donc $ \mathrm{PGCD}(x,mn) = 1.$ Il en résulte que $d=1.$

Il est ainsi démontré que $\mathrm{PGCD}(r_m,m) = 1.$ Vu que $0\leq r_m\leq m-1$ vous déduisez $\boxed{r_m\in U_m.}$

Un raisonnement identique permet d’aboutir à la conclusion $\boxed{r_n\in U_n.}$

Par le procédé décrit ci-dessus, vous avez défini une application $f$ qui va de $U_{mn}$ dans $U_m\times U_n.$ Elle est définie, pour tout entier $k\in U_{mn}$ par :

f(k) = ((k\mod m) , (k\mod n)).

Démontrez l’injectivité de cette application

Soient $x$ et $y$ deux éléments de $U_{mn}$ tels que $f(x) = f(y).$

Alors :

\begin{align*}
(x\mod m) &= (y\mod m)\\
(x\mod n) &= (y\mod n).
\end{align*}

Quand vous effectuez la division euclidienne de $x$ par $m$, puis celle de $y$ par $m$, vous constatez qu’il existe un couple $(q_n,q_m)$ d’entiers tel que :

x = q_x m+(x\mod m)\\
y = q_y m + (y\mod m).

Comme $(x\mod m) = (y\mod m)$ par soustraction, vous déduisez :

x-y = q_xm-q_ym = m(q_x-q_y).

Ainsi l’entier $m$ divise la différence $x-y.$

En suivant un raisonnement similaire pour $n$, vous aboutissez au fait que $n$ divise aussi la différence $x-y.$

D’après ces constats, il existe deux entiers $m’$ et $n’$ tels que :

\begin{align*}
x-y &= mm'\\
x-y&=nn'.
\end{align*}

Vous déduisez $mm’ = nn’$ puis $n \mid mm’.$ Comme $\mathrm{PGCD}(m,n)=1$ le théorème de Gauss fournit $n \mid m’.$ Donc il existe un entier $k$ tel que $m’ = kn.$

L’égalité $x-y = mm’$ devient $x-y = mkn$ si bien que le produit $mn$ divise $x-y.$

Vous allez supposer que $k$ n’est pas nul, ce qui implique $\vert k \vert \geq 1.$

Du coup, $\vert x-y \vert = \vert k \vert \times mn$ d’où $\vert x-y\vert \geq mn.$

Or, $x$ et $y$ sont deux éléments de $U_{mn}$ donc $0\leq x \leq mn -1$ et $0\leq y \leq mn-1.$

Par suite, $1-mn\leq -y \leq 0$ et par somme avec $0\leq x\leq mn-1$ il vient $1-mn \leq x-y \leq mn-1.$

Cette double inégalité fournit $\vert x-y \vert \leq mn-1.$ Or, $mn\leq \vert x-y\vert$ du coup $mn\leq mn-1$ ce qui est une contradiction.

Ainsi, $k=0$ et $x-y=0$ et $x=y.$ L’injectivité de la fonction $f$ est ainsi démontrée.

Démontrez la surjectivité de cette application

Soit $(u,v)$ un couple de l’ensemble $U_m\times U_n.$

Grâce au théorème chinois dont une preuve se trouve dans le contenu rédigé dans l'article 309, il existe un entier $x$ tel que :

\left\{\begin{align*}
x&\equiv u\text{ modulo }m\\
x&\equiv v\text{ modulo }n.
\end{align*}
\right.

Sans utiliser le symbôle de la congruence, cela signifie qu’il existe un entier $r$ et un entier $s$ tels que :

\left\{\begin{align*}
x = u +rm\\
x = v+ sn.
\end{align*}
\right.

A priori, on n’est pas sûr que $x$ soit compris entre $0$ et $mn-1.$

Vous allez considérer $y = x\mod mn$, le reste de la division de $x$ par le produit $mn.$

Il existe un entier $q$ tel que $x = qmn + y$ et l’inégalité $0\leq y \leq mn-1$ est vérifiée.

D’une part :

\begin{align*}
y &= x-qmn\\
&=u+rm-qmn\\
&=(r-qn)m+u.
\end{align*}

Comme $r-qn$ est un entier et que $u$ est compris entre $0$ et $m-1$, l’entier $u$ est de reste de la division de $y$ par $m$, donc $u = (y\mod m).$

D’autre part :

\begin{align*}
y &= x-qmn\\
&=v+sn-qmn\\
&=(s-qm)n+v.
\end{align*}

Comme $s-qm$ est un entier et que $v$ est compris entre $0$ et $n-1$, l’entier $v$ est de reste de la division de $y$ par $n$, donc $v = (y\mod n).$

Notez maintenant $d$ le plus grand diviseur commun des entiers $y$ et $m.$

Comme $d\mid m$ il vient $d\mid qmn.$ Or, $x = y+qmn$ donc $d\mid x.$ Comme $\mathrm{PGCD}(x,m)=1$ et que $d$ est un diviseur commun à $x$ et à $m$, vous déduisez $d = 1$ et par suite $\mathrm{PGCD}(y,m)=1.$

Notez maintenant $f$ le plus grand diviseur commun des entiers $y$ et $n.$

Comme $f\mid n$ il vient $f\mid qmn.$ Or, $x = y+qmn$ donc $f\mid x.$ Comme $\mathrm{PGCD}(x,m)=1$ et que $f$ est un diviseur commun à $x$ et à $m$, vous déduisez $f = 1$ et par suite $\mathrm{PGCD}(y,n)=1.$

Il s’agit de comprendre maintenant pourquoi $\mathrm{PGCD}(y,mn)=1.$ Si tel n’est pas le cas, $\mathrm{PGCD}(y,mn)\geq 2$ et il existe un nombre premier $p$ tel que $p$ divise $\mathrm{PGCD}(y,mn).$ Comme $\mathrm{PGCD}(y,mn)$ divise $mn$ vous déduisez que $p$ divise $mn.$

Par le lemme d’Euclide, soit $p$ divise $m$, soit $p$ divise $n.$
Supposez que $p$ divise $m$ alors $p$ divisant $\mathrm{PGCD}(y,mn)$ qui divise $y$, vous déduisez $p\mid y.$ Du coup $p$ est un diviseur commun à $y$ et à $m.$ Comme $\mathrm{PGCD}(y,m)=1$ vous déduisez $p\leq 1$ ce qui est impossible, puisque $p$ en tant que nombre premier est supérieur ou égal à $2.$
Supposez que $p$ divise $n.$ Alors le raisonnement est similaire. En effet, vous trouvez $p\mid y$ et $p\mid n.$ Comme $\mathrm{PGCD}(y,n)=1$ cela entraîne $p\leq 1$ ce qui est impossible.

Du coup $\mathrm{PGCD}(y,mn)=1$ avec $0\leq y \leq mn-1.$ Donc $y$ est un élément de $U_{mn}.$

Il vient alors :

\begin{align*}
f(y) &= ((y\mod m), (y\mod n))\\
&= (u,v).
\end{align*}

La surjectivité de $f$ est ainsi démontrée.

Concluez

L’application $f$ est une bijection de $U_{mn}$ dans $U_m\times U_n.$

Les ensembles de départ et d’arrivée de $f$ ont donc le même nombre d’éléments, ce qui fournit le résultat :

\varphi(mn)=\varphi(m)\times \varphi(n).

343. Le lemme d’Euclide démontré par deux arguments de minimalité

Dans cet article, vous notez $\mathscr{P}$ l’ensemble des nombres premiers.

Un nombre $p$ sera qualifié de premier, si et seulement si, il est entier et supérieur ou égal à $2$ et si, quels que soient les entiers naturels $a$ et $b$ non nuls :

\boxed{p = ab \implies \left(\left\{\begin{align*}a&=1\\ b&=p\end{align*}\right. \quad \text{ ou }\quad  \left\{\begin{align*}a&=p\\ b&=1.\end{align*}\right.\right)}

Un nombre entier supérieur ou égal à $2$ qui n’est pas premier sera qualifié de nombre composé.

Caractérisez un nombre entier composé

Soit $n$ un nombre entier supérieur ou égal à $2.$ Supposez que $n$ ne soit pas premier. Alors il existe deux entiers naturels $a$ et $b$ non nuls tels que $p=ab$ et ils vérifient ce qui suit :

(*):\left\{\begin{align*}
a&\neq 1 \text{ ou } b\neq n\\
a&\neq n \text{ ou } b\neq 1.
\end{align*}\right.

Si $a=1$, alors $b\neq n$ d’après la première ligne de $(*).$ Or, la condition $n=ab$ devient $n=b$ ce qui amène à une contradiction. Donc $a\geq 2.$

Si $a=n$, alors $b\neq 1$ d’après la deuxième ligne de $(*).$ Or, la condition $n=ab$ devient $n=nb$ et comme $n\neq 0$ vous déduisez $b=1$ ce qui amène à une contradiction.

Si $a>n$, alors en multipliant par $b$ qui est strictement positif, il vient $ab>nb$ et la condition $n=ab$ fournit $n>nb$ et en divisant par $n>0$ il vient $1>b$ ce qui contredit le fait que $b$ et un entier naturel non nul.

Vous déduisez de cette analyse que $2\leq a \leq n-1.$

Le raisonnement est strictement identique pour $b.$

Il est ainsi établi que, pour tout nombre naturel $n$ supérieur ou égal à $2$, si $n$ n’est pas premier, alors il existe deux entiers $a$ et $b$ tels que :

\left\{\begin{align*}
&n=ab\\
&2\leq a \leq n-1\\
&2\leq b \leq n-1.
\end{align*}\right.

Réciproquement, soit $n$ un nombre entier supérieur ou égal à $2$ tel qu’il existe deux entiers $a$ et $b$ vérifiant les conditions suivantes :

(**): \left\{\begin{align*}
&n=ab\\
&2\leq a \leq n-1\\
&2\leq b \leq n-1.
\end{align*}\right.

Si $n$ était premier, alors soit $a$ serait égal à $1$, ce qui contredit la deuxième ligne de $(**)$ soit $a$ serait égal à $n$, ce qui contredit encore la deuxième ligne de $(**).$

La caractérisation est ainsi établie.

Pour tout nombre naturel $n$ supérieur ou égal à $2$, $n$ n’est pas premier, si et seulement si, il existe deux entiers $a$ et $b$ tels que :

\boxed{\left\{\begin{align*}
&n=ab\\
&2\leq a \leq n-1\\
&2\leq b \leq n-1.
\end{align*}\right.}

Le lemme d’Euclide à partir du raisonnement par l’absurde

Vous cherchez à démontrer le lemme d’Euclide qui stipule que quel que soit le nombre premier $p$ et quels que soient les entiers naturels non nuls $a$ et $b$, si $p$ divise le produit $ab$, alors $p$ divise $a$ ou $p$ divise $b.$

Les deux arguments de minimalité

Vous supposez que le lemme d’Euclide n’est pas vérifié.

Vous en concluez qu’il existe un nombre $p_0$ premier et ainsi que deux entiers naturels non nuls $a_0$ et $b_0$ tels que :

\left\{\begin{align*}
&p_0 \mid a_0b_0\\
&p_0 \nmid a_0\\
&p_0 \nmid b_0.
\end{align*} 
\right.

Vous introduisez alors l’ensemble suivant afin d’utiliser un premier argument de minimalité :

\boxed{A = \{u\in\mathscr{P}, \exists(a,b)\in(\NN)^2, u\mid ab \text{ et }u\nmid a \text{ et }u\nmid b\}.}

Comme $p_0\in A$, l’ensemble $A$ est non vide.

Les inclusions $A\subset \mathscr{P} \subset \N$ montrent que $A$ est une partie non vide de $\N.$ Elle admet donc un plus petit élément que vous notez $p.$

Par définition de $p$ vous avez $p\in A.$ De plus, $p$ est un nombre premier et il existe deux entiers naturels non nuls $a$ et $b$ tels que :

\left\{\begin{align*}
&p \mid ab\\
&p \nmid a\\
&p \nmid b.
\end{align*} 
\right.

Vous effectuez la division euclidienne de $a$ par $p.$ Il existe un quotient $q_a\in\N$ et un reste $r_a\in\N$ avec $0\leq r_a\leq p-1$ tels que $a = q_a p + r_a.$

Notez que si $r_a = 0$ alors $a = q_a p$ donc $p\mid a$ ce qui est absurde. Donc :

1\leq r_a\leq p-1.

De même, vous effectuez la division euclidienne de $b$ par $p.$ Il existe un quotient $q_b\in\N$ et un reste $r_b\in\N$ avec $0\leq r_b\leq p-1$ tels que $b = q_b p + r_b.$

Notez que si $r_b = 0$ alors $b = q_b p$ donc $p\mid b$ ce qui est absurde. Donc :

1\leq r_b\leq p-1.

Vous calculez maintenant le produit $ab$ ce qui fournit :

\begin{align*}
ab &= ( q_a p + r_a)( q_b p + r_b)\\
&=( q_a p + r_a) q_b p + ( q_a p + r_a) r_b\\
&=( q_a q_b p + r_a q_b)  p +  q_a r_b p + r_a r_b\\
&=( q_a q_b p + r_a q_b+  q_a r_b)  p   + r_a r_b.
\end{align*}

Ainsi :

   r_a r_b = ab -( q_a q_b p + r_a q_b+  q_a r_b)  p.

Or, $p$ divise $ab.$

Comme $p$ divise le produit $( q_a q_b p + r_a q_b+ q_a r_b) p$ vous concluez par différence que :

p\mid r_ar_b.

Vous posez $r = r_a+r_b$ et définissez l’ensemble $B$ suivant pour préparer le second argument de minimalité :

\boxed{B=\{u\in\N, \exists(h,k)\in \llbracket 1, p-1\rrbracket ^2, u=h+k \text{ et } p\mid hk\}.}

D’après ce qui précède, $r\in B.$

L’ensemble $B$ est une partie non vide de $\N$ elle admet donc un plus petit élément que vous notez $s.$

Aboutissez à une contradiction

Par définition de l’entier $s$, il existe deux entiers $h$ et $k$, compris entre $1$ et $p-1$ tels que $s = h+k$ et $p\mid hk.$

Comme les nombres $p$ puis $h$ et $k$ sont des entiers naturels non nuls, il existe un entier naturel $q$ non nul tel que :

hk = pq.

Si $q$ est égal à $1$, alors $hk = pq$ s’écrit $hk = p.$ Comme $h$ et $k$ sont des entiers naturels non nuls et que $p$ est premier, cela entraîne :

\left\{\begin{align*}h&=1\\ k&=p\end{align*}\right. \text{ ou } \left\{\begin{align*}h&=p\\ k&=1.\end{align*}\right.

Dans le premier cas, $k = p$ c’est absurde puisque $k \leq p-1.$ Dans le second cas, $h = p$ mais c’est encore absurde puisque $h \leq p-1.$

Vous en déduisez que $q\geq 2.$

Comme $1\leq h < p$ et comme $1\leq k < p$ par produit il vient $1\leq hk < p^2.$ Comme $hk = pq$ il vient $pq < p^2.$ En divisant par $p$ qui est strictement positif vous déduisez $q<p.$

L’entier $q$ vérifie l’encadrement suivant : $2\leq q \leq p-1.$

Or, tout entier naturel supérieur ou égal à $2$ est divisible par un nombre premier.

Soit $p’\in\mathscr{P}$ tel que $p’ \mid q.$ Comme $q\mid pq$ et comme $hk = pq$ vient $q\mid hk.$ Finalement, vous avez $p’\mid q \mid hk.$

Donc $p’$ est un nombre premier divisant le produit $hk$ avec $h$ et $k$ entiers naturels non nuls. Comme $p’\leq q \leq p-1$ vous avez $p'<p.$ Or $p$ est le plus petit élément de $A$ du coup $p’\notin A.$ Il en résulte que, soit $p’ \mid h$ soit $p’\mid k.$

Supposez que $p’\mid h.$ $h$ étant non nul, il existe un entier naturel non nul $h’$ tel que $h = p’h’.$
Comme $p’\mid q$ et que $q$ est non nul, il existe un entier naturel non nul $q’$ tel que $q = p’q’.$

L’égalité $hk = pq$ s’écrit $p’h’k = pp’q’.$ Comme $p’$ est non nul, il vient $h’k = pq’$ du coup $p\mid h’k.$

Vous posez maintenant $s’ = h’+k.$ L’égalité $h=p’h’$ avec $p’\geq 2$ entraîne $h'<h.$ Or $h\leq p-1$ donc $1\leq h’\leq p-1.$
Comme vous avez déjà $k\in\llbracket 1, p-1\rrbracket$ vous déduisez que $s’\in B.$

Le second argument de minimalité est utilisé ici. $s$ est le minimum de $B$ donc $s\leq s’$ si bien que $h+k\leq h’+k$ d’où $h\leq h’.$ Cela est contradictoire avec $h'<h.$

Il en résulte $p’\mid k.$ $k$ étant non nul, il existe un entier naturel non nul $k’$ tel que $k = p’k’.$
Comme $p’\mid q$ et que $q$ est non nul, il existe un entier naturel non nul $q’$ tel que $q = p’q’.$

L’égalité $hk = pq$ s’écrit $hp’k’ = pp’q’.$ Comme $p’$ est non nul, il vient $hk’ = pq’$ du coup $p\mid hk’.$

Vous posez maintenant $s » = h+k’.$ L’égalité $k=p’k’$ avec $p’\geq 2$ entraîne $k'<k.$ Or $k\leq p-1$ donc $1\leq k’\leq p-1.$
Comme vous avez déjà $h\in\llbracket 1, p-1\rrbracket$ vous déduisez que $s »\in B.$

Le second argument de minimalité est encore utilisé ici. $s$ est le minimum de $B$ donc $s\leq s »$ si bien que $h+k\leq h+k’$ d’où $k\leq k’.$ Cela est contradictoire avec $k'<k.$

L’hypothèse de départ est ainsi fausse, ce qui prouve que le lemme d’Euclide est démontré.

342. Réduction d’un polynôme, modulo un nombre entier et un autre polynôme

Certains tests de primalité font appel au calcul modulaire. L’objectif est d’éviter d’obtenir des nombres trop importants et des degrés très élevés dans les calculs de polynômes.

Dans cet article vous allez aborder :

  • un calcul modulaire à partir d’exemples pour expliciter les premières démarches,
  • un calcul explicite du polynôme $(1+X)^{24}$ modulo $24$ et $X^2-1$,
  • une théorie des polynômes à coefficients entiers modulo un entier $n$ non nul et un polynôme $Q$ à coefficients entiers et de degré supérieur ou égal à $1.$

Utilisez le calcul modulaire des exemples

L’écriture adoptée sera la suivante :

\begin{align*}
25&\equiv 24+1 \mod (24, X^2-1)\\
&\equiv 1  \mod (24, X^2-1).
\end{align*}

De même :

\begin{align*}
100X^3+50X^2-44X+29&\equiv (24+24+24+24+4)X^3 +(24+24+2)X^2\\
&\qquad-(24+24-4)X+(24+5) \mod (24, X^2-1)\\
&\equiv 4X^3+2X^2+4X+5  \mod (24, X^2-1)\\
&\equiv 4X(X^2-1+1)+2(X^2-1+1)+4X+5  \mod (24, X^2-1)\\
&\equiv 4X+2+4X+5  \mod (24, X^2-1)\\
&\equiv 8X+7  \mod (24, X^2-1).
\end{align*}

Calculez $(X+1)^{24} \mod (24,X^2-1)$

Le calcul va être progressif.

Vous calculez d’abord $(X+1)^2$ comme suit :

\begin{align*}
(X+1)^2&\equiv X^2+2X+1 \mod (24, X^2-1) \\
&\equiv (X^2-1)+1+2X+1 \mod (24, X^2-1)\\
&=2(X+1) \mod (24, X^2-1).
\end{align*}

Vous utilisez l’égalité $(X+1)^4 = ((X+1)^2)^2$ ce qui fournit :

\begin{align*}
(X+1)^4&\equiv 4(X+1)^2 \mod (24, X^2-1)\\
&\equiv 4\times 2(X+1) \mod (24, X^2-1)\\
&\equiv 8(X+1)  \mod (24, X^2-1).
\end{align*}

Vous utilisez l’égalité $(X+1)^8 = ((X+1)^4)^2$ ce qui fournit :

\begin{align*}
(X+1)^8 &\equiv 64(X+1)^2 \mod (24, X^2-1)\\
&\equiv 64\times 2(X+1) \mod (24, X^2-1)\\
&\equiv128(X+1) \mod (24, X^2-1)\\
&\equiv (24\times 5 + 8)(X+1) \mod (24, X^2-1)\\
&\equiv 8(X+1) \mod (24, X^2-1).
\end{align*}

Vous utilisez l’égalité $(X+1)^{16} = ((X+1)^8)^2$ ce qui fournit :

\begin{align*}
(X+1)^{16} &\equiv 64(X+1)^2 \mod (24, X^2-1)\\
&\equiv 8(X+1) \mod (24, X^2-1).
\end{align*}

Vous en déduisez que :

\begin{align*}
(X+1)^{24} &\equiv (X+1)^{16}(X+1)^{8} \mod (24, X^2-1)\\
&\equiv 8(X+1) \times 8(X+1)  \mod (24, X^2-1)\\
&\equiv 64(X+1)^2  \mod (24, X^2-1)\\
&\equiv 8(X+1)  \mod (24, X^2-1).
\end{align*}

La théorie des polynômes à coefficients entiers modulo $n$ et $Q$

Cette théorie est développée afin de justifier que les calculs menés ci-dessus sont valables.

Soit $n$ un entier naturel non nul et $Q$ un polynôme à coefficients entiers, de degré supérieur ou égal à $1.$

Vous allez munir l’anneau $\Z[X]$ de la relation binaire $\mathscr{R}$ suivante.

Quels que soient les polynômes $P_1$ et $P_2$ à coefficients entiers, vous écrirez $P_1\mathscr{R} P_2$, si et seulement si, les coefficients du polynôme $P_1-P_2$ sont tous divisibles par $n$ et si $Q$ est un diviseur du polynôme $P_1-P_2.$

Montrer que la relation $\mathscr{R}$ est réflexive

Soit $P$ un polynôme à coefficients entiers. Le polynôme $P-P$ est le polynôme nul, donc tous ses coefficients sont divisibles par $n$, puisque $n\times 0 = 0.$

De même $P-P = Q\times 0$ ce qui prouve que $Q$ est un diviseur de $P-P.$

Par conséquent, $\boxed{P\mathscr{R}P.}$

Montrer que la relation $\mathscr{R}$ est symétrique

Soient $P_1$ et $P_2$ deux polynômes à coefficients entiers, tels que $P_1\mathscr{R} P_2.$

Les coefficients du polynôme $P_1-P_2$ sont tous divisibles par $n.$

D’une part, comme $P_1-P_2$ est un polynôme à coefficients entiers, il existe un entier naturel $d$ et des entiers $u_0, \dots, u_d$ tels que :

P_1(X)-P_2(X) = \sum_{i=0}^d u_iX^i.

L’hypothèse précédente fournit :

\forall i\in\llbracket0, d\rrbracket, n\mid u_i.

Or, pour tout entier $i$ compris entre $0$ et $d$, $-u_i = (-1)\times u_i$ si bien que $u_i\mid -u_i.$ ll s’ensuit que :

\forall i\in\llbracket0, d\rrbracket, n\mid u_i \mid -u_i.

Par transitivité il vient :

\forall i\in\llbracket0, d\rrbracket, n \mid -u_i.

D’autre part :

P_2(X)-P_1(X) = \sum_{i=0}^d (-u_i)X^i.

L’entier $n$ divise tous les coefficients du polynôme $P_2-P_1.$

Remarquez maintenant que $P_2-P_1 = (-1)\times (P_1-P_2)$ donc $P_1-P_2\mid P_2-P_1.$ Comme $Q\mid P_1-P_2$ vous déduisez par transitivité que $Q\mid P_2-P_1.$ Ainsi $P_2\mathscr{R} P_1.$

Montrer que la relation $\mathscr{R}$ est transitive

Soient $P_1$, $P_2$ et $P_3$ trois polynômes à coefficients entiers, tels que $P_1\mathscr{R} P_2$ et $P_2\mathscr{R}P_3.$

D’une part, $Q\mid P_1-P_2$ et $Q\mid P_2-P_3.$ Par somme, vous déduisez $Q\mid (P_1-P_2) + (P_2-P_3)$ soit $Q\mid P_1-P_3.$

D’autre part, $n$ divise tous les coefficients des polynômes $P_1-P_2$ et $P_2-P_3.$

Si $P_1=P_2$ alors $n$ divise tous les coefficients du polynômes $P_1-P_3$ et donc $P_1\mathscr{R}P_3.$

Si $P_2=P_3$ alors $n$ divise encore tous les coefficients du polynômes $P_1-P_3$ et donc $P_1\mathscr{R}P_3.$

Si $P_1\neq P_2$ et si $P_2\neq P_3$ vous notez le maximum des degrés des polynômes $P_1-P_2$ et $P_2-P_3.$ Il existe un entier naturel $d$ et des entiers $u_0,\dots u_d$ ainsi que des entiers $v_0,\dots,v_d$ tels que :

\begin{align*}
P_1(X)-P_2(X) &= \sum_{i=0}^d u_iX^i\\
P_2(X)-P_3(X) &= \sum_{i=0}^d v_iX^i.
\end{align*}

Alors :

\begin{align*}
P_1(X)-P_3(X) &= P_1(X)-P_2(X) + P_2(X)-P_3(X)\\
&=\sum_{i=0}^d u_iX^i + \sum_{i=0}^d v_iX^i\\
&= \sum_{i=0}^d (u_i+ v_i)X^i.
\end{align*}

Or, pour tout entier $i$ compris entre $0$ et $d$, $n\mid u_i$ et $n\mid v_i.$ Par somme, vous déduisez que $n\mid u_i+v_i.$ L’entier $n$ divise tous les coefficients du polynôme $P_1-P_3.$ Il en résulte que $P_1\mathscr{R}P_3.$

Passez à l’ensemble quotient $\Z[X] / \mathscr{R}$

La relation $\mathscr{R}$ étant réflexive, transitive et symétrique sur $\Z[X]$ elle est une relation d’équivalence.

Vous notez $\Z[X] / \mathscr{R}$ l’ensemble de toutes les classes d’équivalence obtenues.

Il est rappelé que pour tout polynôme $P$ à coefficients entiers, la classe de $P$ est définie par :

\{A\in\Z[X], A\mathscr{R}P\}.

Notez que, comme $\mathscr{R}$ est réflexive, la classe de $P$ n’est pas vide.

Ainsi, $\Z[X] / \mathscr{R}$ est un ensemble, formé par des classes d’équivalences qui sont toutes non vides.

Pour plus de commodité, quels que soient les polynômes $P_1$ et $P_2$ à coefficients entiers, vous notez $P_1\equiv P_2 \mod (n,Q)$ au lieu de $P_1\mathscr{R} P_2.$

Montrez la compatibilité avec l’addition

Soient $P_1$, $P_2$, $P_3$ et $P_4$ quatre polynômes à coefficients entiers tels que :

\left\{\begin{align*}
P_1&\equiv P_2 \mod (n,Q)\\
P_3&\equiv P_4 \mod (n,Q).
\end{align*}
\right.

Vous avez $P_1\mathscr{R}P_2$ autrement dit, $Q\mid P_1-P_2$ et tous les coefficients du polynôme $P_1-P_2$ sont divisibles par $n.$

Vous en déduisez immédiatement que $Q\mid (P_1-P_2)-0$ et que tous les coefficients du polynôme $(P_1-P_2)-0$ sont divisibles par $n.$ Autrement dit $P_1-P_2 \mathscr{R} 0.$

De même, comme $P_3\mathscr{R}P_4$ vous déduisez par symétrie $P_4\mathscr{R}P_3$ puis $P_4-P_3 \mathscr{R} 0.$

Par transitivité, vous déduisez $P_1-P_2\mathscr{R} P_4-P_3.$

Ainsi, $Q$ divise le polynôme $(P_4-P_3)-(P_1-P_2) = (P_2+P_4)-(P_1+P_3).$

L’entier $n$ divise tous les coefficients de $(P_4-P_3)-(P_1-P_2) = (P_2+P_4)-(P_1+P_3).$

Autrement dit, il vient d’être prouvé que $P_1+P_3\mathscr{R} P_2+P_4$ soit :

P_1+P_3 \equiv P_2+P_4 \mod (n,Q).

Montrez la compatibilité faible avec le produit

Pour parvenir à ce résultat, fixez un polynôme $P$ à coefficients entiers.

Soient $P_1$ et $P_2$ deux polynômes à coefficients entiers tels que :

P_1\equiv P_2 \mod (n,Q).

D’une part, $Q\mid P_1-P_2.$ Or, $PP_1-PP_2 = P(P_1-P_2)$ si bien que $P_1-P_2 \mid PP_1-PP_2.$ Par transitivité, il vient $Q\mid PP_1-PP_2.$

D’autre part, il existe un entier naturel $d$ et des entiers $u_0,\dots,u_d$ tels que :

P_1(X)-P_2(X) = \sum_{i=0}^d u_i X^i.

L’hypothèse $P_1\mathscr{R} P_2$ fournit :

\forall i\in\llbracket 0, d\rrbracket, n\mid u_i.

Il existe un entier naturel $k$ et des entiers $v_0,\dots,v_k$ tels que :

P(X) = \sum_{j=0}^k v_j X^j.

Il vient alors :

\begin{align*}
(PP_1-PP_2)(X) &= P(X) (P_1(X)-P_2(X))\\
&=  \left(\sum_{j=0}^k v_j X^j\right) \left(\sum_{i=0}^d u_i X^i\right)\\
&= \sum_{j=0}^k\sum_{i=0}^du_iv_j X^{i+j}\\
&= \sum_{\substack{0\leq j \leq k \\ 0\leq i \leq d}}u_iv_j X^{i+j}\\
&=\sum_{\ell = 0}^{k+d}   \sum_{\substack{0\leq j \leq k \\ 0\leq i \leq d \\ i+j = \ell}}u_iv_j X^{i+j}\\
&= \sum_{\ell = 0}^{k+d}  \left( \sum_{\substack{0\leq j \leq k \\ 0\leq i \leq d \\ i+j = \ell}}u_iv_j\right) X^{\ell}.
\end{align*}

Soit $\ell$ un entier compris entre $0$ et $k+d.$

Soient $i$ un entier compris entre $0$ et $d$, puis $j$ un entier compris entre $0$ et $k$ tels que $i+j=\ell.$

Comme $n\mid u_i$ et comme $u_i \mid u_iv_j$ vous déduisez $n\mid u_iv_j.$

Par somme, $n$ divise $\sum_{\substack{0\leq j \leq k \ 0\leq i \leq d \ i+j = \ell}}u_iv_j.$

Il en résulte que tous les coefficients du polynôme $PP_1-PP_2$ sont divisibles par $n.$

Vous déduisez que : $\boxed{PP_1\equiv PP_2 \mod (n,Q).}$

Montrez la compatibilité forte avec le produit

Soient $P_1$, $P_2$, $P_3$ et $P_4$ quatre polynômes à coefficients entiers tels que :

\left\{\begin{align*}
P_1&\equiv P_2 \mod (n,Q)\\
P_3&\equiv P_4 \mod (n,Q).
\end{align*}
\right.

D’après le compatibilité faible avec le produit démontrée ci-dessus, en multipliant la première relation par $P_3$ il vient :

P_1P_3 \equiv P_2P_3  \mod (n,Q).

D’après le compatibilité faible avec le produit démontrée ci-dessus, en multipliant la seconde relation par $P_2$ il vient :

P_2P_3 \equiv P_2P_4  \mod (n,Q).

Vous avez ainsi :

\begin{align*}
P_1P_3&\mathscr{R}P_2P_3\\
P_2P_3&\mathscr{R}P_2P_4.
\end{align*}

Par transitivité, il vient :

P_1P_3\mathscr{R}P_2P_4.

Cela s’écrit :

\boxed{P_1P_3 \equiv P_2P_4 \mod (n,Q).}

Prolongement

Pour tout polynôme $P$ à coefficients entiers, notez $\varphi(P)$ la classe d’équivalence du polynôme $P.$

Soient $U$ et $V$ deux éléments de $\Z[X] / \mathscr{R}.$ Comme $U$ et $V$ sont des classes d’équivalences, elles ne peuvent pas être vides. Il existe donc $P_U\in\Z[X]$ et $P_V\in\Z[X]$ tels que $U = \varphi(P_U)$ et $V = \varphi(P_V).$

L’addition de $U$ et de $V$ dans $\Z[X] / \mathscr{R}$ est définie par $\varphi(P_U+P_V).$ Cette opération est bien définie : d’après la compatibilité démontrée pour l’addition l’élément $\varphi(P_U+P_V)$ ne dépend pas du choix des représentants effectué pour $U$ et $V.$

De même, la multiplication de $U$ et de $V$ dans $\Z[X] / \mathscr{R}$ est définie par $\varphi(P_U P_V).$ Cette opération est aussi bien définie : d’après la compatibilité démontrée pour la multiplication l’élément $\varphi(P_U P_V)$ ne dépend pas non plus du choix des représentants effectué pour $U$ et $V.$

D’après la théorie développée plus haut, justifiez que l’ensemble quotient $\Z[X] / \mathscr{R}$ est un anneau unitaire commutatif muni des deux opérations définies ci-dessus.

339. Une énigme trigonométrique avec des identités et des symétries

Il s’agit de démontrer dans cet article l’identité suivante :

\boxed{\tan 9°−\tan27°−\tan 63°+\tan 81°=4.}

Utilisant la symétrie par rapport à $45°$, vous constatez que $63° = 45°+18°$ et que $27° = 45°-18°.$

Vous posez, pour l’intégralité de cet article, $x=\frac{\pi}{10}.$
C’est le réel qui mesure en radians un angle de $18°.$ Vous effectuez le calcul d’une première somme.

Calculez la somme $\tan 27°+\tan 63°$

\begin{align*}
\tan 27°+\tan63° &= \tan\left(\frac{\pi}{4}-x\right)+\tan\left(\frac{\pi}{4}+x\right)\\
&=\frac{ \tan\left(\frac{\pi}{4}\right) - \tan\left(x\right) }{1+\tan\left(\frac{\pi}{4}\right) \tan\left(x\right) } + \frac{ \tan\left(\frac{\pi}{4}\right) + \tan\left(x\right) }{1-\tan\left(\frac{\pi}{4}\right) \tan\left(x\right) }.
\end{align*}

Utilisant l’égalité $\tan\left(\frac{\pi}{4}\right) = 1$ vous obtenez :

\begin{align*}
\tan 27°+\tan 63° 
&=\frac{ 1 - \tan\left(x\right) }{1+ \tan\left(x\right) } + \frac{ 1 + \tan\left(x\right) }{1- \tan\left(x\right) } \\
&=\frac{(1-\tan x)^2+(1+\tan x)^2}{1-\tan^2 x}\\
&=\frac{1-2\tan x + \tan^2 x+1+2\tan x+\tan^2x}{1-\tan^2 x}\\
&=\frac{2 + 2\tan^2 x}{1-\tan^2 x}\\
&=\frac{2( 1+ \tan^2 x) }{1-\tan^2 x}.
\end{align*}

Calculez la somme $\tan 9°+\tan 81°$

Comme précédemment, utilisez la symétrie autour de $45°$.
Partant de $81° = 45° + 2\times 18°$ et de $81° = 45° + 2\times 18°$ vous obtenez :

\begin{align*}
\tan 9°+\tan 81° &= \tan\left(\frac{\pi}{4}-2x\right)+\tan\left(\frac{\pi}{4}+2x\right)\\
&=\frac{ \tan\left(\frac{\pi}{4}\right) - \tan\left(2x\right) }{1+\tan\left(\frac{\pi}{4}\right) \tan\left(2x\right) } + \frac{ \tan\left(\frac{\pi}{4}\right) + \tan\left(2x\right) }{1-\tan\left(\frac{\pi}{4}\right) \tan\left(2x\right) }\\
 &=\frac{ 1 - \tan\left(2x\right) }{1+ \tan\left(2x\right) } + \frac{ 1 + \tan\left(2x\right) }{1- \tan\left(2x\right) } \\
&= \frac{2(1 + \tan^2 (2x)) }{1-\tan^2 (2x)}.
\end{align*}

Exprimez $\frac{ 1+ \tan^2 u}{1-\tan^2 u}$ en fonction de $\cos (2u)$

Soit $u\in\{x, 2x\}.$ Vous utilisez les égalités $1+\tan^2 u = \frac{1}{\cos ^2 u}$ et $\cos^2 u = \frac{1+\cos 2u}{2}$ et obtenez ce qui suit :

\begin{align*}
\tan^2 u &= (1+\tan^2 u) -1\\
&=\frac{1}{\cos^2 u}-1\\
&=\frac{1}{\frac{1+\cos (2u)}{2}}-1\\
&=\frac{2}{1+\cos 2u}-1.
\end{align*}

Par suite :

\begin{align*}
1-\tan^2u &= 1-\frac{2}{1+\cos 2u}+1\\
&=2-\frac{2}{1+\cos 2u}\\
&=\frac{2+2\cos 2u-2}{1+\cos 2u}\\
&=\frac{2\cos 2u}{1+\cos 2u}.
\end{align*}

Vous déduisez :

\begin{align*}
\frac{ 1+ \tan^2 u}{1-\tan^2 u} &= \frac{\frac{1}{\cos^2 u}}{\frac{2\cos 2u}{1+\cos 2u}}\\
&=\frac{1+\cos 2u}{2\cos 2u \cos^2u}\\
&=\frac{1+\cos 2u}{2\cos 2u\times \frac{1+\cos 2u}{2}}\\
&=\frac{1+\cos 2u}{\cos 2u(1+\cos 2u) }\\
&=\frac{1}{\cos 2u}.
\end{align*}

Note. Il y a des moyens plus rapides d’aboutir à ce résultat, le lecteur est invité à proposer une autre solution.

Concluez

D’après ce qui précède :

\begin{align*}
\tan 9°−\tan 27° −\tan 63°+\tan 81° &= (\tan 9°+\tan81°)-(\tan 27°+\tan 63°)\\
&=\frac{2 }{\cos 4 x}-\frac{2}{\cos 2x}\\
&=\frac{2 }{\cos 72°}-\frac{2}{\cos 36°}\\
\end{align*}

Or, le contenu rédigé dans l'article 106 a permis de montrer que :

\left\{\begin{align*}
\cos 72° &= \frac{-1+\sqrt{5}}{4}\\
\cos 36° &= \frac{1+\sqrt{5}}{4}.
\end{align*} 
\right.

Vous finissez ainsi le calcul comme suit :

\begin{align*}
\tan 9°−\tan 27° −\tan 63°+\tan 81° &= \frac{8}{\sqrt{5}-1}-\frac{8}{\sqrt{5}+1}\\
&=\frac{8\sqrt{5}+8-8\sqrt{5}+8}{(\sqrt{5}-1)(\sqrt{5}+1) }\\
&=\frac{16}{5-1}\\
&=4.
\end{align*}

En définitive, il a bien été montré que :

\boxed{\tan 9°−\tan27°−\tan 63°+\tan 81°=4.}

338. Une fonction qui admet une dérivée seconde positive est nécessairement convexe

Soit $f$ une fonction définie sur $\R$ et deux fois dérivable sur $\R$, de sorte que $f^{\pprime}$ soit une fonction positive. Soient $a$ et $b$ deux réels tels que $a<b.$

Soit $t$ un réel de l’intervalle $[0,1].$

Remarque liminaire

On constate déjà que si $t=0$, alors :

\begin{align*}
f(ta+(1-t)b) &= f(b)\\
tf(a)+(1-t)f(b) &= 1\times f(b) = f(b).
\end{align*} 

Vous en déduisez que l’inégalité $f(ta+(1-t)b) \leq tf(a)+(1-t)f(b)$ est satisfaite pour $t=0.$

De même, si $t=1$, alors :

\begin{align*}
f(ta+(1-t)b) &= f(a)\\
tf(a)+(1-t)f(b) &= 1\times f(a) = f(a).
\end{align*} 

Vous en déduisez que l’inégalité $f(ta+(1-t)b) \leq tf(a)+(1-t)f(b)$ est satisfaite pour $t=1.$

Lorsque $t$ est différent de $0$ et différent de $1$ qu’en est-il ?

Supposez maintenant que $t\notin\{0,1\}.$ Vous posez $c = ta+(1-t)b.$

D’une part :

\begin{align*}
b-c &=b -ta+(t-1)b\\
&=b-ta+tb-b\\
&=t(b-a).
\end{align*} 

Comme $b-a > 0$ et $t> 0$ il vient $b-c> 0$ et donc $c<b.$

D’autre part :

\begin{align*}
c-a &=ta+(1-t)b-a\\
&=ta+b-tb-a\\
&=a(t-1)+b(1-t)\\
&=-a(1-t)+b(1-t)\\
&=(1-t)(b-a).
\end{align*} 

Comme $b-a > 0$ et $1-t>0$ il vient $c-a> 0$ et donc $a<c.$

En définitive, le nombre $c$ vérifie les inégalités :

\boxed{a< c < b.}

Construisez des polynômes interpolateurs

Vous posez :

P_a(X)=\frac{(X-b)(X-c)}{(a-b)(a-c)}.

Vous déduisez :

\left\{\begin{align*}
P_a(a) &=1\\
P_a(b) &=0\\
P_a(c) &=0.
\end{align*}
\right.

Vous posez :

P_b(X)=\frac{(X-a)(X-c)}{(b-a)(b-c)}.

Vous déduisez :

\left\{\begin{align*}
P_b(a) &=0\\
P_b(b) &=1\\
P_b(c) &=0.
\end{align*}
\right.

Enfin, vous posez :

P_c(X)=\frac{(X-a)(X-b)}{(c-a)(c-b)}.

Vous déduisez :

\left\{\begin{align*}
P_c(a) &=0\\
P_c(b) &=0\\
P_c(c) &=1.
\end{align*}
\right.

Maintenant, vous définissez un polynôme $P$ de la façon suivante, en posant :

P(X) = f(a)P_a(X)+f(b)P_b(X)+f(c)P_c(X).

Vous avez l’évaluation suivante :

\begin{align*}
P(a) &= f(a)P_a(a)+f(b)P_b(a)+f(c)P_c(a)\\
&=f(a)\times 1 + f(b)\times 0+f(c)\times 0\\
&=f(a).
\end{align*}

Puis :

\begin{align*}
P(b) &= f(a)P_a(b)+f(b)P_b(b)+f(c)P_c(b)\\
&=f(a)\times 0 + f(b)\times 1+f(c)\times 0\\
&=f(b).
\end{align*}

Enfin :

\begin{align*}
P(c) &= f(a)P_a(c)+f(b)P_b(c)+f(c)P_c(c)\\
&=f(a)\times 0 + f(b)\times 0+f(c)\times 1\\
&=f(c).
\end{align*}

Utilisez le théorème de Rolle plusieurs fois

Pour tout réel $x$, vous posez $g(x) = f(x)-P(x).$

D’après ce qui précède, vous avez $g(a) = 0$ et $g(c)=0$, si bien que $g(a)=g(c).$ La fonction $g$ est dérivable sur $\R$ comme différence de la fonction $f$ et de la fonction polynôme $P$ qui le sont. Ainsi, $g$ est continue sur $[a,c]$ et dérivable sur $]a,c[.$ D’après le théorème de Rolle, il existe un réel $\alpha\in]a,c[$ tel que $g'(\alpha)=0.$

De même, vous avez $g(c) = 0$ et $g(b)=0$ si bien que $g(c)=g(b).$ La fonction $g$ est dérivable sur $\R$ donc elle est dérivable sur $]c,b[$ et elle est continue sur $[c,b].$ D’après le théorème de Rolle, il existe un réel $\beta\in]c,b[$ tel que $g'(\beta)=0.$

Notez que $\alpha < c <\beta$ si bien que $\alpha < \beta.$

De plus, pour tout réel $x$, il vient $g'(x) = f'(x)-P'(x).$ Comme $f$ est deux fois dérivable sur $\R$, $f’$ est bien dérivable sur $\R.$ La fonction polynôme $P’$ est elle aussi dérivable sur $\R.$ Par différence, $g’$ est dérivable sur $\R.$ En particulier, $g’$ est continue sur $[\alpha, \beta]$ et dérivable sur $]\alpha, \beta[.$ Comme $g'(\alpha) = g'(\beta)$ le théorème de Rolle fournit l’existence d’un réel $\xi\in]\alpha, \beta[$ tel que $g^{\pprime}(\xi) = 0.$

Or, pour tout réel $x$, $g^{\pprime}(x) = f^{\pprime}(x)-P^{\pprime}(x).$

En évaluant pour $x=\xi$, vous déduisez $f^{\pprime}(\xi)-P^{\pprime}(\xi) = 0$ soit $f^{\pprime}(\xi)=P^{\pprime}(\xi).$

La dérivée seconde de $f$ étant positive sur $\R$ tout entier, vous déduisez $\boxed{P^{\pprime}(\xi) \geq 0.}$

Calculez la dérivée seconde du polynôme $P$

Il a été vu que:

P(X) = f(a)P_a(X)+f(b)P_b(X)+f(c)P_c(X).

En dérivant deux fois, il vient:

P^{\pprime}(X) = f(a)P_a^{\pprime}(X)+f(b)P_b^{\pprime}(X)+f(c)P_c^{\pprime}(X).

Maintenant:

P_a(X)=\frac{(X-b)(X-c)}{(a-b)(a-c)}.

En dérivant une première fois, vous avez:

P_a^{'}(X)=\frac{1\times (X-c)+(X-b)\times 1}{(a-b)(a-c)}.

En dérivant encore une fois:

P_a^{\pprime}(X) = \frac{2}{(a-b)(a-c)}.

Vous recommencez avec le polynôme $P_b$ ce qui fournit:

P_b(X)=\frac{(X-a)(X-c)}{(b-a)(b-c)}.

Puis:

P_b^{'}(X)=\frac{1\times (X-c)+(X-a)\times 1}{(b-a)(b-c)}.

Soit:

P_b^{\pprime}(X) = \frac{2}{(b-a)(b-c)}.

Vous terminez avec le polynôme $P_c$ ce qui fournit:

P_c(X)=\frac{(X-a)(X-b)}{(c-a)(c-b)}.

Puis:

P_c^{'}(X)=\frac{1\times (X-b)+(X-a)\times 1}{(c-a)(c-b)}.

Soit:

P_c^{\pprime}(X) = \frac{2}{(c-a)(c-b)}.

L’ensemble étant réuni, il se trouve que:

\boxed{P^{\pprime}(X) =  \frac{2f(a)}{(a-b)(a-c)}+\frac{2f(b)}{(b-a)(b-c)}+ \frac{2f(c)}{(c-a)(c-b)}.}

Note. Le polynôme $P$ ayant un degré inférieur ou égal à $2$, on retrouve que $P’$ est de degré inférieur ou égal à $1$ et donc $P^{\pprime}$ est bien constant.

Concluez

En évaluant en $X=\xi$ et en tenant compte de l’inégalité $P^{\pprime}(\xi)\geq 0$ vous déduisez:

\frac{2f(a)}{(a-b)(a-c)}+\frac{2f(b)}{(b-a)(b-c)}+ \frac{2f(c)}{(c-a)(c-b)} \geq 0.

Après division par $2$, il vient:

\frac{f(a)}{(a-b)(a-c)}+\frac{f(b)}{(b-a)(b-c)}+ \frac{f(c)}{(c-a)(c-b)} \geq 0.

Vous cherchez à isoler $f(c).$ Donc:

\frac{f(a)}{(a-b)(a-c)}+\frac{f(b)}{(b-a)(b-c)}\geq - \frac{f(c)}{(c-a)(c-b)}.

Comme $(a-b)(a-c) = (b-a)(b-c)$, et $-(c-b) = b-c$ vous déduisez:

\frac{f(a)}{(b-a)(c-a)}+\frac{f(b)}{(b-a)(b-c)}\geq  \frac{f(c)}{(c-a)(b-c)}.

Comme $a<c<b$ les trois nombres $b-c$ puis $c-a$ et $b-a$ sont strictement positifs.

Par produit, il en résulte que $(b-a)(b-c)(c-a)>0.$ En multipliant la dernière inégalité par ce nombre et après simplification, il vient:

(b-c)f(a)+(c-a)f(b) \geq  (b-a)f(c).

Or, il a été vu à la première section de cet article que:

\left\{\begin{align*}
b-c&=t(b-a)\\
c-a  &=(1-t)(b-a).
\end{align*} 
\right.

La précédente inégalité s’écrit ainsi:

t(b-a)f(a)+(1-t)(b-a)f(b) \geq  (b-a)f(c).

Comme $b-a > 0$ vous pouvez diviser par ce nombre et simplifier. Vous obtenez:

tf(a)+(1-t)f(b) \geq  f(c).

Comme $c = ta+(1-t)b$, il vient:

f(ta+(1-t)b)\leq tf(a)+(1-t)f(b).

Il a donc été montré que:

\forall t\in]0,1[, f(ta+(1-t)b)\leq tf(a)+(1-t)f(b).

En tenant compte de la remarque liminaire, vous avez montré que:

\forall t\in[0,1], f(ta+(1-t)b)\leq tf(a)+(1-t)f(b).

Épilogue

Pour toute fonction $f$ définie sur $\R$ et deux fois dérivable sur $\R$ et de dérivée seconde positive, il a été montré que quels que soient les réels $a$ et $b$ tels que $a<b$ vous avez l’inégalité :

\boxed{\forall t\in[0,1], f(ta+(1-t)b)\leq tf(a)+(1-t)f(b).}

Autrement dit, la fonction $f$ est convexe sur $\R.$