b) les fonctions arctan et arcsin sont strictement croissantes et la fonction
arccos strictement décroissante.
c) les fonctions arcsin et arccos sont continues sur [−1,1], la fonction arctan
est continue sur R.
d) arcsin est dérivable sur ]−1,1[ et ∀−1< x < 1,arcsin0x=1
√1−x2,arccos
est dérivable sur ]−1,1[ et ∀−1< x < 1,arccos0x=−1
√1−x2,arctan
est dérivable sur Ret ∀x∈R,arctan0x=1
1+x2;
e) arcsin(0) = 0,arcsin(1/2) = π/6,arcsin(1/√2) = π/4,arcsin(√3/2) =
π/3,arcsin(1) = π/2;arccos(0) = π/2,arccos(1/2) = π/3,arccos(1/√2) =
π/4,arccos(√3/2) = π/6,arccos(1) = 0,arctan(0) = 0,arctan(1) =
π/4,arctan(1) = π/4,arctan(√3) = π/3,limx→∞ arctan(x) = π/2;
3 Quelques formules concernant arctan
Proposition 3.1 a) arctan 1 + arctan 2 + arctan 3 = π;
b) arctan(1/2) + arctan 1/5 + arctan 1/8 = π/4;
c) 4 arctan(1/5) −arctan(1/239) = π/4;
d) 2 arctan(1/3) + arctan(1/7) = π/4;
e) limn→∞ Pn
k=0
(−1)k
2k+1 =π/4.
Démonstration : a,b,c,d) : on utilise que tan(x+y) = tan x+tan y
1−tan xtan yet donc
que : tan(x+y+z) = tan x+tan y+tan z−tan xtan ytan z
1−tan xtan y−tan ytan z−tan xtan z. Par exemple pour a) :
tan(arctan 1 + arctan 2 + arctan 3) = 1+2+3−1.2.3
1−1.2−2.3−1.3= 0. Donc arctan 1 +
arctan 2 + arctan 3 = kπ,k∈Z. Or, la fonction arctan est strictement
croissante majorée par π/2donc : 0<arctan 1 + arctan 2 + arctan 3 <3π/2
d’où arctan 1 + arctan 2 + arctan 3 = π.
Pour e) : par une simple étude de fonctions sur [0,+∞[, on montre que :
∀x≥0,
2p+1
X
k=0
(−1)k
2k+ 1 ≤arctan x≤
2p
X
k=0
(−1)k
2k+ 1
pour tout p∈N. En particulier, si un=Pn
k=0
(−1)k
2k+1 , la suite u2nest décrois-
sante minorée par arctan 1 = pi/4, la suite u2n+1 est croissante majorée par
π/4. La différence u2n−u2n+1 =1
4n+1 tend vers 0. Donc les deux suites ont
la même limite qui est forcément π/4car pour tout n:
u2n+1 ≤arctan 1 = π/4≤u2n.
q.e.d.
2