Planche n

o
22. Fonctions de plusieurs variables.
Corrig
n
o
1 : 1) f est dnie sur R
2
\ {(0, 0)}.
Pour x = 0, f(x, 0) = 0. Quand x tend vers 0, le couple (x, 0) tend vers le couple (0, 0) et f(x, 0) tend vers 0. Donc, si f a
une limite relle en 0, cette limite est ncessairement 0.
Pour x = 0, f(x, x) =
1
2
. Quand x tend vers 0, le couple (x, x) tend vers (0, 0) et f(x, x) tend vers
1
2
= 0. Donc f na pas
de limite relle en (0, 0).
2) f est dnie sur R
2
\ {(0, 0)}.
Pour (x, y) = (0, 0), |f(x, y)| =
x
2
y
2
x
2
+y
2
=
|xy|
x
2
+y
2
|xy|
1
2
|xy|. Comme
1
2
|xy| tend vers 0 quand le couple (x, y) tend
vers le couple (0, 0), il en est de mme de f. f(x, y) tend vers 0 quand (x, y) tend vers (0, 0).
3) f est dnie sur R
2
\ {(0, 0)}.
Pour y = 0, f(0, y) =
y
3
y
4
=
1
y
. Quand y tend vers 0 par valeurs suprieures, le couple (0, y) tend vers le couple (0, 0) et
f(0, y) tend vers +. Donc f na pas de limite relle en (0, 0).
4) f est dnie sur R
2
\ {(0, 0)}.
Pour x = 0, f(x, x) =

2x
2
2|x|
_
|x|
=
1
_
2|x|
.Quand x tend vers 0, le couple (x, x) tend vers le couple (0, 0) et f(x, x) tend vers
+. Donc f na pas de limite relle en (0, 0).
5) f est dnie sur R
2
\ {(x, x), x R}.
Pour x = 0, f(x, x + x
3
) =
(x + x
2
x
3
)(x + (x +x
2
)
2
)
x
3

x0

1
x
. Quand x tend vers 0 par valeurs suprieures, le
couple (x, x + x
3
) tend vers (0, 0 et f(x, x +x
3
) tend vers . Donc f na pas de limite relle en (0, 0).
6) f est dnie sur R
2
\ {(x, 0), x R}.
1 cos
_
|xy|
|y|

(x,y)(0,0)
(
_
|xy|)
2
2|y|
=
|x|
2
et donc f tend vers 0 quand (x, y) tend vers (0, 0).
7) f est dnie sur R
3
priv du cne de rvolution dquation x
2
y
2
+z
2
= 0.
f(x, 0, 0) =
1
x
qui tend vers + quand x tend vers 0 par valeurs suprieures. Donc f na pas de limite relle en (0, 0, 0).
8) f(2 + h, 2 + k, l) =
h +k
h
2
k
2
+l
2
+4h +4k
= g(h, k, l). g(h, 0, 0) tend vers
1
4
quand h tend vers 0 et g(0, 0, l) tend
vers 0 =
1
4
quand l tend vers 0. Donc, f na pas de limite relle quand (x, y, z) tend vers (2, 2, 0).
n
o
2 : f est dnie sur R
2
.
f est de classe C

sur R
2
\ {(0, 0)} en tant que fraction rationnelle dont le dnominateur ne sannule pas sur R
2
\ {(0, 0)}.
Continuit en (0, 0). Pour (x, y) = (0, 0),
|f(x, y) f(0, 0)| =
|xy||x
2
y
2
|
x
2
+y
2
|xy|
x
2
+y
2
x
2
+y
2
= |xy|.
Comme |xy| tend vers 0 quand le couple (x, y) tend vers le couple (0, 0), on a donc lim
(x,y)(0,0)
(x,y)=(0,0)
f(x, y) = f(0, 0). On en
dduit que f est continue en (0, 0) et nalement f est continue sur R
2
.
f est de classe C
0
au moins sur R
2
.
Drives partielles dordre 1 sur R
2
\ {(0, 0)}. f est de classe C
1
au moins sur R
2
\ {(0, 0)} et pour (x, y) = (0, 0),
f
x
(x, y) = y
(3x
2
y
2
)(x
2
+y
2
) (x
3
xy
2
)(2x)
(x
2
+y
2
)
2
=
y(x
4
+4x
2
y
2
y
4
)
(x
2
+ y
2
)
2
,
Dautre part, pour (x, y) = (0, 0) f(x, y) = f(y, x). Donc pour (x, y) = (0, 0),
c Jean-Louis Rouget, 2010. Tous droits rservs. 1 http ://www.maths-france.fr
f
y
(x, y) =
f
x
(y, x) =
x(x
4
4x
2
y
2
y
4
)
(x
2
+y
2
)
2
.
Existence de
f
x
(0, 0) et
f
y
(0, 0). Pour x = 0,
f(x, 0) f(0, 0)
x 0
=
0 0
x
= 0,
et donc lim
x0
f(x, 0) f(0, 0)
x 0
= 0. Ainsi,
f
x
(0, 0) existe et
f
x
(0, 0) = 0. De mme,
f
y
(0, 0) = 0. Ainsi, f admet des drives
partielles premires sur R
2
dnies par
(x, y) R
2
,
f
x
(x, y) =
_
_
_
y(x
4
+4x
2
y
2
y
4
)
(x
2
+y
2
)
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
et
f
y
(x, y) =
_
_
_
x(x
4
4x
2
y
2
y
4
)
(x
2
+y
2
)
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
.
Continuit de
f
x
et
f
y
en (0, 0). Pour (x, y) = (0, 0),

f
x
(x, y)
f
x
(0, 0)

=
|y||x
4
+ 4x
2
y
2
y
4
|
(x
2
+y
2
)
2
|y|
x
4
+4x
2
y
2
+ y
4
(x
2
+y
2
)
2
|y|
2x
4
+4x
2
y
2
+2y
4
(x
2
+y
2
)
2
= 2|y|.
Comme 2|y| tend vers 0 quand (x, y) tend vers (0, 0), on en dduit que

f
x
(x, y)
f
x
(0, 0)

tend vers 0 quand (x, y) tend

vers (0, 0). Donc la fonction
f
x
est continue en (0, 0) et nalement sur R
2
. Il en est de mme de la fonction
f
y
et on a
montr que
f est au moins de classe C
1
sur R
2
.
n
o
3 : On pose D = {(x, 0), x R} puis = R
2
\ D.
f est dnie sur R
2
.
f est de classe C
1
sur en vertu de thormes gnraux et pour (x, y) ,
f
x
(x, y) = ycos
_
x
y
_
et
f
y
(x, y) = 2ysin
_
x
y
_
x cos
_
x
y
_
.
Etudions la continuit de f en (0, 0). Pour (x, y) = (0, 0),
|f(x, y) f(0, 0)| =
_

