Les restrictions
sin:[−2π,2π]→[−1,1],cos:[0,π]→[−1,1],tan:(−2π,2π)→R
sont des bijections strictement monotones. Leurs réciproques se notent arcsin, arccos et arctan. Ainsi, par exemple, y=arcsinx (x∈[−1,1]) est l’unique angle de [−2π,2π] dont le sinus vaut x.
Exemples
Exemple 4.11 (Reconnaître une constante cachée)
Étudions g(x)=arctan1+x1−x sur (−1,+∞). Dérivation des fonctions composées et court calcul :
g′(x)=1+(1+x1−x)21⋅(1+x)2−(1+x)−(1−x)=(1+x)2+(1−x)2−2=1+x2−1,
puisque (1+x)2+(1−x)2=2+2x2. Donc g′=−arctan′ : la fonction g+arctan a une dérivée nulle sur l’intervalle (−1,+∞), elle y est donc constante ; sa valeur en x=0 vaut arctan1+arctan0=4π. Conclusion :
arctan1+x1−x=4π−arctanx(x>−1).
Sur (−∞,−1), le même calcul de dérivée vaut, mais la constante est différente (−43π : évaluer la limite quand x→−∞). L’idée à retenir : « dérivée nulle implique constante » est un énoncé intervalle par intervalle — exactement la subtilité exploitée dans l’Exercice 4.6 et l’Exercice 4.10.
Exemple 4.14 (Ramener un angle à l’intervalle principal)
Calculons
arctan(tan43π)etarctan(tan517π).
La recette : remplacer l’angle par l’unique angle de (−2π,2π) ayant la même tangente, c’est-à-dire lui retrancher le bon multiple de π (la période de tan). D’abord : 43π−π=−4π, donc la réponse est −4π. Ensuite : 517π−3π=52π∈(−2π,2π), donc la réponse est 52π. Le calcul est une division euclidienne de l’angle par π déguisée — et les recettes analogues pour arcsin (se ramener à [−2π,2π], période 2π) et arccos (se ramener à [0,π]) gouvernent l’Exercice 4.1 et la réponse par morceaux de l’Exercice 4.10.
Exemple 4.15 (Additionner des arctangentes sans se tromper)
Démontrons que
arctan21+arctan51+arctan81=4π.
Deux ingrédients : la formule d’addition de la tangente et — l’étape que les débutants oublient — une localisation de la somme. D’abord, tan(u+v)=1−tanutanvtanu+tanv avec u=arctan21, v=arctan51 donne
tan(u+v)=1−10121+51=9/107/10=97,puistan(u+v+arctan81)=1−72797+81=65/7265/72=1.
Ensuite, chacun des trois angles appartient à (0,4π) (leurs arguments sont plus petits que 1), donc la somme appartient à (0,43π) ; le seul angle de cet intervalle dont la tangente vaut 1 est 4π. Sans la localisation, la conclusion serait « 4π modulo un multiple de π » — une demi-démonstration. La même discipline en deux temps gouverne l’Exercice 4.8 et l’Exercice 4.12.