B- Fonctions r ´
eciproques des fonctions circulaires 31
B.1.3 Proposition
La fonction arcsinus est d´erivable sur ] −1,1[ et
pour tout x∈]−1,1[ ,Arcsin0(x) = 1
√1−x2.
D´emonstration
En effet, pour tout x∈]−1,1[, on a
Arcsin0(x) = 1
sin0(Arcsin x)=1
cos(Arcsin x).
Mais Arcsin x∈−π
2,π
2et la fonction cosinus est positive sur cet intervalle donc cos(Arcsin x)>0.
Par cons´equent, on peut ´ecrire
Arcsin0(x) = 1
pcos2(Arcsin x)=1
p1−sin2(Arcsin x)
et la conclusion vient du fait que sin(Arcsin x) = x.
B.1.4 Remarque
Le graphe de la fonction arcsinus ayant ´et´e obtenu par sym´etrie, on sait qu’il admet des tangentes
verticales pour x=−1etx= 1 ainsi qu’une tangente de pente 1 pour x= 0.
On retrouve cela avec la d´eriv´ee de Arcsin puisque
Arcsin0(0) = 1 ,lim
x→−1+
1
√1−x2= +∞et lim
x→1−
1
√1−x2= +∞.
B.2 La fonction arccosinus
ID´efinition
La fonction cosinus est continue sur Ret strictement d´ecroissante sur l’intervalle [0, π], elle r´ealise donc
une bijection de cet intervalle sur son image [−1,1] et on peut d´efinir son application r´eciproque.
B.2.1 D´efinition
On appelle fonction arccosinus, et on note
Arccos : [−1,1] →[0, π], x 7→ Arccos x ,
l’application r´eciproque de la restriction de la fonction cosinus `a l’intervalle [0, π].
B.2.2 Remarques
IPour tout x∈[−1,1], Arccos xest la mesure d’angle comprise entre 0 et πdont le cosinus vaut x.
IPour tout x∈[−1,1], on a cos Arccos x=x.