_
y
2

sin
_
x
y
_

si y = 0
0 si y = 0

_
y
2
si y = 0
0 si y = 0
y
2
.
Comme y
2
tend vers 0 quand (x, y) tend vers 0, lim
(x,y)(0,0)
(x,y)=(0,0)
f(x, y) = f(0, 0) et donc f est continue en (0, 0) puis
f est continue sur R
2
.
Etudions lexistence et la valeur ventuelle de
f
x
(x
0
, 0), x
0
rel donn. Pour x = x
0
,
f(x, 0) f(x
0
, 0)
x x
0
=
0 0
x x
0
= 0.
Donc
f(x, x
0
) f(x
0
, 0)
x x
0
tend vers 0 quand x tend vers x
0
. On en dduit que
f
x
(x
0
, 0) existe et
f
x
(x
0
, 0) = 0. Finalement,
la fonction
f
x
est dnie sur R
2
par
(x, y) R
2
,
f
x
(x, y) =
_

_
ycos
_
x
y
_
si y = 0
0 si y = 0
.
c Jean-Louis Rouget, 2010. Tous droits rservs. 2 http ://www.maths-france.fr
Etudions lexistence et la valeur ventuelle de
f
y
(x
0
, 0), x
0
rel donn. Pour y = 0,
f(x
0
, y) f(x
0
, 0)
y 0
=
y
2
sin
_
x
0
y
_
y
= ysin
_
x
0
y
_
.
On en dduit que

f(x
0
, y) f(x
0
, 0)
y 0

|y| puis que

f(x
0
, y) f(x
0
, 0)
y 0
tend vers 0 quand y tend vers 0. Par suite,
f
y
(x
0
, 0) existe et
f
y
(x
0
, 0) = 0. Finalement, la fonction
f
y
est dnie sur R
2
par
(x, y) R
2
,
f
y
(x, y) =
_

_
2ysin
_
x
y
_
x cos
_
x
y
_
si y = 0
0 si y = 0
.
Etudions la continuit de
f
x
en (x
0
, 0), x
0
rel donn. Pour (x, y) R
2
,

f
x
(x, y)
f
x
(x
0
, 0)

=
_

_
|y|

cos
_
x
y
_

si y = 0
0 si y = 0
|y|.
Quand (x, y) tend vers (0, 0), |y| tend vers 0 et donc
f
x
(x, y) tend vers
f
x
(x
0
, 0) quand (x, y) tend vers (x
0
, 0). La fonction
f
x
est donc continue en (x
0
, 0) et nalement
la fonction
f
x
est continue sur R
2
.
Etudions la continuit de
f
y
en (x
0
, 0), x
0
rel donn. Supposons tout dabord x
0
= 0. Pour (x, y) R
2
,

f
y
(x, y)
f
y
(0, 0)

=
_

2ysin
_
x
y
_
x cos
_
x
y
_

si y = 0
0 si y = 0
2|y| + |x|.
Quand (x, y) tend vers (0, 0), |x| + 2|y| tend vers 0 et donc
f
y
(x, y) tend vers
f
y
(0, 0) quand (x, y) tend vers (0, 0).
Supposons maintenant x
0
= 0. Pour y = 0,
f
y
(x
0
, y) = 2ysin
_
x
0
y
_
x
0
cos
_
x
0
y
_
. Quand y tend vers 0, 2ysin
_
x
0
y
_
tend vers 0 car

2ysin
_
x
0
y
_

et x
0
cos
_
x
0
y
_
na pas de limite relle car x
0
= 0. Donc
f
y
(x
0
, y) na pas de limite quand
y tend vers 0 et la fonction
f
y
nest pas continue en (x
0
, 0) si x
0
= 0. On a montr que
f est de classe C
1
sur {(0, 0)}.
Etudions lexistence et la valeur ventuelle de

2
f
xy
(0, 0). Pour x = 0,
f
y
(x, 0)
f
y
(0, 0)
x 0
=
0 0
x
= 0.
Donc
f
y
(x, 0)
f
y
(0, 0)
x 0
tend vers 0 quand x tend vers 0. On en dduit que

2
xy
(0, 0) existe et

2
xy
(0, 0) = 0.
Etudions lexistence et la valeur ventuelle de

2
f
yx
(0, 0). Pour y = 0,
f
x
(0, y)
f
x
(0, 0)
y 0
=
ycos
_
0
y
_
y
= 1.
c Jean-Louis Rouget, 2010. Tous droits rservs. 3 http ://www.maths-france.fr
Donc
f
x
(0, y)
f
x
(0, 0)
y 0
tend vers 1 quand y tend vers 0. On en dduit que

2
yx
(0, 0) existe et

2
yx
(0, 0) = 1. On a
montr que

2
xy
(0, 0) et

2
yx
(0, 0) existent et sont dirents. Daprs le thorme de Schwarz, f nest pas de classe
C
2
sur {(0, 0)}.
n
o
4 : Soit (x, y, z, t) R
4
.
(x, y) = (z, t)
_
e
x
e
y
= z
x +y = t

_
y = t x
e
x
e
tx
= z

_
y = t x
(e
x
)
2
ze
x
e
t
= 0

_
y = t x
e
x
= z

z
2
+ 4e
t
ou e
x
= z +

z
2
+4e
t

_
e
x
= z +

z
2
+ 4e
t
y = t x
(car z
_
z
2
+4e
t
< z

z
2
= z |z| 0)

_
x = ln(z +

z
2
+4e
t
)
y = t ln(z +

z
2
+4e
t
)
(car z +
_
z
2
+4e
t
> z +

z
2
= z + |z| 0).
Ainsi, tout lment (z, t) R
2
a un antcdent et un seul dans R
2
par et donc est une bijection de R
2
sur lui-mme.
La fonction est de classe C
1
sur R
2
de jacobien J

(x, y) =

e
x
e
y
1 1

