Les fonctions cyclométriques, notées $\arcsin$, $\arccos$ et $\arctan$, sont les fonctions réciproques des fonctions trigonométriques correspondantes : sinus, cosinus et tangente.
Rappel : Pour une fonction $f : A \to B$ qui est bijective, il existe une fonction réciproque $f^{-1} : B \to A$ telle que $f(f^{-1}(y)) = y$ pour tout $y \in B$ et $f^{-1}(f(x)) = x$ pour tout $x \in A$.
Les fonctions cyclométriques sont définies comme suit :
Autrement dit,
Parité : les fonctions arc sinus et arc tangente sont impaires sur leurs domaines de définition respectifs.
Continuité : les fonctions cyclométriques sont continues sur leurs domaines respectifs.
Bijectivité : les fonctions cyclométriques sont bijectives sur leurs domaines spécifiques. Cela signifie qu'elles établissent une correspondance univoque entre les éléments de l'intervalle de départ et ceux de l'intervalle d'arrivée :
Dérivabilité : voir ici pour quelques exemples de dérivées de fonctions cyclométriques
Limites : le graphe de la fonctions arc tangente possède deux asymtptotes horizontales \[\bbox[#ead1dc,5px] { \lim\limits_{{x \to -\infty}} \arctan x = -\tfrac{\pi}{2} \text{ et } \lim\limits_{{x \to \infty}} \arctan x = \tfrac{\pi}{2}}\]
Sens de variation :
Remarques : en tenant compte du fait que les fonctions sinus et cosinus sont \(2\pi\)-périodiques et respectivement impaire et paire et du fait que la fonction tangente est \( \pi \)-périodique, il vient :
Exploration des Domaines d'Existence des Fonctions Cyclométriques :
Exemple :
A) Pour rechercher le domaine de définition de $f : x \mapsto \arccos\left(1-x^2\right)$, il suffit de poser la condition d'existence suivante \[-1\leq 1-x^2\leq 1\] Cette double inéquation se décompose en deux inéquations simples, formant le système suivant : \[\begin{cases} 1 - x^2 \geq -1 \\ 1 - x^2 \leq 1 \end{cases}\]
Pour résoudre ce système, nous examinons chaque inéquation individuellement.
Ces deux conditions doivent être rencontrées en même temps : \(x\in \left[ -\sqrt{2}\, ; \sqrt{2} \right] \cap \mathbb{R}\)
Finalement, \(\mathrm{dom} f = \left[ -\sqrt{2}\, ; \sqrt{2} \right]\)
B) Pour rechercher les racines éventuelles de $f$ : \[\arccos\left(1-x^2\right)=0 \stackrel{\scriptsize{\text{rappels}}}{\iff} 1-x^2=1 \iff x^2=0 \iff x=0\]
Exemple : Montrer que \( \tan(\arcsin x) = \frac{x}{\sqrt{1-x^2}} \) sur \( ]-1, 1[ \)
Preuve
Preuve
\[\bbox[#e8ebc0,5px] {\begin{aligned}\text{en effet : } \tan(\arcsin x) &= \frac{\sin(\arcsin(x))}{\cos(\arcsin(x))} \\&= \frac{x}{\sqrt{1-x^2}}\end{aligned}}\]