Pour tout entier naturel
n, posons la propriété
Pn:un=5×2n−4Etape d'initialisationOn sait que
u0=1 et que
u0=5×20−4=1 .
La propriété
P0 est vraie.
Etape d'héréditéOn suppose qu'il existe un entier
k tel que la propriété
Pk soit vraie c'est-à-dire
uk=5×2k−4 et vérifions si la propriété est également vraie au rang
k+1 c'est-à-dire
uk+1=5×2k+1−4Par hypothèse de récurrence :
uk=5×2k−4 , on multiplie par
2 de part et d'autre de l'égalité
2×uk=2×(5×2k−4)2×uk=2×5×2k−4×2 2×uk=2×5×2k−8 . Or :
2k×2=2k+1 . Ce qui nous donne :
2uk=5×2k+1−8 , on va maintenant additionner par
4 de part et d'autre de l'égalité (notre objectif est de faire apparaître dans le membre de gauche
uk+1)
2uk+4=5×2k+1−8+4 2uk+4=5×2k+1−4uk+1=5×2k+1−4Ainsi 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, on a bien :
un=5×2n−4