Hyperbolic length in the Poincare disc
= Hyperbolic length in the Poincare disc
{c}
= Hyperbolic length
{synonym}
For a piecewise smooth curve $z(t)$ in the Poincare disc, its hyperbolic length is
$$
L(z)=\int\frac{2|\dot z(t)|}{1-|z(t)|^2}\,dt.
$$