Correction
d’après Mines de Sup 1998
1. La fonction t ֏ t + arctan t est strictement croissante et s’annule en 0. Par suite 0 est solution de
l’équation et c’est la seule.
1
2.a L’application t ֏ est définie et continue sur ℝ ∗ .
t + arctan t
Pour tout x > 0 , cette fonction est continue par morceaux sur le segment [x , 2x ] donc
dt 2x
f (x ) = ∫ est bien définie.
t + arctan t
x
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 ]
Ainsi, ∀ε > 0 , ∃β > 0 , ∀ 0 < x ≤ β , sup g (t ) ≤ ε .
t ∈[x ,2x ]
On peut conclure lim sup g (t ) = 0 .
x →0+ t ∈[x ,2x ]
4.c h (t ) = t ε(t ) avec ε→ 0 .
0
2x 2x 3
∫ x
h (t )dt ≤ sup ε(t ) ∫ tdt =
t ∈[x ,2x ] x
sup ε(t ) x 2 = o (x 2 ) car sup ε(t )
2 t ∈[x ,2x ] t ∈[x ,2x ]
x →0
→0 .
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 .
