Dérivation

Un article de wiki sillages.info.

(Différences entre les versions)
(Dérivées usuelles)
Version actuelle (15 août 2010 à 03:14) (modifier) (défaire)
(Inégalités des accroissements finis)
 
(32 révisions intermédiaires masquées)
Ligne 8 : Ligne 8 :
<math>f'(a)=\lim_{x\rightarrow a}\dfrac{f(x)-f(a)}{x-a}=\lim_{h\rightarrow 0}\dfrac{f(a+h)-f(a)}{h}</math>.
<math>f'(a)=\lim_{x\rightarrow a}\dfrac{f(x)-f(a)}{x-a}=\lim_{h\rightarrow 0}\dfrac{f(a+h)-f(a)}{h}</math>.
-
La fonction est dérivable à gauche ou à droite de <math>a</math> si son taux d’accroissement en <math>a</math> admet une limite réelle à gauche ou à droite.
+
La fonction est dérivable à gauche (ou à droite) de <math>a</math> si son taux d’accroissement en <math>a</math> admet une limite réelle à gauche (ou à droite) en <math>a</math>.
-
Elle est dérivable en <math>a</math> ssi ces deux limites sont égales.
+
Elle est dérivable en <math>a</math> si et seulement si ces deux limites sont égales.
==Développement limité d’ordre 1==
==Développement limité d’ordre 1==
Ligne 46 : Ligne 46 :
==Dérivabilité sur un intervalle==
==Dérivabilité sur un intervalle==
-
<math>f</math> est dérivable sur un intervalle <math>I</math> si <math>f</math> est dérivable en tout <math>\forall{a\in I}</math>. Alors sa fonction dérivée est la fonction <math>x\mapsto\lim_{h\rightarrow 0}\dfrac{f(x+h)-f(x)}{h}</math>.
+
<math>f</math> est dérivable sur un intervalle <math>I</math> si <math>f</math> est dérivable en tout <math>a\in I</math>. Alors sa fonction dérivée est la fonction <math>f'</math> définie par : <math>\forall x\in I\quad f'(x)=\lim_{h\rightarrow 0}\dfrac{f(x+h)-f(x)}{h}</math>.
-
Toute fonction dérivable sur <math>I</math> est continue sur <math>I</math>.
+
Toute fonction dérivable sur <math>I</math> est continue sur <math>I</math> (réciproque fausse).
==Dérivées usuelles==
==Dérivées usuelles==
-
{| border="1" cellspacing="0" cellpadding="5" align="center"
+
{| border="1" cellspacing="0" cellpadding="10" align="center"
| <math>f(x)=c</math>
| <math>f(x)=c</math>
| <math>f'(x)=0</math>
| <math>f'(x)=0</math>
Ligne 66 : Ligne 66 :
|-
|-
| <math>f(x)=\sqrt x</math>
| <math>f(x)=\sqrt x</math>
-
| <math>f'(x)=\dfrac{1}{2\sqrt x}\quas\mathrm{si}\quad x\neq 0</math>
+
| <math>f'(x)=\dfrac{1}{2\sqrt x}\quad\mathrm{si} \quad x>0</math>
|-
|-
| <math>f(x)=\ln x</math>
| <math>f(x)=\ln x</math>
Ligne 86 : Ligne 86 :
| <math>f'(x)=-\dfrac{1}{\sin^2x}=-1-\cot^2 x</math>
| <math>f'(x)=-\dfrac{1}{\sin^2x}=-1-\cot^2 x</math>
|-
|-
-
| <math>f(x)=\Arcsin x</math>
+
| <math>f(x)=\mathrm{Arcsin}x</math>
-
| <math>f'(x)=\dfrac{1}{\sqrt{1-x^2}}\quad\mathrm{si}\quad x\neq\pm 1</math>
+
| <math>f'(x)=\dfrac{1}{\sqrt{1-x^2}}\quad\mathrm{si}\smallquad -1<x<1</math>
|-
|-
-
| <math>f(x)=\Arccos x</math>
+
| <math>f(x)=\mathrm{Arccos}x</math>
-
| <math>f'(x)=-\dfrac{1}{\sqrt{1-x^2}}\quad\mathrm{si}\quad x\neq\pm 1</math>
+
| <math>f'(x)=-\dfrac{1}{\sqrt{1-x^2}}\quad\mathrm{si}\smallquad -1<x<1</math>
|-
|-
-
| <math>f(x)=\Arctan x</math>
+
| <math>f(x)=\mathrm{Arctan}x</math>
| <math>f'(x)=\dfrac{1}{1+x^2}</math>
| <math>f'(x)=\dfrac{1}{1+x^2}</math>
|}
|}
Ligne 98 : Ligne 98 :
==Opérations==
==Opérations==
-
en cours
+
*Si <math>u</math> et <math>v</math> sont dérivables sur l’intervalle <math>I</math> et si <math>k</math> est une constante, alors <math>u+v</math>, <math>uv</math> et <math>ku</math> sont dérivables sur <math>I</math>, et <math>\dfrac{u}{v}</math> est dérivable sur <math>I</math> privé des points où <math>v</math> s’annule.
 +
 
 +
