Académique Documents
Professionnel Documents
Culture Documents
Cor pb044
Cor pb044
Pour tout x < 0 , un argument semblable relatif au segment [ 2x , x ] permet aussi de conclure.
2.b Par le changement de variable u = −t , on obtient f (−x ) = f (x ) donc f est paire.
1
2.c L’application t ֏ est continue sur l’intervalle ]0,+∞[ , elle y admet donc une primitive H .
t + arctan t
On a alors f (x ) = H (2x ) − H (x ) . La fonction H est dérivable et de dérivée C ∞ donc elle est elle-
2 1
même C ∞ . Par opérations, f est C ∞ et f ′(x ) = 2H ′(2x ) − H ′(x ) = − .
2x + arctan 2x x + arctan x
2.d Par étude de fonctions : arctan 2x ≤ 2arctan x sur ℝ + .
Par suite f ′(x ) ≥ 0 sur ]0,+∞[ . La fonction f est croissante sur ]0,+∞[ . Par parité, elle est
décroissant sur ]−∞,0[ .
2x dt 2x arctan t π 2x dt π
3.a f (x ) − ∫ ≤∫ dt ≤ ∫ . C = convient.
x t x t (t + arctan t ) 2 x t 2
2
dt
2x 1 2 x dt
3.b ∫ x t 2
=
2x
x →+∞
→ et ∫
x t
= ln 2 donc f (x )
x →+∞
→ ln 2 .
1 1
4.a Par calculs a = , b = .
2 12
4.b ∀ε > 0 , ∃α > 0 , ∀ 0 < t ≤ α , g (t ) ≤ ε .
Pour 0 < x ≤ α 2 , on a pour tout t ∈ [x , 2x ] , t ∈ ]0, α ] donc g (t ) ≤ ε .
Par suite sup g (t ) ≤ ε .
t ∈[x ,2x ]
1 a
4.d Par intégration de la relation = + bt + o (t ) entre x et 2x :
t + arctan t t
3
f (x ) = a ln 2 + bx 2 + o (x 2 ) .
2
1
4.e On prolonge par continuité par la valeur f (0) = ln 2 .
2
f admettant un DL à l’ordre 1 en 0, elle est dérivable et ici f ′(0) = 0 (facteur de x ).
3 2
4.f La courbe est au dessus de sa tangente (horizontale) en 0 comme l’assure le signe du terme bx + o (x 2 )
2
ou encore le tableau des variations de f .
2 1 1
4.g On ne peut pas dériver les DL. Cependant f ′(x ) = − donne f ′(x ) ∼ x .
2x + arctan 2x x + arctan x 4
4.h Cet équivalent fournit un DL à l’ordre 1 permettant de conclure que f ′ est dérivable en 0 et que
f ′′(0) = 0 .