Exercice 10-13
On dit qu'une fonction \(f:[a,b]\to \mathbb{R}\) possède la propriété de l'accroissement fini si il existe un point \(c\in]a,b[\) où \(f\) est dérivable et où \[ f'(c)=\frac{f(b)-f(a)}{b-a}\,. \] Déterminer, parmi les fonctions suivantes, celles qui possèdent la propriété de l'accroissement fini. Lorsque c'est le cas, on donnera si possible la valeur de \(c\).
  1. \(f(x)=xe^x\) sur \([-\pi,\pi]\)
  2. \(\displaystyle f(x)= \begin{cases} x^2&\text{ si }-1\leqslant x<0\,,\\ 0 &\text{ si }0\leqslant x\leqslant 1\,. \end{cases} \)
  3. \(\displaystyle f(x)= \begin{cases} x^2&\text{ si }-1\leqslant x<0\,,\\ \frac{x}{2} &\text{ si }0\leqslant x\leqslant 1\,. \end{cases} \)
  4. \(f(x)=|x|\) sur \([-1,1]\)
Attention à bien relire l'énoncé!

Remarquons que le Théorème des accroissements finis (TAF) affirme que si \(f:[a,b]\to \mathbb{R}\) satisfait aux hypothèses suivantes (appelées ''hypothèses du TAF''), alors elle possède la propriété de l'accroissement fini définie dans l'énoncé.

Dans les cas considérés ici, on pourra parfois utiliser le TAF, parfois pas.
  1. Comme \(f\) est continue et dérivable (partout), les hypothèses du TAF sont satisfaites, et donc \(f\) possède la propriété: il existe \(c\in ]-\pi,\pi[\) tel que \[ \underbrace{f'(c)}_{e^c(1+c)}=\underbrace{\frac{\pi e^{\pi}-(-\pi)e^{-\pi}}{\pi-(-\pi)}}_{=\cosh(\pi)}\,. \]
    Il n'existe pas de méthode simple donnant la valeur exacte de \(c\).
  2. La fonction est continue sur \([-1,1]\), dérivable sur \(]-1,1[\) (on laisse le lecteur vérifier qu'elle est dérivable également en \(x=0\)). Donc \(f\) possède la propriété car le TAF s'applique: il existe \(c\in ]-1,1[\) tel que \[ f'(c)=\frac{f(1)-f(-1)}{1-(-1)}=-\frac12\,. \]
    Ici on peut calculer \(c\): \(c=-\frac14\). En effet, dans un voisinage de ce point la fonction est \(x^2\), ce qui donne bien \(f'(c)=2c=-\frac12\).
  3. Remarquons qu'ici les hypothèses du TAF ne sont pas satisfaites puisque \(f\) n'est pas dérivable en \(x=0\); en effet, \(f'_-(0)=0\) alors que \(f'_+(0)=\frac12\). Pourtant, remarquons qu'elle possède la propriété de l'accroissement fini. En effet, au point \(c=-\frac18\), \(f\) est dérivable et \(f'(c)=-\frac14\). Or \[ \frac{f(1)-f(-1)}{1-(-1)}=-\frac14=f'(-\tfrac18)\,. \]
  4. \(f\) ne satisfait pas les hypothèses du TAF. Elle ne possède pas non plus la propriété de l'accroissement fini puisque \(f'(x)=+ 1\) si \(x>0\), \(f'(x)=-1\) si \(x<0\), alors que \[ \frac{f(1)-f(-1)}{1-(-1)}=0\,. \]