Bonjours,
En faisant des exercices d'entrainement en math sur la démonstration de récurrence dans les suites, je me rend comte que j'ai un problème.
Nous avons vu un exemple que je comprend parfaitement ( qui suis, ainsi, vous pourrez voir de quoi je parle exactement
)
''Soit U la suite définie par résurrence par : ( U0 = 0 et Un+1 = Un + 2n )
Démontrons que pour tout entier nat "n" , Un = 2^n - 1
Soit P(n) la propriété " Un = 2^n -1"
initialisation de la propriété :
U0 = 0
et 2^0 -1 = 1-1 = 0
donc U0 = 2^0 : P(0) est vrais
Soit k un entier naturel. Supposons que P(k) soit vrais, c'est a dire :
Uk = 2^k - 1 ( c'est l'hypothèse de récurrence )
Démontrons alors que P(k+1) est vraie, c'est a dire que Uk+1 = 2^k+1 -1
Uk+1 = Uk + 2k
Uk+1 = 2k - 1 + 2k
Uk+1 = 2*2k - 1
Uk+1 =2^1 * 2^k - 1
Uk+1 = 2^k+1 - 1
Donc P(k) est vraie
P(k+1) vraie
Ainsi par récurence, pour tout n, la propriété P(n) est vraie, c'est a dire : Un = 2^n - 1
''
Pour cette exercice rien a signaler, je comprend le raisonnement.
maintenant Prenons plutôt ( U0 = - 1 et Un+1 = racine de 2Un + 3
POur démontrer que pour tout n de N, on a Un est inf ou égal a 3
Le je bloque ....
comment initialiser la propriété en montrant que U0 est bien égal a U0, alors qu'il n'est pas possible de trouver U0 avec "Un + 1 : racine de 2Un + 3 "
Une personne pour m'expliquer comment faire ?
J'ai l'impression, du coup, de ne plus saisir le raisonnent initial 
Alors que l'exemple ne me pose pas de problème
Merci de m’éclairer 