Exo7

Intgrales curvilignes, intgrales multiples

Exercices de Jean-Louis Rouget. Retrouver aussi cette che sur www.maths-france.fr * trs facile ** facile *** difcult moyenne **** difcile I : Incontournable ***** trs difcile

Exercice 1 ** Calculer l intgrale de la forme diffrentielle le long du contour orient C dans les cas suivants :
y x dx + x2 + dy et C est larc de la parabole dquation y2 = 2x + 1 joignant les points (0, 1) et 1. = x2 + y2 y2 (0, 1) parcouru une fois dans le sens des y croissants.

2. = (x y3 )dx + x3 dy et C est le cercle de centre O et de rayon 1 parcouru une fois dans le sens direct. 3. = xyzdx et C est larc x = cos t , y = sin t , z = cos t sin t , t variant en croissant de 0 2.
Correction
[005906]

Exercice 2 ** Soit = x2 dx + y2 dy. Calculer lintgrale de le long de tout cercle du plan parcouru une fois dans le sens trigonomtrique. Mme question avec = y2 dx + x2 dy.
Correction
[005907]

Exercice 3 ** Calculer les intgrales multiples suivantes 1. I =

D

(x + y) dxdy o D = {(x, y) R2 / x |x + y| dxdy.

1, y

1, x + y

1}.

2. I = 3. I =

[1,1]2 D

xy dxdy o D est la partie du plan limite par les paraboles dquations respectives y = x2 et 1 dxdy. 2 2 x2 +y2 1 1 + x + y dxdy . 2 2 2 2 2 x x +y 1 (1 + x + y ) xyzdxdydz.
0 x y z 1

x = y2 . 4. I = 5. I = 6. I = 7. I =
Correction

zdxdydz. x + y+ z 1
[005908]

Exercice 4 *** I x (Un calcul de 0+ sin x dx).

1. r et R sont deux rels strictement positifs tels que r < R. On considre le contour orient suivant

R
= le long de ce contour orient. 2. En dduire
R sin x r x

Calculer lintgrale de la forme diffrentielle

ey ((x sin x y cos x)dx + (x cos x + y sin x)dy) x2 +y2

dx en fonction dune autre intgrale.

+ sin x 0 x

3. En faisant tendre r vers 0 et R vers +, dterminer la valeur de

Correction

dx.
[005909]