<math>(u+v)'=u'+v'</math>
 +
 
 +
<math>(uv)'=u'v+uv'</math>
 +
 
 +
<math>(ku)'=ku'</math>
 +
 
 +
<math>\left(\dfrac{u}{v}\right)'=\dfrac{u'v-uv'}{v^2}</math>
 +
 
 +
*Si <math>u</math> est dérivable sur l’intervalle <math>I</math> et si <math>v</math> est dérivable sur <math>u(I)</math>, alors <math>v\circ u</math> est dérivable sur <math>I</math> : <math>(v\circ u)'=(v'\circ u)\times u'</math>.
 +
 
 +
<math>\left(\dfrac{1}{u}\right)'=-\dfrac{u'}{u^2}</math>
 +
 
 +
<math>(\sqrt u)'=\dfrac{u'}{2\sqrt u}</math>
 +
 
 +
<math>(u^\alpha)'=\alpha u'u^{\alpha-1}</math>
 +
 
 +
<math>(e^u)'=u'e^u</math>
 +
 
 +
<math>(\ln u)'=\dfrac{u'}{u}</math>
 +
 
 +
<math>(\sin u)'=u'\cos u</math>
 +
 
 +
<math>(\cos u)'=-u'\sin u</math> ...
 +
 
 +
*Si <math>u</math> est dérivable et bijective de l’intervalle <math>I</math> dans l’intervalle <math>u(I)</math>, sa réciproque <math>u^{-1}</math> est dérivable sur <math>u(I)-\{u(x)/u'(x)=0\}</math> et <math>(u^{-1})'=\dfrac{1}{u'\circ u^{-1}}</math>.
==Sens de variation==
==Sens de variation==
-
en cours
+
Si <math>f</math> est une fonction dérivable sur un intervalle <math>I</math> :
 +
 
 +
*<math>f</math> est constante sur <math>I</math> si et seulement si <math>\forall{x\in I}\quad f'(x)=0</math>.
 +
 
 +
*<math>f</math> est croissante sur <math>I</math> si et seulement si <math>\forall{x\in I}\quad f'(x)\geq 0</math>.
 +
 
 +
*<math>f</math> est décroissante sur <math>I</math> si et seulement si <math>\forall{x\in I}\quad f'(x)\leq 0</math>.
 +
 
 +
*Si <math>\forall{x\in I}\quad f'(x)>0</math> (sauf peut-être en un nombre fini de
 +
points), <math>f</math> est strictement croissante sur <math>I</math>.
 +
 
 +
*Si <math>\forall{x\in I}\quad f'(x)<0</math> (sauf peut-être en un nombre fini de
 +
points), <math>f</math> est strictement décroissante sur <math>I</math>.
==Extremum local==
==Extremum local==
-
en cours
+
Une fonction <math>f</math> dérivable sur un intervalle ouvert <math>I</math> admet un extremum local en <math>a\in I</math> si et seulement si sa dérivée <math>f'</math> s’annule en <math>a</math> en changeant de signe.
==Dérivée d’ordre n==
==Dérivée d’ordre n==
-
en cours
+
Sous réserve d'existence : <math>f^{(0)}=f\quad\mathrm{et}\quad\forall{n\in\mathbb N}\quad f^{(n+1)}=\left(f^{(n)}\right)'</math>.
==Classes de fonctions==
==Classes de fonctions==
-
en cours
+
Sur un intervalle <math>I</math>, une fonction <math>f</math> est :
 +
 
 +
