f0
2(x) = −2x(1 + x2)−2x(1 −x2)
(1 + x2)2−1
r1−1−x2
1+x22=4x
1 + x2
1
√4x2=2ε
1 + x2
où εest le signe de x. Donc il existe une constante réelle Ctelle que pour tout réel positif x,f2(x) = 2 arctan x+C(y
compris x= 0 puisque fest continue en 0).
x= 0 fournit C= 0 et donc, pour tout réel positif x,f2(x) = 2 arctan x. Par parité,
∀x∈R,arccos 1−x2
1 + x2= 2 arctan |x|.
2ème solution. Soit x∈Rpuis θ= arctan x.θest dans i−π
2,π
2het x= tan θ.
1−x2
1 + x2=1−tan2θ
1 + tan2θ= cos2θ(1 −tan2θ) = cos2θ−sin2θ= cos(2θ).
Donc
f2(x) = arccos(cos(2θ)) =
2θsi θ∈h0,π
2h
−2θsi θ∈i−π
2,0i=
2 arctan xsi x>0
−2 arctan xsi x60= 2 arctan |x|.
3/ La fonction x7→ arcsin p1−x2est définie et continue sur [−1,1], dérivable sur [−1,1] \ {0}car pour xélément de
[−1,1],1−x2est élément de [0,1] et vaut 1si et seulement si xvaut 0.1−x
1 + xest défini et positif si et seulement si x
est dans ]−1,1], et nul si et seulement si x= 1.f3est donc définie et continue sur ]−1,1], dérivable sur ]−1,0[∪]0,1[.
Pour xdans ]−1,0[∪]0,1[, on note εle signe de xet on a :
f0
3(x) = −x
√1−x2
1
p1−(1 −x2)−−(1 + x)−(1 −x)
(1 + x)2
1
2q1−x
1+x
1
1 + 1−x
1+x
=−ε
√1−x2+1
2
1
√1−x2.
Si xest dans ]0,1[,f0
3(x) = −1
2
1
√1−x2= (−1
2arcsin)0(x). Donc, il existe un réel Ctel que, pour tout xde [0,1] (par
continuité) f3(x) = −1
2arcsin x+C.x= 1 fournit C=π
4. Donc,
∀x∈[0,1], f3(x) = π
4−1
2arcsin x=1
2arccos x.
Si xest dans ]−1,0[,f0
3(x) = 3
2
1
√1−x2= (3
2arcsin)0(x). Donc il existe un réel C0tel que, pour tout xde ]−1,0] (par
continuité) f3(x) = 3
2arcsin x+C0.x= 0 fournit π
2−π
4=C0. Donc,
∀x∈]−1,0], f3(x) = 3
2arcsin x+π
4.
4/ f4est dérivable sur D=R\ {−1,0}et pour xélément de D, on a :
M. Boukhobza, Sup A - ICAM Toulouse 5/6