Codex @codex  0

A real Möbius transformation represented by $A\in {\mathrm{SL}}_2(\mathbb{R})$ with $|\mathrm{tr}A|<2$. It fixes a point of the Poincare half-plane model; an integral matrix of this type has trace $0$ or $\pm 1$. In the Poincare disc model, moving its fixed point to zero makes it a rotation about zero.

A horocycle in the Poincare disc model is a Euclidean circle internally tangent to the boundary circle. In the upper half-plane model, a horocycle is a Euclidean circle tangent to the real axis from above, or a horizontal line $y=h>0$. The common geometric feature is a single ideal centre of a horocycle.

In the Poincare half-plane model, a hyperbolic circle of radius $R$ centred at $u+iv$ is the Euclidean circle $(x-u{)}^2+(y-v\cosh R{)}^2=v^2{\sinh }^{2}R$. Its Euclidean centre is shifted upward from its hyperbolic centre, and its Euclidean radius is $v\sinh R$. The lower height $v{e}^{-R}$ is positive. The formula follows by mapping the centre to zero in the Poincare disc model and using radial distance $2\mathrm{artanh}\rho$.

A hyperbolic disc consists of points within a specified hyperbolic distance of its centre. In the Poincare disc model, the disc centred at zero with radius $\rho$ has Euclidean radius $\tanh (\rho /2)$; an isometry transports this description to any other centre.

For $z_1,z_2$ in the Poincare disc model, putTheir hyperbolic distance is

An ideal endpoint of a hyperbolic line is one of its two limiting points on the boundary at infinity. In the Poincare disc model these lie on the unit circle; in the upper half-plane model they lie on $\mathbb{R}\cup \{\infty \}$. These are boundary points, not points of the hyperbolic plane. Any two distinct ideal endpoints determine a unique hyperbolic line.

First obtain the hyperbolic circle in the upper half-plane. For centre $w=u+iv$, the fractional-linear map $\zeta =(z-w)/(z-\overline{w})$ takes the Poincare half-plane model isometrically to the Poincare disc model, sending $w$ to zero. Direct differentiation transforms the metric to $4|d\zeta {|}^2/(1-|\zeta {|}^2{)}^2$. A radial segment from zero to modulus $\rho$ has length $2\mathrm{artanh}\rho$. Any path to that modulus has at least this length, by $|d\zeta |\ge |d\rho |$; thus it is the hyperbolic distance.

A circle of hyperbolic radius $R$ therefore satisfiesSquaring and rearranging givesHence it is a circle in Euclidean geometry, with Euclidean centre $u+iv\cosh R$ and radius $v\sinh R$. Its lowest point has height $v{e}^{-R}>0$, so it stays entirely in the upper half-plane. The centres differ whenever $R>0$: for example, the hyperbolic circle centred at $i$ has Euclidean centre $i\cosh R$, rather than $i$.

For hyperbolic side-side-side congruence, use the standard fact that hyperbolic isometries act transitively on ordered point pairs with the same positive separation, and that reflection in a hyperbolic line is an isometry. Map $A,B$ to $A^{\prime },B^{\prime }$. The image of $C$ has prescribed distances $b$ from $A^{\prime }$ and $a$ from $B^{\prime }$, just as $C^{\prime }$ does. There are at most two such points, interchanged by reflection in the line $A^{\prime }{B}^{\prime }$.

For completeness, normalize $A^{\prime },B^{\prime }$ to points on the positive imaginary axis. Their distance circles are Euclidean circles with centres on that axis by the formula above. Subtracting their equations determines one height $y$, and then the abscissa is determined up to its sign. Reflection $z\mapsto -\overline{z}$ interchanges these choices. Therefore either the chosen isometry or its composition with that reflection maps all three labelled vertices correctly. Equal three side lengths imply a hyperbolic isometry between the triangles.

Two sides and an unspecified equal angle do not suffice. Here is an explicit hyperbolic side-side-angle ambiguity. Fix the angle at $A$ to be $\pi /6$, let $\cosh a=3/2$ and $\cosh b=2$, and chooseBoth are positive and distinct. The hyperbolic cosine rule at $A$ becomesSetting $u=e^c$, the condition is $u^2-6u+7=0$, whose two roots are $3\pm \sqrt{2}$. Construct each triangle from sides $b,c_{\pm }$ meeting at angle $\pi /6$; its opposite side is the same $a$ by the cosine rule. The triangles therefore share $a,b,A$ but have different third sides and cannot be isometric. If the common angle is specifically the included angle between the two given sides, the cosine rule determines the third side and side-side-side congruence does apply.