*de classe <math>D^n</math> si elle est dérivable <math>n</math> fois sur <math>I</math>.
 +
 
 +
*de classe <math>C^n</math> si elle est dérivable <math>n</math> fois et si <math>f^{(n)}</math> est continue sur <math>I</math>.
 +
 
 +
*de classe <math>C^{\infty}</math> si elle est infiniment dérivable sur <math>I</math> (elle admet des dérivées de tout ordre).
 +
 
 +
''Formule de Leibniz'' : <math>(uv)^{(n)}=\sum_{k=0}^{n}\begin{pmatrix} n \\ k \end{pmatrix}u^{(k)}v^{(n-k)}</math> si <math>u</math> et <math>v</math> sont de classe <math>D^n</math>.
 +
 
 +
Les fonctions polynômes, rationnelles, logarithme, exponentielle,
 +
trigonométriques sont de classe <math>C^{\infty}</math> sur leur ensemble de définition.
 +
 
 +
Les fonctions <math>x\mapsto x^\alpha</math> sont de classe <math>C^1</math> sur leur ensemble de définition si <math>\alpha\leq 0</math> ou <math>\alpha\geq 1</math>, et sur <math>]0,+\infty[</math> si <math>0<\alpha<1</math> (donc en particulier <math>x\mapsto\sqrt x</math>). La fonction <math>x\mapsto|x|</math> est de classe <math>C^{\infty}</math> sur <math>\mathbb R^*</math>
==Prolongement de la dérivée==
==Prolongement de la dérivée==
-
en cours
+
Si <math>f</math> est continue sur <math>[a,b]</math>, de classe <math>C^1</math> sur <math>]a,b]</math> et si sa dérivée <math>f'</math> admet une limite réelle en <math>a</math>, alors <math>f</math> est de classe <math>C^1</math> sur <math>[a,b]</math>.
 +
 
 +
Donc <math>f</math> est dérivable en <math>a</math> et <math>f'(a)=\lim_{x\rightarrow a}f'(x)</math>.
 +
 
 +
