ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Extrema, théorèmes de Rolle et des accroissements finis

Exercice 25

Démonstration

Corde et tangente. Soit f:[0 ,1]→ℝf : [0\,,1] \to \mathbb{R} de classe 𝒞1\mathcal{C}^{1}, telle que f(0)=f′(0)=f′(1)=0f(0) = f'(0) = f'(1) = 0. On veut montrer qu'il existe c∈ ]0 ,1]c \in \,]0\,,1] tel que f′(c)=f(c)cf'(c) = \dfrac{f(c)}{c}.

1. Interpréter géométriquement la conclusion, à l'aide de la tangente au point d'abscisse cc et de la corde joignant l'origine à ce point.

2. On pose g(x)=f(x)xg(x) = \frac{f(x)}{x} pour x∈ ]0 ,1]x \in \,]0\,,1], et g(0)=0g(0) = 0. Montrer que gg est continue sur [0 ,1][0\,,1] et dérivable sur ]0 ,1]]0\,,1], et calculer g′g'.

3. Conclure si f(1)=0f(1) = 0. Si f(1)>0f(1) > 0, montrer que g′(1)<0g'(1) < 0, en déduire que gg atteint son maximum en un point de ]0 ,1[]0\,,1[, et conclure. Traiter enfin le cas f(1)<0f(1) < 0.

Corrigé

1. La tangente au point d'abscisse cc a pour pente f′(c)f'(c), et la corde joignant l'origine, qui est sur la courbe puisque f(0)=0f(0) = 0, au point (c,f(c))(c, f(c)) a pour pente f(c)c\frac{f(c)}{c}. La conclusion dit que ces deux droites, qui passent par le point (c,f(c))(c, f(c)), ont la même pente : la tangente au point d’abscisse c passe par l’origine\boxed{\text{la tangente au point d'abscisse } c \text{ passe par l'origine}} Elle est alors confondue avec la corde.

2. La fonction gg est continue et dérivable sur ]0 ,1]]0\,,1] comme quotient, et continue en 00 puisque f(x)x=f(x)−f(0)x\frac{f(x)}{x} = \frac{f(x) - f(0)}{x} tend vers f′(0)=0=g(0)f'(0) = 0 = g(0). Pour x∈ ]0 ,1]x \in \,]0\,,1], g′(x)=xf′(x)−f(x)x2\boxed{g'(x) = \frac{xf'(x) - f(x)}{x^{2}}} La conclusion cherchée équivaut donc à l'annulation de g′g' en un point c∈ ]0 ,1]c \in \,]0\,,1].

3. Si f(1)=0f(1) = 0, alors g(0)=g(1)=0g(0) = g(1) = 0, et le théorème de Rolle fournit c∈ ]0 ,1[c \in \,]0\,,1[ tel que g′(c)=0g'(c) = 0.

Si f(1)>0f(1) > 0, on a g′(1)=f′(1)−f(1)=−f(1)<0g'(1) = f'(1) - f(1) = -f(1) < 0. Comme g(x)−g(1)x−1\frac{g(x) - g(1)}{x - 1} tend vers g′(1)<0g'(1) < 0 quand xx tend vers 1−1^{-}, il existe x<1x < 1 tel que g(x)>g(1)g(x) > g(1). De plus g(1)=f(1)>0=g(0)g(1) = f(1) > 0 = g(0). La fonction continue gg atteint son maximum sur [0 ,1][0\,,1] en un point cc, qui n'est ni 00, puisque g(1)>g(0)g(1) > g(0), ni 11, puisque g(x)>g(1)g(x) > g(1). Ainsi c∈ ]0 ,1[c \in \,]0\,,1[ est intérieur, et g′(c)=0g'(c) = 0 par la proposition 2.

Si f(1)<0f(1) < 0, on applique ce qui précède à −f-f, qui vérifie les mêmes hypothèses. Dans tous les cas, il existe c∈ ]0 ,1[ tel que f′(c)=f(c)c\boxed{\text{il existe } c \in \,]0\,,1[ \text{ tel que } f'(c) = \frac{f(c)}{c}} Ce résultat est connu sous le nom de théorème de Flett (1958). L'hypothèse f′(0)=f′(1)f'(0) = f'(1) y joue le rôle de l'hypothèse f(a)=f(b)f(a) = f(b) du théorème de Rolle.

Ouvrir dans l'atlas interactif →