Exercices divers

Exercice 946. Montrer que, pour tout $x \in \R$, on a $\left| \arctan(\sh(x)) \right| = \arccos\left( \dfrac{1}{\ch(x)} \right)$.