= e
x
+ e
y
. Le jacobien de ne sannule pas
sur R
2
. En rsum, est une bijection de R
2
sur lui-mme, de classe C
1
sur R
2
et le jacobien de ne sannule pas sur
R
2
. On sait alors que
est un C
1
-diomorphisme de R
2
sur lui-mme.
n
o
5 : Soit n N. Soit x R. La fonction f
x
: y y
2n+1
+ y x est continue et strictement croissante sur R en tant
que somme de fonctions continues et strictement croissantes sur R. Donc la fonction f
x
ralise une bijection de R sur
] lim
y
f
x
(y), lim
y+
f
x
(y)[= R. En particulier, lquation f
x
(y) = 0 a une et une seule solution dans R que lon note (x).
La fonction f : (x, y) y
2n+1
+ y x est de classe C
1
sur R
2
qui est un ouvert de R
2
et de plus, (x, y) R
2
,
f
y
(x, y) = (2n + 1)y
2n
+ 1 = 0. Daprs le thorme des fonctions implicites, la fonction implicitement dnie par
lgalit f(x, y) = 0 est drivable en tout rel x et de plus, en drivant lgalit x R, ((x))
2n+1
+ (x) x = 0, on
obtient x R, (2n +1)

(x)((x))
2n
+

(x) 1 = 0 et donc
x R,

(x) =
1
(2n +1)((x))
2n
+1
.
Montrons par rcurrence que p N

, la fonction est p fois drivable sur R.

- Cest vrai pour p = 1.
- Soit p 1. Supposons que la fonction soit p fois drivable sur R. Alors la fonction

=
1
(2n +1)
2n
+1
est
p fois drivable sur R en tant quinverse dune fonction p fois drivable sur R ne sannulant pas sur R. On en dduit
que la fonction est p +1 fois drivable sur R.
On a montr par rcurrence que p N

, la fonction est p fois drivable sur R et donc que

la fonction est de classe C

sur R.
Calculons maintenant I =
_
2
0
(t) dt. On note tout dabord que, puisque 0
2n+1
+ 0 0 = 0, on a (0) = 0 et puisque
1
2n+1
+1 2 = 0, on a (2) = 1.
Maintenant, pour tout rel x de [0, 2], on a

(x)((x))
2n+1
+

(x)(x) x

(x) = 0 (en multipliant par

(x) les deux

membres de lgalit dnissant (x)) et en intgrant sur le segment [0, 2], on obtient
_
2
0

(x)((x))
2n+1
dx +
_
2
0

(x)(x) dx
_
2
0
x

(x) dx = 0 ().
Or,
_
2
0

(x)((x))
2n+1
dx =
_
((x))
2n+2
2n +2
_
2
0
=
1
2n + 2
. De mme,
_
2
0

(x)(x) dx =
_
((x))
2
2
_
2
0
=
1
2
et donc
_
2
0

(x)((x))
2n+1
dx +
_
2
0

(x)(x) dx =
1
2n + 2
+
1
2
=
n +2
2n +2
. Dautre part, puisque les deux fonctions x x
et x (x) sont de classe C
1
sur le segment [0, 2], on peut eectuer une intgration par parties qui fournit
c Jean-Louis Rouget, 2010. Tous droits rservs. 4 http ://www.maths-france.fr

_
2
0
x

(x) dx = [x(x)]
2
0
+
_
2
0
(x) dx = 2 + I.
Lgalit () scrit donc
n + 2
2n +2
2 +I = 0 et on obtient I =
3n +2
2n +2
.
_
2
0
(x) dx =
3n +2
2n +2
.
n
o
6 : Soit x R. La fonction f
x
: y e
x+y
+ y 1 est continue et strictement croissante sur R en tant que
somme de fonctions continues et strictement croissantes sur R. Donc la fonction f
x
ralise une bijection de R sur
] lim
y
f
x
(y), lim
y+
f
x
(y)[= R. En particulier, lquation f
x
(y) = 0 a une et une seule solution dans R que lon note
(x).
La fonction f : (x, y) e
x+y
+ y 1 est de classe C
1
sur R
2
qui est un ouvert de R
2
et de plus, (x, y) R
2
,
f
y
(x, y) = e
x+y
+ 1 = 0. Daprs le thorme des fonctions implicites, la fonction implicitement dnie par lgalit
f(x, y) = 0 est drivable en tout rel x et de plus, en drivant lgalit x R, e
x+(x)
+(x) 1 = 0, on obtient x R,
(1 +

(x))e
x+(x)
+

(x) = 0 ou encore
x R,

(x) =
e
x+(x)
e
x+(x)
+1
().
On en dduit par rcurrence que est de classe C

sur R et en particulier admet en 0 un dveloppement limit dordre

3. Dterminons ce dveloppement limit.
1re solution. Puisque e
0+0
+ 0 1 = 0, on a (0) = 0. Lgalit () fournit alors

(0) =
1
2
et on peut poser
(x) =
x0

1
2
x +ax
2
+ bx
3
+o(x
3
). On obtient
e
x+(x)
=
x0
e
x
2
+ax
2
+bx
3
+o(x
3
)
=
x0
1 +
_
x
2
+ax
2
+bx
3
_
+
1
2
_
x
2
+ax
2
_
2
+
1
6
_
x
2
_
3
+o(x
3
)
=
x0
1 +
x
2
+
_
a +
1
8
_
x
2
+
_
b +
a
2
+
1
48
_
x
3
+o(x
3
).
Lgalit e
x+(x)
+(x) 1 = 0 fournit alors a +
1
8
+ a = 0 et b +
a
2
+
1
48
+b = 0 ou encore a =
1
16
et b =
1
192
.
2me solution. On a dj (0) = 0 et

(0) = 0. En drivant lgalit (), on obtient

(x) =
(1 +

(x))e
x+(x)
(e
x+(x)
+1) (1 +

(x))e
x+(x)
(e
x+(x)
)
_
e
x+(x)
+1
_
2
=
(1 +

(x))e
x+(x)
_
e
x+(x)
+1
_
2
,
et donc

(0)
2
=
1
2
2 2
2
=
1
16
. De mme,

(3)
(x) =

(x)
e
x+(x)
_
e
x+(x)
+1
_
2
(1 +

(x))e
x+(x)
(1 +

(x))
_
e
x+(x)
+1
_
2
+ (1 +

(x))e
x+(x)
2(1 +

(x))e
x+(x)
_
e
x+(x)
+1
_
3
,
et donc

(3)
(0)
6
=
1
6
_
1
8

1
4

1
2

1/2
4
+
1
2

1
8
_
=
1
192
. La formule de Taylor-Young refournit alors
(x) =
x0

x
2

x
2
16
+
x
3
384
+o(x
3
).
n
o
7 : On drive par rapport les deux membres de lgalit f(x) =
r
f(x) et on obtient
x = (x
1
, ..., x
n
) R
n
, > 0,
n

i=1
x
i
f
x
i
(x) = r
r1
f(x),
et pour = 1, on obtient
x = (x
1
, ..., x
n
) R
n
n

i=1
x
i
f
x
i
(x) = rf(x).
c Jean-Louis Rouget, 2010. Tous droits rservs. 5 http ://www.maths-france.fr
n
o
8 : 1) f est de classe C
1
sur R
2
qui est un ouvert de R
2
. Donc si f admet un extremum local en un point (x
0
, y
0
) de
R
2
, (x
0
, y
0
) est un point critique de f.
df
(x,y)
= 0
_
3x
2
+6xy 15 = 0
3x
2
12 = 0

