Bonsoir
Je dois montrer par recurrence que pour tout n
et tout k
* ...
Comment faire lorsqu'on a deux entiers ?
Faire l'hypothèse HR en fonction des deux entiers HR(n,k) ?
Pour l'initialisation, montrer que HR(0,1) est vraie ?
Ensuite supposer HR(n,k) vraie, et montrer que HR(n+1,k+1) vraie ?
Je ne me suis jamais trouvé dans un tel cas, c'est le moment de se poser la question
Désolé d'avance si ce sont de gros bétises ;D
bonjour,
L'important est de couvrir FORMELLEMENT l'ensemble x
*.
Avec votre méthode vous commencez par (0,1), puis à chaque récurrence vous incrémentez tant l'abscisse que l'ordonnée. Ce qui fait que vous couvrez uniquement l'ensemble {(0,1), (1,2), (2,3), (3,4),... } = {(n,n+1) | n
}
.
Par contre, pour couvrir l'ensemble x
* vous pouvez par exemple effectuer :
- supposer HR(n,k) vraie et montrer à la fois que : HR(n,k+1) vraie (1), et HR(n+1,k) vraie (2)
Vous pouvez également procéder en 2 étapes :
1. couvrir {0}x*
2. couvrir x{i}, où i > 0
ce qui permets également de couvrir FORMELLEMENT x
*
Ca peut dépendre de la question posée.
Parfois, la récurrence ne porte que sur l'une des deux variables (l'autre ne nécessite pas de récurrence dans la démonstration).
Sinon s'il s'agit d'une vraie récurrence à deux variables, tu dois pouvoir t'en sortir par étapes, variable par variable.
Appelons Pn,m la propriété à démontrer aux rangs n,m.
(1) Prouver P1,1
(2) Prouver que si P1,m alors P1,m+1 (ce qui prouve P1,m pour tout m)
(3) Prouver que si Pn,m alors Pn+1,m (ce qui prouve Pn,m pour tout n et tout m)
En fait gigi tu n'étais pas loin.
Il te manquait juste une étape...
Avec tes notations :
Pour l'initialisation, montrer que HR(0,1) est vraie.
Ensuite supposer HR(0,k) vraie, et montrer que HR(0,k+1) vraie.
Ensuite supposer HR(n,k) vraie, et montrer que HR(n+1,k) vraie.
Bonjour.
Merci a vous deux
Je vais essayer la méthode de LeDino et je reviens vers vous si cela ne va pas
Si on part de HR(0,k) vraie, le membre de droit vaut 0 à cause de (22n-1) :-\
Ca pose problème non ?
On pourrait supposer HR(n,k) vrai, et montrer d'une part HR(n,k+1) vraie, et d'autre part HR(n+1,k) vraie ?
Ton égalité est mal écrite, zr assez incompréhensible. Ecris-la avec plus de soin. Tu disposes du bouton "Aperçu" pour vérifier si ce que tu as écrit est bien ce que tu voulais écrire.
Pas si parfaite que ça, n'est-ce pas ? Tu as corrigé une erreur (est-ce la bonne correction ?). Il en reste pas mal. Si on lit le membre de droite suivant les règles de priorité des opérations, on trouve . Est-ce vraiment ça que tu voulais écrire ?
Tu peux le redonner de manière complète et exacte s'il te plait ?
Parce qu'avec un k qui traine ici et un +1 par là... on n'est sûr de rien.
Enfin si tu veux de l'aide bien sûr ...
Dans la grande série "Devinez l'énoncé correct", je propose
qui présente l'avantage d'être correct, et trivial.
Si c'était ça il n'y aurait pas besoin de récurrence, simple ou double...
Mais à ce niveau de foutage de gueule, on peut effectivement s'attendre à tout ...
Ce n'est absolument pas l'énoncé de mon exercice
Je sais qu'il est interdit de faire une capture du sujet, mais pour éviter toutes éventuelles erreurs de recopiage de ma part le voici
(Les ADMINS, c'est juste pour confirmer mon sujet )
J'avais déjà signalé, pour n=k=1, la magnifique conséquence de l'égalité de l'exercice 3 : .
Il semble que l'éditeur du bouquin ne savait pas faire les doubles exposants
Si j'ajoute des coquilles moi aussi, ça ne va pas faciliter la compréhension ;
Une simple récurrence sur k suffit. On peut d'ailleurs commencer à k=0, si on sait qu'un produit indexé par la famille vide vaut 1.
Bonjour
Merci de vos réponses
Donc il me,suffit simplement de faire une récurrence sur k et laisser n tel quel ?
Si vous me dite qu'on peut, je vais le faire
Mais si je le fais et qu'on peut pas, je vais faire une erreur pour que ça marche
Si je fais l'initialisation à k=1
Il y a un petit problème avec le produit
Vous avez dit qu'il fallait savoir qu'un produit indexé par une famille vide vaut 1 mais si on ne sait pas ce que cela veut dire ?
Bon sang gigi arrête de faire le zouave et réfléchis un peu.
Partir de k=0 c'est une "fioriture" qui ne sert à rien.
Tu commences à partir de k=1 comme le suggère l'énoncé (k>0).
Avec k=1, ton produit contient un seul terme.
Ecris le et tu verras que tu obtiens une identité remarquable.
Et ensuite...
Mais bosse un peu quand même !
Et une fois démontrée H(n quelconque, k=1), tu n'as plus qu'à faire une récurrence SIMPLE sur k.
Tout simplement parce qu'ici tu es capable de démontrer directement H(n,k=1) pour tout n.
Et par pitié : RE-FLE-CHIS !
Ah ce sont des doubles exposants ?
Ce n'est pas ce qui est dans le sujet
Mais effectivement cela marche si ce sont des doubles exposants
D'accord on en reste là.
Pour info, le problème est quasi résolu.
Tu termines de prouver H(n,1) il y en a pour trente secondes avec l'identité remarquable.
Ensuite tu supposes H(n,k) VRAIE et tu regardes si H(n,k+1) est VRAIE également...
... ce qui ce montre de la même manière que H(n,1) par la même identité remarquable ET après avoir coupé le produit en deux : produit de 1 à k-1 fois produit de k à k.
Bon courage.
Et essaie de devenir un peu plus autonome parce que là tu te reposes intégralement sur les autres (ce qui ne t'aidera pas à progresser)... et sans vraiment les écouter de surcroit.
Je te souhaite sincèrement bon courage.
Si tu réussis à terminer l'exercice (qui est à ta portée si tu avances pas à pas et que tu soignes ton écriture), viens nous le dire : ça nous fera plaisir .
Bonsoir
Depuis mon dernier message, j'essaie de faire l'hérédité, et je n'ai pas avancé d'un poil car je suis bloqué au début de l'hérédité !
J'essaie d'écrire =
Je voudrais écrire sous la forme * quelque chose ...
et ainsi remplacer par l'hypothèse de récurrence...
Mais je ne trouve pas ce quelque chose, les puissances me perturbent, et m'empêche de trouver :-\
Il faut commencer par prouver H(n,k=1). L'as-tu fait ?
Rappel sur H(n,k) à prouver :
On commence par prouver H(n,k=1), pour tout n de N, donc :
Partons du membre de droite (qui est une identité remarquable) :
Donc H(n,k=1) est bien prouvée pour tout n
Donc à ce stade, nous avons "initialisé" la récurrence simple.
En effet H(n,k) est prouvée pour tout n et pour k=1.
Il reste à prouver l'hérédité, c'est à dire : H(n,k) H(n,k+1)
H(n,k) : Supposée VRAIE
H(n,k+1) : A vérifier...
On part du membre de droite :
On a donc bien : H(n,k+1) est vérifiée, CQFD
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :