20. Effet de la monotonie de f′.
Soit fune fonction numérique définie sur un intervalle Ide R. Supposons fcontinue sur I,
dérivable sur
◦
I, de dérivée f′croissante (resp. décroissante) sur
◦
I.
a) Montrer que la courbe représentative de fest au-dessus (resp. au-dessous) de chacune de ses
tangentes.
b) Montrer que pour tout intervalle [a, b ]inclus dans I, la courbe représentative de la restriction
de fà[a, b ]est en dessous (resp. au-dessus) de la corde [MaMb], où Maet Mbsont les points
de la courbe d’abscisses respectives aet b.
Vérifier que cela équivaut à dire que pour tout couple (a, b)de I2, et tout tde [ 0,1 ] , on a
f(ta + (1 −t)b)≤tf(a) + (1 −t)f(b),
(resp. f(ta + (1 −t)b)≥tf(a) + (1 −t)f(b)).
On dit alors que fest convexe (resp. concave) sur I.
21. Théorème des valeurs intermédiaires pour la fonction dérivée
Soit f une fonction dérivable sur un intervalle Ide R. Soient aet bdeux points de Itels que
a < b. On suppose que f′(a)< f′(b). Soit cun nombre réel de l’intervalle ]f′(a), f′(b) [ . Posons
pour x∈]a, b ]g(x) = f(x)−f(a)
x−a
pour x∈[a, b [h(x) = f(b)−f(x)
b−x.
a) Interpréter géométriquement les fonctions get h, et montrer qu’elles se prolongent en des
fonctions continues sur [a, b ].
b) Si cappartient à f′(a),f(b)−f(a)
b−a, montrer qu’il existe ddans ]a, b [tel que g(d) = c.
Si cappartient à f(b)−f(a)
b−a, f′(b), montrer qu’il existe ddans ]a, b [tel que h(d) = c.
c) En déduire qu’il existe sdans ]a, b [tel que f′(s) = c, et montrer que ce resultat subsiste si
f′(a)> f′(b).
d) Le théorème des valeurs intermédiaires s’applique donc à la fonction f′, même si elle n’est pas
continue. Quel est l’intérêt pratique de ce résultat dans la constitution du tableau de variation
de fsur I, dans le cas ou f′admet un nombre fini de zéros sur I?
22. Soit une fonction fdéfinie et contractante de rapport ksur un intervalle I= [ a, +∞[à
valeurs dans I= [ a, +∞[.
Montrer qu’il existe un réel M, tel que, pour tout x∈I,
f(x)−x≤M+ (k−1)x .
En déduire le comportement à +∞de la fonction gdéfinie par g(x) = f(x)−x, puis montrer
que fpossède un point fixe dans I.
5