Soit U(n) une suite définie par :
* U(0) = 1;
* U(n+1)= 2(U(0)+U(1)+U(2)+...+U(n)) + 1.
On conjecture que U(n) = 3^n.
Je souhaite le montrer par récurrence forte.
Initialisation : Vrai pour n=0.
Hérédité: Soit n fixé, quelconque.
On suppose que pour tout k appartenant à [|0;n|], la conjecture est vérifiée.
Montrons que ceci est aussi valable pour n+1.
C'est la première récurrence FORTE que j'essaie de faire et donc je ne sais pas comment commencer l'hérédité.
Pouvez-vous m'aider?
-----