[http://mp.cpgedupuydelome.

fr] dD dit le 14 juin 2011

Enoncs

Thorme des fonctions implicites

Exercice 1 [ 00610 ] [correction]
a) Montrer que la relation
x4 + y 3 2x2 y 1 = 0
dfinit implicitement y en fonction de x au voisinage de (0, 1).
b) Former un dveloppement limit lordre 3 au voisinage de 0 de la fonction qui
x associe y.

Exercice 2 [ 00611 ] [correction]

Montrer que la relation
sin y + y + ex = 1
dfinit implicitement y en fonction de x au voisinage de (0, 0).
Rgularit de la fonction ainsi dfinie et dveloppement limit lordre 3 en 0 ?

Exercice 3 [ 00612 ] [correction]

Montrer que la relation
y 3 + (x2 + 1)y + x4 = 0
dfinit implicitement y en fonction de x sur R et lapplication : x 7 y est de
classe C sur R.

Exercice 4 CCP MP [ 03370 ] [correction]

Soit f dfinie sur R2 par
f (x, y) = x3 + y 3 3xy 1
a) Montrer que la condition f (x, y) = 0 dfinit au voisinage de (0, 1) une fonction
implicite x 7 y = (x).
b) Donner un dveloppement limit lordre 3 de au voisinage de 0.

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections



vers lim h, lim h = R. Par suite, il existe un unique y R vrifiant h(y) = 0. En

Corrections

Exercice 1 : [nonc]
a) Posons
f (x, y) = x4 + y 3 2x2 y 1
f est de classe C sur louvert R2 , f (0, 1) = 0 et
f
(0, 1) = 3 6= 0
y
Par le thorme des fonctions implicites, il existe : I J de classe C avec I et
J intervalles ouverts centrs respectivement 0 et 1 telle que

posant y = (x), on peut affirmer que la relation y 3 + (x2 + 1)y + x4 = 0 dfinit

implicitement x 7 (x) sur R.
Soit x0 R, y0 = (x0 ) et f : (x, y) 7 y 3 + (x2 + 1)y + x4 .
2
2
f est de classe C , f (x0 , y0 ) = 0 et f
y (x0 , y0 ) = 3y0 + x0 + 1 6= 0 donc par le TFI,

il existe une fonction de classe C au voisinage de x0 concidant avec . Ainsi

est C au voisinage de tout x0 R et finalement est C .

Exercice 4 : [nonc]
a) La fonction f est de classe C 1 , f (0, 1) = 0 et
f
(0, 1) = 3 6= 0
y

x I, y J, f (x, y) = 0 y = (x)
b) Lapplication tant de classe C , elle admet donc un DL3 (0) qui sera de la
forme :
(x) = a + bx + cx2 + dx3 + o(x3 )
a = (0) = 1, b = 0 (0) = 0, puis en injectant le dveloppement limit dans la
relation
f (x, (x)) = 0
on obtient c = 2/3 et d = 0.

Exercice 2 : [nonc]
Posons f (x, y) = sin y + y + ex 1. f est de classe C , f (0, 0) = 0 et
f
y (0, 0) = 2 6= 0.
Par le TFI, il existe : I J de classe C avec I et J intervalles ouverts centrs
en 01 telle que
x I, y J, f (x, y) = 0 y = (x).
Lapplication tant de classe C elle admet donc un DL3 (0) qui sera de la
forme :
(x) = a + bx + cx2 + dx3 + o(x3 ).
a = (0) = 0, b = 0 (0) = 1/2 puis en injectant le dveloppement limit dans la
relation f (x, (x)) = 0 on obtient c = 1/4 et d = 3/32.

Exercice 3 : [nonc]
Soit x R. La fonction h : y 7 y 3 + (x2 + 1)y + x4 est drivable et
h0 (y) = 3y 2 + x2 + 1 > 0 donc h ralise une bijection strictement croissante de R

donc on peut appliquer le thorme des fonctions implicites dfinissant au

voisinage de 0.
b) Puisque f est de classe C , le thorme des fonctions implicites assure que
est aussi de classe C au voisinage de 0. En particulier est de classe C 3 et donc
admet un dveloppement limit lordre 3. Puisque (0) = 1, ce dveloppement
est de la forme
(x) = 1 + ax + bx2 + cx3 + o(x3 )
Puisque f (x, (x)) = 0 au voisinage de 0, on a
x3 + (1 + ax + bx2 + cx3 + o(x3 )) 3x(1 + ax + bx2 + o(x2 )) = 1
et donc
x3 + (1 + ax + bx2 + cx3 + o(x3 ))3 3x(1 + ax + bx2 + o(x2 )) = 1
ce qui donne
3(a 1)x + (3a2 3a + 3b)x2 + (1 + a3 + 6ab 3b + 3c)x3 + o(x3 ) = 0
Par unicit des coefficients dun dveloppement limit, on obtient
a = 1, b = 0 et c = 2/3