Dans le cadre de la préparation à l’agrégation de mathématiques, il peut être utile de savoir démontrer que $\forall n\geq 3, 4 \prod_{k=0}^{n-3}(5^{2^k}+1) = 5^{2^{n-2}}-1.$
Définissez la propriété
Pour tout entier naturel $n$ supérieur ou égal à $3$, notez $P(n)$ la propriété « $4 \prod_{k=0}^{n-3}(5^{2^k}+1) = 5^{2^{n-2}}-1$. »
Initialisez
Supposez que $n=3.$
\begin{aligned}
4 \prod_{k=0}^{n-3}(5^{2^k}+1) &= 4 (5^{2^0}+1) \\
&=4( 5+1)\\
&=24.
\end{aligned}
D’autre part :
\begin{aligned}
5^{2^{n-2}}-1 &= 5^{2^1}-1 \\
&= 5^2-1\\
&=24.
\end{aligned}
Il s’ensuit que $P(3)$ est vérifiée.
Montrez que la propriété est héréditaire
Soit $n$ un entier naturel supérieur ou égal à $3$, tel que $P(n)$ soit vérifiée.
\begin{aligned}
4 \prod_{k=0}^{(n+1)-3}(5^{2^k}+1) &= 4 \prod_{k=0}^{n-2}(5^{2^k}+1) \\
&= 4 \prod_{k=0}^{n-3}(5^{2^k}+1) (5^{2^{n-2}}+1)\\
&= (5^{2^{n-2}}-1)(5^{2^{n-2}}+1)\\
&= (5^{2^{n-2}})^2-1\\
&=5^{2\times 2^{n-2}}-1\\
&=5^{2^{n-1}}-1\\
&=5^{2^{(n+1)-2}}-1.\\
\end{aligned}
Alors $P(n+1)$ est vérifiée.
Concluez par récurrence sur l’entier $n$
La propriété $P$ est vérifiée au rang $3$ et elle est héréditaire, par conséquent, $\forall n\geq 3$, $P(n)$ est vérifiée, donc $\boxed{\forall n\geq 3, 4 \prod_{k=0}^{n-3}(5^{2^k}+1) = 5^{2^{n-2}}-1}.$
Partagez !
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook !
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles !
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !