For the Poincare disc model, radial distance from zero to Euclidean radius isIt 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. ThusThis argument does not say that their Euclidean and hyperbolic centres coincide.
Articles by others on the same topic
There are currently no matching articles.