_
x = 2
y =
1
4
ou
_
x = 2
y =
1
4
.
Rciproquement, r = 6x+6y, t = 0 et s = 6x puis rts
2
= 36x
2
. Ainsi, (rts
2
)
_
2,
1
4
_
= (rts
2
)
_
2,
1
4
_
= 144 < 0
et f nadmet pas dextremum local en
_
2,
1
4
_
ou
_
2,
1
4
_
.
f nadmet pas dextremum local sur R
2
.
2) La fonction f est de classe C
1
sur R
2
en tant que polynme plusieurs variables. Donc, si f admet un extremum local
en (x
0
, y
0
) R
2
, (x
0
, y
0
) est un point critique de f. Soit (x, y) R
2
.
_

_
f
x
(x, y) = 0
f
y
(x, y) = 0

_
4(x y) +4x
3
= 0
4(x y) +4y
3
= 0

_
x
3
+ y
3
= 0
4(x y) +4x
3
= 0

_
y = x
x
3
2x = 0
(x, y)
_
(0, 0),
_

2,

2
_
,
_

2,

2
__
.
Rciproquement, f est plus prcisment de classe C
2
sur R
2
et
r(x, y)t(x, y) s
2
(x, y) = (4 + 12x
2
)(4 +12y
2
) (4)
2
= 48x
2
48y
2
+ 144x
2
y
2
= 48(3x
2
y
2
x
2
y
2
)
(rt s
2
)
_

2,

2
_
= 48(12 2 2) > 0. Donc f admet un extremum local en
_

2,

2
_
. Plus prcisment, puisque
r
_

2,

2
_
= 2 12 4 = 20 > 0, f admet un minimum local en
_

2,

2
_
. De plus, pour (x, y) R
2
,
f(x, y) f
_

2,

2
_
= 2(x y)
2
+x
4
+ y
4
8 = x
4
+y
4
2x
2
2y
2
+4xy +8
x
4
+y
4
2x
2
2y
2
2(x
2
+y
2
) +8 = (x
4
4x
2
+4) + (y
4
4y
2
+4) = (x
2
2)
2
+ (y
2
2)
2
0.
et f
_

2,

2
_
est un minimum global.
Pour tout (x, y) R
2
, f(x, y) = f(x, y) et donc f admet aussi un minimum global en
_

2,

2
_
gal 8.
f(0, 0) = 0. Pour x = 0, f(x, x) = 2x
4
> 0 et donc f prend des valeurs strictement suprieures f(0, 0) dans tout voisinage
de (0, 0). Pour x
_

2,

2
_
\ {0}, f(x, 0) = x
4
2x
2
= x
2
(x
2
2) < 0 et f prend des valeurs strictement infrieures
f(0, 0) dans tout voisinage de (0, 0). Finalement, f nadmet pas dextremum local en (0, 0).
f admet un minimum global gal 8, atteint en
_

2,

2
_
et
_

2,

2
_
.
n
o
9 : On munit M
n
(R) dune norme sous-multiplicative . Soit A GL
n
(R). On sait que GL
n
(R) est un ouvert de
M
n
(R) et donc pour H M
n
(R) de norme susamment petite, A+H GL
n
(R). Pour un tel H
(A+H)
1
A
1
= (A +H)
1
(I
n
(A +H)A
1
) = (A+H)
1
HA
1
puis
(A +H)
1
A
1
+ A
1
HA
1
= (A +H)
1
HA
1
+A
1
HA
1
= (A+ H)
1
(HA
1
+ (A +H)A
1
HA
1
)
= (A +H)
1
HA
1
HA
1
.
Par suite,
_
_
f(A +H) f(A) +A
1
HA
1
_
_
=
_
_
(A +H)
1
A
1
+A
1
HA
1
_
_

_
_
(A +H)
1
_
_
_
_
A
1
_
_
2
H
2
.
Maintenant, la formule M
1
=
1
det(M)
t
(com(M)), valable pour tout M GL
n
(R), et la continuit du dterminant
montre que lapplication M M
1
est continue sur louvert GL
n
(R). On en dduit que
_
_
(A +H)
1
_
_
tend vers
_
_
A
1
_
_
quand H tend vers 0. Par suite,
c Jean-Louis Rouget, 2010. Tous droits rservs. 6 http ://www.maths-france.fr
lim
H0
_
_
(A+ H)
1
_
_
_
_
A
1
_
_
2
H = 0 et donc lim
H0
1
H
_
_
(A +H)
1
A
1
+A
1
HA
1
_
_
= 0.
Comme lapplication H A
1
HA
1
est linaire, cest la direntielle de f en A.
A GL
n
(R), H M
n
(R), df
A
(H) = A
1
HA
1
.
n
o
10 : Pour tout complexe z tel que |z| 1,
| sin(z)| =

n=0
(1)
n
z
2n+1
(2n +1)!

n=0
|z|
2n+1
(2n +1)!
= sh(|z|) sh 1,
lgalit tant obtenue eectivement pour z = i car | sin(i)| =

e
i
2
e
i
2
2i

=
e e
1
2
= sh(1).
Max{| sinz|, z C, |z| 1} = sh(1).
n
o
11 : 1) Pour (x, y) R
2
, on pose P(x, y) = 2x +2y +e
x+y
= Q(x, y). Les fonctions P et Q sont de classe C
1
sur R
2
qui est un ouvert toil de R
2
. Donc, daprs le thorme de Schwarz, est exacte sur R
2
si et seulement si
P
y
=
Q
x
et comme
P
y
= 2 +e
x+y
=
Q
x
, la forme direntielle est une forme direntielle exacte sur R
2
.
Soit f une fonction f de classe C
1
sur R
2
.
df = (x, y) R
2
,
_

