Lyce pilote de Tunis

Terminales Maths

Calcul intgral 3
+ Elments de corrections

Mr Ben Regaya. A

www.ben-regaya.net

Attention : Les exercices 3 et 4 sont dune difficult considrable. Soit patient on y arrive.
Exercice 1

On considre la fonction f dfinie sur par f ( x )

1. a) Vrifier que pour tout x

0;

f ( x)

et on pose I

1 x4

f ( x)dx .

1
.
x2
0; 1

b) Montrer en utilisant lingalit des accroissements finis que pour tout x

x
1
.

2
1 x

1
1
6 f ( x) .
2
x 2x
2. Dterminer alors un encadrement de I.
c) En dduire que pour tout x

0:

Exercice 2

Soit a un rel strictement positif et f une fonction continue sur 0; a .

Soit dfinie sur 0; a par ( x)

a x

f (t ) dt .

1. Montrer que est drivable sur 0; a et calculer '( x) .

2. Dduire alors que pour tout rel a,

Exercice 3

f (t ) dt

f a t dt .

**

sinx
dx .
x

On pose J

1. Soit F la fonction dfinie sur , par

2

F ( x)

sint
dt et G la fonction dfinie sur
t

1
0, 2 par : G( x)

sin ( t )
dt .
1 t

a) Montrer que, pour tout x appartenant 0, , on a G( x) F F 1 x .

2
b) En dduire que J

1
2
0

sin ( t )
dt
1 t

2. Soit u la suite dfinie pour tout naturel n par :

u0

1
2
0

sin t dt et pou n entier non nul un

1
2
0

t n sin t dt .
1
2
0

t n sin ( t )
dt .
1 t
t n sin t
1
b) Montrer que pour tout t lment de 0, , on a :
2t n .
1 t
2
a) Montrer que J u0 u1 ... un1 Rn avec Rn

En dduire que pour tout naturel n, Rn n

.
2 n 1
c) Montrer que J lim (u0 u1 ... un1) .
n

3. Calculer u0 et u1 .
4. Montrer que pour tout naturel n 2 , un

1 n

n n 1 un2 .
2 n1
2

5. En utilisant les rsultats prcdents, donner une valeur approche de J 102 prs.
Exercice 4 ***

Soit la suite un

k 1

sink
.
k

1. On dsigne par f une fonction drivable et de drive continue sur l'intervalle [a , b] et par un rel
strictement positif. Montrer, grce une intgration par parties, que :

f (t )cos t dt

lim

f (b)sin b

f (a)sin a

f '(t )sin t dt et en dduire que

f (t )cos t dt 0 .

2. a) On rappelle que : (a, b)2 , cos(a + b) = cos a cos b sin a sin b.

2k 1
2k 1
t et cos
t .
2
2

t
2

Exprimer, pour tout rel t, cos cos kt en fonction de cos

b) En dduire que :

t
t [0, 1], n *, cos
2

t
2n 1
t cos .
2
2

1 cos kt 2 1 cos
k

k 1

c) Montrer alors que : n *, un 1

2n 1
cos
t

1
2 dt 1 .
t
0
2
2 cos
2

3. Utiliser la premire question pour conclure que la suite (un ) converge vers

1
.
2

Lyce pilote de Tunis

Terminales Maths

Calcul intgral 3
Elments de corrections

Mr Ben Regaya. A

www.ben-regaya.net

Exercice 1

1. f est continue sur 0; a donc elle admet des primitives sur cet intervalle soit G lune des primitives de f sur
a x

0; a donc ( x) a

a x

G (a x) G (a )

a x est drivable sur 0; a et u 0; a u(a), u(0) 0, a et G est drivable sur

La fonction u : x

0; a donc G

f (t ) dt G(t )a

u est drivable sur 0; a . Ainsi est drivable sur 0; a et

'( x) 1 G ' a x f a x .
2. On a , pour tout rel t de 0; a '(t ) f a t donc pour tout rel a strictement positif :
a

'(t )dt f a t dt (a) (0) f a t dt f t dt f a t dt .

0

finalement pour tout rel a,

f (t ) dt

f a t dt .

Exercice 2

1. a) On a pour tout rel x : 1 x 4 1 x 4 x 2

Donc x

0;

1
1 x

1
f ( x) 2 .
x
0; g (t )

b) Posons pour t

1
.
1 t

g est drivable sur 0, et pour tout rel t

0 ; g '(t )
2

0;

1
.
x2

1 t

1
2

1 t

1
1 t

et pour

1
2

on a donc g est drivable sur 0, et pour tout rel de 0, ;

1
g '(t ) daprs le thorme des
2

ingalits des accroissements finis pour tout

