For the Poincare disc model, radial distance from zero to Euclidean radius is
It is minimal: any curve has length at least the integral of , which in turn is at least the net radial integral. Consequently a hyperbolic circle of radius centred at zero is , a Euclidean circle.
Given a centre , use a Poincare disc automorphism carrying to zero. Since it is an isometry, it takes the given hyperbolic circle to the preceding Euclidean circle. A Möbius transformation takes generalized circles to generalized circles. The preimage here is compact and contained in the disc, so it cannot be a straight line. Thus
This argument does not say that their Euclidean and hyperbolic centres coincide.

Articles by others on the same topic (0)

There are currently no matching articles.