Soit A={x€[a,b]/ f'(x)=0}, par TAF A est non vide .
Si A={c}, les intervalles f'[a,c[ et f']c,b] sont dans IR*.
Comme f'(a)>0 et f'(b)>0 ==> l'intervalle f'[a,b] C[0,+00[.
Donc f croissante sur [a,b]. Mais f(a)=f(b)=0 ==> f=0 sur [a,b]
==> f'=0 sur [a,b] absurde. Donc A contient au moins 2 éléments.
Soient c_3=Sup A et c_1=Inf A ( existent car A est bornée.
Il est clair que a<c_1<c_3<b. le même raisonnement donne que
f(c_1)>0 et f(c_3)<0 on conlut par TVI
_________________
وقل ربي زد ني علما