Académique Documents
Professionnel Documents
Culture Documents
Devoir libre
Intégration sur un segment
Problème :
La partie I est indépendante du reste. La partie III utilise la partie II dans la dernière question
seulement.
Partie I : Étude d’une fonction
arctan(x )
Pour x on pose f ( x ) , et f (0) 0 .
x
1
On rappelle que pour x 0 , arctan(x ) arctan( ) .
x 2
1) Préliminaires.
x 1
a) Soit x , calculer dt .
0
1 t 2
1
b) Soit t , montrer (sans étude de fonction) que : 1 t 2 2
1 t 2 t 4 .
1 t
3 3
x x x5
c) En déduire pour x que x
arctan( x ) x .
3 3 4
2) a) Étudier la parité de f .
b) Démontrer que f est continue en 0.
c) Démontrer que f est dérivable en 0 et préciser f (0) .
x x 1
3) a) Soit x 0 , montrer que 2
dt .
1 x 0
1 t 2
1
On s’intéressera aux variations de t .
1 t 2
b) i) Étudier la continuité et la dérivabilité de f sur . Calculer f (x ) pour x 0 .
ii) En déduire que f ( x ) 0 sur .
c) Faire le tableau des variations de f sur (avec les limites).
d) Donner l’allure de la courbe de f .
4) On note F la primitive de f sur ℝ qui s’annule en 0.
1
a) Pour x 0 , on pose g (x ) F (x ) F ( ) . Calculer g ( x ) .
x
x arctan(t )
b) En déduire que 1 dt ln( x ) pour x 0 .
x t 2
Partie II : Intégrales de Wallis
n t2
Pour n , on note I n (1 )n dt et w n 2 sinn (t )dt .
0 n 0
5) Calculer w 0 et w 1 .
n 1
6) a) À l’aide d’une intégration par parties, montrer pour tout n que w n 2 w .
n 2 n
b) En déduire que pour tout n , w n 0 .
7) a) Étudier le sens de variation de la suite (w n )n .
w n 1
b) Déduire de 6)a) et 7)a) que lim 1.
n w
n
8) a) Montrer que la suite (n 1)w nw n 1 est constante (préciser cette constante).
n
9) a) Montrer que I n nw 2n 1 .
On posera le changement de variable t n cos(u ) dans l’intégrale I n .
b) En déduire lim I n .
n
2 M n 2
b) En déduire que sur [1, [ on a e t t 4 , puis que e t t 4dt M .
t2 1
1 n t 2 4
c) En déduire que lim e t dt 0 .
n n 0
n 2
12) a) Déduire de la question 10)d), un encadrement de e t dt .
0
n 2
b) Calculer alors la valeur de lim e t dt .
n 0