Exercice 6 p. 22 – Maths Terminale S – Indice Bordas 2012

Soit $n$ un entier naturel ($n\in \mathbb{N}$) et notons la proposition ${\rm P}(n)$ : « $u_n\leqslant 6$ ».

Démontrons par récurrence que ${\rm P}(n)$ est vraie pour tout entier naturel $n$.

C’est l’énoncé qui vous indique à partir de quelle valeur de $n$ le raisonnement par récurrence doit « démarrer », autrement dit la valeur de $n$ pour laquelle vous devez vérifier l’initialisation. L’énoncé dit « Démontrer que … pour tout entier naturel $n$. ». « Pour tout entier naturel » signifie pour tout $n\geqslant 0$, donc à partir de $0$. L’initialisation se fera donc pour $n=0$.

Initialisation ($n=0$)

Démontrons que ${\rm P}(0)$ est vraie, c’est-à-dire que $u_0\leqslant 6$.

Nous avons par définition

$u_0=-2$.

Or

$-2\leqslant 6$,

donc

$u_0\leqslant 6$.

${\rm P}(0)$ est donc vraie.

Hérédité

Supposons que pour un entier naturel $k$ quelconque, ${\rm P}(k)$ : « $u_k\leqslant 6$ » soit vraie (hypothèse de récurrence). Montrons qu’alors

${\rm P}(k+1)$ : « $u_{k+1}\leqslant 6$ est vraie.

Autrement dit, montrons que si $\quad u_k\leqslant 6 \quad$ alors $\quad u_{k+1}\leqslant 6$.

Très souvent, pour démontrer une inégalité dans un raisonnement par récurrence, il faut partir de l’hypothèse de récurrence. Par manipulation de cette dernière (en ajoutant, soustrayant, multipliant ou divisant les deux membres de l’inégalité par un même nombre), il faut arriver à faire apparaître, dans le membre de gauche, le terme souhaité, ici « $u_{n+1}$ ».

Par hypothèse de récurrence,

$u_k\leqslant 6$.

Multiplions les deux membres de l’inégalité par $\dfrac{1}{2}$ puis ensuite, ajoutons 3 aux deux membres de l’inégalité, nous obtenons alors

$\dfrac{1}{2}u_k+3\leqslant \dfrac{1}{2}\times6 +3$.

Puisque $\dfrac{1}{2}\times6 +3=3+3=6$, nous obtenons

$\dfrac{1}{2}u_k+3\leqslant 6$,

qui devient, puisque par définition, $u_{k+1}=\dfrac{1}{2}u_k+3$

$u_{k+1}\leqslant 6$.

Ainsi, nous avons montrer que $u_{k+1}\leqslant 6$, donc que ${\rm P}(k+1)$ est vraie.

Autrement dit, nous venons de montrer que si $\quad u_k\leqslant \quad6$ alors $\quad u_{k+1}\leqslant 6$

c’est-à-dire que si ${\rm P}(k)$ est vraie, alors ${\rm P}(k+1)$ est vraie.

La propriété ${\rm P}(n)$ est donc héréditaire.

Conclusion

${\rm P}(0)$ est vraie et la proposition est héréditaire, donc d’après le principe de récurrence ${\rm P}(n)$ est vraie pour tout $n\in \mathbb{N}$. Ainsi,

$u_n\leqslant 6$ pour tout $n\in \mathbb{N}$.