Si <math>\lim_{x\rightarrow a}f'(x)=\infty</math>, la fonction <math>f</math> n’est pas dérivable en <math>a</math>, et la courbe admet une tangente verticale au point d’abscisse <math>a</math>.
==Théorème de Rolle==
==Théorème de Rolle==
-
en cours
+
Si <math>f</math> est continue sur <math>[a,b]</math> et dérivable sur <math>]a,b[</math>, et si <math>f(a)=f(b)</math>, alors il existe <math>c\in]a,b[</math> tel que <math>f'(c)=0</math>.
==Egalité des accroissements finis ==
==Egalité des accroissements finis ==
-
en cours
+
Si <math>f</math> est continue sur <math>[a,b]</math> et dérivable sur <math>]a,b[</math>, alors il existe <math>c\in]a,b[</math> tel que <math>f(b)-f(a)=(b-a)f'(c)</math>.
==Inégalités des accroissements finis==
==Inégalités des accroissements finis==
-
en cours
+
Si <math>f</math> est dérivable sur un intervalle <math>I</math> et si <math>a\in I</math> et <math>b\in I</math> :
 +
 
 +
''Première inégalité'' (si <math>a\leq b</math>)
 +
 
 +
Si <math>\forall{x\in[a,b]}\quad m\leq f'(x)\leq M</math>, alors : <math>m(b-a)\leq f(b)-f(a)\leq M(b-a)</math>.
 +
 
 +
''Deuxième inégalité'' (<math>a</math> et <math>b</math> quelconques dans <math>I</math>)
 +
 
 +
Si <math>\forall{x\in I}\quad|f'(x)|\leq M</math>, alors : <math>|f(b)-f(a)|\leq M|b-a|</math>.
 +
 
--[[Utilisateur:CatherineLaidebeure|CatherineLaidebeure]] 27 juillet 2010 à 09:08 (CEST)
--[[Utilisateur:CatherineLaidebeure|CatherineLaidebeure]] 27 juillet 2010 à 09:08 (CEST)
[[catégorie:Mathématiques]]
[[catégorie:Mathématiques]]

Version actuelle

Ce résumé est basé sur le programme de mathématiques de première année des classes préparatoires aux grandes écoles économiques et commerciales, voie scientifique (ECS1). Un résumé complet du programme de mathématiques ECS1 est proposé sur la Plate-forme SILLAGES.

Sommaire

Dérivabilité en un point

La fonction f doit être définie en a et au voisinage de a.

f est dérivable en a si son taux d’accroissement \dfrac{f(x)-f(a)}{x-a} a une limite réelle en a : f'(a)=\lim_{x\rightarrow a}\dfrac{f(x)-f(a)}{x-a}=\lim_{h\rightarrow 0}\dfrac{f(a+h)-f(a)}{h}.

La fonction est dérivable à gauche (ou à droite) de a si son taux d’accroissement en a admet une limite réelle à gauche (ou à droite) en a.

Elle est dérivable en a si et seulement si ces deux limites sont égales.

Développement limité d’ordre 1

Si f est dérivable en a, il existe un voisinage V de 0 tel que : \forall{h\in V}\quad f(a+h)=f(a)+hf'(a)+h\epsilon(h) avec \lim_{h\rightarrow 0}\epsilon(h)=0.

Conséquence : Toute fonction dérivable en a est continue en a (réciproque fausse).

Exemples classiques : Toujours avec \lim_{h\rightarrow 0}\epsilon(h)=0 :

\ln(1+h)=h+h\epsilon(h)

e^h=1+h+h\epsilon(h)

(1+h)^\alpha=1+\alpha h+h\epsilon(h)

\sin h=h+h\epsilon(h)

\tan h=h+h\epsilon(h)

\cos h=1+h\epsilon(h)

Interprétation géométrique

  • Si f est dérivable en a, sa courbe représentative admet au point A d’abscisse a une tangente d’équation : y=(x-a)f'(a)+f(a).

La tangente en A est horizontale si et seulement si f'(a)=0.

  • Si le taux d’accroissement de f en a tend vers \pm\infty, sa courbe admet en A une tangente verticale.
  • Si le taux d’accroissement de f en a admet à gauche et à droite des limites réelles différentes, sa courbe admet deux demi-tangentes distinctes à gauche et à droite du point A : le point A est un point « anguleux ».
  • Si le taux d’accroissement de f en a admet à gauche et à droite des limites infinies, sa courbe admet deux demi-tangentes verticales : le point A est soit un point d’ inflexion soit un point de rebroussement.

Dérivabilité sur un intervalle

f est dérivable sur un intervalle I si f est dérivable en tout a\in I. Alors sa fonction dérivée est la fonction f' définie par : \forall x\in I\quad f'(x)=\lim_{h\rightarrow 0}\dfrac{f(x+h)-f(x)}{h}.

Toute fonction dérivable sur I est continue sur I (réciproque fausse).

Dérivées usuelles

f(x)=c f'(x)=0
f(x)=x f'(x)=1
f(x)=x^\alpha f'(x)=\alpha x^{\alpha-1}
f(x)=\dfrac{1}{x} f'(x)=-\dfrac{1}{x^2}
f(x)=\sqrt x f'(x)=\dfrac{1}{2\sqrt x}\quad\mathrm{si} \quad x>0
f(x)=\ln x f'(x)=\dfrac{1}{x}
f(x)=e^x f'(x)=e^x
f(x)=\sin x f'(x)=\cos x
f(x)=\cos x f'(x)=-\sin x
f(x)=\tan x f'(x)=\dfrac{1}{\cos^2x}=1+\tan^2 x
f(x)=\cot x f'(x)=-\dfrac{1}{\sin^2x}=-1-\cot^2 x
f(x)=\mathrm{Arcsin}x f'(x)=\dfrac{1}{\sqrt{1-x^2}}\quad\mathrm{si}\smallquad -1<x<1
f(x)=\mathrm{Arccos}x f'(x)=-\dfrac{1}{\sqrt{1-x^2}}\quad\mathrm{si}\smallquad -1<x<1
f(x)=\mathrm{Arctan}x f'(x)=\dfrac{1}{1+x^2}

Opérations

  • Si u et v sont dérivables sur l’intervalle I et si k est une constante, alors u+v, uv et ku sont dérivables sur I, et \dfrac{u}{v} est dérivable sur I privé des points où v s’annule.

(u+v)'=u'+v'

(uv)'=u'v+uv'

(ku)'=ku'

\left(\dfrac{u}{v}\right)'=\dfrac{u'v-uv'}{v^2}

  • Si u est dérivable sur l’intervalle I et si v est dérivable sur u(I), alors v\circ u est dérivable sur I : (v\circ u)'=(v'\circ u)\times u'.