x
1
1
1 . le rsultat en dcoule.
x 0 g ( x) g (0)
2
2
1 x
1
c) On a pour x rel , 4 0 donc on remplace dans lingalit prcdente , on obtient
x
1
1
1
1
1
1
x2
. Do le rsultat.
2 6
1 4
1 4
4
4
x 2x
2x
2x
1
x

1
x

1
1 4
x
1
1
1
2. On a pour tout rel x 0 , 2 6 f ( x) 2 et les trois fonctions sont continues sur 0, donc
x 2x
x
rel x

0;

daprs la positivit de lintgrale :

1
1
2 6 dx
x 2x
2

f ( x)dx

1
1
1
dx et
2
x
x 1 2

1
dx
x2

1
1 1 31
1
dx 5

6
x
160 5 160
5 x 1
2

et comme la linarit de lintgrale permet dcrire :

On en dduit donc que :

1
1
2 6 dx
x 2x

1
1
dx
2
x
2

1
dx
x6

129
1
I
320
2

Exercice3

1. a) Pour x appartenant 0, , 1 x
2 2

Posons pour x appartenant 0, : ( x) F F 1 x .

2

sin (1 x) sin x
1

est drivable sur 0, et '( x) F ' 1 x

1 x
1 x
2
sin x
1
Et comme (0) F F 0 alors est la primitive sur 0, de la fonction x
et par
1 x
2
x sin t
1
suite ( x)
dt . On voit donc que ( x) G( x) et donc pour tout x appartenant 0, , on a
0
1 t
2
G( x) F F 1 x
.

b) On a : pour tout x appartenant 0, , on a G( x) F F 1 x .

2

1
1

Pour x ; G F F F
2
2
2
Par suite J

sin t

n 1

1
2 k

n 1

2. On a

1
2
0

1 t

u
k

k 0

n 1

k 0

k 0

1
2

sin t

k 0

n 1

k 0

k 0

1 t
donc diffrent de 1 et par suite
et par consquent
t
1 t
k 0
n

sin t
1 t

Ainsi J

n 1

k 0

sin t
1 t

n 1

t dt or la somme t

n 1

1
2

1
2
0

dt .

t sin t dt et daprs la linarit de lintgrale

u t sin t dt
0

sint
1
dx J . Or G
t
2

dt .

1 n 1
k
2

t n sin t
1 t

dt

uk Rn avec Rn

1
2

1
2
0

sin t
1 t

dt

1
2

t n sin t
1 t

n 1

k 0

est gomtrique de raison t 0,

2

uk

1
2

sin t

1 tn
dt
1 t

dt J Rn .

t n sin ( t )
dt
1 t

t n sin t
1
b) Montrons que pour tout t lment de 0, , on a :
2t n .
1 t
2
1
t 0, 0 sin t 1 (1)
2
1
1
1
2 (2)
et aussi t 0 1 t 1 1
2
2
1 t
sin t
1
de (1) et (2) par produit on obtient
2 et comme t n 0, t 0, , on dduit que
1 t
2
n
t sin t
2t n .
1 t

n
1 t sin t
2t n et les deux fonctions sont continues sur
1 t

Dduction : On a t 0, ,
2

1
0, 2 donc la

positivit de lintgrale permet dcrire :

1
2

t n sin t
1 t

dt

Ainsi 0 Rn
On a J

1
2

n 1

t n 1 2
1
.
2t n dt Rn 2
n
n 1 0 2 n 1

1
1
. Remarquons que lim Rn 0 car lim n
0.
n
n 2 n 1
2 n 1
n

n 1

uk Rn J

k 0

n 1

lim

Rn et comme lim Rn 0 alors

n

k 0

J . u0

k 0

1
2
0

1
2 1
sin t dt cos t

0

Utilisons une intgration par parties pour calculer u1 2 t sin t dt

On pose:

u '(t ) 1

u (t ) t
v '(t ) sin t

v(t )

cos t

Les quatre fonctions tant continues sur 0, , le thorme dintgration par parties permet dcrire :
2
1

t
2 1
u1 cos t

0

1
2
0

cos t dt

1 1
1
2
0 sin t 2 .

0
Montrer que pour tout naturel n 2 , un
Intgrons deux fois par parties. un

1
2
0

1 n

n n 1 un2 .
2 n1
2

t n sin t dt

On pose :

u '(t ) n t n 1

u (t ) t n
v '(t ) sin t

v(t )

cos t

Les quatre fonctions tant continues sur 0, , le thorme dintgration par parties permet dcrire :
2
1

tn
2 n
un cos t

0

un

1
2
0

1
2
0

t n1 cos t dt

t n1 cos t dt

Intgrons par parties lintgrale wn

On pose :

1
2
0

t n1 cos t dt

u (t ) t n 1
v '(t ) cos t

u '(t ) n 1 t n 2

v(t )

sin t

Les quatre fonctions tant continues sur 0, , le thorme dintgration par parties permet dcrire :
2
1

t n1
2 n 1
wn
sin t

