Pour tout entier naturel
n, posons la propriété
Pn:0≤un+1≤un≤1Etape d’initialisationOn a vu précédemment que
u0=0,6 et
u1=0,4095.
Ainsi :
0≤u1≤u0≤1La 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 :
0≤uk≤uk+1≤1 et vérifions si la propriété est également vraie au rang
k+1 c'est-à-dire :
0≤uk+1≤uk+2≤1Par hypothèse de récurrence,
0≤uk+1≤uk≤1 , or
f:x↦0,75x(1−0,15x) une fonction croissante sur
[0;1] . L'ordre est donc conservé , ainsi :
f(0)≤f(uk+1)≤f(uk)≤f(1) . Comme
f(x)=0,75x(1−0,15x) alors :
f(uk)=uk+1 et
f(uk+1)=uk+2 . Il vient alors que :
f(0)≤uk+2≤uk+1≤f(1) .
De plus :
f(0)=0,75×0(1−0,15×0)=0 et
f(1)=0,75×1(1−0,15×1)=0,6375Ainsi :
0≤uk+2≤uk+1≤0,6375≤1Finalement :
0≤uk+2≤uk+1≤1Ainsi 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,
0≤un+1≤un≤1