Montrer que la fonction de la variable réelle $\displaystyle x \mapsto \text{arccos}\left(\frac{1}{\text{ch}(x)}\right)$ est bien définie sur $\mathbb{R}$.
Montrer que, pour tout $x \in \mathbb{R}$, \[
|\text{arctan}(\text{sh}(x))|=\text{arccos}\left(\frac{1}{\text{ch}(x)}\right).
\]