Exercice 5 *** Soient ( p1 , p2 , q1 , q2 ) ]0, +[4 tel que p1 < p2 et q1 < q2 . Calculer laire du domaine D = {(x, y) R2 / 2 p1 x y2 2 p2 x et 2q2 y
Correction

x2

2q2 y}.

[005910]

Exercice 6 *** I 2 + . . . + x2 Calculer le volume de B = {(x1 , . . . , xn ) Rn / x1 n

Correction

1} (boule unit ferme de Rn pour

2 ). [005911]

Exercice 7 ** 3 2 2 Calculer le volume de lintrieur de lellipsode dquation x2 + 1 2 y + 4 z + xz = 1.

Correction
[005912]

Exercice 8 **** Ingalit isoprimtrique Une courbe ferme (C) est le support dun arc paramtr de classe C1 rgulier et simple. On note L sa longueur et A laire dlimite par la courbe ferme (C). Montrer que A
L2 4 .

Pour cela, on supposera tout dabord L = 2 et on choisira une paramtrisation normale de larc. On appliquera ensuite la formule de PARSEVAL aux intgrales permettant de calculer L et A et on comparera les sommes des sries obtenues.
Correction
[005913]

Exercice 9 *** Calculer I =

Correction
2 x2 + y2 a2 b

(x2 y2 ) dxdy.
[005914]

Retrouver cette che et dautres exercices de maths sur exo7.emath.fr 3

Correction de lexercice 1 1. C est larc paramtr t

t 2 1 2 ,t

, t variant en croissant de 1 1.
1

(t 2 1)/2
t 2 1 2 2

=
C

t+
t 2 1 2

t
2

+ t2

+ t2

dt

= 0 (fonction impaire).
C

= 2 ln 2.

2.
2

=
C 0 2

((cos t sin3 t )( sin t ) + cos3 t (cos t ))dt =

2 0

(cos4 t + sin4 t cos t sin t )dt

2 0

=
0 2

((cos2 t + sin2 t )2 2 cos2 t sin2 t cos t sin t )dt = 1 sin(2t ) 1 (1 cos(4t )) dt = 2 1 1 2 4 4

C

1 3 . 2

sin(2t ) sin2 (2t ) dt 2 2

=
0

3 2 .

3.
/2 /2

=
C 0 /2

(cos t sin t cos t sin t )( sin t ) dt = ( cos2 t sin t + cos4 t sin t )dt = 3

cos2 t sin3 t dt cos5 t 5

/2 0

=
0

cos3 t

1 1 = + 3 5

2 = . 15
C 2 = 15 .

Correction de lexercice 2
Q P 1. = x2 dx + y2 dy est de classe C1 sur R2 qui est un ouvert toil de R2 et est ferme car y = 0 = x . On en dduit que est exacte sur R2 daprs le thorme de S CHWARZ. Par suite, lintgrale de le long de tout cercle parcouru une fois dans le sens trigonomtrique est nulle. Q P 2. = y2 dx + x2 dy est de classe C1 sur R2 et nest pas ferme car y = 2y = 2x = x . On en dduit que nest pas exacte sur R2 . Lintgrale de le long dun cercle parcouru une fois dans le sens trigonomtrique nest plus ncessairement nulle. On parcourt le cercle C le cercle de centre (a, b) et de rayon R > 0 une fois dans le sens trigonomtrique ou encore on considre larc paramtr : t (a + R cos t , b + R sin t ), t variant en croissant de 0 2 .

=
0

(b + R sin t )2 (R sin t ) + (a + R cos t )2 (R cos t ) dt (a cos t b sin t + 2aR cos2 t 2bR sin2 t + R2 (cos3 t sin3 t )) dt (2a cos2 t 2b sin2 t + R(cos3 t sin3 t )) dt (a(1 + cos t ) b(1 cos t ) + R(cos t sin t )(cos2 t + cos t sin t + sin2 t )) dt (a b + R(cos t sin t )(1 + cos t sin t )) dt
2 0

=R
0

= R2
0

= R2
0

= R2
0

= R2 2 (b a) + = 2 R (b a).
2

R(cos t sin t + cos2 t sin t cos t sin2 t ) dt

Correction de lexercice 3 1. Reprsentons le domaine D = {(x, y) R2 / x 1, y 1, x + y 1}.

I=
D 1

(x + y) dxdy =
0

(x + y)dy dx (ou aussi

1x 1 0 0

1y

(x + y)dx dy)

=
0 1

xy +

y2 2

y=1

dx =
y=1x 0

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

dx

=
0

x2 1 1 2 + x dx = + = . 2 6 2 3 2 (x + y) dxdy = . 3 D

2. Si on pose pour (x, y) /mbr2 , f (x, y) = |x + y| alors pour tout (x, y) R2 , f (x, y) = f (x, y) ou encore f prend les mmes valeurs en deux points symtriques par rapport O. Puisque le point O est centre de symtrie de [1, 1]2 , on en dduit que

I=
1 x,y 1, x+y 0

f (x, y) dxdy +
1 x,y 1, x+y 0 1 1

f (x, y) dxdy (x + y) dy dx
1 x

=2 =2
1

(x + y) dxdy = 2
1 x,y 1, x+y 0 2 y=1 1

xy +

y 2

dx = 2
y=x 1

x2 1 x + + x2 2 2

dx

=2

1 2 1 8 + 2 = . 2 3 2 3 8 |x + y| dxdy = . 3 x 1, 0 y 1, x2 y x }.

[1,1]2

