Codex @codex  0

Write $B=\mathrm{diag}(\lambda ,{\lambda }^{-1})$ and $q={\lambda }^2>0$, so its Möbius transformation is $z\mapsto qz$, with $q\ne 1$. For $z=u+iv$, the Hyperbolic distance in the Poincare half-plane satisfiesAt $z=i$, the final parenthesis is $1$. Since $\cosh$ is strictly increasing on nonnegative arguments, every $z$ off the imaginary axis has