1

Exercice sur les intgrales

Exercice 15 : les intgrales de Wallis

On pose In =

sinn xdx

1) Calculer I0 et I1
2) Montrer que la suite (In ) converge
3) Etablir une formule de rcurrence entre In et In2
4) Montrer que le produit (n + 1) In In+1 est constant
5) Calculer lim In

In

lim

lim

n+ In+1

n+

n+

nIn

6) Calculer I2n et I2n+1 sous forme de produit et en dduire une suite de rationnels convergeant vers

2.1

Correction de l'exercice 15

1) I0 =

On pose u =
Or

R
sin xdx = [ cos x]02 = 1 I2 = 02 sin2 xdx


R
R
x I2 = 202 sin2 2 u (du) = 02 cos2 udu

dx = 2 , I1 =

cos2 udu +

sin2 xdx =

R
cos2 x + sin2 x dx = 02 dx =

= 2I2

I2 peut tre calcule galement l'aide de la formule de rcurrence trouve en 2)

Donc I0 =

I1 = 1 I2 =

2) On cherche montrer que la suite (In ) est dcroissante et minore an de montrer qu'elle converge.
pour x 0, 2


on a 0 6 sin x 6 1

en multipliant par sinn x, on obtient pour x 0, 2



Donc, en intgrant sur 0, 2 , on obtient : 0 6



on a 0 6 sinn+1 x 6 sinn x

sinn+1 xdx 6

sinn xdx

D'o 0 6 In+1 6 In
La suite (In ) est dcroissante et minore par 0, donc elle converge .
3) In =

sinn xdx =

sinn1 x sin xdx

On intgre par partie : In =

n1

sin x sin



xdx = cos x sinn1 x 02 +
|
{z
}
=0 pour n>1

In = (n 1)

Z
0

cos x (n 1) cos x sinn2 xdx

{z
}
pour n>2

hR
i


R
1 sin2 x sinn2 xdx = (n 1) 02 sinn2 xdx 02 sinn xdx = (n 1) (In2 In )

Donc n > 2 In =

n1
n In2

4) pour n > 2
In In+1 =

In = n1
n In2
en multipliant membre membre, on a :
n
In+1 = n+1
In1

n1 n
n n+1 In2 In1

(n + 1) In In+1 = (n 1) In2 In1

Nanmoins, cette rcurrence est d'ordre 2, donc on obtient que :



(2n + 1) I2n I2n+1 = (2n 1) I2n2 I2n1 = . . . = I0 I1 =

(2n) I2n1 I2n = (2n 2) I2n3 I2n2 = . . . = 2I1 I2 = 2

donc n > 0

5) d'aprs 2), lim In = l, donc lim In In+1 = l2 = lim

n+

n+ 2(n+1)

n+

= 0 donc

(n + 1) In In+1 =

lim In = 0

n+

On sait que la suite (In ) est dcroissante et converge vers 0, donc n > 0 In > 0
Donc la suite un =

In
In+1

est bien dnie et est strictement positive.

Comme la suite (In ) est dcroissante, un > 1

On pose un un+1 =
Or

In In+1
In+1 In+2

un
In In+3
In
=
=
un+2
In+1 In+2
In+1

In
In+2

n+2
n+1

n+1
n+2 In+1
n
n+1 In

d'o

n+2
n+ n+1

lim un un+1 = lim

n+

=1

(n + 1)2
n2 + 2n + 1
=
>1
n (n + 2)
n2 + 2n

C'est une rcurrence d'ordre 2, nanmoins, on en dduit que les suites (u2n ) et (u2n+1 ) sont dcroissantes
et minores par 1
On pose lim u2n = a > 1 et lim u2n+1 = b > 1 puisque n > 1 un > 1
n+

n+

Comme lim un un+1 = 1 = ab et que a > 1 et b > 1 on obtient que a = b = 1

n+

d'o un =
n > 0

In

In+1 n+

(n + 1) In In+1 =

6) d'aprs 2) I2n =

2
donc (n + 1) In+1
=

2n1
2n I2n2

2n1 2n3
2n 2n2 I2n4

In+1
2
2 In n+

Donc

2n1 2n3 2n5

2n 2n2 2n4 I2n6

lim

n+

(2n 1) (2n 3) . . . 5 3
(2n)(2n2)...42

=
I0 =
(2n) (2n 2) . . . 4 2
[2n] [2 (n 1)] . . . [2 2] [2 1] 2

Donc I2n =

(2n)!
22n (n!)2 2

On en utilisant que (n + 1) In In+1 =

Or on sait que lim

n+

nIn =

p
2

on trouve que I2n+1 =

2
donc lim (2n + 1) I2n+1
=
n+

nIn =

2n1 2n3
2n 2n2

2n!

Donc I2n

22n (n!)2
(2n + 1)!

p
2

. . . 34 12 I0

#2
22n (n!)2
Donc lim 2 (2n + 1)
=
n+
(2n + 1)!
|
{z
}
"

