Explicitation locale

I Soit F de R2 dans R et (a, b)t un zéro de F .

Une explicitation locale de y en fonction de x, à partir de la
relation F (x, y ) = 0, autour du point (a, b), est une fonction
ϕ : I −→ J, où I est un intervalle ouvert contenant a et J un
intervalle ouvert contenant b, telle que

(∀ x ∈ I) (∀ y ∈ J) y = ϕ(x) ⇔ F (x, y ) = 0.

HEC•ULg 2015–2016 Math Bloc 2 Sc& G - Rappels T.P. no 14 1/6

Théorème des fonctions implicites

I Soit F une fonction de R2 dans R et (a, b)t ∈ dom F . Si
I F (a, b) = 0 ;
I F est de classe C 1 sur un voisinage de (a, b) ;
I ∂2 F (a, b) 6= 0,
Alors, il existe une explicitation locale ϕ : I −→ J, de y en
fonction de x, à partir de la relation F (x, y ) = 0, autour de
(a, b)t ; de plus, ϕ est de classe C 1 et, pour tout x ∈ I,

∂1 F (x, ϕ(x))
ϕ0 (x) = − .
∂2 F (x, ϕ(x))
I En particulier,
∂1 F (a, b)
ϕ0 (a) = −
∂2 F (a, b)
puisque ϕ(a) = b.

HEC•ULg 2015–2016 Math Bloc 2 Sc& G - Rappels T.P. no 14 2/6

Théorème des fonctions implicites

Ce théorème peut être adapté au cas de l’explicitation de x en

fonction de y .
Il suffit de remplacer la dernière hypothèse par la suivante :

∂1 F (a, b) 6= 0.

HEC•ULg 2015–2016 Math Bloc 2 Sc& G - Rappels T.P. no 14 3/6

Dérivation des fonctions implicites

Si la relation implicite
F (x, y ) = 0 (1)
équivaut (au moins localement) à la relation explicite y = ϕ(x),
alors, pour calculer la dérivée de ϕ, on procède en trois temps :
1. Remplacer, dans (1), y par ϕ(x) :
F (x, ϕ(x)) = 0 ; (2)
2. Dériver membre à membre cette égalité en utilisant la
règle de dérivation des fonctions composées :
∂1 F (x, ϕ(x)) + ∂2 F (x, ϕ(x)) · ϕ0 (x) = 0 ;
3. Résoudre la dernière égalité par rapport à ϕ0 (x) :
∂1 F (x, ϕ(x))
ϕ0 (x) = − . (3)
∂2 F (x, ϕ(x))
Cette expression donne ϕ0 (x) en fonction de x et de ϕ(x).

HEC•ULg 2015–2016 Math Bloc 2 Sc& G - Rappels T.P. no 14 4/6

Dérivation des fonctions implicites
Remarques

I Quelquefois, l’utilisation de la relation (2) permet de

simplifier l’expression de ϕ0 (x).
I Deux options sont possibles : soit refaire ce travail à
chaque fois, soit retenir le résultat (3). Je préconise la
première.

HEC•ULg 2015–2016 Math Bloc 2 Sc& G - Rappels T.P. no 14 5/6

Dérivation d’une intégrale

Z t=x 0 Z t=ϕ(x) 0
1. g(t) = g(x) ; 2. g(t) = g(ϕ(x)) · ϕ0 (x) ;
t=a t=a
Z t=b 0 Z t=b 0
3. g(t) = −g(x) ; 4. g(t) = −g(ψ(x))·ψ 0 (x) ;
t=x t=ψ(x)
Z t=ϕ(x) 0
5. g(t) = g(ϕ(x)) · ϕ0 (x) − g(ψ(x)) · ψ 0 (x) ;
t=ψ(x)
Z t=b 0 Z t=b
6. h(t, x) = ∂2 h(t, x) ;
t=a t=a
Z t=ϕ(x) 0
7. h(t, x) =
t=ψ(x) Z t=ϕ(x)
0 0
= h(ϕ(x), x)·ϕ (x)−h(ψ(x), x)·ψ (x)+ ∂2 h(t, x).
t=ψ(x)

HEC•ULg 2015–2016 Math Bloc 2 Sc& G - Rappels T.P. no 14 6/6