ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Dérivabilité en un point

Exercice 2

Calcul

Préciser le domaine de définition des fonctions suivantes, puis étudier leur dérivabilité aux points indiqués, ou en tout point du domaine.

(a) f:x↦x1+∣x∣f : x \mapsto \dfrac{x}{1 + |x|} en 00, et g:x↦∣x∣sin⁡xg : x \mapsto |x|\sin x en 00.

(b) hh définie par h(x)=x−1h(x) = x - 1 si x⩽1x \leqslant 1, et h(x)=(x−1)2h(x) = (x - 1)^{2} si x>1x > 1, en 11.

(c) x↦x2−x3x \mapsto \sqrt{x^{2} - x^{3}}, sur son domaine de définition.

(d) x↦(x2−1)Arccos⁡(x2)x \mapsto (x^{2} - 1)\operatorname{Arccos}(x^{2}), sur son domaine de définition.

(e) x↦cos⁡xx \mapsto \cos\sqrt{x}, en 00.

Corrigé

(a) La fonction ff est définie sur ℝ\mathbb{R}, puisque 1+∣x∣>01 + |x| > 0, et f(0)=0f(0) = 0. Pour x≠0x \neq 0, le taux d'accroissement en 00 vaut f(x)−f(0)x=11+∣x∣→x→01,\frac{f(x) - f(0)}{x} = \frac{1}{1 + |x|} \xrightarrow[x \to 0]{} 1, par continuité de la valeur absolue. De même, gg est définie sur ℝ\mathbb{R} et g(x)−g(0)x=∣x∣ sin⁡xx→x→00×1=0.\frac{g(x) - g(0)}{x} = |x|\,\frac{\sin x}{x} \xrightarrow[x \to 0]{} 0 \times 1 = 0.

f et g sont deˊrivables en 0, avec f′(0)=1 et g′(0)=0\boxed{f \text{ et } g \text{ sont dérivables en } 0, \text{ avec } f'(0) = 1 \text{ et } g'(0) = 0} La valeur absolue, qui n'est pas dérivable en 00, n'empêche donc pas la dérivabilité d'un produit ou d'un quotient où elle apparaît.

(b) La fonction hh est définie sur ℝ\mathbb{R} et continue en 11, avec h(1)=0h(1) = 0. À gauche, le taux d'accroissement vaut x−1x−1=1\frac{x - 1}{x - 1} = 1 ; à droite, il vaut (x−1)2x−1=x−1\frac{(x - 1)^{2}}{x - 1} = x - 1, qui tend vers 00. Ainsi hg′(1)=1h'_{g}(1) = 1 et hd′(1)=0h'_{d}(1) = 0. h n’est pas deˊrivable en 1\boxed{h \text{ n'est pas dérivable en } 1} Sa courbe présente en 11 un point anguleux, comme celle de la valeur absolue en 00.

(c) On a x2−x3=x2(1−x)x^{2} - x^{3} = x^{2}(1 - x), positif si et seulement si x⩽1x \leqslant 1 : le domaine est ]−∞ ,1]]-\infty\,,1]. Sur ]−∞ ,1[]-\infty\,,1[ privé de 00, la quantité sous la racine est strictement positive, et la fonction est dérivable par composition (théorème 2). Aux deux points restants, on revient au taux d'accroissement, en écrivant x2(1−x)=∣x∣1−x\sqrt{x^{2}(1 - x)} = |x|\sqrt{1 - x}.

• En 00, le taux vaut ∣x∣x1−x\frac{|x|}{x}\sqrt{1 - x}, qui tend vers 11 à droite et vers −1-1 à gauche : la fonction n'est pas dérivable en 00, où sa courbe a un point anguleux.

• En 11, pour 0<x<10 < x < 1, le taux vaut x1−xx−1=−x1−x\dfrac{x\sqrt{1 - x}}{x - 1} = -\dfrac{x}{\sqrt{1 - x}}, qui tend vers −∞-\infty : la fonction n'est pas dérivable en 11, où sa courbe a une tangente verticale.

deˊrivable exactement sur ]−∞ ,0[ ∪ ]0 ,1[\boxed{\text{dérivable exactement sur } ]-\infty\,,0[ \,\cup\, ]0\,,1[}

(d) La fonction Arccos⁡\operatorname{Arccos} est définie sur [−1 ,1][-1\,,1], donc le domaine est l'ensemble des xx tels que x2⩽1x^{2} \leqslant 1, soit [−1 ,1][-1\,,1]. Comme Arccos⁡\operatorname{Arccos} est dérivable sur ]−1 ,1[]-1\,,1[, la fonction est dérivable sur ]−1 ,1[]-1\,,1[ par composition et produit. En 11, où elle s'annule, le taux d'accroissement vaut (x2−1)Arccos⁡(x2)x−1=(x+1)Arccos⁡(x2)→x→1−2Arccos⁡(1)=0,\frac{(x^{2} - 1)\operatorname{Arccos}(x^{2})}{x - 1} = (x + 1)\operatorname{Arccos}(x^{2}) \xrightarrow[x \to 1^{-}]{} 2\operatorname{Arccos}(1) = 0, par continuité de Arccos⁡\operatorname{Arccos}. La fonction étant paire, il en va de même en −1-1. deˊrivable sur [−1 ,1], avec une deˊriveˊe nulle en ±1\boxed{\text{dérivable sur } [-1\,,1], \text{ avec une dérivée nulle en } \pm 1} Le facteur x2−1x^{2} - 1 compense la tangente verticale de Arccos⁡\operatorname{Arccos} en 11 : c'est le phénomène inverse de celui de la question (c).

(e) La fonction est définie sur [0 ,+∞[[0\,,+\infty[. On pose u=xu = \sqrt{x}, qui tend vers 0+0^{+} avec xx, et l'on utilise 1−cos⁡u=2sin⁡2u21 - \cos u = 2\sin^{2}\frac{u}{2} : cos⁡x−1x=cos⁡u−1u2=−12(sin⁡(u/2)u/2)2→u→0+−12.\frac{\cos\sqrt{x} - 1}{x} = \frac{\cos u - 1}{u^{2}} = -\frac{1}{2}\Big(\frac{\sin(u/2)}{u/2}\Big)^{2} \xrightarrow[u \to 0^{+}]{} -\frac{1}{2}.

deˊrivable (aˋ droite) en 0, avec une deˊriveˊe eˊgale aˋ −12\boxed{\text{dérivable (à droite) en } 0, \text{ avec une dérivée égale à } -\tfrac{1}{2}}

Piège. La formule de dérivation d'une composée ne s'applique pas en 00, puisque la racine carrée n'y est pas dérivable : elle donnerait l'expression −sin⁡x2x-\frac{\sin\sqrt{x}}{2\sqrt{x}}, qui n'a pas de sens en 00. Seul le retour au taux d'accroissement permet de conclure, et la composée est dérivable bien que l'une des fonctions composées ne le soit pas.

Dans l'édifice

Thèmes

dérivabilité en un point

Notions

dérivable

Ouvrir dans l'atlas interactif →