Forum de mathématiques - Bibm@th.net

Bonsoir,
sur la forme les bornes de l'intervalle ]a,b-a[ me paraissent bizarre... Par exemple pour a=1 et b=2 il n'y a plus d'intervalle du tout ..

Bonjour, pouvez-vous corriger/vérifier la preuve que je donne du théorème de Darboux ? En vous remerciant. (Il est énoncé comme suit dans ma fiche de TD) : "Soit $(a,b) \in \mathbb{R}^2$. On suppose $a<b$. Soit $f \in \mathcal{D}^1([a,b],\mathbb{R})$ . On suppose $f'(a)>0$ et $f'(b)<0$.Montrer qu'il exsite $c \in ]a,b[$ tel que $f'(c) = 0$ ".

\(f\) est continue sur le segment \( [a,b] \) donc elle admet un minimum sur \( [a,b] \) que l'on note \( c \).
On a  : \( f'(a) < 0 \) donc : \( \lim\limits_{x \to a}\ \dfrac{f(x)-f(a)}{x-a} < 0 \) donc il existe \( \varepsilon \in ]a,b-a[ \) tel que \( \forall x \in ]a,a+\varepsilon[, f(x) < f(a) \) (on traduit le fait que pour $x \in I \backslash \left\{a \right\}$, on a $ \dfrac{f(x)-f(a)}{x-a} < 0 $ au voisinage de $a$ ) donc : \( c \neq a \)
Il existe \( \varepsilon \in ]a,b-a[ \) tel que \( \forall x \in ]b- \varepsilon , b [, f(x) < f(b)  \) donc : \( c \neq b \)

donc : \(f\) admet un extremum en \(c\), élément de \( [a,b] \) qui n'est pas une de ses extrémités , on en déduit \( f'(c) = 0 \)