Vous êtes sur la page 1sur 13

Exo7

Intgrales curvilignes, intgrales multiples


Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr
* trs facile

** facile

*** difficult moyenne **** difficile


I : Incontournable

***** trs difficile

Exercice 1 **
Calculer l intgrale de la forme diffrentielle le long du contour orient C dans les cas suivants :
y
x
2
1. = x2 +y
2 dx + x2 +y2 dy et C est larc de la parabole dquation y = 2x + 1 joignant les points (0, 1) et
(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 = cost, y = sint, z = cost sint, t variant en croissant de 0 2 .
Correction H

[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 H

[005907]

Exercice 3 **
Calculer les intgrales multiples suivantes
ZZ

1. I =
D

(x + y) dxdy o D = {(x, y) R2 / x 6 1, y 6 1, x + y > 1}.

ZZ

2. I =

[1,1]2

ZZ

|x + y| dxdy.

xy dxdy o D est la partie du plan limite par les paraboles dquations respectives y = x2 et

3. I =
D

x = y2 .

1
dxdy.
2
2
x2 +y2 61 1 + x + y
ZZ
dxdy
5. I =
.
2
2 2
2
2
x6x +y 61 (1 + x + y )
ZZ

4. I =

ZZZ

6. I =

xyzdxdydz.
06x6y6z61

ZZZ

7. I =

zdxdydz.

x+ y+ z61

Correction H

[005908]

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

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

Calculer lintgrale de la forme diffrentielle


=

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

le long de ce contour orient.


2. En dduire

R R sin x
r

dx en fonction dune autre intgrale.

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

R + sin x
0

dx.

Correction H

[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 / 2p1 x 6 y2 6 2p2 x et 2q2 y 6 x2 6 2q2 y}.
Correction H

Exercice 6 *** I
Calculer le volume de B = {(x1 , . . . , xn ) Rn / x12 + . . . + xn2 6 1} (boule unit ferme de Rn pour k k2 ).
Correction H

[005910]

[005911]

Exercice 7 **
Calculer le volume de lintrieur de lellipsode dquation x2 + 12 y2 + 34 z2 + xz = 1.
Correction H

[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 6

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 H

[005913]

Exercice 9 ***
ZZ

Calculer I =
Correction H

2
x2
+ y2 61
a2
b

(x2 y2 ) dxdy.
[005914]

Retrouver cette fiche et dautres


exercices de maths sur
exo7.emath.fr
3

Correction de lexercice 1 N
1. C est larc paramtr t 7

t 2 1
2 ,t


, t variant en croissant de 1 1.

=
C

Z 1
(t 2 1)/2
1

t 2 1
2

2

+ t2

t+

t 2 1
2

t
2

+ t2

dt

= 0 (fonction impaire).
R

= 2 ln 2.

2.
Z

Z 2

((cost sin3 t)( sint) + cos3 t(cost))dt =

Z 2

(cos4 t + sin4 t cost sint)dt



Z 2
Z 2 
sin(2t) sin2 (2t)
2
2 2
2
2

=
((cos t + sin t) 2 cos t sin t cost sint)dt =
1
dt
2
2
0
0




Z 2
1
sin(2t) 1
3
(1 cos(4t)) dt = 2 1
.
=
1
=
2
4
4
2
0

3
2 .

3.
Z /2

=
0

Z /2

(cost sint cost sint)( sint) dt =


( cos2 t sint + cos4 t sint)dt =

Z /2
0

cos3 t
3

cos2 t sin3 t dt

cos5 t
5

/2
0

1 1
= +
3 5

2
= .
15
R

2
= 15
.

Correction de lexercice 2 N
1. = x2 dx + y2 dy est de classe C1 sur R2 qui est un ouvert toil de R2 et est ferme car Py = 0 = Qx . 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.
2. = y2 dx + x2 dy est de classe C1 sur R2 et nest pas ferme car Py = 2y 6= 2x = Qx . 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 7 (a + R cost, b + R sint), t variant en croissant de 0 2.

Z 2


(b + R sint)2 (R sint) + (a + R cost)2 (R cost) dt

Z 2

=R
0

= R2

(a cost b sint + 2aR cos2 t 2bR sin2 t + R2 (cos3 t sin3 t)) dt

Z 2
0

= R2

Z 2
0

= R2

Z 2
0

(2a cos2 t 2b sin2 t + R(cos3 t sin3 t)) dt


(a(1 + cost) b(1 cost) + R(cost sint)(cos2 t + cost sint + sin2 t)) dt
(a b + R(cost sint)(1 + cost sint)) dt


Z
= R 2(b a) +
2

R(cost sint + cos t sint cost sin t) dt

= 2R2 (b a).

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

Z 1 Z 1

ZZ

I=


Z 1 Z
(x + y)dy dx (ou aussi

(x + y) dxdy =
D

1x

1y


(x + y)dx dy)

y=1

Z 1
(1 x)2
1
y2
dx =
dx
x + x(1 x)
=
xy +
2 y=1x
2
2
0
0

Z 1 2
x
1 1 2
=
+ x dx = + = .
2
6 2 3
0
Z 1

2
(x + y) dxdy = .
3
D

ZZ

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

ZZ

ZZ

I=

f (x, y) dxdy +
16x,y61, x+y>0

f (x, y) dxdy

(x + y) dy dx

16x,y61, x+y60
Z 1 Z 1

ZZ

=2

(x + y) dxdy = 2
Z

16x,y61, x+y>0


2 y=1
1

=2
1

y
xy +
2

x2
1
x + + x2
2
2

Z 1

dx = 2
1

y=x


dx


1 2 1
8
=2
+ 2 = .
2 3 2
3
ZZ
[1,1]2

8
|x + y| dxdy = .
3

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

x}.

2
1
2

1
1

Z 1 Z x

I=


y dy x dx =

x2

Z 1  2 y= x
y

dx =

y=x2

1
2

Z 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
I=
2
2
2
2
2
06r61, 06 62 1 + r
x +y 61 1 + x + y
Z 1
 Z 2 
r
=
dr
d (intgrales indpendantes)
2
0 1+r
0
1

1
= 2 ln(1 + r2 ) = ln 2.
2
0
ZZ

ZZ

ZZ
x2 +y2 61

1
dxdy = ln 2.
1 + x2 + y2

2
5. Posons D = {(x, y) R2 / x 6 x2 + y2 6 1}. Puisque x 6 x2 + y2 x 12 + y2 > 14 , 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
,
0
et
de
rayon
2
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 6 r2 6 1 r = 0 ou (0 < r 6 1 et r > cos .
6

1
En passant en polaires, on obtient
Z /2 Z 1

 
Z Z 1
r
1
r
I=2
dxdy = 2
dr d +
dr d
2
2 2
2 2
2 2
0
cos (1 + r )
x6x2 +y2 61, y>0 (1 + x + y )
/2
0 (1 + r )
1
1 !
Z /2 
Z 
1
1
=2

dr
dr d
d +

2(1 + r2 )
2(1 + r2 )
0
/2
cos
0

Z
Z /2
Z /2 
1
1
1
1

d +
d =
d
=
2
1 + cos 2
1 + cos2
/2 2
0
0

+

Z /2
Z +
Z /2
d
1
1
1

1
t
=
d(tan ) =
dt = arctan
=
= .
1
2
2
2
2 + tan
t +2
+ 1 cos
0
0
0
2
2 0
2 2
cos2
ZZ

1
x6x2 +y2 61 (1+x2 +y2 )2 dxdy

RR

.
2 2

6.
Z 1 Z 1 Z 1



Z 1 Z
zdz ydy xdx =


1
2
I=
xyzdxdydz =
(1 y )ydy xdx
06x6y6z61
0
x
y
0
x 2
1


Z Z 1
Z 
Z 
1 1 1 x2 x4
1 1
1 1 y2 y4
3

xdx =
+
xdx
=
(y y )dy xdx =
2 0
2 0 2
4 x
2 0 4 2
4
x


Z
1 1 5
1 1 1 1
1
=
(x 2x3 + x)dx =
+
= .
8 0
8 6 2 2
48
ZZZ

RRR

1
48 .

06x6y6z61 xyzdxdydz

Z 1 ZZ


dxdy zdz

7. En sommant par tranches, on obtient


ZZZ

I=

zdxdydz

x+ y+ z61
Z 1 ZZ

=
0


u+ v61
Z 1

= A (D)

=
0

x+ y61 z

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

z(1 z)4 dz o D = {(u, v) R2 / u + v 6 1}.

Maintenant,
A (D) =

R 1 R (1u)2
0


R

dv du = 01 (1 2 u + u)du = 1 34 + 12 =

et
7

1
6

R1
0

z(1 z)4 dz = 01 (z 4z3/2 + 6z2 4z5/2 + z3 ) dz = 21 58 + 2 87 + 41 =

1
140 .

Finalement
ZZZ

zdxdydz

x+ y+ z61

1
.
840

Correction de lexercice 4 N
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 6 0}. est un ouvert toil (en tout point de Rla 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 7 (t, 0), t variant en croissant de r R,
2 est larc t 7 (R cost, R sint), t variant en croissant de 0 .
3 est larc t 7 (t, 0), t variant en croissant de R r,
4 est larc t 7 (r cost, r sint), t variant en dcroissant de 0.
R
R
R
R
Daprs la question 1), 1 + 2 + 3 + 4 = 0.
Z R

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


r

t sint dt =
2

Z R
sint

dt.

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

P(t, 0) dt
r

Z R
1
r

Z R

sin x
x

est paire) et donc

1 + 3

R R sin x
r

dx = 21


.

Ensuite,
Z

(P(R cost, R sint)( sint) + Q(R cost, sint)(cost)) dt


0

eR sint ((cost sin(R cost) sint cos(R cost))( sint) + (cost cos(R cost) + sint sin(R cost))(cost)) dt

=
0

eR sint cos(R cost) dt.

=
0

De mme,

R 0 r sint
R
cos(r cost) dt = 0 er sint cos(r cost) dt et on a montr que
e

(r, R) ]0, +[2 , r < R


3. Etudions limR+

R R sin x
r

dx =

1
2


R r sint
R
e
cos(r cost) dt eR sint cos(R cost) dt .
0

R R sint
e
cos(R cost) dt. Pour R > 0,
0

Z
Z
Z
Z /2


R
sint
R sint
R sint

6
|cos(R
e
cos(R
cost)
dt
e
cost)|
dt
6
e
dt
=
2
eR sint dt
0

0
0
0
Z /2
h i
62
eR(2t/) dt (la fonction sinus tant concave sur 0, )
2
0
h 2Rt/ i
2R
=
e
= (1 e )
R
0
R

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

r > 0,
Etudions maintenant limr0

R + sin x
r

1 R r sint
cos(r cost)
2 0 e

dx =

dt.

R r sint
cos(r cost) dt. Soit F :
0 e

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

R r sint
R
cos(r cost) dt = 0 e0 cos(0) dt = ,
0 e

et finalement que
R + sin x
0

Correction de lexercice 5 N

dx = 2 .

2
x2 = 2q
y x = 2q2 y
21
x = 2qy

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

Laire du domaine considr D = {(x, y) R2 / 2p1 x 6 y2 6 2p2 x et 2q2 y 6 x2 6 2q2 x} est


A =
2

ZZ

dxdy.
D

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

[p1 , 
p2 ] [q1 , q2 ]
y2 x 2
(x, y) 7
2x , 2y
D

et vrifions que est un C1 -diffomorphisme.


Pour chaque (x, y) D2 , on 2p1 x 6 y2 6 2p2 x et 2q1 y 6 x2 6 2q2 y ou encore p1 6
Donc est bien une application.
Soit (p, q) [p1 , p2 ] [q1 , q2 ]. Pour (x, y) (]0, +[)2 ,

y2
2x

=p

x2
2y

=q

y=

x2
2q

(x2 /2q)2
2x

(
=p

y2
2x

6 p2 et q1 6

y20

6 q2 .

p
3
x=p
8pq2
y = 3 8p2 q

Donc, lquation (x, y) = (p, q) a exactement une solution (x0 , y0 ) dans ]0, +[2 . De plus, puisque
x02
2y0

x2
2y

x02

[p1 , p2 ] et
= q [q1 , q2 ], on a 2p1 x0 6 6 2p2 x0 et 2q1 y0 6 6 2q2 y0 et donc (x0 , y0 )
une bijection.
est de classe C1 sur D et pour (x, y) D2 ,


y2

y

1
2
D(p,q)
x
2x
=
J()(x,
y)
=

= 1 = 34 6= 0.
2
x
x
D(x,y)
y
2y2 4

D2 .

y20
2x0

= p

Donc est

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 ].
ZZ

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

dxdy. On obtient

A =

ZZ

dxdy =
D



ZZ
D(x, y)
4
d pdq = 4

d pdq = (p2 p1 )(q2 q1 ).


3 [p1 ,p2 ][q1 ,q2 ]
3
[p1 ,p2 ][q1 ,q2 ] D(p, q)

ZZ

A = 43 (p2 p1 )(q2 q1 ).

Correction de lexercice 6 N
Pour n N et R > 0, posons Bn (R) = {(x1 , . . . , xn ) Rn / x12 + . . . + xn2 6 R2 } et notons Vn (R) le volume de
Bn (R). Par dfinition,
10

ZZ

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

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

ZZ

Vn (R) =

...

...

x12 +...+xn2 6R2

x12 +...+xn2 6R2

dx1 . . . dxn .

= Rn (quand R > 0) puis

dx1 . . . dxn = Rn

ZZ

...

y21 +...+y2n 61

dy1 . . . dyn = RnVn (1).

ce qui reste vrai quand R = 0. Pour n > 2, on peut alors crire


Z 1 Z

Vn (1) =

...
Z 1

=
1

o In =

R1

In =

R0

1 (1 x


q
2
1 xn dxn
Vn1

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

2 )(n1)/2

(1 cos

dx1 . . . dxn1 dxn =

2 61x2
x12 +...+xn1
n

Z 1

ZZ

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

2 )(n1)/2 ( sin )

d =

R
0

sinn d = 2

R /2
0

sinn d = 2Wn (intgrales de WALLIS).

Finalement,
V1 (1) = 2 et n > 2, Vn (1) = 2WnVn1 (1).
On en dduit que pour n > 2,
Vn (1) = (2Wn )(2Wn1 ) . . . (2W2 )V1 (1) = 2n nk=2 Wk = 2n nk=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

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

V2p (1) = 22p Wk = 22p (W2k1W2k ) = 22p


k=1

k=1

et de mme
2p+1

V2p+1 (1) = 22p+1

k=2
p 2 p+1

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


k=1

3 5 . . . (2p + 1)

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

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

(2p + 1)!

p R2p
p!

et V2p1 (R) =

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

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

En particulier, V1 (R) = 2R, V2 (R) = R2 et V3 (R) = 43 R3 .


Correction de lexercice 7 N
ZZZ

1re solution. V =
u = x + 2z , v =

y
2

x2 + 21 y2 + 34 z2 +xz61

et w =

dxdydz. Or x2 + 12 y2 + 43 z2 + xz = x + 2z

z .
2

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


1


= 0

0

0
1
2

0
11




0 = 1 .
2
1
2
1
2

2

+ y2 + z2 . On pose donc

On en dduit que

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

= 2 puis que

ZZZ

V=



D(x, y, z)
dudvdw = 2 4 = 8 .



2
2
2
D(u,
v,
w)
3
3
u +v +w 61

ZZZ

x2 + 21 y2 + 43 z2 +xz61

dxdydz =

2me solution. Supposons savoir que le volume dlimit par lellipsode dquation Xa2 + Yb2 + Zc2 = 1 est 43 abc.
La matrice de la forme quadratique (x, y, z) 7 x2 + 12 y2 + 34 z2 + xz dans la base canonique orthonorme de R3

1 0 21
est A = 0 12 0 . On sait que cette matrice a 3 valeurs propres strictement positives = a12 , = b12 et
1
3
2 0 4
2
2
2
= c12 puis quil existe une base orthonorme dans laquelle lellipsode a pour quation Xa2 + Yb2 + Zc2 = 1. Le
volume de lellipsode est alors
V = 43 abc = 43

= 43

det(A)

V=

= 43 1 =
4

8
3

8
3 .

Correction de lexercice 8 N
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 7 (x(t), y(t)), t [0, 2], telle que t [0, 2], x02 (t)+y02 (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 x0 et y0 sont continues par morceaux sur R, la formule de PARSEVAL permet dcrire
Z 2

L = 2 =

Z 2

1 dt =
0

02

Z 2

02

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

0
+
2
0
a0 (x )

(a2n (x0 ) + b2n (x0 )) +

x (t) dt +

0
2
0
a0 (y )

n=1

0
+

n=1

(a2n (x0 ) + b2n (x0 ) + a2n (y0 ) + b2n (y0 ))


n=1

1
(a0 (x ) =

Z 2

x0 (t) dt =

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

y02 (t) dt
!

+ (a2n (y0 ) + b2n (y0 ))

Z 2

02

n2 (a2n (x) + b2n (x) + a2n (y) + b2n (y))

n=1

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


A =

Z 2

xdy =

=
4
=

1
x(t)y (t) dt =
4
0

Z 2
0

((x(t) + y0 (t))2 (x(t) y0 (t))2 ) dt

!
a20 (x + y0 ) a20 (x y0 ) + 2
0
2
0
2
0
2
0

+ (an (x + y ) an (x y ) + bn (x + y ) bn (x y ))
2
2
n=1
!
a0 (x)a0 (y0 ) +
0
0
+ (an (x)an (y ) + bn (x)bn (y )) (par linarit des coefficients de F OURIER)
2
n=1

L +
n(an (x)bn (y) bn (x)an (y))
2 n=1

L + n2 2
L L
L2
(an (x) + b2n (y) + b2n (x) + a2n (y)) =

=
.

2 n=1 2
2

Si on a lgalit, alors les ingalits valables pour n > 1,


12

n(an (x)bn (y) bn (x)an (y)) 6 n 21 (a2n (x) + b2n (y) + b2n (x) + a2n (y)) 6

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,
a1 (x)b1 (y) b1 (x)a1 (y) = 21 (a21 (x) + b21 (y) + b21 (x) + a21 (y)) impose (a1 (x) b1 (y))2 + (b1 (x) + a1 (y))2 = 0 et
donc a1 (y) = b1 (x) et b1 (y) = a1 (x).
Daprs le thorme de D IRICHLET, en posant = a02(x) , = a02(y) , a = a1 (x) et b = b1 (x),

t [0, 2],

x(t) = + a cost + b sint = + a2 + b2 cos(t t0 )


y(t) = b cost + a sint = + 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
0
quelconque, lhomothtique (C0 ) de (C)dans lhomothtie de centre O et de rapport 2
L a une longueur L
2
0
gale 2 et dlimite une aire A = L A .
02
L2
L2
Lingalit A 0 6 L2 = 2 scrit encore A 6 2 4
2 = 4 . De plus on a lgalit si et seulement si la
courbe (C) est un cercle (dans ce cas,
A 6

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 N
On pose dj u = xa et v = yb de sorte que
ZZ

I=

2
x2
+ y2 61
a2
b

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

= ab. On obtient

(x2 y2 ) dxdy = ab

ZZ
u2 +v2 61

(a2 u2 b2 v2 ) dudv.

Ensuite,
1
1
u dudv =
v dudv =
(u2 + v2 ) dudv =
2
2
2
2
2
2
2 u +v 61
2
u +v 61
u +v 61
Z
Z 2
1 1 3
1 1

r dr
d = 2 = ,
=
2 0
2 4
4
0

ZZ

ZZ

ZZ

et donc
I=

ab(a2 b2 )
.
4

13

Z r=1 Z 2
r=0

=0

r2 rdrd