3. Reprsentons le domaine D = {(x, y) R2 / 0

2 1 2 1 1 2
y= x

I=
0 x2

y dy x dx =
0

y2 x 2

dx =
y=x2

1 2

1 0

x(x x4 ) dx =

1 2

1 1 3 6

1 = . 12 4. En passant en polaires, on obtient 1 1 dxdy = rdrd 2 2 2 0 r 1, 0 2 1 + r 1 1+x +y 1 2 r dr d (intgrales indpendantes) 2 0 1+r 0 1 ln(1 + r2 ) 2
1

I= =

x2 +y2

= 2

= ln 2.
0

x2 +y2

1 dxdy = ln 2. 2 + y2 1 + x 1
2

5. Posons D = {(x, y) R2 / x x2 + y2 1}. Puisque x x2 + y2 x 1 + y2 1 2 4 , D est lintersection de lintrieur du disque de centre O et de rayon 1, bord compris, et de lextrieur du disque de centre 1 1 2 , 0 et de rayon 2 , bord compris. Soit M un point du plan. On note (r, ) un couple de coordonnes polaires de M tel que r 0 et [0, 2 ]. M D r cos r2 1 r = 0 ou (0 < r 6 1 et r cos .

1 1
En passant en polaires, on obtient 1
x x2 +y2 1, y 0 /2 /2 1 cos

I=2 =2

(1 + x2 + y2 )2
1

dxdy = 2
0

r dr d + (1 + r2 )2
1

/2 0

r dr d (1 + r2 )2

0 /2

1 dr 2(1 + r2 )

d +
cos /2

1 dr 2(1 + r2 )
/2 0

d
0

=
0 /2

1 1 d + 2 1 + cos 2 1
1 cos2

1 d = /2 2

1 d 1 + cos2
+ 0

=
0

d = + 1 cos2

/2 0

1 d (tan ) = 2 + tan2

1 1 t dt = Arctan 2 t +2 2 2 =
. 2 2

+ 0

= . 2 2

1 x x2 +y2 1 (1+x2 +y2 )2 dxdy

6.
1 1 x y 1 y4 1 0 1 1 1 x

I=
0 x y z 1

xyzdxdydz =
0 1 0 1 0 x 1

zdz ydy xdx =

0

1 (1 y2 )ydy xdx 2 xdx

1 2 1 = 8 =

(y y3 )dy xdx = 1 8

(x5 2x3 + x)dx =

1 1 1 y2 xdx = 2 0 2 4 x 2 1 1 1 1 + = . 6 2 2 48
0 x y z 1 xyzdxdydz

1 x2 x4 + 4 2 4

1 48 .

7. En sommant par tranches, on obtient

1

I=
1

zdxdydz x+ y+ z 1
0

=
0

= A (D) Maintenant,

(1 u+ v 1 1
0

4 z) dudv zdz (en posant x = (1 z)2 u et y = (1 z)2 v) u+ v 1}.

dxdy x+ y 1 z

zdz

z(1 z)4 dz o D = {(u, v) R2 /

(1 u)2 dv 0

A (D) = et

1 0

du =

1 0 (1 2 u + u)du

4 = 1 3 +1 2 =

1 6

 4 1 0 z(1 z) dz Finalement

1 3/2 + 6z2 4z5/2 + z3 ) 0 (z 4z

1 8 1 dz = 2 5 +2 8 7+4 =

1 140 .

zdxdydz x + y+ z 1

1 . 840

Correction de lexercice 4 1. La forme diffrentielle est de classe C1 sur R2 \ {(0, 0)}. Daprs le thorme de S CHWARZ, sur tout ouvert toil contenu dans R2 \ {(0, 0)}, la forme diffrentielle est exacte si et seulement si la forme diffrentielle est ferme. y y Pour (x, y) R2 \ {(0, 0)}, posons P(x, y) = x2e+y2 (x sin x y cos x) et Q(x, y) = x2e+y2 (x cos x + y sin x). Pour (x, y) R2 , Q 2xey ey (x, y) = 2 ( x cos x + y sin x ) + (x sin x + cos x + y cos x) x (x + y2 )2 x2 + y2 ey (2x(x cos x + y sin x) + (x2 + y2 )(x sin x + cos x + y cos x)) = 2 (x + y2 )2 ey = 2 ((x2 + y2 + x2 y + y3 ) cos x + (2xy x3 xy2 ) sin x), (x + y2 )2 et 2yey ey P ey ( x sin x y cos x ) + ( x sin x y cos x ) + ( cos x) (x, y) = 2 y x + y2 (x2 + y2 )2 x 2 + y2 ey = 2 ((x2 + y2 )(x sin x y cos x) 2y(x sin x y cos x) (x2 + y2 ) cos x) (x + y2 )2 ey ((x2 + y2 + x2 y + y3 ) cos x + (2xy x3 xy2 ) sin x) = 2 (x + y2 )2 Q = (x, y). x Finalement, la forme diffrentielle est exacte sur tout ouvert toil contenu dans R2 \ {(0, 0)}. On choisit = R2 \ {(0, y), y 0}. est un ouvert toil (en tout point de la forme (0, y), y > 0) de R2 contenant le contour ferm . Puisque est exacte sur , on sait alors que = 0. 2. Le contour est constitu de 4 arcs : 1 est larc t (t , 0), t variant en croissant de r R, 2 est larc t (R cos t , R sin t ), t variant en croissant de 0 . 3 est larc t (t , 0), t variant en croissant de R r, 4 est larc t (r cos t , r sin t ), t variant en dcroissant de 0. Daprs la question 1), 1 + 2 + 3 + 4 = 0.
R R

=
1 r R

(P(x(t ), y(t ))x (t ) + Q(x(t ), y(t ))y (t )) dt =

r

P(t , 0) dt

=
r

1 t sin t dt = t2

R r

sin t dt . t
sin x x

r sin t R sin t De mme, 3 = R t dt = r t dt (puisque la fonction x x 2 2 rR sin x dx puis pour tout (r, R) ]0, +[ tel que r < R,

est paire) et donc

1 + 3

R sin x r x

1 dx = 2

Ensuite,

=
2 0

(P(R cos t , R sin t )( sin t ) + Q(R cos t , sin t )(cos t )) dt eR sin t ((cos t sin(R cos t ) sin t cos(R cos t ))( sin t ) + (cos t cos(R cos t ) + sin t sin(R cos t ))(cos t )) dt eR sin t cos(R cos t ) dt .
4

=
0

=
0

De mme,

0 r sin t cos(r cos t ) e R sin x r x

dt =
1 2

r sin t cos(r cos t ) 0 e r sin t cos(r cos t ) 0 e

dt et on a montr que
R sin t cos(R cos t ) 0 e

(r, R) ]0, +[2 , r < R 3. Etudions limR+

0

dx =

dt

dt .

R sin t cos(R cos t ) 0 e

dt . Pour R > 0,
0 /2 0

eR sin t cos(R cos t ) dt

0

eR sin t |cos(R cos t )| dt

/2

eR sin t dt = 2

eR sin t dt ) 2