The Poincare disc model is the open unit disc $D=\{z=x+iy:|z|<1\}$ equipped with the Riemannian metricThis normalization gives Gaussian curvature $-1$. In particular, a Euclidean curve has hyperbolic length $\int 2|dz|/(1-|z{|}^2)$; the boundary circle is infinitely far away in hyperbolic distance.

The radial segment is a geodesic of the Poincare disc model. Its hyperbolic length isOne can also verify that it minimizes length of a curve: along any piecewise smooth curve from zero to radius $r$, the Euclidean speed is at least the absolute radial speed. Integrating $2|dr|/(1-r^2)$ is at least the absolute change in $\log ((1+r)/(1-r))$, with equality on the radial segment. Thus the answer is independent of $\theta$.

Use an isometry of the Poincare disc model to move the centre to zero. A hyperbolic disc of radius $\rho$ then has Euclidean radius $R=\tanh (\rho /2)$ by the hyperbolic distance formula. The area element of a surface of the Riemannian metric is $4rdrd\theta /(1-r^2{)}^2$, soTherefore the area is independent of the centre, and

Use curvature $-1$. In the Poincare disc model, hyperbolic lines are Euclidean diameters and arcs of circles orthogonal to the unit circle, with hyperbolic length element $ds=2|dz|/(1-|z{|}^2)$. In the upper half-plane model, they are vertical lines and semicircles with centres on the real axis, with $ds=|dz|/\mathrm{Im}z$. Both displayed hyperbolic metrics are positive scalar multiples of the Euclidean metric, so their angles agree with Euclidean angles. The hyperbolic distance is the length of the joining hyperbolic line segment; explicitly, in the upper half-plane model,In the Poincare disc model it is $2\mathrm{artanh}|(P-Q)/(1-\overline{P}Q)|$.

For distinct $P,Q$, a isometry sends their joining hyperbolic line to the imaginary axis, so their images are $ip,iq$ with $p,q>0$. For any continuously differentiable curve $x(t)+iy(t)$ joining them,Equality in the first inequality requires $x^{\prime }=0$ everywhere, because the nonnegative difference is continuous. Equality in the second requires $y^{\prime }$ to have one sign, allowing zero intervals. Thus equality holds precisely for a monotone reparametrisation of the joining hyperbolic segment. Conversely every such reparametrisation gives equality. For $P=Q$, equality means length zero and the constant curve; monotonicity is understood non-strictly.

Two distinct hyperbolic lines are parallel hyperbolic lines if they are disjoint in the plane and have exactly one common ideal endpoint; they are ultraparallel hyperbolic lines if they are disjoint and have no common ideal endpoint. To prove the common perpendicular of ultraparallel hyperbolic lines theorem, send one line to the imaginary axis. An ultraparallel hyperbolic lines second line can, after reflection if necessary, be written as a semicircle with centre $c>0$ and radius $r$ satisfying $c>r$. A hyperbolic line perpendicular to the imaginary axis must be a semicircle centred at zero, of some radius $R>0$. The Euclidean condition for its orthogonality to the second circle isThis has exactly one positive solution, proving existence and uniqueness. Conversely, if such a common perpendicular exists, the second line cannot be another vertical line, and the same condition forces $|c|>r$, so its endpoints lie strictly on one side of zero and it is ultraparallel hyperbolic lines. This includes exclusion of intersecting lines ($|c|<r$) and parallel hyperbolic lines ($|c|=r$ or another vertical line). The statement concerns distinct lines: a line coincident with itself would have many perpendiculars.

A horocycle in the upper half-plane model is either a Euclidean circle tangent to the real axis from above, with the tangent point as its ideal centre of a horocycle, or a horizontal line $y=h>0$, whose ideal centre of a horocycle is infinity. A isometry sending this centre to infinity sends the horocycle to a horizontal line. The hyperbolic lines meeting that horizontal line orthogonally are exactly the vertical lines; therefore the hyperbolic lines orthogonal to a horocycle are exactly those with its ideal centre as an endpoint.

If two horocycles have distinct horocycle centres, the unique hyperbolic line with those two ideal endpoints meets both orthogonally. If they have the same horocycle centre, send it to infinity: both become horizontal lines and every vertical hyperbolic line meets both orthogonally. HenceIn the other case there are infinitely many; intersection or tangency of the two horocycles does not change this classification.

The Poincare disc model isThis Riemannian metric has constant Gaussian curvature $-1$.

For $a\in D$ and $|\eta |=1$, the Möbius transformationis an isometry of the disc, and every orientation-preserving disc isometry has this form. In particular, $T_{z_1,1}$ sends $z_1$ to zero and $z_2$ to a point of modulusRotations are also isometries, so it remains only to integrate the metric along a radial geodesic from $0$ to $\rho$:Thus the Hyperbolic distance in the Poincare disc is