0
Ainsi un

1
2
0

t n2 sin t dt

1
2

n1

n 1 u

n2 .

n 1 u soit encore
n 1
1 n

un 2 n1 n n 1 un2
n1
n2
2

On a dj tablit que J

n 1

Rn et que

k 0

0 Rn

n 1
1
1
J

uk n
,
on
en
dduit
donc
que
n
2 n 1
2 n 1
k 0

Cherchons alors n pour que

1
102 .
2 n 1
n

La calculatrice donne n = 5 et donc

est la valeur approche souhaite de J 102 prs.

k 0

Exercice4

1. En posant g '(t ) cos t , on, a comme 0 , g (t )

sin t . Comme f et g sont drivables et de

drives continues sur [a, b], lintgration par parties fournit :

1
1
f (t )cos t dt f (t )sin t

f (t )cos t dt

f (b)sin b

f (a) sin a

De mme lim

De plus , on a

f '(t )sin t dt , ce qui donne

f (a)sin a

f (a) donc lim

f '(t )sin t dt (*)

f (a) sin a 0 .

f (b) sin b 0
f '(t ) sin t dt

f '(t ) sin t dt

f '(t ) sin t dt

f '(t ) dt et on obtient lim

f '(t ) dt on en dduit

f '(t )sin t dt 0

Grace la relation (*) et aux trois points prcdents, on peut conclure : lim

2k 1
t
t
t cos kt cos sin kt sin
2
2
2

2. a) On sait que cos

f (t )cos t dt 0

 2k 1
t
t
t cos kt cos sin kt sin
2
2
2

On a aussi cos

2k 1
2k 1
t
t cos
t 2cos kt cos
2
2
2

En ajoutant, on trouve : cos

t
2

On a donc : t cos kt cos

1 2k 1
2k 1
cos
t cos
t

2 2
2

k
t
1 cos kt
2 k 1
n

b) t [0, 1], n * , cos

k 1

t
cos kt cos
2

Avec ce qui prcde, on peut crire :

n
1
k
t
cos 1 cos kt
2
2 k 1

1
k 1

2k 1
2k 1
cos 2 t cos 2 t , do

n
1 n
k
k
2k 1
t
t
cos 1 cos kt 1 cos
2 k 1
2
2 k 1

2k 1
t
2

1 cos
k

k 1

En effectuant le changement dindice i = k 1 dans la deuxime somme, on a :

n
1 n
k
k
2k 1
t
t
cos 1 cos kt 1 cos
2 k 1
2
2 k 1

n1

2i 1
cos
t
2

i 1

i 0

Ceci scrit aussi, en mettant 1 en facteur dans la deuxime somme :

n
1 n
i
k
2i 1
t
t
cos 1 cos kt 1 cos
2 i1
2
2 k 1

n1

2i 1
t
2

1 cos
i

i 0

Les deux sommes se simplifient et seuls les termes correspondant i = n et i = 0 subsistent, ce qui donne
enfin :

t
t [0, 1], n * , cos
2

t
2n 1
t cos .
2
2

1 cos kt 2 1 cos
k

k 1

t
0, 6 , cos 2 ne sannule pas, on peut

2n 1
t
n

k
n
2 1
t

donc diviser lgalit prcdente par cos et on obtient :

1 cos kt 1
t 2
2
k 1
2cos
2
c) Comme

t
1
appartient lintervalle 0, qui est inclus dans
2
2

Les fonctions de cette galit sont continues sur [0,1], on peut alors intgrer cette galit sur

[0,1], ce qui donne, par linarit de lintgrale : n * ,

2n 1
cos
t
n
1
1
1
k
n
2

dt
1 0 cos kt dt 1 0
t
2
k 1
2cos
2
Dans la somme de gauche, k ne prend que des valeurs non nulles, on a donc

 2n 1
cos
t

1
k 1
n 1

n * ,
dt , ce qui donne finalement :
1 sin kt 1 0
t
2
k
0
k 1
2cos
2
2n 1
cos
t
n
1
1
k sink
n
2

n * ,
1
dt
1
0
k
t
2
k 1
2cos
2
2n 1
cos
t
n

1
k sink
n 1
2

Comme uk 1
, on a bien trouv : n * ,
uk 1
dt
0
k
t
2
k 1
2cos
2

1
3. La fonction qui t associe
est drivable de drive continue sur [0,1], on peut donc appliquer le
t
2cos
2
2n 1
cos
t
1
2n 1
1
2

rsultat de la premiere question avec

, ce qui donne lim
dt .
n 0
2
t
2
2cos
2
1

Lgalit obtenue la question prcdente permet dcrire :

2n 1
cos
t
1
2

uk
dt , on en dduit alors : lim
n
0
2
t
k 1
2cos
2
n

On peut conclure que lim

u
k 1

0.

u
k 1

1
0.
2