Mathématiques – cours : Chap 15 : Dérivation d’une fonction d’une variable réelle

Chap 15 : Dérivation d’une fonction d’une

variable réelle
I. Dérivabilité en un point
f ∈ F ( I , ) x0 ∈ I f dérivable en x0
 I \{x0 } → 

⇔ f ( x) − f ( x0 ) admet une limite l ∈  en x0
 x 
 x − x0
⇔ Il existe l ∈ , ε ∈ F ( I , ) tel que ∀x ∈ I , f ( x=
) f ( x0 ) + ( x − x0 )l + ( x − x0 )ε ( x), lim ε ( x=
) 0
x → x0

f dérivable en x0 ⇒ f continue en x0
f dérivable à gauche si f \]−∞; x0 ] dérivable...

I = I \{sup I ,inf I }
f ∈ F ( I , R) x0 ∈ I Si f admet un extremum local en x0 , alors f '( x0 ) =
0

Preuve : dérivée à gauche supérieure à 0, dérivée à droite inférieure à 0

f et g ∈ F ( I , ), x0 ∈ I , f et g dérivables en x0 , alors ∀(α , β ) ∈  2 ,α f + β g dérivable en x0

D1 ( I , , x0=
) { f ∈ F ( I , ), f dérivable en x0 } sev de F ( I , )

f ( x) − f ( x0 )
τ x ( x) = représente la pente de la corde M 0 M
0
x − x0
f '( x0 ) = lim τ x0 ( x) est la pente de la tangente à C f en x0
x → x0

