1. Pour établir par récurrence qu’une propriété est vraie pour tout entier , quelles conditions faut-il vérifier ?
Vérifier $$P(n_0)$$ et montrer que $$P(k)$$ implique $$P(k+1)$$ pour tout $$k\geq n_0$$
Explication
La récurrence repose sur l’initialisation au rang et sur l’hérédité, qui transforme la validité au rang en validité au rang . Vérifier un rang différent ou passer directement de à ne correspond pas au principe demandé.