Définitions

Définition

Une fonction f f définie sur un intervalle I I contenant le réel a a est dérivable au point a a s'il existe un réel A A tel que :

lim h 0 f ( a + h ) f ( a ) h = A lim from {h toward 0} {{f(a+h)-f(a)} over {h}} = A

ou encore

lim x a f ( x ) f ( a ) x a = A lim from {x toward a} {{f(x)-f(a)} over {x-a}} = A

Le nombre A A est appelé nombre dérivé de la fonction f f au point a a .

Définition

Si f f est une fonction dérivable en tout point d'un intervalle I I ouvert, on dit que f f est dérivable sur I I . f f étant une fonction dérivable sur I I , la fonction, notée f ' f' , qui a tout x x de I I associe le nombre dérivé de f f au point x x , s'appelle fonction dérivée de f f .

Remarque

Si f f est une fonction de la variable réelle x x , f ' f' se note aussi df dx df over dx

Pour tout a I a in I ,

lim h 0 f ( a + h ) f ( a ) h = f ' ( a ) lim from {h toward 0} {{f(a+h)-f(a)} over {h}} = f'(a)

On peut donc écrire :

f ( a + h ) f ( a ) = h ( f ' ( a ) + φ ( h ) ) f(a+h)-f(a) = h( f'(a)+%varphi(h) ) avec lim h 0 φ ( h ) = 0 lim from {h toward 0} {%varphi(h)} = 0

ou encore :

f ( a + h ) = f ( a ) + h f ' ( a ) + h φ ( h ) f(a+h)=f(a)+ h f'(a)+ h %varphi(h) avec lim h 0 φ ( h ) = 0 lim from {h toward 0} {%varphi(h)} = 0

On dit que f f est différentiable en a a . Cette écriture est aussi appelée développement limité d'ordre 1 de f f en a a .

Exemple

Soit f : x x f nitalic : x toward sqrt x

on a :

lim h 0 f ( 1 + h ) f ( 1 ) h = lim h 0 1 + h 1 h = lim h 0 ( 1 + h 1 ) ( 1 + h + 1 ) h ( 1 + h + 1 ) lim from {h toward 0} {{f(1+h)-f(1)} over {h}} = lim from {h toward 0} {{sqrt {1+h}-1} over {h}}= lim from {h toward 0} {{(sqrt {1+h}-1)({sqrt {1+h}+1})} over {h({sqrt {1+h}+1})}}

Donc :

lim h 0 f ( 1 + h ) f ( 1 ) h = lim h 0 h h ( 1 + h + 1 ) = lim h 0 1 ( 1 + h + 1 ) = 1 2 lim from {h toward 0} {{f(1+h)-f(1)} over {h}} = lim from {h toward 0} {h over {h({sqrt {1+h}+1})}}= lim from {h toward 0} {1 over {({sqrt {1+h}+1})}}= 1 over 2

Donc

1 + h = 1 + 1 2 h + h φ ( h ) sqrt{1+h}=1+ 1 over 2 h + h %varphi(h) avec lim h 0 φ ( h ) = 0 lim from {h toward 0} {%varphi(h)} = 0