Pour tout entier naturel
n, posons la propriété
Pn:21≤un≤un+1≤2Etape d’initialisationOn a vu précédemment que
u0=21 et
u1=54.
Ainsi :
21≤u0≤u1≤2La propriété
P0 est vraie.
Etape d’heˊreˊditeˊOn suppose qu'il existe un entier
k tel que la propriété
Pk soit vraie c'est-à-dire :
21≤uk≤uk+1≤2 et vérifions si la propriété est également vraie au rang
k+1 c'est-à-dire :
21≤uk+1≤uk+2≤2Par hypothèse de récurrence,
21≤uk≤uk+1≤2 , or
f:x↦1+3x4x une fonction croissante sur ]−31;+∞[ et donc croissante en particulier sur
[21;2]. L'ordre est donc conservé , ainsi :
f(21)≤f(uk)≤f(uk+1)≤f(2) . Comme
f(x)=1+3x4x alors :
f(uk)=uk+1 et
f(uk+1)=uk+2 . Il vient alors que :
f(21)≤uk+1≤uk+2≤f(2) .
De plus :
f(21)=1+3×214×21=54 et
f(2)=1+3×24×2=78Ainsi :
21≤54≤uk+1≤uk+2≤78≤2Finalement :
21≤uk+1≤uk+2≤2Ainsi la propriété
Pk+1 est vraie.
ConclusionPuisque la propriété
P0 est vraie et que nous avons prouvé l'hérédité, on peut en déduire, par le principe de récurrence que pour tout entier naturel
n, on a
Pn vraie, c'est à dire que pour tout entier naturel
n,
21≤un≤un+1≤2