Bonjour.
Quand on fait une preuve par récurrence, on veut démontrer une propriété disons P(n), car elle dépend d'un entier n.
Par exemple P(n): 2^n-1 est impair pour n>=1.
On montre que la propriété est vraie au rang initial (0 ou 1 la plupart du temps), puis on montre que P(n) implique P(n+1) pour tout n. Dans ce cas, la propriété est vraie pour tout entier naturel n (on le déduit par implicatoin successive).
