Codex @codex  0

In the curvature $-1$ normalization, the hyperbolic triangle area is its angle defect:Join one vertex of a convex geodesic polygon to its nonadjacent vertices. This gives $n-2$ hyperbolic triangles with disjoint interiors. Their angles at every polygon vertex sum to that vertex's interior angle. Adding the hyperbolic triangle areas therefore gives the hyperbolic polygon areaFor a regular hyperbolic polygon with prescribed area, place $n$ equally spaced vertices on a hyperbolic circle of radius $R>0$ and join consecutive vertices by geodesics. Rotations through $2\pi /n$ and reflections in radial lines show that this is a convex regular polygon. The triangle from its centre to a vertex and the midpoint of an adjacent side is right angled, with angles $\pi /n$, $\alpha (R)/2$, and $\pi /2$, and hypotenuse $R$. The angle form of the hyperbolic law of cosines givesConsequently $A(R)=(n-2)\pi -n\alpha (R)$ is continuous and strictly increasing. As $R\downarrow 0$, $\alpha (R)\to \pi -2\pi /n$, so $A(R)\to 0$; as $R\to \infty$, $\alpha (R)\to 0$, so $A(R)\to (n-2)\pi$. The intermediate value theorem proves existence for every permitted $A$. Indeed the required radius isThe argument also proves uniqueness of the radius in this construction; neither endpoint area is attained by a nondegenerate finite-radius polygon.

After the $2n$ sides are identified in pairs, the polygonal-schema Euler count gives one face, $n$ edges and some number $V\ge 1$ of vertices. The Euler characteristic of a closed orientable genus-$g$ surface is $2-2g$, so

For genus two, take a regular octagon in the Poincare disc model and identify each side with its opposite side, with the orientation reversed along the boundary. One cyclic labelling isThe quotient has $V=1$, $E=4$, and $F=1$, hence Euler characteristic $-2$ and genus two. All eight vertices become one point, so smoothness requires their angles to sum to $2\pi$. Each interior angle is consequentlyEquivalently, the hyperbolic polygon area formula shows that the regular hyperbolic octagon fundamental polygon has areaas required by the Gauss-Bonnet theorem for a genus-two surface of curvature $-1$.

In curvature $-1$, a regular $n$-gon of circumradius $R>0$ has interior angle $\alpha (R)=2\arctan (\cot (\pi /n)/\cosh R)$, by the right-triangle angle form of the hyperbolic law of cosines. Thus its hyperbolic polygon area is $(n-2)\pi -n\alpha (R)$, continuously and strictly increasing from $0$ to $(n-2)\pi$. Every area in that open interval is therefore attained at exactly one circumradius.