_
f
x
(x, y) = 2x +2y + e
x+y
f
y
(x, y) = 2x +2y +e
x+y
g C
1
(R, R)/ (x, y) R
2
,
_
f(x, y) = x
2
+2xy +e
x+y
+g(y)
2x +e
x+y
+g

(y) = 2x +2y +e
x+y
R/ (x, y) R
2
,
_
f(x, y) = x
2
+ 2xy +e
x+y
+ g(y)
g(y) = y
2
+
R/ (x, y) R
2
/ f(x, y) = (x +y)
2
+e
x+y
+.
Les primitives de sur R
2
sont les fonctions de la forme (x, y) (x +y)
2
+e
x+y
+, R.
Remarque. On pouvait aussi remarquer immdiatement que si f(x, y) = (x +y)
2
+e
x+y
alors df = .
2) La forme direntielle est de classe C
1
sur = {(x, y) R
2
/ y > x} qui est un ouvert toil de R
2
car convexe.
Donc, daprs le thorme de Schwarz, est exacte sur si et seulement si est ferme sur .

x
_
x
(x y)
2
_
=

x
_
1
x y
+y
1
(x y)
2
_
=
1
(x y)
2

2y
(x y)
3
=
x + y
(x y)
3
=
x +y
(y x)
3
.

y
_

y
(x y)
2
_
=

y
_

1
y x
x
1
(y x)
2
_
=
1
(y x)
2
+
2x
(y x)
3
=
x +y
(y x)
3
=

x
_
x
(x y)
2
_
.
Donc est exacte sur louvert . Soit f une fonction f de classe C
1
sur R
2
.
df = (x, y) ,
_

_
f
x
(x, y) =
y
(x y)
2
f
y
(x, y) =
x
(x y)
2
g C
1
(R, R)/ (x, y) ,
_

_
f(x, y) =
y
x y
+g(y)
x
(x y)
2
+g

(y) =
x
(x y)
2
R/ (x, y) , f(x, y) =
y
x y
+.
Les primitives de sur sont les fonctions de la forme (x, y)
y
x y
+, R.
c Jean-Louis Rouget, 2010. Tous droits rservs. 7 http ://www.maths-france.fr
3) est de classe C
1
sur R
2
\ {(0, 0)} qui est un ouvert de R
2
mais nest pas toil. On se place dornavant sur =
R
2
\ {(x, 0), x ] , 0]} qui est un ouvert toil de R
2
. Sur , est exacte si et seulement si est ferme daprs le
thorme de Schwarz.

x
_
y
x
2
+y
2
y
_
=
2xy
(x
2
+y
2
)
2
=

y
_
x
x
2
+y
2
_
. Donc est exacte sur . Soit f une application de classe C
1
sur
.
df = (x, y) ,
_

_
f
x
(x, y) =
x
x
2
+ y
2
f
y
(x, y) =
y
x
2
+y
2
y
g C
1
(R, R)/ (x, y) ,
_

_
f
x
(x, y) =
1
2
ln(x
2
+y
2
) +g(y)
y
x
2
+y
2
+g

(y) =
y
x
2
+y
2
y
R/ (x, y) , f(x, y) =
1
2
(ln(x
2
+y
2
) y
2
) +.
Les primitives de sur sont les fonctions de la forme (x, y)
1
2
(ln(x
2
+y
2
) y
2
) + , R.
Les fonctions prcdentes sont encore des primitives de sur R
2
\ {(0, 0)} et donc est exacte sur R
2
\ {(0, 0)}.
4) est de classe C
1
sur ]0, +[
2
qui est un ouvert toil de R
2
. Donc est exacte sur ]0, +[
2
si et seulement si est
ferme sur ]0, +[
2
daprs le thorme de Schwarz.

x
_

1
xy
2
_
=
1
x
2
y
2
et

y
_
1
x
2
y
_
=
1
x
2
y
2
. Donc

x
_

1
xy
2
_
=

y
_
1
x
2
y
_
et nest pas exacte sur ]0, +[
2
.
On cherche un facteur intgrant de la forme h : (x, y) g(x
2
+ y
2
) o g est une fonction non nulle de classe C
1
sur
]0, +[.

x
_

1
xy
2
g(x
2
+y
2
)
_
=
1
x
2
y
2
g(x
2
+y
2
)
2
y
2
g

(x
2
+y
2
) et

y
_
1
x
2
y
g(x
2
+y
2
)
_
=
1
x
2
y
2
g(x
2
+y
2
) +
2
x
2
g

(x
2
+y
2
).
h est exacte sur ]0, +[
2
(x, y) ]0, +[
2
,
1
x
2
y
2
g(x
2
+ y
2
)
2
y
2
g

(x
2
+y
2
) =
1
x
2
y
2
g(x
2
+y
2
) +
2
x
2
g

(x
2
+y
2
)
(x, y) ]0, +[
2
,
1
x
2
y
2
g(x
2
+ y
2
)
x
2
+y
2
x
2
y
2
g

(x
2
+y
2
) = 0
t > 0, tg

(t) +g(t) = 0 R/ t > 0, g(t) = t.

La forme direntielle (x
2
+y
2
) est exacte sur ]0, +[
2
. De plus,
d
_
x
y

y
x
_
=
_
1
y
+
y
x
2
_
dx
_
x
y
2
+
1
x
_
dy = (x
2
+y
2
).
n
o
13 : 1) Soit f une application de classe C
1
sur R
2
. Posons f(x, y) = g(u, v) o u = x +y et v = x +2y. Lapplication
(x, y) (x+y, x+2y) = (u, v) est un automorphisme de R
2
et en particulier un C
1
-diormorphisme de R
2
sur lui-mme.
f
x
=

x
(g(u, v)) =
u
x

g
u
+
v
x

g
v
=
g
u
+
g
v
De mme,
f
y
=
g
u
+2
g
v
et donc
2
f
x

f
y
= 2
g
u
+2
g
v

g
u
2
g
v
=
g
u
.
Par suite, 2
f
x

