logo

Récurrence Descendante


maths supRécurrence Descendante

#msg2464842 Posté le 27-05-09 à 17:38
Posté par Profilboostbasket boostbasket

Bonjour à tous,

Je souhaiterai savoir si ce raisonnement est correct :

P(n0) est vrai
On suppose le proposition vrai ua rang n
P(n-1) est vrai
La proposition est démontré pour tout n ?

Merci d'avance
re : Récurrence Descendante#msg2464846 Posté le 27-05-09 à 17:41
Posté par Profilantho07 antho07

entre 0 et le rang ou on a initialisé
re : Récurrence Descendante#msg2464851 Posté le 27-05-09 à 17:42
Posté par Profildarktitanj darktitanj

Bonjours
Oui, oui moi je pense que ta récurrence est bonne tu as P(n0) vraie et P(n) P(n-1) donc ça tourne!
Re#msg2464858 Posté le 27-05-09 à 17:44
Posté par Profilboostbasket boostbasket

Bonjour,
J'ai juste un petit doute car on si on démarre pour n = 1 et qu'on montre la récurrence descendante,on  sait que P(1) donne P(0) mais pourquoi P(1) donnerait P(2)   ?
re : Récurrence Descendante#msg2464890 Posté le 27-05-09 à 17:55
Posté par Profilantho07 antho07

Si on initialise à  n=n_{0} , qu'on montre P(n)->P(n-1)  pour un n quelconque entre 0 et  n_{0} , on a montré la propriété pour tout n dans \{0,1,\ldots ,n_{0} \}
Re#msg2464902 Posté le 27-05-09 à 17:58
Posté par Profilboostbasket boostbasket

Oui mais si j'initialise à no=1 ?
re : Récurrence Descendante#msg2464976 Posté le 27-05-09 à 18:21
Posté par Profilerio erio

Fait la démonstration avec la propriété : P(n) : n est plus petit que pi
P(0) est vraie 0<pi
On suppose P(n) vraie (n>0)
soit encore n<pi
donc n-1<n<pi
Donc P(n-1) vraie

Je te laisse déduire si tous les nombres entiers sont plus petits que pi...
RE#msg2465051 Posté le 27-05-09 à 18:47
Posté par Profilboostbasket boostbasket

D'accord, donc en fait la récurrence descendante marche exactement de la  même facon  que la  récurrence "normale"?
re : Récurrence Descendante#msg2465075 Posté le 27-05-09 à 18:59
Posté par Profilerio erio

Oups! On ne se comprend pas...
Mon exemple était un contre-exemple : nn'implique pas du tout n<

Si tu montre l'implication P(n)P(n+1), pour nn0, et que tu initialise en démontrant P(n0), alors P(n) est vraie pour tout entier nn0

Si par contre tu montre l'implication P(n)P(n-1), pour nn0, et que tu initialise en démontrant P(n0), alors P(n) est vraie pour tout entier nn0
Dans ce deuxième cas, si tu travailles dans , tu vérifie P(n) pour 0nn0.
RE#msg2465172 Posté le 27-05-09 à 19:50
Posté par Profilboostbasket boostbasket

Ainsi ma récurrence si j'initialise au rang n=0 n'a aucun sens ?
re : Récurrence Descendante#msg2465191 Posté le 27-05-09 à 20:01
Posté par Profilerio erio

Sauf si (arrête-moi si je complique) tu travailles dans 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),...

Mais si tu travailles dans , en partant de 0 et en "descendant" on ne va pas loin
Re#msg2465200 Posté le 27-05-09 à 20:10
Posté par Profilboostbasket boostbasket

C'est bien ce que je pensais. En fait je dois montré ma propriété a l'aide d'une dérivé en dérivant le rang supérieur, ce qui marche bien en  descendant mais pas tres bien dans l'autre sens puisquil faut intégrer et il y le probleme de la constante

Répondre à ce sujet

réservé Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster
attention Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.



maths - prof de maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2012