Bah prenons un exemple bidon juste pour voir le principe.
Tu dispose d'une suite u(n) définie de manière suivante :
u(0)=0
Pour tout n de |N*, u(n+1)=u(n)+1
Ok c'est une suite arithmétique mais supposons que tu ne saches pas que pour tout n de |N, u(n)=n.
On voudrait montrer que pour tout n de |N, u(n)=n.
On procède alors pas récurrence sur |N.
On pose alors une hypothèse de récurrence dépendant ici du nombre n.
Ainsi, on peut poser l'hypothèse H(n) : "u(n)=n".
On procède alors à deux étapes pour vérifier la validité de notre hypothèse.
Tout d'abord, on montre que notre hypothèse est vraie pour le premier rang (c'est à dire pour n=0).
On va ensuite montrer que si pour n appartenant à |N*, u(n) est vraie, alors u(n+1) est aussi vraie.
Ainsi, on aura démontrer que u(0) est vraie.
Or, cela implique que u(1) est vraie ce qui implique que u(2) est vraie, etc...
Ainsi, on aura montré que l'hypothèse est en fait vraie pour tout entier naturel c'est à dire que pour tout n de |N, u(n)=n.
Voici les deux étapes de la "démonstration" :
Initialisation (souvent mais pas toujours le cas le plus simple) : d'après la définition de notre suite, u(0)=0.
Ainsi, notre hypothèse de récurrence est vraie au rang 0 (c'est à dire que H(0) est vraie).
Hérédité : on suppose H(n) pour un certain rang n de |N* (c'est à dire que l'hypothèse est vraie à ce rang n).
On a donc : u(n)=n d'après l'hypothèse.
Et d'après la définition de notre suite, on en déduis que u(n+1)=u(n)+1=n+1.
Ainsi, u(n+1)=n+1 implique que notre hypothèse de récurrence est vraie au rang n+1.
Cela termine l'étape d'hérédité.
On en conclut d'après la principe de récurrence que pour tout n de |N, u(n)=n.