Double récurrence

[theseptento]

Bonjour tout le monde

Je me pose une question :
Est-ce qu'il est possible de faire une récurrence à l'intérieur d'une récurrence (ça c'est évident) et d'utiliser la première hypothèse de récurrence (c'est à dire l'hypothèse de la première récurrence) dans la deuxième récurrence.
C'est le seul moyen que je trouve pour résoudre une récurrence. :hein:

Merci

[busard_des_roseaux]

bjr,

On peut faire une récurrence sur une propriété P
définissant une partie
Si , en plus, A ou P sont indicées par une variable entière k, ça ne devrait pas poser de problèmes.

[leon1789]

Je me pose une question :
Est-ce qu'il est possible de faire une récurrence à l'intérieur d'une récurrence (ça c'est évident) et d'utiliser la première hypothèse de récurrence (c'est à dire l'hypothèse de la première récurrence) dans la deuxième récurrence.
C'est le seul moyen que je trouve pour résoudre une récurrence. :hein:

Tu peux nous faire voir rapidement ton raisonnement (en passant les détails) ou est-ce trop long ?