Démonstration d’une propriété importante
La fonction Arctan est la fonction réciproque de la tangente, on donne :
i π πh
y
Arctan : R → − ,
2 2
em
x 7→ Arctan(x)
On veut démontrer :
1
= π2
∀x > 0 : Arctan(x) + Arctan x
Étapes :
∀x < 0 : Arctan(x) + Arctan
ad 1
x
= − π2
Ac
1
sur R∗ .
1. Établir la dérivée de la fonction f (x) = Arctan(x) + Arctan x
2. Que peut-on déduire ?
R∗ =] − ∞, 0[∪]0, +∞[
a
3. Conclure l’égalité. (*)
or
N.B.
u′
Arctan(u)′ =
ad
1 + u2
π π
Arctan(1) = ; Arctan(−1) = −
4 4
Ev
Normalement, on a 3 façons pour démontrer cette propriété, mais on procède par la
plus rapide.
Bonus : Montrer que :
h πh
∀x ∈ 0, , 2sinx + tan x >= 3x (Inégalité de Huygens)
2