Premier jour de cours, je rentre avec un polycop de maths à étudier.
Je dois traiter un exemple (récurrence double) :
Soit une suite définie par récurrence telle que :
;
Il me faut trouver en fonction de n.
On m'explique ensuite immédiatement le principe, mais j'ai du mal à le comprendre :
th : On vérifie vraies et on montre que pour
si sont vraies alors est vraie. On conclut
En fait le "point de pivot" de la démonstration est le p-ième terme, nan ? Mais dans ce cas-là, quelle est fastidieuse !