Initialisation
Pour
n=0 :
u0=0, donc on a bien :
0≤u0≤2.
Hérédité
Supposons que pour un certain entier
n :
0≤un≤2.
Montrons alors que :
0≤un+1≤2.
D'après l'hypothèse de récurrence :
0
|
≤
|
un
|
≤
|
2
|
|
2
|
≤
|
un+2
|
≤
|
4
|
En ajoutant 2 à chacun des membres de l'encadrement
|
2
|
≤
|
un+2
|
≤
|
4
|
En appliquant la fonction racine carrée qui est croissante sur [0;+∞[
|
2
|
≤
|
un+1
|
≤
|
2
|
|
0
|
≤
|
un+1
|
≤
|
2
|
Car un nombre plus grand que 2 est plus grand que 0.
|
Conclusion
D'après le principe de récurrence, pour tout entier
n,
0≤un≤2.