2
0

eR(2t / ) dt (la fonction sinus tant concave sur 0,

0

= e2Rt / R . R

(1 e2R ) R

R sin t Comme cos(R cos t ) dt = 0. On en dduit que R tend vers 0 quand R tend vers +, limR+ 0 e + sin x pour tout r > 0, lintgrale r x dx converge en + et que

r > 0, Etudions maintenant limr0

+ sin x r x

dx =

1 r sin t cos(r cos t ) 2 0 e

dt .

F : [0, +[[0, ] R . r sin t (r, t ) e cos(r cos t ) - Pour tout rel r [0, +[, la fonction t F (r, t ) est continue par morceaux sur [0, ]. - Pour tout rel t [0, ], la fonction r F (r, t ) est continue sur [0, +[. - Pour tout (r, t ) [0, +[[0, ], |F (r, t )| 1 = (t ) o est une fonction continue par morceaux et intgrable sur le segment [0, ]. Daprs le thorme de continuit des intgrales paramtres, la fonction r 0 er sin t cos(r cos t ) dt est continue sur [0, +[. On en dduit que limr0 et nalement que
+ sin x 0 x r sin t cos(r cos t ) 0 e

r sin t cos(r cos t ) dt . Soit 0 e

dt =

0 0 e cos(0)

dt = ,

dx = 2.

Correction de lexercice 5

2 x2 = 22 q1 y x = 2q2 y x = 2qy

y 2 = 2 p1 x y 2 = 2px y 2 = 2 p1 x

Laire du domaine considr D = {(x, y) R2 / 2 p1 x A =

2 2

y2

2 p2 x et 2q2 y

x2

2q2 x} est

dxdy.
D

y x Pour (x, y) D2 , posons p = 2 x et q = 2y ou encore considrons lapplication :

et vrions que est un C1 -diffomorphisme. Pour chaque (x, y) D2 , on 2 p1 x y2 2 p2 x et 2q1 y x2 Donc est bien une application. Soit ( p, q) [ p1 , p2 ] [q1 , q2 ]. Pour (x, y) (]0, +[)2 ,
y2 2x x2 2y

(x, y)
y2 2x

[ p1 , p2 ] [q1 , q2 ]
y2 x 2 2x , 2y x2 2y

2q2 y ou encore p1

p2 et q1

q2 .

=p =q

y=

x2 2q

(x2 /2q)2 2x

=p

x= y=

3 3

8 pq2 8 p2 q
y2 0 2x0

Donc, lquation (x, y) = ( p, q) a exactement une solution (x0 , y0 ) dans ]0, +[2 . De plus, puisque [ p1 , p2 ] et = q [q1 , q2 ], on a 2 p1 x0 2 p2 x0 et 2q1 y0 une bijection. est de classe C1 sur D et pour (x, y) D2 ,
D( p,q) D(x,y)
2 x0 2y0

y2 0

2 x0

2q2 y0 et donc (x0 , y0 )

D2 .

= p

Donc est

= J ( )(x, y) =

2yx2
x y

y x 2 2xy2

1 =4 1 = 3 4 = 0.

Posons alors ( p, q) = (x, y) dans A = dxdy =

D

Ainsi, est une bijection de D sur [ p1 , p2 ] [q1 , q2 ], de classe C1 sur D et son jacobien ne sannule pas sur D. On sait alors que est un C1 -diffomorphisme de D sur [ p1 , p2 ] [q1 , q2 ]. dxdy. On obtient
D

[ p1 , p2 ][q1 ,q2 ]

D(x, y) 4 d pdq = D( p, q) 3

4 d pdq = ( p2 p1 )(q2 q1 ). 3 [ p1 , p2 ][q1 ,q2 ]

A =4 3 ( p2 p1 )(q2 q1 ).

Correction de lexercice 6 2 + . . . + x2 Pour n N et R 0, posons Bn (R) = {(x1 , . . . , xn ) Rn / x1 n Bn (R). Par dnition, 10

R2 } et notons Vn (R) le volume de

Vn (R) = En posant x1 = Ry1 , . . . , xn = Ryn , on a Vn (R) = ...

...

2 +...+x2 R2 x1 n

dx1 . . . dxn .

D(x1 ,...,xn ) D(y1 ,...,yn )

= Rn (quand R > 0) puis ... dy1 . . . dyn = RnVn (1).

2 +...+x2 x1 n

R2

dx1 . . . dxn = Rn

2 y2 1 +...+yn

ce qui reste vrai quand R = 0. Pour n

1

2, on peut alors crire

1

Vn (1) = =

...
1 1 1

2 +...+x2 2 x1 n1 1xn

dx1 . . . dxn1 dxn =

Vn1

2 1 xn

dxn

2 (n1)/2 (1 xn ) Vn1 (1) dxn = InVn1 (1)

o In = In =

1 2 (n1)/2 1 (1 x )

dx. Pour calculer In , on pose x = cos . On obtient d =

n 0 sin

0 2 (n1)/2 ( sin ) (1 cos )

d = 2

/2 sinn 0

d = 2Wn (intgrales de WALLIS).

Finalement, V1 (1) = 2 et n On en dduit que pour n 2, 2, Vn (1) = 2WnVn1 (1).

n n Vn (1) = (2Wn )(2Wn1 ) . . . (2W2 )V1 (1) = 2n n k=2 Wk = 2 k=1 Wk ,

ce qui reste vrai pour n = 1. Maintenant, il est bien connu que la suite ((n + 1)Wn+1Wn )nN est constante et plus prcisment que n N, (n + 1)Wn+1Wn = W1W0 = 2 . Donc, pour p N ,
2p k=1 p k=1

V2 p (1) = 22 p Wk = 22 p (W2k1W2k ) = 22 p et de mme

2 p+1 p k=1 p

p = , p! k=1 2(2k)

V2 p+1 (1) = 22 p+1 =

k=2 p 2 p+1

Wk = 22 p+1 (W2kW2k+1 ) = 22 p+1 2(2k + 1)

=
k=1 p p + 1 2 (2 p) (2 p 2) . . . 2

3 5 . . . (2 p + 1)

(2 p + 1)!

p 22 p+1 p! . (2 p + 1)!

p N , R > 0, V2 p (R) =

p R2 p p!

et V2 p1 (R) =

p 22 p+1 p!R2 p+1 . (2 p+1)!

3 En particulier, V1 (R) = 2R, V2 (R) = R2 et V3 (R) = 4 3 R .

Correction de lexercice 7 1re solution. V =

z u = x+ 2 ,v= y 2
1 2 3 2 x2 + 2 y + 4 z +xz

3 2 z 2 dxdydz. Or x2 + 1 2 y + 4 z + xz = x + 2

+ y2 + z2 . On pose donc

et w =

z . 2

D(u,v,w) D(x,y,z)

1 0 0

0
1 2

1 2

0
1 2

1 =2 .

0 11

On en dduit que V=

D(x,y,z) D(u,v,w)

= 2 puis que dxdydz =

1 u2 +v2 +w2 1

1 2 3 2 y + 4 z +xz x2 + 2

4 8 D(x, y, z) dudvdw = 2 = . D(u, v, w) 3 3

2 2 2

2me solution. Supposons savoir que le volume dlimit par lellipsode dquation X +Y +Z = 1 est 4 3 abc. a2 b2 c2 2 + 3 z2 + xz dans la base canonique orthonorme de R3 La matrice de la forme quadratique (x, y, z) x2 + 1 y 2 4 1 1 0 2 . On sait que cette matrice a 3 valeurs propres strictement positives = 12 , = 12 et est A = 0 1 2 0 a b 1 3 0 2 4 2 2 2 = c12 puis quil existe une base orthonorme dans laquelle lellipsode a pour quation X +Y +Z = 1. Le a2 b2 c2 volume de lellipsode est alors
4 V=4 3 abc = 3

=4 3
8 3 .

det(A)

=4 = 1 3
4

8 3

V=

Correction de lexercice 8 Supposons tout dabord que le support de larc est de longueur L = 2 . Puisque est un arc de classe C1 rgulier, on peut choisir pour une paramtrisation normale cest--dire une paramtrisation de classe C1 t (x(t ), y(t )), t [0, 2 ], telle que t [0, 2 ], x 2 (t )+ y 2 (t ) = 1. Larc tant ferm, on a de plus (0) = (2 ). Cette dernire condition permet de prolonger les fonctions x et y en des fonctions continues sur R de classe C1 par morceaux et 2 -priodiques. Puisque les fonctions x et y sont continues par morceaux sur R, la formule de PARSEVAL permet dcrire
2 2

L = 2 =
0

1 dt = a2 0 (x 2
+

(x 2 (t ) + y 2 (t )) dt =
0

x 2 (t ) dt +
0 +

y 2 (t ) dt

= =
+

0 + n=1

2 (a2 n (x ) + bn (x )) +

a2 0 (y 2

2 + (a2 n (y ) + bn (y )) n=1

n=1

2 2 2 (a2 n (x ) + bn (x ) + an (y ) + bn (y ))

(a0 (x ) =

x (t ) dt =
0

1 (x(2 ) x(0)) = 0 = a0 (y ))

n=1

2 2 2 n2 (a2 n (x) + bn (x) + an (y) + bn (y))

Dautre part, daprs la formule de G REEN-R IEMANN A =

2

xdy =
0

x(t )y (t ) dt =

1 4

2 0

((x(t ) + y (t ))2 (x(t ) y (t ))2 ) dt

a2 a2 (x y ) + 2 2 2 0 (x + y ) 0 + (an (x + y ) a2 n (x y ) + bn (x + y ) bn (x y )) 2 2 n=1 a0 (x)a0 (y ) + + (an (x)an (y ) + bn (x)bn (y )) 2 n=1 (par linarit des coefcients de F OURIER)

= =

L + n(an (x)bn (y) bn (x)an (y)) 2n =1 L + n2 2 L L L2 2 2 (an (x) + b2 = . n (y) + bn (x) + an (y)) = 2 n=1 2 2 4

Si on a lgalit, alors les ingalits valables pour n

1, 12

n(an (x)bn (y) bn (x)an (y))

1 2 2 2 (an (x) + b2 n 2 n (y) + bn (x) + an (y))

n2 2 2 2 2 2 (an (x) + bn (y) + bn (x) + an (y)),

sont des galits. En particulier, pour n 2, on a an (x) = an (y) = bn (x) = bn (y) = 0. Dautre part, quand n = 1, 1 2 2 2 2 2 a1 (x)b1 (y) b1 (x)a1 (y) = 2 (a1 (x) + b2 1 (y) + b1 (x) + a1 (y)) impose (a1 (x) b1 (y)) + (b1 (x) + a1 (y)) = 0 et donc a1 (y) = b1 (x) et b1 (y) = a1 (x). (x) (y) Daprs le thorme de D IRICHLET, en posant = a02 , = a02 , a = a1 (x) et b = b1 (x), t [0, 2 ], x(t ) = + a cos t + b sin t = + a2 + b2 cos(t t0 ) y(t ) = b cos t + a sin t = + a2 + b2 sin(t t0 )

o cos(t0 ) = a2a+b2 et sin(t0 ) = a2b+b2 . Le support de larc est donc un cercle. La rciproque est claire. Lingalit isoprimtrique est donc dmontre dans le cas o L = 2 et on a lgalit si et seulement si le support de larc est un cercle. Dans le cas o la longueur de la courbe C est un rel strictement positif L quelconque, lhomothtique (C ) de (C) dans lhomothtie de centre O et de rapport 2 L a une longueur L 2 gale 2 et dlimite une aire A = L A . 2 L2 L2 Lingalit A 2 4 =L 2 = 2 scrit encore A 4 . De plus on a lgalit si et seulement si la 2 courbe (C) est un cercle (dans ce cas, A
L2 4 L2 4

4 2 R2 4

= R2 = A ).

avec galit si et seulement si la courbe (C) est un cercle.

(A primtre donn, le cercle est la courbe ferme dlimitant la plus grande aire) Correction de lexercice 9 On pose dj u = xa et v = yb de sorte que I= Ensuite, 1 1 (u2 + v2 ) dudv = 2 2 2 2 2 u +v 1 2 u +v 1 2 1 1 3 1 1 r dr d = 2 = , = 2 0 2 4 4 0 v2 dudv =
r=1 r=0 2 =0 D(u,v) D(x,y)

= ab. On obtient (a2 u2 b2 v2 ) dudv.

2 x2 + y2 a2 b

(x2 y2 ) dxdy = ab

u2 +v2 1

u2 dudv =
u2 +v2 1

r2 rdrd

et donc I=
ab(a2 b2 ) . 4

13