pour les concernés (ie futurs taupins), exo niveau terminale mais c'est le début:
citation :
Soit m et n deux réels tels que , et une fonction définie, continue et positive sur l'intervalle . Démontrer que :
est nulle sur .
donc on le voit bien intuitivement, c'est pourquoi l'intérêt de la démo repose surtout sur sa rigueur...enfin débrouillez vous
posté le 03/05/2008 à 19:18
re : défi 1
posté par : Epicurien
Salut,
Cliquez pour afficher
Il y a plus fort même : c'est une équivalence!
posté le 03/05/2008 à 19:21
re : défi 1
posté par : xunil
lol mdr
oui c'est sur mais c'est beaucoup moins intéressant
vas y tente (cherche pas compliquer ca fait intervenir des choses simples ...)
posté le 03/05/2008 à 19:22
re : défi 1
posté par : _Estelle_
Bonjour
Cliquez pour afficher
équivaut à soit F(m)- F(n) = 0 <=> F(m) = F(n) ce qui signifie que F = constante sur [m,n] donc f est nulle sur [m,n].
Estelle
posté le 03/05/2008 à 19:27
re : défi 1
posté par : xunil
ouhla ....
estelle:
Cliquez pour afficher
tu as prouvé que F(m)=F(n) et de là tu déduis que f est constante sur [m;n] ! fatiguée non ?
posté le 03/05/2008 à 19:34
re : défi 1
posté par : _Estelle_
Cliquez pour afficher
Oui, effectivement...
Je vais revoir tout ça
Estelle
posté le 03/05/2008 à 19:41
re : défi 1
posté par : simon92
Je comprend pas bien, une solution graphique suffit... sinon:
Cliquez pour afficher
sinon supposons supposons l'equistance d'un intervalle ou f est strictement positive , alors, . Comme sur les intervalles [m;i] et [j;n] la fonction est positive, \Bigint_m^i f(t)dt\ge 0 et \Bigint_j^n f(t)dt\le 0.
On somme et on remarque que c'est strictmeent superieur à 0 SI un tel intervalle existe. Comme l'integrale est nul, ca n'existe pas, donc la fonction est nulle.
posté le 03/05/2008 à 20:42
re : défi 1
posté par : gui_tou
Bonjour
Cliquez pour afficher
Soit F : la primitive de f, nulle en m
Elle est croissante sur [m,n] puisque f positive
En outre, se lit F(b)=0
Donc F est constante sur [a,b] et sa dérivée f est donc nulle sur [a,b]
Niveau sup ?
posté le 03/05/2008 à 20:43
re : défi 1
posté par : gui_tou
Arf, me suis embrouillé dans les notations ...
Cliquez pour afficher
se lit F(n)=0
Donc F est constante sur [m,n] et sa dérivée f est donc nulle sur [m,n]
posté le 03/05/2008 à 20:46
re : défi 1
posté par : Epicurien
Ah, une question a propos gui_tou >
Cliquez pour afficher
peut on noté la primitive d'une fonction définie sur R:
posté le 03/05/2008 à 20:48
re : défi 1
posté par : gui_tou
Kuikui >>
Cliquez pour afficher
Nan c'est moche et surtout pas rigoureux, vaut mieux dire : F définie par : est la primitive de f s'annulant en a.
posté le 03/05/2008 à 20:58
re : défi 1
posté par : Epicurien
Cliquez pour afficher
et au brouillon on peut?
posté le 04/05/2008 à 08:22
re : défi 1
posté par : xunil
gui_tou :
Cliquez pour afficher
je ne sais pas ce que tu en penses mais là ok tu as prouvé que F(m=0 et F(n)=0 donc tu conclus que F est constante (c'est d'ailleurs ce qu'avait fait Estelle) ceci étant valable que si l'on ajoute que l'aire du domaine définie par notre intégrale est nulle et que mais je trouve que ça ne fait pas trop "bien" (on mélange de l'analytique et de la géométrie ...) enfin ce n'est que mon point de vue. sinon bien joué
simon :
Cliquez pour afficher
oui tu as en effet le bon réflexe en fait si l'on raisonnait par contraposée, il existe un réel c dans [m;n] tel que f(c)>0 et là on justifie l'existence de ton intervalle par la continuité de f en c et donc après on termine comme tu l'as fait... bien joué
posté le 04/05/2008 à 09:39
re : défi 1
posté par : _Estelle_
Bonjour,
Cliquez pour afficher
Je suis rassurée : guitou a fait la même erreur que moi
Estelle
posté le 04/05/2008 à 10:00
re : défi 1
posté par : xunil
bah en fait c'est pas une "erreur" seulement je pense qu'il manque des explications et ça me parait peu rigoureux (enfin je ne suis mal placé en correcteur donc n'hésitez pas à me reprendre...)
posté le 04/05/2008 à 10:01
re : défi 1
posté par : _Estelle_
Cliquez pour afficher
Non mais je suis d'accord que F(b) = F(a) n'implique pas que F est constante... et je ne vois pas comment le montrer.
Estelle
posté le 04/05/2008 à 10:36
re : défi 1
posté par : gui_tou
Cliquez pour afficher
Sachant que l'exercice c'est une démo de cours d'un de mes bouquins, je ne vois pas ce qu'il y a de pas rigoureux.
Et je ne vois pas où il manque des explications
posté le 04/05/2008 à 10:54
re : défi 1
posté par : xunil
gui_tou:
Cliquez pour afficher
mais peu importe que ce soit pris dans un bouquin ou sur le net si c'est une démo niveau sup benh c'est "normal" que ca soit vite fait puisque on le conçoit très bien intuitivement. en outre j'ai dit juste mon point de vue qui n'est pas nécessairement juste : je réexplique : le passage de F(m)=F(n)(=0) à F est constante est un peu rapide : ne faudrait il pas étayer que comme la fonction est positive alors l'intégrale représente l'aire en dessous de la courbe et l'axe (Ox) et donc comme cette aire est nulle alors F est constante ...
posté le 04/05/2008 à 10:57
re : défi 1
posté par : _Estelle_
Guitou >>
Cliquez pour afficher
Ben (avec mon niveau de terminale en tout cas) je ne vois pas pourquoi F(b) = F(a) veut forcément dire que F est constante.
Estelle
posté le 04/05/2008 à 11:00
re : défi 1
posté par : gui_tou
Estelle & xunil >>
Cliquez pour afficher
Je n'ai pas fait de considérations graphiques ^^
Je pose F la primitive de f qui s'annule en m donc F(m)=0
F est croissante car sa dérivée, f est positive sur [m,n]
Or F(n)=0
Donc F est la fonction nulle, et donc sa dérivée f aussi
Que de l'analyse
posté le 04/05/2008 à 11:03
re : défi 1
posté par : xunil
oui c'est vrai en fait ça marche très bien ...
bien joué
posté le 04/05/2008 à 11:05
re : défi 1
posté par : _Estelle_
Cliquez pour afficher
J'avais pas tout compris
Merci
Estelle
posté le 04/05/2008 à 16:53
re : défi 1
posté par : simon92
juste, je blank pas parce que ca me parait important, certain disent qu'il faut demontrer que F(a)=F(b) implique que F est constante, c'est n'importe quoi, franchement ca a rien a voir...
posté le 04/05/2008 à 17:34
re : défi 1
posté par : xunil
"certains" se sont en fait tromper et toi aussi de fait, qui_tou a proposé une démonstration simple et en fait très bien qui repose sur ce point regarde ...
posté le 04/05/2008 à 18:07
re : défi 1
posté par : gui_tou
citation :
certain disent qu'il faut demontrer que F(a)=F(b) implique que F est constante, c'est n'importe quoi, franchement ca a rien a voir...
Déjà c'est pas un "implique".
Ensuite il manque juste une petite justif pour affirmer que F est constante.
posté le 04/05/2008 à 18:11
re : défi 1
posté par : Epicurien
En fait, j'aurai dit: f est nulle donc F est constante donc F(a)=F(b) donc intégrale nulle (d'ou l'équivalence! )
posté le 04/05/2008 à 18:13
re : défi 1
posté par : gui_tou
Nope kuikui, dans le sens inverse il ne suffit pas de dire
intégrale nulle donc F(a)=F(b) donc F constante donc f nulle
posté le 04/05/2008 à 18:15
re : défi 1
posté par : Epicurien
non moi je pars dans la démo. du sens inverse.
Pour le sens direct il faut une autre démo je pense
posté le 04/05/2008 à 18:16
re : défi 1
posté par : gui_tou
Ba euh, perso j'aurais dit : f nulle donc intégrale nulle
posté le 04/05/2008 à 18:18
re : défi 1
posté par : Epicurien
lol
en gros: f est nulledonc F est constante donc F(a)=F(b)donc intégrale nulle
posté le 04/05/2008 à 19:52
re : défi 1
posté par : _Estelle_
citation :
juste, je blank pas parce que ca me parait important, certain disent qu'il faut demontrer que F(a)=F(b) implique que F est constante, c'est n'importe quoi, franchement ca a rien a voir...
Ben, tu as lu les posts, tous ? Bien sûr que si, une des démonstrations possibles peut se servir de ça
Estelle
posté le 04/05/2008 à 19:54
re : défi 1
posté par : simon92
je suis désolé, mais c'est compltement faux, c'est comme de dire x^3=x^2 sisi ca amrche avec 1. Donc je lme faisais remarquer pas par rapport a guitou, je pense par exemple a un post de 10h57, peut-être que je l'ai mal compris
posté le 04/05/2008 à 19:56
re : défi 1
posté par : _Estelle_
On disait qu'il fallait le démontrer et pas que ça l'était
Estelle
posté le 04/05/2008 à 19:56
re : défi 1
posté par : gui_tou
simon , on est d'accord il manque un argument (facile à trouver) pour pouvoir affirmer que F est constante ; mais l'idée y est.
posté le 04/05/2008 à 19:58
re : défi 1
posté par : xunil
non mais je crois que notre ami simon joue avec nous. simon , si tu avais lu les blankés et notamment ceux de gui_tou alors tu te serais aperçu que effectivement cette implication est fausse seulement toi tu la sors du contexte de la démo de gui_tou car il l'a étayée ...
posté le 04/05/2008 à 20:00
re : défi 1
posté par : simon92
je repète que je parle pas de guitou il a tout a fait raison, mais pour eviter les mal entendu, je montre que c'est faux voila tout
ce n'est pas du tout un jeu
posté le 04/05/2008 à 20:04
re : défi 1
posté par : xunil
benh alors si tu fais allusion au premier post d'Estelle tu te serais aperçu que je l'ai remarqué juste après.
donc voilà on est content on est tous parvenu à mettre notre petit grain se sel dans ce problème désormais résolu ...
posté le 05/05/2008 à 09:44
re : défi 1
posté par : hatimy
Cliquez pour afficher
supposons qu'il existe un x0 en lequel f est non nulle.
par continuité il y a un voisinage V de x0 sur lequel f est strictement positive.
reste à intégrer pour conclure par contraposée.
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.