\left(\dfrac{1}{u}\right)'=-\dfrac{u'}{u^2}

(\sqrt u)'=\dfrac{u'}{2\sqrt u}

(u^\alpha)'=\alpha u'u^{\alpha-1}

(e^u)'=u'e^u

(\ln u)'=\dfrac{u'}{u}

(\sin u)'=u'\cos u

(\cos u)'=-u'\sin u ...

  • Si u est dérivable et bijective de l’intervalle I dans l’intervalle u(I), sa réciproque u^{-1} est dérivable sur u(I)-\{u(x)/u'(x)=0\} et (u^{-1})'=\dfrac{1}{u'\circ u^{-1}}.

Sens de variation

Si f est une fonction dérivable sur un intervalle I :

  • f est constante sur I si et seulement si \forall{x\in I}\quad f'(x)=0.
  • f est croissante sur I si et seulement si \forall{x\in I}\quad f'(x)\geq 0.
  • f est décroissante sur I si et seulement si \forall{x\in I}\quad f'(x)\leq 0.
  • Si \forall{x\in I}\quad f'(x)>0 (sauf peut-être en un nombre fini de

points), f est strictement croissante sur I.

  • Si \forall{x\in I}\quad f'(x)<0 (sauf peut-être en un nombre fini de

points), f est strictement décroissante sur I.

Extremum local

Une fonction f dérivable sur un intervalle ouvert I admet un extremum local en a\in I si et seulement si sa dérivée f' s’annule en a en changeant de signe.

Dérivée d’ordre n

Sous réserve d'existence : f^{(0)}=f\quad\mathrm{et}\quad\forall{n\in\mathbb N}\quad f^{(n+1)}=\left(f^{(n)}\right)'.

Classes de fonctions

Sur un intervalle I, une fonction f est :

  • de classe D^n si elle est dérivable n fois sur I.
  • de classe C^n si elle est dérivable n fois et si f^{(n)} est continue sur I.
  • de classe C^{\infty} si elle est infiniment dérivable sur I (elle admet des dérivées de tout ordre).

Formule de Leibniz : (uv)^{(n)}=\sum_{k=0}^{n}\begin{pmatrix} n \\ k \end{pmatrix}u^{(k)}v^{(n-k)} si u et v sont de classe D^n.

Les fonctions polynômes, rationnelles, logarithme, exponentielle, trigonométriques sont de classe C^{\infty} sur leur ensemble de définition.

Les fonctions x\mapsto x^\alpha sont de classe C^1 sur leur ensemble de définition si \alpha\leq 0 ou \alpha\geq 1, et sur ]0,+\infty[ si 0<\alpha<1 (donc en particulier x\mapsto\sqrt x). La fonction x\mapsto|x| est de classe C^{\infty} sur \mathbb R^*

Prolongement de la dérivée

Si f est continue sur [a,b], de classe C^1 sur ]a,b] et si sa dérivée f' admet une limite réelle en a, alors f est de classe C^1 sur [a,b].

Donc f est dérivable en a et f'(a)=\lim_{x\rightarrow a}f'(x).

Si \lim_{x\rightarrow a}f'(x)=\infty, la fonction f n’est pas dérivable en a, et la courbe admet une tangente verticale au point d’abscisse a.

Théorème de Rolle

Si f est continue sur [a,b] et dérivable sur ]a,b[, et si f(a)=f(b), alors il existe c\in]a,b[ tel que f'(c)=0.

Egalité des accroissements finis

Si f est continue sur [a,b] et dérivable sur ]a,b[, alors il existe c\in]a,b[ tel que f(b)-f(a)=(b-a)f'(c).

Inégalités des accroissements finis

Si f est dérivable sur un intervalle I et si a\in I et b\in I :

Première inégalité (si a\leq b)

Si \forall{x\in[a,b]}\quad m\leq f'(x)\leq M, alors : m(b-a)\leq f(b)-f(a)\leq M(b-a).

Deuxième inégalité (a et b quelconques dans I)

Si \forall{x\in I}\quad|f'(x)|\leq M, alors : |f(b)-f(a)|\leq M|b-a|.


--CatherineLaidebeure 27 juillet 2010 à 09:08 (CEST)