j ai lu la disscution de mr.LHASSANE et des profs sur mathsland sur le sujet de l exercice 93 page 44 de almoufid.
j ai lu qu il ai presque impossible de le resoudre ac des outils de bac SM, mais peut etre que j ai prouvé le contraire , et qu'il y a une sollution ellegante n utilisant que des simples moyens pour dechiffrer cet exo dit coriace.
Enoncé :
soit f une fonction de definie sur [0,1] et g une fonction continue sur [0.1] tel que f+g est une fonction croissante.
montrer que si f(1)<0<f(0) donc f s annule au moins une fois sur [0,1]
Sollution :
posons h(x)=f(x)+g(x)
par absurde supposons que :
quelque soit x de [0,1] f(x)#0
on a donc f(0).f(1)<0 donc f n est pas continue sur [0.1] car sinon par le TVI f doit s annuler sur [0.1]
donc il existe un c € [0,1] telle que f n est pas continue sur c.
donc lim (x--> c-) f(x) >0
et lim(x--> c+) f(x) <0
puisque g est continue en c on a :
lim(x--> c-) f(x)+g(x) > g(c)
et lim(x--> c+) f(x)+g(x) < g(c)
donc lim(c-) h(x) > lim(c+) h(x) (**)
on va maintenant utiliser la croissance de h pr prouver la contradiction :
si x=<c : h(x)=<h(c)
donc lim(c-) h(x) =<h(c)
si x>=c : h(x)>=h(c)
donc lim(c+) h(x)>=h(c)
et donc lim(c+)h(x) >=h(c) >=lim(c-)h(x)
contradiction avec (**)
donc en conclusion le theoreme est juste , donc on a prouvé qu il existe au moins un x_0 de [0.1] tell que f(x_0)=0
j espere que ma sollution est nette et qu il n y a pas d erreur