Récurrences

[dilzydils]

Bonjour
Hormis la récurrence classique vue au lycée, j'ai entendu parler de 2 autres types de récurrence:
- le principe de récurrence forte: la différence est au niveau de l'hypothèse de récurrence: il faut supposer la ppté vraie jusqu'au rang n, je pense. Pq? 1 exple d'une telle récurrence me clarifierait les idées.
- les récurrences "emboîtées" où c'est l'étape d'initialisation qui change: il faut vérifier la ppté pour plusieurs indices: 1,2,3 par exple. Pq? ->exple d'apllication svp
Merci

[tristan]

Bonsoir, essaye de prouver que tout entier superieur ou égal à 2 possède un diviseur premier (récurrence forte).

Si tu conjectures le terme général d'une suite du type l'initialisation doit porter sur les deux premiers termes de la suite.

[quinto]

Au niveau logique, il n'y a pas de différence entre les différentes récurrences, mais dans tel ou tel cas, c'est plus ou moins simple de s'en servir.
A+