( f , g ) ∈ D1 ( I , , x0 ) 2
⇒ fg dérivable en x0 et ( fg )'( x0 ) =
f '( x0 ) g ( x0 ) + f ( x0 ) g '( x0 )
'
1 1 − f '( x0 )
⇒ (si f ne s'annule pas sur I ) dérivable et   ( x0 ) =
f  f  f ( x0 ) 2

Preuves : produit : couper le produit en 2 parties

Dérivable  continu : inverse : 1/(f(x)f(x0))  1/(f(x0))²

'
f  f  f '( x0 ) g ( x0 ) − f ( x0 ) g '( x0 )
⇒ (si g ne s'annule pas sur I ) dérivable et   ( x0 ) =
g g ( g ( x0 )) 2
⇒ g  f dérivable en x0 et ( g  f )'( x0 ) =
f '( x0 ) × g ' f ( x0 )

g ( y ) − g  f ( x0 )
Preuve : ϕ : y  si f ( x0 ) ≠ y , y  g '( f ( x0 )) sinon
y − f ( x0 )
g  f ( x) − g  f ( x0 ) f ( x) − f ( x0 )
= ϕ ( f ( x)) × Vérifier toutes les limites
x − x0 x − x0

1
Mathématiques – cours : Chap 15 : Dérivation d’une fonction d’une variable réelle

f ∈ F ( I , ) strictement monotone, bijective de I sur J

1
f dérivable en x0 et f '( x0 ) ≠ 0 ⇒ f −1 =
dérivable en y0 f ( x=
0 ) et ( f
−1
)'( y0 )
f '( x0 )

II. Dérivation sur un intervalle

D1 ( I , =
) { f ∈ F ( I , } dérivable sur I } sous-algèbre de F ( I , )

I → 
f ' Les formules découlent de la dérivation en un point
 x  f '( x)
f dérivable 1 fois en x0 si f dérivable en x0
 f dérivable (k − 1) fois sur un voisinage de x0 ( k )
f dérivable k fois en x0 si  ( k −1) f ( x0 ) = ( f ( k −1) ) '( x0 )
 f dérivable en x0

D ( I , ) → F ( I , )
n

 est linéaire
 f  f (n)

f ∈ D n ( I , ) g ∈ D n ( I , ) (pour D n ( I , , x0 ), faire attention aux voisinages)

n
 n  ( k ) ( n−k )
⇒ Formule de Leibniz : ( fg )( n ) =∑  f g
k =0  k 

1
⇒ Si f ne s'annule pas sur I : ∈ D n ( I , )
f
⇒ g  f ∈ D n ( I , )
⇒ Si f ' ne s'annule pas sur I : f −1 dérivable n fois sur I

III. Etude globale

 f ∈ C 0 ([a, b], )

Théorème de Rolle :  f ∈ D1 (]a, b[, ) ⇒ ∃c ∈]a, b[, f '(c) =0
 f (a ) = f (b)


Généralisations en ± ∞

Théorème des accroissements finis : f ∈ C 0 ([a, b], ) f ∈ D1 (]a, b[, )

f (b) − f (a )
∃c ∈]a, b[ tel que =f '(c)
b−a

f (b) − f (a )
Preuve : A ϕ : x  f ( x) − A( x − a) Rolle
b−a

f ∈ C 0 ([a, b], ) f ∈ D1 (]a, b[, ) ∃(m, M ) ∈  2 , ∀x ∈]a, b[, m ≤ f '( x) ≤ M

⇒ m(b − a ) ≤ f (b) − f (a ) ≤ M (b − a )
f ∈ C 0 ( I , ) f ∈ D1 ( I, ) ∃k ∈ * , ∀x ∈ I,| f '( x) |≤ k ⇒ f est k − lipschitzienne
+

2
 Mathématiques – cours : Chap 15 : Dérivation d’une fonction d’une variable réelle

f ∈ C 0 ( I , ) f ∈ D1 ( I, ) f constante ssi ∀x ∈ I, f '( x) =0

f ∈ C 0 ( I , ) f ∈ D1 ( I, ) f croissante sur I ssi ∀x ∈ I, f '( x) ≥ 0
f ∈ C 0 ( I , ) f ∈ D1 ( I, ) f strictement croissante sur I ssi ∀x ∈ I, f '( x) ≥ 0,
et f ne s'annule sur aucun intervalle non réduit à un point

Preuve : contraposées : non strictement croissante  s’annule sur un intervalle

IV. Formules de Taylor

Lemme de Rolle généralisé : f et g ∈ C 0 ([a, b], ) g ∈ D1 (]a, b[, ) g ne s'annule pas sur ]a, b[
f (b) − f (a ) f '(c)
∃c ∈]a, b[, =
g (b) − g (a ) g '(c)

f (b) − f (a )
Preuve : A ϕ : x  ( f ( x) − f (a )) − A( g ( x) − g (a )) Rolle
g (b) − g (a )

Taylor Young : x0 ∈ I , n ∈ *, f ∈ D n ( I , , x0 )

n
f ( k ) ( x0 )
∃ε ∈ F ( I , ),lim ε=
( x) 0
x →0
∀x ∈ I , f=
( x) ∑k =0 k!
( x − x0 ) k + ( x − x0 ) n ε ( x)
  
= o ( x − x0 )
n

n +1
f ( k ) ( x0 ) 
f ( x) − ∑  h( x )
k =0 k!  h( x) − h( x0 )
=
Preuve : A( x) =  → 0 A( x) Rolleétendu
( x − x0 ) ) g ( x)
x → x0
n +1
g ( x) − g ( x0 )

Taylor-Lagrange ( HP) : f ∈ D n+1 ( I , )

n
f ( k ) ( x0 ) ( x − x0 ) n+1 ( n+1)
∀x ∈ I , ∃c ∈]x, x0 [ ou ]=
x0 , x[, f ( x) ∑
k =0 k!
( x − x0 ) k +
(n + 1)!
f (c )

Taylor avec reste intégral : f ∈ C n+1 ( I , ), x0 ∈ I ,

f ( k ) ( x0 ) x (x − t)
n n
∀=
x ∈ I , f ( x) ∑k =0 k!
( x − x0 ) k + ∫
x0 n!
f ( n+1) (t )d t

Inégalité de Taylor (Lagrange) : f ∈ C n+1 ( I , ),( x, x0 ) ∈ I 2

n
f ( k ) ( x0 ) | x − x0 |n+1
f ( x) − ∑ ( x − x0 ) k ≤ × sup | f ( n+1) | (preuve : T.R.I.)
k =0 k! (n + 1)! [ x , x0 ]
ou [ x0 , x ]

V. Application aux suites un+1 = f(un)

f ∈ F ( I , ) f (I ) ⊂ I , u0 ∈ I , ∀n ∈ , un+1 =f (un )
Si f est croissante sur I alors (un ) est monotone. On obtient son sens avec u1 − u0
Si f est décroissante alors
f 2 = f  f croissante sur I . Les suites (u2 n ) n et (u2 n+1 ) sont monotones
g : x  f ( x) − x strictement décroissante, si continue → unique point fixe x0
⇒ séparation des intervalles de (u2 n ) et (u2 n+1 )

3
Mathématiques – cours : Chap 15 : Dérivation d’une fonction d’une variable réelle

f ∈ C 0 ( I , ) f (I ) ⊂ I (un ) n convergente vers l ∈ I ⇒ f (l ) =l

f ∈ C ( I , )
0
f (I ) ⊂=
I [a, b] ⇒ f admet un point fixe
f ∈ F ( I , ) f croissante f ( I ) ⊂ =
I [a, b] ⇒ f admet un point fixe (preuve : comme TVI)

[ HP , à éviter]: I fermé ([a, b][a; +∞[; ...) f ∈ F ( I , ) f (I ) ⊂ I

f contractante ⇒ point fixe l ∈ I ∀=(un ) n un+1 f (un )= lim un l
n →+∞

Preuve : Unicité : | x1 −=
x2 | | f ( x1 ) − f ( x2 ) |≤ k | x1 − x2 | k < 1 ⇒=
x1 x2
q −1
rec ⇒| u p +1 − u p |≤ k p | u1 − u0 | | u p − uq |≤ ∑ | u j +1 − u j |... ⇒ de Cauchy ⇒ CV
j= p

f k − lipschitzienne ⇒ ∀n ∈ ,| un − l |≤ k n | u0 − l |
Vitesse de convergence : δ=
n | un − l |

1
δn = O  convergence linéaire
  n
 1 
δn = O 2  convergence quadratique
n 
=δ n O( k n ) (0 < k < 1) convergence exponentielle