,
Je souhaite démontrer la formule de Taylor avec reste intégrale par récurrence
Soit
Je veux montrer par récurrence la propriété
" " Pour tout
Je pense qu'il est important de préciser que la fonction doit être de classe
Au rang on a :
salut
tu n'as pas le droit d'écrire ta 2e citation : c'est P(n+1)
tu pars de P(n) et tu fais une IPP en posant u'=(b-t)n
ben oui Olive, Carpediem a raison... allons !
pour l'hérédité, il faut partir de P(n) et prouver P(n+1)...
Ah oui vu comme ça..Bisard Bisard pourquoi j'ai fais ça moi ..
Je posterais donc l'hérédité dans la soirée ou demain ..
C'est plus long que on pourrait le croire décrire tout ça en ...
Merci ( Sinon pas d'autres erreurs ou imprécisions ? )
Bonsoir à tous,
si si il y a autre chose qui ne va pas, dans l'énoncé même:
ce n'est pas "pour tout , la formule est vraie", mais "pour tout et pour toute fonction de classe , la formule est vraie".
Cela veut dire que pour démontrer l'hérédité, l'hypothèse de récurrence à l'entier n est très précisément que :
Waow merci d'avoir pris ce temps encore une fois pour bien me faire comprendre mes erreurs !
Je vais donc pouvoir m'y remettre ^^
Je pense poster ça demain car je vais le re-rédiger en entier et avant 3h je n'aurais pas finis de l'écrire sinon :S Mais biensur je le fais sur papier ce soir ^^
Ce que je voulais dire, c'est que pour une fonction donnée, cette formule n'est pas forcément vraie à tout ordre!Elle est vraie pour chaque entier telle que soit de classe , mais pas davantage!
Avec plaisir, et prends ton temps pour la rédaction!
ouais Tigweg
alors la tu chipotes sur le Cn+1 qui est implicite
d'ailleurs olive _68 l'a bien précisé dans son énoncé (en rouge)
Je ne crois pas que je chipote sur ce coup-là: je crois bien qu'Olive pensait qu'il fallait prouver cette formule pour toute fonction de classe et pour tout , au sens où une même fonction vérifiait nécessairement toutes les formules qu'on peut écrire ainsi lorsque décrit l'ensemble des entiers naturels.
C'est ce que laisse entendre :
Euh...je ne suis pas d'accord!!
Le théorème est bien que:
Pour tout entier naturel , et pour toute fonction de classe sur l'intervalle , on a
C'est cette propriété-là qui se prête à une démonstration par récurrence!
C'est bien pour ça qu'à l'entier , on suppose par hypothèse de récurrence que toute fonction de classe vérifie la formule, puis on passe à l'entier , et il faut à présent prouver que toute fonction de classe vérifie la même formule, mais incrémentée!
On change donc bien de fonction pour prouver l'hérédité, Marc-Olivier!
Ok en fait toi tu voyais les choses différemment:
on part d'une fonction de classe , et on prouve que pour tout , la formule est vraie à l'entier , ce qui se prouve aussi par récurrence, mais sur . Oui, pardon, je ne te suivais pas!
oui et moi aussi je vois maintenant ce que tu veux dire
ce qui me génait c'était ta "nouvelle fonction" car généralement pour faire la demo, on prend la même f mais Cn +1 fois dérivable et de dérivée continue
comme quoi les grands esprits (enfin humblement modestement en ce qui me concerne ) se rencontrent
par contre quand même n'y aurait-il pas une erreur au niveau des indices :
la va jusqu'à n-1 et dans on a f(n) puisque f est seulement Cn donc on en peut pas parler de f(n+1)
en général c'est comme ça qu'on le voit : on suppose f suffisamment C!! pour pouvoir passer de n à n+1
enfin c'est comme ça que je l'ai tj vu
Re sur ce topic
Je voulais dire que je n'ai pas abandonné le sujet mais que je n'ais pas encore trouvé le courage de tout écrire surtout que je n'arrive pas à faire d'aperçu en se moment ..
J'ai fais la démonstration chez moi je la posterais j'éspère dans la soirée
Pas de problème, prends ton temps! Par contre, dis-nous bien dans quel cadre tu te places (le mien ou celui qu'a proposé carpediem; bref, sois précis! )
Prouvons par récurrence la propriété,
" " Pour toute fonction de classe et pour tout .
Au rang , avec continue on a,
Salut Olive!
Il y a malheureusement pas mal d'erreurs et d'imprécisions dans ce que tu as fait:
*Au rang , est supposée et pas seulement continue.
*Plus tard, tu écris que continue implique , ce qui est faux (c'est la réciproque qui est vraie)
*L'argument qui permet de calculer l'intégrale de sous la forme est que est continue, et pas seulement .
*Pour démontrer l'hérédité, ton intégration par parties est fausse, car tu as oublié un moins dans l'expression de !!
*Ensuite, il y a un moins qui apparaît en appliquant l'hypothèse de récurrence, mais qui n'a aucune raison d'apparaître!!
Et, comme par hasard, il vient compenser l'erreur précédente!!
*Tu ne mets pas du tout en évidence le fait que, étant à présent supposée de classe , elle est a fortiori de classe , ce qui permet de lui appliquer la formule supposée vrai au rang
*Enfin, avant de procéder à la démo de l'hérédité, tu dois préciser qu'il est possible d'intégrer par parties puisque et sont bien de classe
Désolé d'être aussi méticuleux, mais c'est pour ton bien!
Waow ça fait mal ça ^^ Je pensais pas qu'il y aurait autant d'erreurs ^^
Ah oui donc dérivable ..
La je me suis mal fait comprendre en fait, j'avais mis la flèche pour indiqué ce c'est parce que elle était de classe la fonction qu'elle était continue
Les deux suivantes Oui là j'ai fais la fripouille .. Et pour l'erreur qui c'était compensée c'était surement en faisait un copier coller de mon erreur dans l'intégration par parties et ensuite j'ai recopié la feuille où j'avais fait la récurrence (Et où il n'y avait pas cette histoire de - en moins )
Ah ouais c'est vrai pas pensé du tout à préciser ça .
Et parcontre carrément pas pensé à ta dernière remarque ^^
Eh bien je ne demande que ça ^^ au bout d'un moment peut-être que ça voudra bien rentrer ^^
MAis je t'en prie!
* signifie dérivable et de dérivée continue, pas seulement dérivable
* C'est quand même faux, car on n'utilise à aucun moment le fait que f est continue lol!
* et * : tu veux dire qu'au brouillon tu avais bien pensé aux moins, mais que tu as juste oublié de recopier ce moins au propre?
* et * : Oui, ça c'est de la rigueur pure, mais en même temps ce n'est pas du tout un détail, car c'est à ce niveau-là exactement que s'applique une partie de l'hypothèse de récurrence.
Ah oui c'est vrai continue n'impose pas dérivable mais la réciproque si ..
Oui j'étais perdu dans le et puis à plus de 3h du matin je n'ai pas été choquer de ne pas voir ce - (J'ai pas assez dévelloper mon shocking power comme tu l'avais dit ^^) mais je sais que ce n'est pas une excuse ^^
Euh non j'aurais du le lire en il parait qu'il est pas mal mais ouais ^^ Il parait quoi..
D'ailleurs le jour du bac français j'ai été intérrogé sur La Ferme des Animaux de Orwell (Que je n'avais pas lu ni acheté )
Sinon, "La ferme des Animaux" existe aussi en dessin animé (ce n'est pas une blague, et ce n'est pas que pour les enfants du tout!): tout simplement excellent! Le film (de Michael Anderson) est lui aussi remarquable, si tu n'aimes pas lire.
Bien je crois que je devrais faire ça
Ce n'est pas que je n'aime pas lire mais je si déjà je lis quelque chose je préfère l'avoir choisis je le prendrais moins comme une corvée ..
c'est plutôt une barre sur le A comme pour les événements contraires
ils traitent d'une logique non aristotélicienne qui est à la base des mathématiques
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :