Colles de mathématiques
Raccordement dérivable
Sujet
Soit
f : [0;1] R
dérivable vérifiant
f (0) = f (1)
avec f '
continue en 0 et en 1.
On définit g sur [0;1] par
g(x) =
f (2x)
si
0≤x≤
12
f (2x−1)
si
12
< x ≤ 1
g est-elle continue? dérivable? Si non, quelle(s) hypothèse(s) faut-il ajouter pour que ce soit le cas?
Corrigé de l'exercice de math
Correction
La fonction
est continue et dérivable sur
et sur
, comme composée de fonctions qui le sont:
,
et
.
Le seul problème est éventuellement en 1/2.
On a
![\[\lim_{x\to \frac{1}2^-}g(x)=f(1)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/7.png)
et
![\[\lim_{x\to \frac12^+}g(x)=f(0)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/8.png)
et, comme
, la fonction
est donc continue en 1/2.
Pour
, on a
![\[g'(x)=2f'(2x)\begin{minipage}[t]{4em}$\ \longrightarrow$\\\scriptsize$x\to \frac 12^-$\end{minipage} 2f'(1)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/12.png)
et donc, par le théorème de prolongement d'une dérivée,
admet une dérivée à gauche en 1/2 égale à
.
De même, pour
, on a
![\[g'(x)=2f'(2x-1)\begin{minipage}[t]{4em}$\ \longrightarrow$\\\scriptsize$x\to \frac 12^+$\end{minipage} 2f'(0)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/16.png)
et donc, par le théorème de prolongement d'une dérivée,
admet une dérivée à droite en 1/2 égale à
.
Maintenant, la fonction
est dérivable en 1/2 si et seulement si les dérivées à droite et à gauche sont égales, c'est-à-dire si et seulement
.
![$g$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/1.png)
![$]0,1/2[$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/2.png)
![$]1/2,1[$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/3.png)
![$f$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/4.png)
![$x\mapsto2x$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/5.png)
![$x\mapsto2x-1$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/6.png)
On a
![\[\lim_{x\to \frac{1}2^-}g(x)=f(1)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/7.png)
et
![\[\lim_{x\to \frac12^+}g(x)=f(0)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/8.png)
et, comme
![$f(0)=f(1)$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/9.png)
![$g$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/10.png)
Pour
![$x<1/2$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/11.png)
![\[g'(x)=2f'(2x)\begin{minipage}[t]{4em}$\ \longrightarrow$\\\scriptsize$x\to \frac 12^-$\end{minipage} 2f'(1)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/12.png)
et donc, par le théorème de prolongement d'une dérivée,
![$g$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/13.png)
![$2f'(1)$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/14.png)
De même, pour
![$x>1/2$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/15.png)
![\[g'(x)=2f'(2x-1)\begin{minipage}[t]{4em}$\ \longrightarrow$\\\scriptsize$x\to \frac 12^+$\end{minipage} 2f'(0)\]](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/16.png)
et donc, par le théorème de prolongement d'une dérivée,
![$g$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/17.png)
![$2f'(0)$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/18.png)
Maintenant, la fonction
![$g$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/19.png)
![$f'(1)=f'(0)$](/Generateur-Devoirs/Colles/Calcul/exraccordement-derivable_c/20.png)