3.5 Fonctions trigonométriques réciproques
On définit ici les fonctions réciproques des fonctions trigonométriques, on
énonce certaines de leurs propriétés, en particulier on calcule leurs dérivées.
Fonction réciproque du sinus
La fonction sinus, vue comme définie sur tout \(\mathbb{R}\),
\[\begin{aligned}
\sin:\mathbb{R} &\to[-1,1]\\
x&\mapsto \sin(x)\,,
\end{aligned}\]
est surjective mais pas injective, puisque par exemple des angles supplémentaires
ont le même sinus.
On peut par contre la rendre injective en restreignant son domaine.
En effet, si on se restreint à prendre des angles qui
sont dans \(IV\cup I\) ou \(II\cup III\) (demi-cercle de gauche ou de droite),
c'est à dire dans un intervalle du type
\(\left[ \frac{-\pi}{2}+ k\pi, \frac{\pi}{2}+k\pi\right]\)
pour un \(k\in\mathbb{Z}\), alors la fonction
\[\begin{aligned}
\sin:\left[ -\tfrac{\pi}{2} + k\pi, \tfrac{\pi}{2}+k\pi\right]
&\to[-1,1]\\
x&\mapsto \sin(x)
\end{aligned}\]
est
- injective puisque des angles distincts dans son domaine ont
des images distinctes,
- surjective puisque pour tout
\(y\in [-1,1]\) il existe un \(x\in\left[
-\frac{\pi}{2} + k\pi, \frac{\pi}{2}+k\pi\right]\) tel que \(\sin(x)=y\).
- Un intervalle du type
\(\left[ -\frac{\pi}{2} + k\pi, \frac{\pi}{2}+k\pi\right]\) s'appelle
une détermination du sinus.
Le sinus y est
à la fois injectif et surjectif dans \([-1,1]\), et donc bijectif.
- L'intervalle pour \(k=0\),
\(\left[ -\frac{\pi}{2} , \frac{\pi}{2}\right]\), s'appelle la
détermination principale du sinus.
Une détermination est donc un intervalle sur lequel la fonction \(\sin\)
possède une réciproque. La convention est de choisir
la détermination principale
pour définir une fois pour toute une réciproque:
On définit l'arc sinus comme la réciproque de
\[\begin{aligned}
\sin:\left[-\tfrac{\pi}{2},\tfrac{\pi}{2}\right] &\to[-1,1]\\
x&\mapsto y=\sin(x)\,.
\end{aligned}\]
On la note
\[\begin{aligned}
\arcsin : [-1,1]&\to
\left[ \tfrac{-\pi}{2} , \tfrac{\pi}{2}\right] \\
y &\mapsto x = \arcsin(y)\,,
\end{aligned}\]
où \(x\) est l'unique \(x\in [-\frac{\pi}{2},\frac{\pi}{2}]\)
tel que \(\sin(y)=x\).
Comme on sait, le graphe d'une fonction réciproque s'obtient en réfléchissant
celui de la fonction à travers la diagonale \(y=x\):
Par définition,
\[\begin{aligned}
\arcsin(\sin(x))&=x\,\qquad \forall x\in [-\tfrac{\pi}{2},\tfrac{\pi}{2}]\,,\\
\sin(\arcsin(y))&=y\,\qquad \forall y\in [-1,1]\,.
\end{aligned}\]
Exemples:
- \(\sin(\arcsin(\frac{2}{3}))=\frac23\)
- \(\arcsin(\sin(-\frac{\pi}{7}))=-\frac{\pi}{7}\)
- \(\arcsin(\sin(\frac{7\pi}{6}))=\)?
Puisque
\(\frac{7\pi}{6}\notin \left[ \frac{-\pi}{2} , \frac{\pi}{2}\right]\),
on doit d'abord trouver l'unique
\(x\in[-\frac{\pi}{2},\frac{\pi}{2}]\) tel que
\[
\sin\left(\tfrac{7\pi}{6}\right)=\sin(x)\,.
\]
Cet angle est \(x=-\frac{\pi}{6}\). Donc
\[
\arcsin\left(\sin\left(\tfrac{7\pi}{6}\right)\right)
=
\arcsin\left(\sin\left(-\tfrac{\pi}{6}\right)\right)
=-\tfrac{\pi}{6}
\]
Avoir une réciproque bien définie pour le sinus permet maintenant de résoudre
plus d'équations.
Pour tout \(a\in[-1,1]\), on a
\[\sin(x)=a
\quad
\Leftrightarrow
\quad
x = \left\{
\begin{array}{l}
\arcsin(a) + k2\pi,k \in \mathbb{Z}\,, \\
\text{ou} \\
\pi - \arcsin(a) + k2\pi, k \in \mathbb{Z}\,.
\end{array}
\right.
\]
Exemple:
Résolvons
\[
\sin(x)=-\tfrac{3}{4}\,,\qquad x\in[\pi,2\pi]
\]
- On résout d'abord sur \(\mathbb{R}\) (sans contrainte).
Puisque \(-\frac23\in[-1,1]\), on sait que l'angle \(\alpha=\arcsin(-\frac34)\)
permet de récrire l'équation:
\[
\sin(x)=\sin(\alpha)
\]
On a donc comme solutions
\[x_1=\arcsin\left(-\tfrac{3}{4}\right) + k2\pi
\quad\text{ ou }\quad
x_2=\pi-\arcsin\left(-\tfrac{3}{4}\right) + k2\pi\,.\]
Plaçons ces solutions sur le cercle trigonométrique.
-
L'arcsinus d'un nombre négatif est négatif, donc
\({\color{red}\arcsin(-\frac34)}\in\left[-\frac{\pi}{2},0\right]\).
Pour sélectionner la solution \(x_1\) qui appartient
à \([\pi,2\pi]\), on doit donc prendre \(k=1\), à savoir
\[
x_1=\arcsin\left(-\tfrac{3}{4}\right) + 2\pi \,.
\]
Aussi, puisque
\(\pi-\arcsin(-\frac34) \in \left[\pi,\frac{3\pi}{2}\right]\subset[\pi,2\pi]\), on
peut doit prendre la solution \(x_2\) avec \(k=0\).
En résumé, les solutions de l'équation avec contrainte sont:
\[
S=
\left\{
\arcsin\left(-\tfrac{3}{4}\right)+2\pi,
\pi-\arcsin\left(-\tfrac{3}{4}\right)
\right\}\,.
\]
Lemme:
- Sur \([-1,1]\), \(\arcsin(x)\) est une fonction impaire.
- Pour tout \(x\in[-1,1]\), \(\cos(\arcsin(x)) = \sqrt{1-x^2}\)
Preuve:
- Si \(x\in[-1,1]\), alors \(-x\in [-1,1]\), et donc
\[\sin(\arcsin(-x)) = -x = -\sin(\arcsin(x))=\sin(-\arcsin(x)).\]
Dans la dernière égalité on a utilisé le fait que le sinus est impair.
Or sur \(\left[ \frac{-\pi}{2} , \frac{\pi}{2}\right]\), \(\sin(x)\) est
injective, et donc
\[\sin(\arcsin(-x))=\sin(-\arcsin(x))
\quad \Rightarrow \quad
\arcsin(-x) = -\arcsin(x)\,.
\]
-
Par la relation \(\sin^2(\alpha)+\cos^2(\alpha)=1\), on a que
\[\cos^2(\arcsin(x)) = 1 - \sin^2(\arcsin(x)) = 1-x^2\]
Or \(\arcsin(x)\) est un angle dans le quadrant I ou IV, et donc son cosinus est
positif, ce qui implique
\[
\cos(\arcsin(x)) = +\sqrt{1-x^2}\,.
\]
Lemme:
L'arc sinus est dérivable sur \(]-1,1[\), et \(\forall x\in ]-1,1[\),
\[
\left(\arcsin(x)\right)' =
\frac{1}{\sqrt{1-x^2}}
\]
Preuve:
On ne montrera pas que \(\arcsin(x)\) est dérivable. Mais pour savoir ce qu'est
sa dérivée, on peut partir de
\[\sin(\arcsin(x))=x\qquad \forall x\in ]-1,1[\,,
\]
et dériver des deux côtés de l'équation, et utiliser la règle de dérivation pour
une fonction réciproque,
\[
\cos(\arcsin(x)) \cdot (\arcsin(x))'=1 \,,
\]
qui donne
\[
(\arcsin(x))'=\frac{1}{\cos(\arcsin(x))}=\frac{1}{\sqrt{1-x^2}}
\]
Ce qui vient d'être fait pour le sinus peut être adapté
pour les autres fonctions trigonométriques.
Fonction réciproque du cosinus
Vue comme définie sur tout \(\mathbb{R}\),
\[\begin{aligned}
\cos:\mathbb{R} &\to[-1,1]\\
x&\mapsto \cos(x)\,,
\end{aligned}\]
est surjective mais pas injective, puisque par exemple des angles
opposés ont le même cosinus.
- Un intervalle du type \(\left[ k\pi, (k+1)\pi\right]\) pour \(k\in\mathbb{Z}\)
s'appelle une détermination du cosinus.
Les cosinus y est à la fois injectif et surjectif dans \([-1,1]\), et donc
bijectif.
- L'intervalle pour \(k=0\), \(\left[ 0, \pi\right]\),
s'appelle la détermination principale du cosinus.
On définit l'arc cosinus comme la réciproque de
\[\begin{aligned}
\cos:[0,\pi] &\to[-1,1]\\
x&\mapsto y=\cos(x)\,.
\end{aligned}\]
On la note
\[\begin{aligned}
\arccos : [-1,1]&\to \left[0 , \pi\right] \\
y &\mapsto x = \arccos(y)\,,
\end{aligned}\]
où \(x\) est l'unique élément de \([0,\pi]\) tel que \(\cos(x)=y\).
Son graphe:
Par définition,
\[\begin{aligned}
\arccos(\cos(x))&=x\,\qquad \forall x\in [0,\pi]\,,\\
\cos(\arccos(y))&=y\,\qquad \forall y\in [-1,1]\,.
\end{aligned}\]
Pour tout \(a\in[-1,1]\), on a
\[
\cos(x)=a
\quad
\Leftrightarrow
\quad
x=\left\{
\begin{array}{l}
\arccos(a) + k2\pi,\quad k \in \mathbb{Z} \\
ou \\
- \arccos(a) + k2\pi,\quad k \in \mathbb{Z}.
\end{array}
\right.
\]
Exemple:
Résolvons
\[
\cos(x) \geqslant -\tfrac{3}{4}\,,\qquad
x\in\left[\tfrac{-3\pi}{2},\tfrac{-\pi}{2}\right]
\]
- Commençons par étudier le problème sans contrainte, \(x\in \mathbb{R}\).
En posant \(\alpha=\arccos(-\frac34)\), l'inéquation devient
\[
\cos(x)\geqslant \cos(\alpha)\,,
\]
donc les solutions sont
\[ -\arccos(-\tfrac34)
+ k2\pi \leqslant x \leqslant
\arccos(-\tfrac34)+k2\pi, \qquad k\in \mathbb{Z}.\]
- On doit maintenant choisir les solutions dans l'intervalle
\(\left[\frac{-3\pi}{2},\frac{-\pi}{2}\right]\). Sur le cercle cela laisse les
zones dans les quadrants II et III:
\(-\arccos(-3/4) \in [-\pi,\frac{-\pi}{2}]
\subset \left[\frac{-3\pi}{2},\frac{-\pi}{2}\right]\), donc l'angle est bien placé. \(\arccos(-3/4) \in \left[ \frac{\pi}{2},\pi\right]\), il faut donc faire un tour du cercle
dans le sens anti-trigonométrique pour l'amener dans
\(\left[-\frac{3\pi}{2},-\pi\right]
\subset \left[\frac{-3\pi}{2},\frac{-\pi}{2}\right]\).
On garde donc les intervalles
\[S =
\left[-\tfrac{3\pi}{2},\arccos(-\tfrac34)-2\pi\right]
\cup
\left[-\arccos(-\tfrac34),-\tfrac{\pi}{2}\right]\,.
\]
Lemme:
- Pour tout \(x\in[-1,1]\), \(\arccos(-x) =\pi- \arccos(x)\).
- Pour tout \(x\in[-1,1]\), \(\sin(\arccos(x)) = \sqrt{1 - x^2}\)
Preuve:
- En effet, si \(x\in [-1,1]\), alors \(-x\in [-1,1]\), et donc
\[\cos(\arccos(-x)) = -x = -\cos(\arccos(x))=\cos(\pi-\arccos(x)).\]
Or sur \(\left[ 0 , \pi\right]\), le cosinus est injectif et donc
\[\cos(\arccos(-x))=\cos(\pi-\arccos(x))
\quad\Rightarrow\quad
\arccos(-x)=\pi-\arccos(x)\,.
\]
-
Par la relation \(\sin^2(\alpha)+\cos^2(\alpha)=1\),
\[\sin^2(\arccos(x)) = 1 - \cos^2(\arccos(x)) = 1-x^2\,.\]
Or \(\arccos(x)\) est un angle dans le quadrant I ou II, et donc son sinus est
positif, ce qui implique
\[\sin(\arccos(x)) = +\sqrt{1-x^2}\,.\]
Lemme:
L'arc cosinus est dérivable sur \(]-1,1[\), et
\(\forall x\in]-1,1[\),
\[
(\arccos(x))'
=-\frac{1}{\sqrt{1-x^2}}\,.
\]
Preuve:
On ne montrera pas que \(\arccos(x)\) est dérivable. Mais pour savoir ce qu'est
sa dérivée, on peut partir de
\[\cos(\arccos(x))=x\qquad \forall x\in ]-1,1[\,,
\]
et dériver des deux côtés de l'équation, et utiliser la règle de dérivation pour
une fonction réciproque,
\[
-\sin(\arccos(x)) \cdot (\arccos(x))'=1 \,,
\]
qui donne
\[
(\arcsin(x))'=\frac{-1}{\cos(\arcsin(x))}=\frac{-1}{\sqrt{1-x^2}}\,.
\]
Exemple:
Pour \(x\in[-1,1]\), donner la valeur de \(\alpha=\arcsin(x)+\arccos(x)\).
Pour commencer, on remarque que
- \(\arcsin(x) \in \left[ \frac{-\pi}{2} , \frac{\pi}{2}\right]\), et
- \(\arccos(x)\in\left[0,\pi\right]\).
Par conséquent,
\(\alpha=\arcsin(x)+\arccos(x)\in\left[\frac{-\pi}{2},\frac{3\pi}{2}\right]\).
Calculons \(\sin(\alpha)\).
Les formules d'addition donnent
\[\begin{aligned}
\sin(\arcsin(x)&+\arccos(x))\\
&=\sin(\arcsin(x))\cos(\arccos(x))+\cos(\arcsin(x))\sin(\arccos(x))\\
&= x^2+\sqrt{1-x^2}^2\\
&=1\,.
\end{aligned}\]
On cherche donc un angle \(\alpha\left[\frac{-\pi}{2},\frac{3\pi}{2}\right]\)
tel que \(\sin (\alpha) =1\).
Le seul angle avec cette propriété est \(\alpha=\frac{\pi}{2}\).
Par conséquent,
\[
\arcsin(x)+\arccos(x)=\tfrac{\pi}{2}\qquad \forall x\in [-1,+1]\,.
\]
En d'autres termes:
\(\arccos(x)\) et \(\arcsin(x)\) sont donc des angles complémentaires, ce qui
est évident d'un point de vue géométrique:
Fonction réciproque de la tangente
La fonction tangente, sur tout son domaine
\[\begin{aligned}
\tan:\mathbb{R}\setminus\{\tfrac{\pi}{2}+k\pi\,,k\in\mathbb{Z}\} &\to \mathbb{R}\\
x&\mapsto \tan(x)\,,
\end{aligned}\]
est surjective mais pas injective puisque périodique.
- Un intervalle du type
\(\left] -\frac{\pi}{2} + k\pi, \frac{\pi}{2}+k\pi\right[\) pour
\(k\in\mathbb{Z}\) est une détermination de la tangente.
La tangente y est à la fois injective et surjective, et donc bijective.
- L'intervalle \(\left] \frac{-\pi}{2} , \frac{\pi}{2}\right[\) s'appelle la
détermination principale de la tangente.
On définit l'arc tangente comme
\[\begin{aligned}
\arctan:
\mathbb{R}&\to ]-\tfrac{\pi}{2},\tfrac{\pi}{2}[\\
y&\mapsto x=\arctan(y)\,,
\end{aligned}\]
où \(x\) est l'unique angle \(x\in\left]\frac{-\pi}{2},\frac{\pi}{2}\right[\)
tel que \(\tan(x)=y\).
Par définition,
\[\begin{aligned}
\arctan(\tan(x))&=x\,\qquad \forall x\in ]\tfrac{\pi}{2},\tfrac{\pi}{2}[\,,\\
\tan(\arctan(x))&=x\,\qquad \forall x\in \mathbb{R}\,.
\end{aligned}\]
Exemple:
Calculer l'angle \(s=\arctan(2) + \arctan(3)\).
- On localise \(s\). Comme \(2,3\gt 0\), on a \(\arctan(2),\arctan(3) \in \left]0,\frac{\pi}{2}\right[\). Donc \(s\in]0,\pi[\).
- On calcule \(\tan(s)\) à l'aide de la formule d'addition
\[\tan(s) = \frac{2+3}{1-2\cdot3} = -1.\] On cherche
donc les solutions de l'équation
\[\tan(s) = -1\,,\qquad s\in]0,\pi[\]
dont l'unique solution est \(\frac{3\pi}{4}.\) On a donc
\[ \arctan(2) + \arctan(3) = \frac{3\pi}{4}.\]
Listons encore quelques propriétés.
- Pour tout \(a\in\mathbb{R}\), on a
\[\tan(x)=a \Leftrightarrow x =\arctan(a) + k\pi,\qquad k \in \mathbb{Z} \]
- Pour tout \(x\in\mathbb{R}\), \(\arctan(-x) = -\arctan(x)\).
- Pour tout \(x\in\mathbb{R} \),
\[
(\arctan(x))'=\frac{1}{1+x^2}
\]
Preuve:
En effet pour tout \(x\in\mathbb{R}\), on a \(\tan(\arctan(x))=x\). En dérivant des
deux côtés de l'équation,
\[(1+\tan^2(\arctan(x))) \cdot (\arctan(x))'=1 \Leftrightarrow (1+x^2)
(\arctan(x))'=1.\]
Fonction réciproque de la cotangente
Pareil pour la cotangente,
\[\begin{aligned}
\cot:\mathbb{R}\setminus\{k\pi\,,k\in\mathbb{Z}\} &\to \mathbb{R}\\
x&\mapsto \cot(x)\,.
\end{aligned}\]
- Un intervalle du type
\(\left] k\pi, (k+1)\pi\right[\) pour \(k\in\mathbb{Z}\)
s'appelle une détermination de la cotangente.
La cotangente y est à la fois injective et surjective, donc bijective.
- L'intervalle pour \(k=0\), \(\left]0, \pi\right[\), s'appelle la
détermination principale de la cotangente.
On définit l'arc cotangente comme
\[\begin{aligned}
\mathrm{arccot} :
\mathbb{R}&\to \left]0 , \pi\right[ \\
y &\mapsto x = \mathrm{arccot}(y)\,,
\end{aligned}\]
où \(x\) est l'unique
\(x\in\left]0, \pi\right[\) tel que \(\cot(x)=y\).
Par définition,
\[\begin{aligned}
\mathrm{arccot}(\cot(x))&=x\,\qquad \forall x\in ]0,\pi[\,,\\
\cot(\mathrm{arccot}(x))&=x\,\qquad \forall x\in \mathbb{R}\,.
\end{aligned}\]
Listons encore quelques propriétés.
- Pour tout \(a\in\mathbb{R}\), on a
\[\cot(x)=a \Leftrightarrow x =\mathrm{arccot}(a) + k\pi,k \in \mathbb{Z} \]
- Pour tout \(x\in\mathbb{R}\), \(\mathrm{arccot}(-x) = \pi-\mathrm{arccot}(x)\).
- Pour tout \(x\in\mathbb{R} \),
\[(\mathrm{arccot}(x))'=-\frac{1}{1+x^2}\,.
\]
Exemple:
A partir du graphe de \(\arctan(x)\), déduire le graphe de \(\displaystyle \arctan\left(\frac{1}{x}\right)\).
On pose
\[
f(x)=\arctan(x)+\arctan\left(\frac{1}{x}\right)\,.
\]
Le domaine de définition de \(f\) est \(\mathbb{R}^{*}\).
On calcule la dérivée de \(f\):
\[f'(x) = \frac{1}{1+x^2} + \frac{1}{1+\frac{1}{x^2}}\frac{-1}{x^2} = \frac{1}{1+x^2} - \frac{1}{1+x^2}=0.\]
Par conséquent, \(f\) est une constante sur chaque intervalle continu de son
domaine de définition (c'est une conséquence du théorème des accroissements
finis). Donc on a
\[\arctan(x) + \arctan\left(\frac{1}{x}\right)=\left\{
\begin{array}{l}
c_1, x<0 \\
c_2, x>0.
\end{array}
\right.
\]
Pour déterminer \(c_1\) et \(c_2\) on évalue la fonction. On a
\[\begin{aligned}
f(-1)&=\frac{-\pi}{4}+\frac{-\pi}{4}=-\frac{\pi}{2}\,,\\
f(1)&=\frac{\pi}{4}+\frac{\pi}{4}=\frac{\pi}{2}.
\end{aligned}\]
Par conséquent, on a \(c_1 = -\frac{\pi}{2}\) et \(c_2=\frac{\pi}{2}\) et on conclut que
\[\arctan\left(\frac{1}{x}\right) = \mathrm{sgn}(x) \frac{\pi}{2} -\arctan(x).\]
Le graphe de \(\arctan\left(\frac{1}{x}\right)\) se construit donc par translation de \(\pm \frac{\pi}{2}\) de celui de \(-\arctan(x)\).