f
y
= 0
g
u
= 0 h C
1
(R, R)/ (u, v) R
2
, g(u, v) = h(v) h C
1
(R, R)/ (x, y)
R
2
, f(x, y) = h(x +2y).
Les solutions sont les (x, y) h(x +2y) o h C
1
(R, R).
Par exemple, la fonction (x, y) cos
_
(x + 2y)
2
+1 est solution.
2) Soit f une application de classe C
1
sur R
2
\ {(0, 0)}. Posons f(x, y) = g(r, ) o x = r cos et y = r sin . Lapplication
(r, ) (r cos , r sin) = (x, y) est un C
1
-diormorphisme de ]0, +[[0, 2[ sur R
2
\ {(0, 0)}. De plus,
c Jean-Louis Rouget, 2010. Tous droits rservs. 8 http ://www.maths-france.fr
g
r
=

r
(f(x, y)) =
x
r
f
x
+
y
r
f
y
= cos
f
x
+ sin
f
y
,
et
g

(f(x, y)) =
x

f
x
+
y

f
y
= r sin
f
x
+r cos
f
y
= x
f
y
y
f
x
.
Donc
f
y
y
f
x
= 0
g

= 0 h
1
C
1
(]0, +[, R)/ (r, ) ]0, +[[0, 2[, g(r, ) = h
1
(r)
h
1
C
1
(]0, +[, R)/ (x, y) R
2
\ {(0, 0)}, f(x, y) = h
1
_
_
x
2
+y
2
_
h C
1
(]0, +[, R)/ (x, y) R
2
\ {(0, 0)}, f(x, y) = h(x
2
+y
2
).
Les solutions sont les (x, y) h(x
2
+y
2
) o h C
1
(]0, +[, R).
3) Soit f une fonction de classe C
2
sur ]0, +[R. Daprs le thorme de Schwarz,

2
f
xy
=

2
f
yx
.
Soit : ]0, +[R ]0, +[R
(u, v) (u, uv) = (x, y)
. Donc si on pose f(x, y) = g(u, v), on a g = f .
Soit (x, y, u, v) ]0, +[R]0, +[R.
(u, v) = (x, y)
_
u = x
uv = y
_
u = x
v =
y
x
.
Ainsi, est une bijection de ]0, +[ sur lui-mme et sa rciproque est lapplication

1
: ]0, +[R ]0, +[R
(x, y)
_
x,
y
x
_
= (u, v)
.
De plus, est de classe C
2
sur ]0, +[R et son jacobien
J

(u, v) =

1 0
v u

= u
ne sannule pas sur ]0, +[R. On sait alors que est un C
2
-diomorphisme de ]0, +[R sur lui-mme.
Puisque g = f et que est un C
2
-diomorphisme de ]0, +[R sur lui-mme, f est de classe C
2
sur ]0, +[R si
et seulement si g est de classe C
2
sur ]0, +[R.

f
x
=
u
x
g
u
+
v
x
g
v
=
g
u

y
x
2
g
v
.

f
y
=
u
y
g
u
+
v
y
g
v
=
1
x
g
v
.

2
f
x
2
=

x
_
g
u

y
x
2
g
v
_
=
_

2
g
u
2

y
x
2

2
g
uv
_
+
_
2y
x
3
g
v

y
x
2

2
g
uv
+
y
2
x
4

2
g
v
2
_
=

2
g
u
2

2y
x
2

2
g
uv
+
y
2
x
4

2
g
v
2
+
2y
x
3
g
v
.

2
f
xy
=

y
_
g
u

y
x
2
g
v
_
=
1
x

2
g
vv

1
x
2
g
v

y
x
3

2
g
v
2
.

2
f
y
2
=

y
_
1
x
g
v
_
=
1
x
2

2
g
v
2
.
Ensuite,
x
2

2
f
x
2
+2xy

2
f
xy
+ y
2

2
f
y
2
= x
2

2
g
u
2
2y

2
g
uv
+
y
2
x
2

2
g
v
2
+
2y
x
g
v
+2y

2
g
vv

2y
x
g
v

2y
2
x
2

2
g
v
2
+
y
2
x
2

2
g
v
2
= x
2

2
g
u
2
.
Ainsi,
c Jean-Louis Rouget, 2010. Tous droits rservs. 9 http ://www.maths-france.fr
(x, y) ]0, +[R, x
2

2
f
x
2
(x, y) +2xy

2
f
xy
(x, y) +y
2

2
f
y
2
(x, y) = 0 (u, v) ]0, +[R,

2
g
u
2
(u, v) = 0
h C
2
(R, R)/ (u, v) ]0, +[R,
g
u
(u, v) = h(v)
(h, k) (C
2
(R, R))
2
/ (u, v) ]0, +[R, g(u, v) = uh(v) + k(v)
(h, k) (C
2
(R, R))
2
/ (x, y) ]0, +[R, f(x, y) = xh(xy) +k(xy).
Les fonctions solutions sont les (x, y) xh(xy) +k(xy) o h et k sont deux fonctions de classe C
2
sur R.
n
o
13 : On munit (R
3
)
2
de la norme dnie par (x, y) (R
3
)
2
, (x, y) = Max{h
2
, k
2
}.
Soit (a, b) (R
3
)
2
. Pour (h, k) (R
3
)
2
,
f((a, b) + (h, h)) = (a +h).(b +k) = a.b +a.h +b.k +h.k,
et donc f((a, b) + (h, h)) f((a, b)) = (a.h +b.k) + h.k. Maintenant lapplication L : (h, k) a.h + b.k est linaire et
de plus, pour (h, k) = (0, 0),
|f((a, b) + (h, h)) f((a, b)) L((h, k))| = |h.k| h
2
k
2
(h, k)
2
,
et donc
1
(h, k)
|f((a, b) + (h, h)) f((a, b)) L((h, k))| (h, k) puis
lim
(h,k)(0,0)
1
(h, k)
|f((a, b) + (h, h)) f((a, b)) L((h, k))| = 0.
Puisque lapplication (h, k) a.h+b.k est linaire, on en dduit que f est direntiable en (a, b) et que (h, k) (R
3
)
2
,
df
(a,b)
(h, k) = a.h + b.k.
La dmarche est analogue pour le produit vectoriel :
1
(h, k)
(a +h) (b +k) a b a h b k
2
=
h k
2
(h, k)

h
2
k
2
(h, k)
(h, k).
Puisque lapplication (h, k) ah+bk est linaire, on en dduit que g est direntiable en (a, b) et que (h, k) (R
3
)
2
,
dg
(a,b)
(h, k) = a h +b k.
n
o
14 : Pour tout x E, f(x) =
x
1 +x
<
x +1
x +1
= 1. Donc f est bien une application de E dans B.
Si y = 0, pour x E, f(x) = y
1
1 + x
x = 0 x = 0.
Soit alors y B \ {0}. Pour x E,
f(x) = y x = (1 + x)y K/ x = y.
Donc un ventuel antcdent de y est ncessairement de la forme y, R. Rciproquement, pour R, f(y) =

1 + ||y
y et donc
f(y) = y

1 + ||y
= 1 = 1 + ||y
( 0 et (1 y) = 1) ou ( < 0 et (1 + y) = 1)
=
1
1 y
(car y < 1).
Dans tous les cas, y admet un antcdent par f et un seul savoir x =
1
1 y
y. Ainsi,
f est bijective et x B, f
1
(x) =
1
1 x
x.
On sait que lapplication x x est continue sur R
2
. Donc lapplication x
1
1 + x
est continue sur R
2
en tant
quinverse dune fonction continue sur R
2
valeurs dans R, ne sannulant pas sur R
2
. Lapplication x
1
1 x
est
continue sur B pour les mmes raisons. Donc les applications f et f
1
sont continues sur R
2
et B respectivement et on a
montr que
c Jean-Louis Rouget, 2010. Tous droits rservs. 10 http ://www.maths-france.fr
lapplication f : E B
x
x
1 + x
est un homomorphisme.
n
o
15 : 1re solution. Pour x = (x
1
, . . . , x
n
) R
n
, f(x) =

_
n

i=1
x
2
i
. f est de classe C
1
sur R
n
\{0} en vertu de thormes
gnraux et pour tout x = (x
1
, . . . , x
n
) R
n
\ {0} et tout i 1, n
f
x
i
(x) =
x
i

_
n

i=1
x
2
i
=
x
i
x
2
.
On en dduit que f est direntiable sur R
n
\ {0} et pour x R
n
\ {0} et h R
n
df
x
(h) =
n

i=1
f
x
i
(x)h
i
=
1
x
2
n

i=1
x
i
h
i
=
x|h
x
2
.
x R
n
\ {0}, h R
n
, df
x
(h) =
x|h
x
2
.
2 me solution. Soit x R
n
\ {0}. Pour h R
n
,
x +h
2
x
2
=
(x +h
2
x
2
) (x + h
2
+x
2
)
x + h
2
+x
2
=
2(x|h) + h
2
2
x +h
2
+x
2
,
puis
x +h
2
x
2

x|h
x
2
=
2(x|h) +h
2
2
x +h
2
+ x
2

x|h
x
2
=
(x +h
2
x
2
) (x|h) +x
2
h
2
2
(x +h
2
+ x
2
) x
2
.
Maintenant, on sait que lapplication x x
2
est continue sur R
n
. On en dduit que
1
(x +h
2
+x
2
) x
2

h0
1
2x
2
2
et aussi que x +h
2
x
2
tend vers 0 quand h tend vers 0. Ensuite, puisque |(x|h)| x
2
h
2
(ingalit de Cauchy-
Schwarz), on a x|h =
h0
O(h
2
) puis (x + h
2
x
2
) (x|h) =
h0
o(h
2
).
Finalement,
(x + h
2
x
2
) (x|h) + x
2
h
2
2
(x + h
2
+x
2
) x
2
=
h0
o(h
2
) et donc
x +h
2
=
h0
x
2
+
x|h
x
2
+o(h
2
).
Puisque lapplication h
x|h
x
2
est linaire, on a redmontr que f est direntiable en tout x de R
n
\ {0} et que
x R
n
\ {0}, h R
n
, df
x
(h) =
x|h
x
2
.
Soit L une application linaire de R
n
dans R cest--dire une forme linaire.
1
h
2
(0 +h
2
0
2
L(h)) = 1 L
_
h
h
2
_
.
Supposons que cette expression tende vers 0 quand h tend vers 0. Pour u vecteur non nul donn et t rel non nul,
lexpression 1 L
_
tu
tu
2
_
= 1
t
|t|
L
_
u
u
2
_
tend donc vers 0 quand t tend vers 0. Mais si t tend vers 0 par valeurs
suprieures, on obtient L(u) = u
2
et si t tend vers 0 par valeurs infrieures, on obtient L(u) = u
2
ce qui est
impossible car u = 0. Donc f nest pas direntiable en 0.
c Jean-Louis Rouget, 2010. Tous droits rservs. 11 http ://www.maths-france.fr
n
o
16 : On pose BC = a, CA = b et AB = c et on note A laire du triangle ABC. Soit M un point intrieur au
triangle ABC. On note I, J et K les projets orthogonaux de M sur les droites (BC), (CA) et (AB) respectivement. On
pose u = aire de MBC, v = aire de MCA et w = aire de MAB. On a
d(M, (BC)) d(M, (CA)) d(M, (AB)) = MI MJ MK =
2u
a

2v
b

2w
c
=
8
abc
uv(A u v).
Il sagit alors de trouver le maximum de la fonction f : (u, v) uv(A u v) sur le domaine
T =
_
(u, v) R
2
/ u 0, v 0 et u +v A
_
.
T est un compact de R
2
. En eet :
- (u, v) T
2
, (u, v)
1
= u +v A et donc T est borne.
- Les applications
1
: (u, v) u,
2
: (u, v) v et
3
: (u, v) u +v sont continues sur R
2
en tant que formes
linaires sur un espace de dimension nie. Donc les ensembles P
1
= {(u, v) R
2
/ u 0} =
1
1
([0, +[),
P
2
= {(u, v) R
2
/ v 0} =
1
2
([0, +[) et P
3
= {(u, v) R
2
/ u + v 0} =
1
3
(] , 0]) sont des ferms de R
2
en tant quimages rciproques de ferms par des applications continues. On en dduit que T = P
1
P
2
P
3
est un
ferm de R
2
en tant quintersection de ferms de R
2
.
Puisque T est un ferm born de R
2
, T est un compact de R
2
puisque R
2
est de dimension nie et daprs le thorme de
Borel-Lebesgue.
f est continue sur le compact T valeurs dans R en tant que polynme plusieurs variables et donc f admet un maximum
sur T.
Pour tout (u, v) appartenant la frontire de T, on a f(u, v) = 0. Comme f est strictement positive sur

T = {(u, v)
R
2
/ u > 0, v > 0 et u +v < 0}, f admet son maximum dans

T. Puisque f est de classe C

1
sur

T qui est un ouvert de R

2
,
si f admet un maximum en (u
0
, v
0
)

T, (u
0
, v
0
) est ncessairement un point critique de f. Soit (u, v)

T.
_

_
f
u
(u, v) = 0
f
v
(u, v) = 0

_
v(A 2u v) = 0
u(A u 2v) = 0

_
2u +v = A
u +2v = A
u = v =
A
3
.
Puisque f admet un point critique et un seul savoir (u
0
, v
0
) =
_
A
3
,
A
3
_
, f admet son maximum en ce point et ce
maximum vaut f(u
0
, v
0
) =
A
3
27
. Le maximum du produit des distances dun point M intrieur au triangle ABC aux cots
de ce triangle est donc
8A
3
27abc
.
Remarque. On peut dmontrer que pour tout point Mintrieur au triangle ABC, on a M = bar ((A, aire de MBC), (B, aire de MAC
Si maintenant M est le point en lequel on ralise le maximum, les trois aires sont gales et donc le maximum est atteint
en G lisobarycentre du triangle ABC.
n
o
17 : Soient A et B les points du plan de coordonnes respectives (0, a) et (a, 0) dans un certain repre R orthonorm.
Soit M un point du plan de coordonnes (x, y) dans R. Pour (x, y) R
2
,
f(x, y) =
_
_
_

MA
_
_
_
2
+
_
_
_

MB
_
_
_
2
= MA+MB AB avec galit si et seulement si M [AB].
Donc f admet un minimum global gal AB = a

2 atteint en tout couple (x, y) de la forme (a, (1 )a), [0, 1].

n
o
18 : Puisque la fonction ch ne sannule pas sur R, g est de classe C
2
sur R
2
et pour (x, y) R
2
,
g
x
(x, y) = 2
sin(2x)
ch(2y)
f

_
cos(2x)
ch(2y)
_
puis

2
g
x
2
(x, y) = 4
cos(2x)
ch(2y)
f

_
cos(2x)
ch(2y)
_
+4
sin
2
(2x)
ch
2
(2y)
f

_
cos(2x)
ch(2y)
_
= 4
cos(2x)
ch(2y)
f

_
cos(2x)
ch(2y)
_
+4
1 cos
2
(2x)
ch
2
(2y)
f

_
cos(2x)
ch(2y)
_
.
De mme,
c Jean-Louis Rouget, 2010. Tous droits rservs. 12 http ://www.maths-france.fr
g
y
(x, y) = 2
cos(2x) sh(2y)
ch
2
(2y)
f

_
cos(2x)
ch(2y)
_
puis

2
g
y
2
(x, y) = 2 cos(2x)
2 ch
3
(2y) 4 sh
2
(2y) ch(2y)
ch
4
(2y)
f

_
cos(2x)
ch(2y)
_
+ 4
cos
2
(2x) sh
2
(2y)
ch
4
(2y)
f

_
cos(2x)
ch(2y)
_
= 4
cos(2x)
ch
3
(2y)
(ch
2
(2y) +2)f

_
cos(2x)
ch(2y)
_
+4
cos
2
(2x)(ch
2
(2y) 1)
ch
4
(2y)
f

_
cos(2x)
ch(2y)
_
.
Donc, pour tout (x, y) R
2
,
ch
2
(2y)
4
g(x, y) = 2
cos(2x)
ch(2y)
f

_
cos(2x)
ch(2y)
_
+
_
1
cos
2
(2x)
ch
2
(2y)
_
f

_
cos(2x)
ch(2y)
_
.
Maintenant, pour (x, y) R
2
, 1
cos(2x)
ch(2y)
1 et dautre part, lexpression
cos(2x)
ch(2)
= cos(2x) dcrit [1, 1] quand x
dcrit R. Donc
_
cos(2x)
ch(2)
, (x, y) R
2
_
= [1, 1]. Par suite,
(x, y) R
2
, g(x, y) = 0 t [1, 1], (1 t
2
)f

(t) 2tf

(t) = 0.
On cherche une application f de classe C
2
sur ] 1, 1[. Or

cos(2x)
ch(2y)

= 1 | cos(2x)| = ch(2y) | cos(2x)| = ch(2y) =

1 y = 0 et x

2
Z. Donc
(x, y) R
2
\
__
k
2
, 0
_
, k Z
_
, g(x, y) = 0 t ] 1, 1[, (1 t
2
)f

(t) 2tf

(t) = 0
t ] 1, 1[, ((1 t
2
)f

(t) = 0 R/ t ] 1, 1[, f

(t) =

1 t
2
(, ) R
2
/ t ] 1, 1[, f(t) = argtht + .
De plus, f nest pas constante si et seulement si = 0.
Lapplication t argtht convient.
n
o
19 : Soit (x, y) R
2
. La matrice jacobienne de f en (x, y) scrit
_
c(x, y) s(x, y)
s(x, y) c(x, y)
_
o c et s sont deux fonctions
de classe C
1
sur R
2
telle que c
2
+ s
2
= 1 (). Il sagit dans un premier temps de vrier que les fonctions c et s sont
constantes sur R
2
.
Puisque f est de classe C
2
sur R
2
, daprs le thorme de Schwarz,

2
f
xy
=

2
f
xy
. Ceci scrit encore

y
_
c
s
_
=

x
_
s
c
_
ou enn
(x, y) R
2
,
_
_
_
_
c
y
(x, y)
s
y
(x, y)
_
_
_
_
=
_
_
_

s
x
(x, y)
c
x
(x, y)
_
_
_ ().
En drivant () par rapport x ou y, on obtient les galits c
c
x
+ s
s
x
= 0 et c
c
y
+ s
s
y
= 0. Ceci montre que les
deux vecteurs
_
_
_
c
x
s
x
_
_
_ et
_
_
_
_
c
y
s
y
_
_
_
_
sont orthogonaux au vecteur non nul
_
c
s
_
et sont donc colinaires. Mais lgalit
() montre que les deux vecteurs
_
_
_
c
x
s
x
_
_
_ et
_
_
_
_
c
y
s
y
_
_
_
_
sont aussi orthogonaux lun lautre. Finalement, pour tout
c Jean-Louis Rouget, 2010. Tous droits rservs. 13 http ://www.maths-france.fr
(x, y) R
2
, les deux vecteurs
_
_
_
c
x
(x, y)
s
x
(x, y)
_
_
_ et
_
_
_
_
c
y
(x, y)
s
y
(x, y)
_
_
_
_
sont nuls. On en dduit que les deux applications c et s
sont constantes sur R
2
et donc, il existe dans R tel que pour tout (x, y) R
2
, la matrice jacobienne de f en (x, y) est
_
cos() sin()
sin() cos()
_
.
Soit g la rotation dangle prenant la mme valeur que f en (0, 0). f et g ont mmes direntielles en tout point et
concident en un point. Donc f = g et f est une rotation ane.
Soit f : R
2
R
2
de classe C
2
dont la direntielle en tout point est une rotation.
Montrer que f est une rotation ane.
c Jean-Louis Rouget, 2010. Tous droits rservs. 14 http ://www.maths-france.fr