
boostbasket boostbasket
darktitanj darktitanj
P(n-1) donc ça tourne!
boostbasket boostbasket
antho07 antho07
erio erio
boostbasket boostbasket
erio erio
n'implique pas du tout n<
P(n+1), pour n
n0, et que tu initialise en démontrant P(n0), alors P(n) est vraie pour tout entier n
n0
P(n-1), pour n
n0, et que tu initialise en démontrant P(n0), alors P(n) est vraie pour tout entier n
n0
, tu vérifie P(n) pour 0
n
n0.
erio erio
et que tu désires démontrer une propriété pour les entiers négatifs, auquel cas seule une récurrence descendante partant de 0 fonctionne, puisque de proche en proche tu vérifies P(0),P(-1),P(-2),...
, en partant de 0 et en "descendant" on ne va pas loin 
boostbasket boostbasket