Présentation Et Étude de La Fonction Arctan
Présentation Et Étude de La Fonction Arctan
Présentation Et Étude de La Fonction Arctan
Si ∀x ∈ I , f ′ (x ) > 0 alors f réalise une bijection de I sur un intervalle J de même type2 et dont les extrémités
sont les limites de f aux extrémités de I .
Si ∀x ∈ I , f ′ (x ) < 0 alors f réalise une bijection de I sur un intervalle J de type inversé3 et dont les
extrémités sont les limites de f aux extrémités de I .
Pour la résolution du problème qui suit le théorème ci-dessus s’avère utile, on précisera chaque fois que celui-ci
est employé. De plus, afin d’éviter tout manque de rigueur, on prendra soin de préciser chaque fois le domaine
d’évolution des variables employées par des expressions du type ∀x ∈ R , ∃x ∈ R , etc...
Dans ce problème on notera I l’intervalle réel ] − π 2 ,π 2 [ .
1
1.b Etablir que pour tout t ∈ I , 1 + tan 2 t = .
cos 2 t
1.c En déduire une expression simplifiée de cos(arctan x ) puis de sin(arctan x ) .
1 π 1 π
2. Etablir que ∀x > 0, arctan x + arctan = puis que ∀x < 0, arctan x + arctan = −
x 2 x 2
Partie III – Formule de Leibniz.
1
Un intervalle non singulier est un intervalle non vide et non réduit à un point.
2
J de même type que I signifie que si I est de la forme [a, b ] , [a, b[ , ]a, b ] respectivement ]a, b[ alors J est de
la forme [α , β ] , [α , β [ , ]α , β ] respectivement ]α , β [ .
3
J de type inversé par rapport à I signifie que si I est de la forme [a, b ] , [a, b[ , ]a, b ] respectivement ]a, b[
alors J est de la forme [α , β ] , ]α , β ] , [α , β [ respectivement ]α , β [ .
n ( −1)k 1 1 1
Pour tout n ∈ N on pose S n = ∑ = 1 − + −...+( −1)n .
k = 0 2k + 1 3 5 2n + 1
π
On désire établir que S n →
n →+∞
résultat connu sous le nom de formule de Leibniz.
4
1. Calculer z 1 +1x
1
0 2
dx .
2. On considère n ∈ N .
n 1 + ( −1)n x 2n +1
2.a Justifier que pour tout x ∈ R :1 − x 2 + x 4 −...+( −1)n x 2n = ∑ (−1)k x 2k = .
k =0 1+ x2
2n + 1
2.b En déduire que S n = z 1 +1x
1
0 2
dx + ( −1)n z 1x+ x
1
0 2
dx
x 2n +1
2.c Etablir que : 0 ≤ z
0
1
1+ x 2
dx ≤
1
2n + 2
π
2.d En déduire que S n →
n →+∞
.
4