On veut montrer que, pour tout n € N, u(n) = u0.
Initialisation :
Pour n = 0, il est évident que u(n) = u0, donc P(0) est vraie.
Hypothèse :
On suppose que, pour tout n € N, u(n) = u0.
Hérédité :
Si P(n) est vraie, alors on peut écrire :
((u(n))^4 + u(n) + 2)/(u(n) + 1) = (u0^4 + u0 + 2)/(u0 + 1) = ... = sqrt(2).
u(n+1) = u0, donc P(n+1) est vraie.
Conclusion :
D'après le principe de démonstration par récurrence, u(n) = u0 pour tout n € N.
C'est ça ? 