Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Question à propos le raisonnement par récurrence
Posté par mok9093
Soit (n,p) appartient à INxIN*
si on nous demande de montrer par exemple
ai-je la possibilité de procéder par récurrence pour p seulement en considérant n comme une constante?
ou ce n'est pas possible de procéder de cette facon à l'existence des deux p et n?
Je veux bien une clarification et mrc beacoup
mok9093 @ 16-09-2019 à 22:46
Soit (n,p) appartient à INxIN*
si on nous demande de montrer par exemple}=g(p,n))
ai-je la possibilité de procéder par récurrence pour p seulement en considérant n comme une constante?
ou ce n'est pas possible de procéder de cette facon à l'existence des deux p et n?
Je veux bien une clarification et mrc beacoup
la premiere question veut dire en heredité montrer que Soit (n,p) appartient à INxIN*
si on nous demande de montrer par exemple
ai-je la possibilité de procéder par récurrence pour p seulement en considérant n comme une constante?
ou ce n'est pas possible de procéder de cette facon à l'existence des deux p et n?
Je veux bien une clarification et mrc beacoup
déjà Bonjour aussi !
ensuite la question n'a pas de sens ! c'est quoi cette somme ? elle porte sur quoi ?
j'ai juste donner un exemple la somme est un exemple je peut la remplacer par une fonction , je veux juste savoir si je donne un autre exemple , on nous demande de montrer que f(n,p)=g(n,p) ai-je la possibilité de la montrer par cette recurrence?
-Initialisation
f(0,p)=g(0,p) vrai
-héredité
supp que f(n,p)=g(n,p)
Montrons que f(n+1,p)=g(n+1,p)
ou vice versa
-Initialisation
f(n,0)=g(n,0) vrai
-héredité
supp que f(n,p)=g(n,p)
Montrons que f(n,p+1)=g(n,p+1)
J'ai juste donné un exemple ce n'est pas la peine que j'écris l'exercice que je suis entrain de résoudre
et donc je disais bonsoir aussi 
imagine le réseau plan des entiers positifs
tu veux montrer une propriété P(n;p) pour tout couple d'entiers naturels
le plus simple est de montrer P(n;0) pour tout n entier naturel par récurrence
cela prouve que c'est vrai sur l'axe des abscisses
puis pour n fixé, une récurrence sur p pour montrer que P(n:p) est vrai pour tout p entier naturel.
Bonsoir 
Donc vous voulez dire pour montrer cette propriété il faut deux récurrences une pour tout n et l'autre pour les p.
relis un peu plus attentivement et essaye de comprendre ce que je dis !
maintenant si tu sais qu'elle est vraie pour tout (n:0) ou bien pour tout (0;p) une seule récurrence suffit !
et si tu nous donnais ton cas prévis, on perdrait moins de temps