Super bien démontrée, vite fait bien fait!

étape 2 seconde ligne hypothèse de récurrence forte (+hypothèse donnée de l'exo a+1/a €Z)

Ok peut-être que je n'ai pas trop détaillé croyant que c'était comprensible.

Bonjour ! J'aime beaucoup la preuve mais il y a selon moi une légère faille : pour montrer P(n+1) on utilise Pn et P(n-1). Hors, on n'a pas de raisons de penser qu'il existe nécessairement deux entiers consécutifs n-1 et n qui verifieraient la propriété. Je rajouterais donc simplement la vérification de P(1) en plus de P(0) dans l'initialisation (P(1) étant vraie par définition de a). Cela permet de combler cette faille !

@JamalBelcadi23

23 күн бұрын

p(1) est donnée par hypothèse et le type de raisonnement est la récurrence forte c à d p(k) vraie pour k

@Vang0_oO

23 күн бұрын

@@JamalBelcadi23 je sais bien ! C'est pour ça que je dis qu'il suffit de préciser que P(1) est vérifiée par définition de a, et donc que l'on peut faire une récurrence forte.