suite de rationnels

Calcul de la primitive R 1 x +1 1 + x dx
On multiplie par la quantit conjugue

1x 1+x
1x 1+x
1x 1+x
1

=
=
=
(1 x) (1 + x)
2x
1x+ 1+x
1x+ 1+x
1x+ 1+x
Z
Z
R
1x
1+x
1

dx =
dx +
dx
D'o
2x
2x
1x+ 1+x
|
{z
} |
{z
}

=F (x)

=G(x)

Calcul de F (x)
On pose u =

1 x x = 1 u2

dx = 2udu

F (x) =

R
1x
u
dx =
(2udu)
2x
2 (1 u2 )

R u2 1 + 1
R
R du
u2
du
=
du
=
du
+
1 u2
1 u2
1 u2


R
1
1
1
F (x) = u + 2
+
du = u + 12 ln |1 + u| 12 ln |1 u| + C
1+u 1u





F (x) = 1 x + 21 ln 1 + 1 x 12 ln 1 1 x + C
F (x) =

Calcul de G (x)
On pose v = x dx = dv

G (x) =

R
1+x
dx =
2x

1v
(dv) = F (v) = F (x)
2v

Donc :
R

1
 1x 
 1+1+x 
1

dx = 1 x + 21 ln  1+
+
1
+
x

ln


+C
2
1 1x
1 1+x
1x+ 1+x

Exercice 11

soient f : [a,b] R+ et g : [a,b] R, a < b des applications continues

3

1) On pose h (x) =

Rb
a

|f (t) + xg (t)| dt

On suppose que z > 0 tel que x [z,z]

Montrer que

Rb
a

h (x) > h (0)

g (t) dt = 0

2) Le rsultat s'tend-il au cas f : [a,b] R+ ?

Correction de l'exercice 11

1) L'hypothse de cette question implique que 0 est un minimum local de la fonction h.

D'aprs l'nonc, la fonction f est strictement positive et continue sur l'intervalle [a,b]
Donc on peut crire que N = inf f (x) > 0
x[a,b]

De mme, g est continue sur [a,b] , donc M = sup |g (x)| + 1 existe.

x[a,b]

La fonction x ab f (t) + xg (t) dt = ab f (t) dt + x

R
minimum local en 0 si et seulement si ab g (t) dt = 0
R

Rb
a

g (t) dt est une fonction linaire qui possde un

Comme h (0) = ab |f (t)| dt = ab f (t) dt > |b a| N > 0, nous allons chercher un intervalle I = [y,y]
[z,z] pour x dans lequel nous sommes sr que x I la fonction t f (t) + xg (t) est positive.
R

D'o f (t) + xg (t) > f (t) |xg (t)| > N |xg (t)| > N yM
Par consquent, y 6 min
Donc pour x [y,y]
Or h (x) =

Rb
a

N
M ,z

h (x) =

f (t) dt + x

Rb
a

= x [y,y]

Rb
a

t [a,b]

|f (t) + xg (t)| dt =

g (t) dt >

Rb
a

Rb
a

f (t) + xg (t) > 0

[f (t) + xg (t)] dt =

f (t) dt = h (0) x

Rb
a

Rb
a

f (t) dt + x

Rb
a

g (t) dt

g (t) dt > 0

Z b
Comme la fonction x x g (t) dt est linaire, sur l'intervalle [y,y], elle atteint sa valeur minimale
| a {z }
constant

pour x = y ou y . Mais d'aprs les hypothses, sur l'intervalle [y,y] , la fonction h atteint son minimum
pour x = 0, par consquent

Rb
a

g (t) dt = 0

2) Soit ce rsultat s'tend au cas R+ auquel cas il faut le dmontrer, soit ce rsultat ne s'tend pas au cas
R+ et il sut de trouver un contre exemple.
Dans la dmonstration, nous nous sommes servi du fait que N = inf f (x) > 0 ce qui n'est pas toujours
x[a,b]

vrai si f : [a,b] R+ .

La dmonstration ne changerait pas si f au lieu d'tre strictement positive tait strictement ngative. Mais
le dans le cas o f s'annule, le rsultat est probablement faux.
4

On choisit [a,b] = [1,1]

h (x) =

Rb
a

|f (t) + xg (t)| dt =

pour x [1,1]
h (x) =

f (x) = x g (x) = 1

R x
1

h (x) =

(t + x) dt +

R1

1 |t

+ x| dt

R x

R1
1 |t + x| dt + x |t
R1
x (t + x) dt

+ x| dt

(1 + x)2 (1 + x)2
+
=
h (x) =
+
=
2
2


h (x) = 12 x2 2x + 1 + x2 + 2x + 1 = x2 + 1
h

i
2 x
(t+x)
2
1

i1
(t+x)2
2
x

La fonction h vrie bien x [1,1]

h (x) > h (0) avec

Donc ce rsultat ne s'tend pas au cas R+ .

1
2

R1

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

1 g (t) dt

= 2 6= 0