Abstract
We provide a new proof of the elementary geometric theorem on the existence and uniqueness of cyclic polygons with prescribed side lengths. The proof is based on a variational principle involving the central angles of the polygon as variables. The uniqueness follows from the concavity of the target function. The existence proof relies on a fundamental inequality of information theory. We also provide proofs for the corresponding theorems of spherical and hyperbolic geometry (and, as a byproduct, in \(1+1\) spacetime). The spherical theorem is reduced to the Euclidean one. The proof of the hyperbolic theorem treats three cases separately: Only the case of polygons inscribed in compact circles can be reduced to the Euclidean theorem. For the other two cases, polygons inscribed in horocycles and hypercycles, we provide separate arguments. The hypercycle case also proves the theorem for “cyclic” polygons in \(1+1\) spacetime.
Keywords
 Variational Principle
 Straight Line Segment
 Hyperbolic Geometry
 Affine Plane
 Short Geodesic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download chapter PDF
1 Introduction
This article is concerned with cyclic polygons, i.e., convex polygons inscribed in a circle. We will provide a new proof of the following elementary theorem in Sect. 2.
Theorem 1.1
There exists a Euclidean cyclic polygon with \(n\ge 3\) sides of lengths \(\ell _{1},\ldots ,\ell _n\in \mathbb R_{>0}\) if and only if they satisfy the polygon inequalities
and this cyclic polygon is unique.
Our proof involves a variational principle with the central angles as variables. The variational principle has a geometric interpretation in terms of volume in 3dimensional hyperbolic space (see Remark 2.6). Another striking feature of our proof is the use of a fundamental inequality of information theory:
Theorem
(Information Inequality) Let \(p=(p_1, \ldots , p_m)\) and \(q=(q_1, \ldots , q_m)\) be discrete probability distributions, then
and equality holds if and only if \(p=q\).
The left hand side of inequality (2) is called the Kullback–Leibler divergence or information gain of q from p, also the relative entropy of p with respect to q. The inequality follows from the strict concavity of the logarithm function (see, e.g., Cover and Thomas [3]).
In Sects. 3 and 4 we provide proofs for nonEuclidean versions of Theorem 1.1. The spherical version requires an extra inequality:
Theorem 1.2
There exists a spherical cyclic polygon with \(n\ge 3\) sides of lengths \(\ell _{1},\ldots ,\ell _n\in \mathbb R_{>0}\) if and only if they satisfy the polygon inequalities (1) and
and this cyclic spherical polygon is unique.
Inequality (3) is necessary because the perimeter of a circle in the unit sphere cannot be greater than \(2\pi \), and the perimeter of the inscribed polygon is a lower bound. We require strict inequality to exclude polygons that degenerate to great circles (with all interior angles equal to \(\pi \)).
In Sect. 3, we prove Theorem 1.2 by a straightforward reduction to Theorem 1.1: connecting the vertices of a spherical cyclic polygon by straight line segments in the ambient Euclidean \(\mathbb R^{3}\), one obtains a Euclidean cyclic polygon.
In the case of hyperbolic geometry, the notion of “cyclic polygon” requires additional explanation. We call a convex hyperbolic polygon cyclic if its vertices lie on a curve of constant nonzero curvature. Such a curve is either

a hyperbolic circle if the curvature is greater than 1,

a horocycle if the curvature is equal to 1,

a hypercycle, i.e., a curve at constant distance from a geodesic if the curvature is strictly between 0 and 1.
Theorem 1.3
There exists a hyperbolic cyclic polygon with \(n\ge 3\) sides of lengths \(\ell _{1},\ldots ,\ell _n\in \mathbb R\) if and only if they satisfy the polygon inequalities (1), and this cyclic hyperbolic polygon is unique.
We prove this theorem in Sect. 4. The case of hyperbolic polygons inscribed in circles can be reduced to Theorem 1.1 by considering the hyperboloid model of the hyperbolic plane: Connecting the vertices of a hyperbolic polygon inscribed in a circle by straight line segments in the ambient \(\mathbb R^{2,1}\), one obtains a Euclidean cyclic polygon.
The cases of polygons inscribed in horocycles and hypercycles cannot be reduced to the Euclidean case because the intrinsic geometry of the affine plane of the polygon is not Euclidean: In the horocycle case, the scalar product is degenerate with a 1dimensional kernel. Hence, this case reduces to the case of degenerate polygons inscribed in a straight line. It is easy to deal with. In the hypercycle case, the scalar product is indefinite. This case reduces to polygons inscribed in hyperbolas in flat \(1+1\) spacetime. The variational principle of Sect. 2 can be adapted for this case (see Sect. 5), but the corresponding target function fails to be concave or convex. It may be possible to base a proof of existence and uniqueness on this variational principle, perhaps using a \(\min \)\(\max \)argument, but we do not pursue this route in this article. Instead, we deal with polygons inscribed in hypercycles using a straightforward analytic argument.
Some history, from ancient to recent. Theorems 1.1–1.3 belong to the circle of results connected with the classical isoperimetric problem. As the subject is ancient and the body of literature is vast, we can only attempt to provide a rough historical perspective and ask for leniency regarding any essential work that we fail to mention.
The early history of the relevant results about polygons is briefly discussed by Steinitz [13, Sect. 16]. Steinitz goes on to discuss analogous results for polyhedra, a topic into which we will not go. A more recent and comprehensive survey of proofs of the isoperimetric property of the circle was given by Blåsjö [2].
It was known to Pappus that the regular ngon had the largest area among ngons with the same perimeter, and that the area grew with the number of sides. This was used to argue for the isoperimetric property of the circle:
Theorem 1.4
(Isoperimetric Theorem) Among all closed planar curves with given length, only the circle encloses the largest area.
It is not clear who first stated the following theorem about polygons:
Theorem 1.5
(Secant Polygon) Among all ngons with given side lengths, only the one inscribed in a circle has the largest area.
This was proved by Moula [8], by L’Huilier [5] (who cites Moula), and by Steiner [12] (who cites L’Huilier). L’Huilier also proved the following theorem:
Theorem 1.6
(Tangent Polygon) Among all convex ngons with given angles, only the one circumscribed to a circle has the largest area when the perimeter is fixed and and smallest perimeter when the area is fixed.
Steiner also proves versions of Theorems 1.5 and 1.6 for spherical polygons. None of these authors deemed it necessary to prove the existence of a maximizer, an issue that became generally recognized only after Weierstrass [14]. For polygons, the existence of a maximizer follows by a standard compactness argument.
Blaschke [1, Sect. 12], notes that the quadrilateral case (\(n=4\)) of Theorem 1.5 can easily be deduced from the Isoperimetric Theorem 1.4 using Steiner’s fourhinge method. Conversely, one can similarly deduce Theorem 1.4 and the general Theorem 1.5 from the quadrilateral case of Theorem 1.5. He remarks that the quadrilateral case of Theorem 1.5 can be proved directly by deriving the following equation for the area A of a quadrilateral with sides \(\ell _{k}\):
where \(s=(\ell _{1}+\ell _{2}+\ell _{3}+\ell _{4})/2\) is half the perimeter, and \(\theta \) is the arithmetic mean of two opposite angles.
Neither Blaschke, nor Steiner, L’Huilier, or Moula provide an argument for the uniqueness of the maximizer in Theorem 1.5 or 1.6. It seems that even after Weierstrass, the fact that the sides determine a cyclic polygon uniquely was considered too obvious to deserve a proof.
Penner [9, Theorem 6.2] gives a complete proof of Theorem 1.1. He proceeds by showing that there is one and only one circumcircle radius that allows the construction of a Euclidean cyclic polygon with given sides (provided they satisfy the polygon inequalities).
Schlenker [11] proves Theorems 1.2 and 1.3, and also the isoperimetric property of nonEuclidean cyclic polygons, i.e., the spherical and hyperbolic versions of Theorem 1.5. His proofs of the isoperimetric property are based on the remarkable equation
characterizing the change of angles \(\alpha _{i}\) of a spherical or hyperbolic polygon under infinitesimal deformations with fixed side lengths. Here, \(v_{i}\in \mathbb R^{3}\) are the position vectors of the polygon’s vertices in the sphere or in the hyperboloid, respectively. To prove the uniqueness of spherical and hyperbolic cyclic polygons with given sides he uses separate arguments similar to Penner’s.
2 Euclidean Polygons. Proof of Theorem 1.1
To construct an inscribed polygon with given side lengths \(\ell =(\ell _{1},\ldots ,\ell _n)\in \mathbb R_{>0}^n\) (see Fig. 1) is equivalent to finding a point \((\alpha _1,\ldots \alpha _{n})\) in the set
satisfying, for some \(R\in \mathbb R\) and for all \(k\in \{1,\ldots ,n\}\),
This problem admits the following variational formulation. Define the function \(f_\ell :\mathbb R^n \rightarrow \mathbb R\) by
where \(\text {Cl}_2\) denotes Clausen’s integral [4]:
Clausen’s integral is closely related to Milnor’s Lobachevsky function [6]:
The function \(\text {Cl}_2:\mathbb R\rightarrow \mathbb R\) is continuous, \(2\pi \)periodic, and odd. It is differentiable except at integer multiples of \(2\pi \) where the graph has vertical tangents (see Fig. 2).
Proposition 2.1
(Variational Principle) A point \(\alpha \in D_n\) is a critical point of \(f_\ell \) restricted to \(D_{n}\) if and only if there exists an \(R\in \mathbb R\) satisfying equations (7).
Proof
A point \(\alpha \in D_n\) is a critical point of \(f_\ell \) restricted to \(D_n\) if and only if there exists a Lagrange multiplier \(\log R\) such that \(\nabla f_\ell (\alpha )=(\log R)\nabla g(\alpha )\) for the constraint function \(g(\alpha )=\sum \alpha _k\), i.e.,
Since \(0<\alpha _k<2\pi \) we may omit the absolute value signs, obtaining equations (7). \(\square \)
Thus, to prove Theorem 1.1, we need to show that \(f_\ell \) has a critical point in \(D_n\) if and only if the polygon inequalities (1) are satisfied, and that this critical point is then unique. The following proposition and corollary deal with the uniqueness claim.
Proposition 2.2
The function \(f_\ell \) is strictly concave on \(D_n\).
Corollary 2.3
If \(f_\ell \) has a critical point in \(D_n\), it is the unique maximizer of \(f_{\ell }\) in the closure \( \bar{D}_n=\{\alpha \in \mathbb R_{\ge 0}^n \;\;\sum \alpha _k = 2\pi \}. \)
This proves the uniqueness claim of Theorem 1.1.
Proof
(of Proposition 2.2) We will show that
is strictly concave on \(D_{n}\). Since \(V_{n}\) differs from \(f_\ell \) by a linear function, this is equivalent to the claim.
Rivin [10, Theorem 2.1] showed that \(V_{3}\) is strictly concave on \(D_{3}\). For \(n>3\) we proceed by induction on n by “cutting off a triangle”: first, note the obvious identity
Since Clausen’s integral is \(2\pi \)periodic and odd,
so
Hence, if \(V_{n1}\) and \(V_3\) are strictly concave on \(D_{n1}\) and \(D_3\), respectively, the claim for \(V_n\) follows. \(\square \)
Since \(f_{\ell }\) attains its maximum on the compact set \(\bar{D}_{n}\), it remains to show that the maximum is attained in \(D_{n}\) if and only if the polygon inequalities (1) are satisfied. This is achieved by the following Propositions 2.4 and 2.5.
Note that \(\bar{D}_{n}\) is an \((n1)\)dimensional simplex in \(\mathbb R^{n}\). Its vertices are the points \(2\pi e_{1},\ldots ,2\pi e_{n}\), where \(e_{k}\) are the canonical basis vectors of \(\mathbb R^{n}\). The relative boundary of the simplex \(\bar{D}_n\) is
Proposition 2.4
If the function \(f_\ell \) attains its maximum on the simplex \(\bar{D}_{n}\) at a boundary point \(\alpha \in \partial \bar{D}_{n}\), then \(\alpha \) is a vertex.
Proof
Suppose \(\alpha \in \partial \bar{D}_{n}\) is not a vertex. We need to show that \(f_{\ell }\) does not attain its maximum at \(\alpha \). This follows from the fact that the derivative of \(f_{\ell }\) in a direction pointing towards \(D_{n}\) is \(+\infty \).
Indeed, suppose \(v\in \mathbb R_{\ge 0}^{n}\), \(\sum _{k}v_{k}=0\) and \(v_{k}>0\) if \(\alpha _{k}=0\). Then \(\alpha +tv\in D_{n}\) for small enough \(t>0\), and because \(\lim _{x\rightarrow 0}\text {Cl}_2'(x)=+\infty \),
Hence \(f_{\ell }(\alpha +tv)>f_{\ell }(\alpha )\) for small enough \(t>0\). \(\square \)
Proposition 2.5
The function \(f_\ell \) attains its maximum on \(\bar{D}_{n}\) at a vertex \(2\pi e_{k}\) if and only if
Proof
By symmetry, it is enough to consider the case \(k=n\), i.e., to show that the function \(f_\ell \) attains its maximum on \(\bar{D}_{n}\) at the vertex \((0,\ldots ,0,2\pi )\) if and only if \(\ell _{n}\ge \sum _{k=1}^{n1}\ell _{k}\). To this end, we will calculate the directional derivative of \(f_{\ell }\) in directions \(v\in \mathbb R^{n}\) pointing inside \(D_{n}\), i.e., satisfying
Since we are only interested in the sign, we may assume v to be scaled so that
Clausen’s integral has the asymptotic behavior
This can be seen by considering
Using (14) and the \(2\pi \)periodicity of Clausen’s integral, one obtains
and hence
Now we invoke the information inequality (2) for the discrete probability distributions \((v_1,\dots ,v_{n1})\) and \((\ell _1,\dots ,\ell _{n1})/\sum _{k=1}^{n1} \ell _k\). Thus,
If \(\ell _n \ge \sum _{k=1}^{n1} \ell _k\), then
With the concavity of \(f_{\ell }\) (Proposition 2.2), this implies that \(f_\ell \) attains its maximum on \(\bar{D}_{n}\) at \((0, \ldots , 0, 2\pi )\).
If, on the other hand, \(\ell _n < \sum _{k=1}^{n1} \ell _k\), then we obtain, for \(v_k=\ell _k/\sum _{m=1}^{n1} \ell _m\),
This implies that \(f_\ell \) does not attain its maximum at \((0, \ldots , 0, 2\pi )\). \(\square \)
This completes the proof of Theorem 1.1.
Remark 2.6
The function \(V_{n}\) has the following interpretation in terms of hyperbolic volume [6]. Consider a Euclidean cyclic ngon with central angles \(\alpha _{1},\ldots ,\alpha _{n}\). Imagine the Euclidean plane of the polygon to be the ideal boundary of hyperbolic 3space in the Poincaré upper halfspace model. Then the vertical planes through the edges of the polygon and the hemisphere above its circumcircle bound a hyperbolic pyramid with vertices at infinity. Its volume is \(\frac{1}{2}V_{n}(\alpha _{1},\ldots ,\alpha _{n})\). Together with Schläfli’s differential volume equation (rather, Milnor’s generalization that allows for ideal vertices [7]), this provides another way to prove Proposition 2.1.
3 Spherical Polygons. Proof of Theorem 1.2
The polygon inequalities (1) are clearly necessary for the existence of a spherical cyclic polygon because every side is a shortest geodesic. That inequality (3) is also necessary was already noted in the introduction. It remains to show that these inequalities are also sufficient, and that the polygon is unique.
We reduce the spherical case to the Euclidean one as shown in Fig. 3. Connecting the vertices of a spherical cyclic polygon with line segments in the ambient Euclidean space, one obtains a Euclidean cyclic polygon whose circumradius is smaller than 1. Conversely, every Euclidean polygon inscribed in a circle of radius less than 1 corresponds to a unique spherical cyclic polygon. The spherical side lengths \(\ell \) are related to the Euclidean lengths \(\bar{\ell }\) by
It remains to show the following two propositions:
Proposition 3.1
If the spherical lengths \(\ell \in \mathbb R_{>0}^{n}\) satisfy the inequalities (1) and (3), then the Euclidean lengths \(\bar{\ell }\) defined by (15) satisfy the inequalities (1) as well. By Theorem 1.1 there is then a unique Euclidean cyclic polygon \(P_{\bar{\ell }}\) with side lengths \(\bar{\ell }\).
Proposition 3.2
The circumradius \(\bar{R}\) of the polygon \(P_{\bar{\ell }}\) of Proposition 3.1 is strictly less than 1.
We will use the following estimate in the proof of Proposition 3.1:
Lemma 3.3
(Sum of Sines Estimate) If \(\beta _1, \ldots , \beta _n\in \mathbb R_{\ge 0}\) satisfy \(\sum _{k=1}^n \beta _k \le \pi \), then
Proof
(of Lemma 3.3) By induction on n, the base case \(n=1\) being trivial. For the inductive step, use the addition theorem,
and note that the cosines are \(\le 1\). \(\square \)
Remark 3.4
The statement of Lemma 3.3 can be strengthened. Equality holds in (16) if and only if at most one \(\beta _{k}\) is greater than zero. This is easy to see, but we do not need this stronger statement in the following proof.
Proof
(of Proposition 3.1) Suppose \(\ell _1, \ldots , \ell _n\in \mathbb R_{>0}\) satisfy the polygon inequalities (1) and (3). We need to show that \(\bar{\ell }_1, \ldots , \bar{\ell }_n\) defined by (15) satisfy
To this end, we will show that
from which inequality (17) follows by Lemma 3.3. To prove inequality (18), we consider two cases separately.

\(\sum _{i\not =k}\ell _i \le \pi \). Inequality (18) simply follows from the polygon inequality \(\ell _{k}<\sum _{i\not =k}\ell _{i}\) and the monotonicity of the sine function on the closed interval \([0,\frac{\pi }{2}]\).

\(\sum _{i\not =k}\ell _i \ge \pi \). Note that \(2\pi >\sum _i\ell _i\) implies \(2\pi \ell _{k}>\sum _{i\not =k}\ell _i\), and hence
$$\begin{aligned} 2\pi>2\pi \ell _{k}>\sum _{i\not =k}\ell _{i}\ge \pi . \end{aligned}$$(19)Inequality (18) follows from \(\sin \frac{\ell _k}{2}=\sin (\pi \frac{\ell _k}{2})\) and the monotonicity of the sine function on the closed interval \([\frac{\pi }{2},\pi ]\).
This completes the proof of (18) and hence the proof of Proposition 3.1. \(\square \)
Proof
(of Proposition 3.2) Let \(\alpha _{k}\) be the central angles of the Euclidean cyclic polygon \(P_{\bar{\ell }}\). Then
by (7) and (15). Note that \(\alpha _{k}\) are the central angles of both the Euclidean and the spherical polygon (provided it exists). We consider two cases separately.
First, suppose that \(\alpha _k \le \pi \) for all k. Since \( \sum _k \ell _k < 2 \pi = \sum _k \alpha _k\), there is some k such that \(\ell _k < \alpha _k\). Then \(\sin \frac{\ell _k}{2} < \sin \frac{\alpha _k}{2}\), and equation (20) implies that \(\bar{R} < 1\).
Otherwise, since \(\sum _k\alpha _k = 2\pi \), there is exactly one i such that \(\alpha _i > \pi \), and \(\alpha _k < \pi \) for all \(k\ne i\). By symmetry, it is enough to consider the case
For future reference, we note that \(\alpha _1 > \pi \) implies that \(\bar{\ell }_{1}\) is the longest side of \(P_{\bar{\ell }}\). (Use (20) and the monotonicity of the sine function.)
We will show \(\bar{R}<1\) by induction on n. First, assume \(n=3\). Then (18) says
By (20) and using \(2\pi \alpha _{1}=\alpha _{2}+\alpha _{3}\), we have
and
For at least one \(k \in \{2,3\}\), \(\cos \frac{\alpha _k}{2} < \cos \frac{\ell _k}{2}\) and hence \(\sin \frac{\alpha _{k}}{2} > \sin \frac{\ell _{k }}{2}\). Equation (20) implies \(\bar{R}<1\).
Now assume that \(\bar{R}<1\) has already been shown if \(P_{\bar{\ell }}\) has at most n sides. Suppose \(P_{\bar{\ell }}\) has \(n+1\) sides. The idea of the following argument is to cut off a triangle with sides \(\bar{\ell }_{n}\), \(\bar{\ell }_{n+1}\), and \(\bar{\lambda } = 2\bar{R}\sin \frac{\alpha _n + \alpha _{n+1}}{2}\). Since \(\bar{\lambda }\le \bar{\ell }_{1}\) (the longest side), and \(\bar{\ell }_{1}\le 2\) by (15), we may define \(\lambda = 2 \arcsin \frac{ \bar{\lambda }}{2}\). Now assume \(\bar{R} \ge 1\). Then, by the inductive hypothesis, the polygon inequalities (1) or (3) are violated for the cutoff triangle and the remaining ngon. Inequality (3) cannot be violated because it was assumed to hold for \(\ell _{1},\ldots ,\ell _{n+1}\). Hence,
This implies \(\ell _1 \ge \ell _2 + \dots + \ell _{n+1}\). Conversely, if (1) and (3) hold, then \(\bar{R} < 1\). This completes the proof of Proposition 3.2. \(\square \)
4 Hyperbolic Polygons. Proof of Theorem 1.3
The polygon inequalities (1) are clearly necessary for the existence of a hyperbolic cyclic polygon, because every side is a shortest geodesic. It remains to show that they are also sufficient, and that the polygon is unique, i.e., Proposition 4.2. First, we review some basic facts from hyperbolic geometry.
As in the spherical case (Sect. 3), we will connect vertices by straight line segments in the ambient vector space. But instead of the sphere, we consider the hyperbolic plane in the hyperboloid model,
where \(\mathbb R^{2,1}\) denotes the vector space \(\mathbb R^{3}\) equipped with the scalar product
and lengths and angles in \(\mathbb H^{2}\) are measured using the Riemannian metric induced by this scalar product.
Straight lines (i.e., geodesics) in \(\mathbb H^{2}\) are the intersections of \(\mathbb H^{2}\) with 2dimensional subspaces of \(\mathbb R^3\). The length \(\ell \) of the geodesic segment connecting points \(p,q\in \mathbb H^{2}\) is determined by
The length of the straight line segment connecting points \(p,q\in \mathbb H^2\) in the ambient \(\mathbb R^{2,1}\) is
This chordal length \(\bar{\ell }\) and the hyperbolic distance \(\ell \) are related by
An affine plane in \(\mathbb R^{2,1}\) is called spacelike, lightlike, or timelike, if the restriction of the scalar product \(\langle \cdot ,\cdot \rangle \) to (the tangent space of) the affine plane is positive definite, positive semidefinite, or indefinite, respectively. In terms of the standard Euclidean metric on \(\mathbb R^{3}\), a plane is spacelike, lightlike, or timelike if its slope is less than, equal to, or greater than \(45^{\circ }\).
A curve of intersection of \(\mathbb H^{2}\) with an affine plane in \(\mathbb R^{2,1}\) that does not contain 0 is a hyperbolic circle, a horocycle, or a hypercycle, depending on whether the plane is spacelike, lightlike, or timelike.
Thus, connecting the vertices of a hyperbolic cyclic polygon by straight line segments in the ambient \(\mathbb R^{2,1}\), one obtains a planar polygon in \(\mathbb R^{2,1}\), but the intrinsic geometry of the plane will only be Euclidean if the hyperbolic polygon is inscribed in a circle (see Fig. 4). If the polygon is inscribed in a horocycle or hypercycle, then the geometry of the plane will be degenerate with signature \((+,0)\) or a \(1+1\)spacetime with signature \((+,)\), respectively.
Proposition 4.1
Let \(P_{\ell }\) be a hyperbolic cyclic polygon with side lengths \(\ell _{1},\ldots ,\ell _n\in \mathbb R_{>0}\), and let \(\bar{\ell }_{k}\) be the chordal lengths (23). If \(P_{\ell }\) is inscribed in

(i)
a circle then
$$\begin{aligned} \bar{\ell }_{k}<\sum _{\begin{array}{c} i=1\\ i\not =k \end{array}}^{n}\bar{\ell }_{i} \quad \textit{for} \, \textit{all} \, k. \end{aligned}$$(24) 
(ii)
a horocycle then
$$\begin{aligned} \bar{\ell }_{k}=\sum _{\begin{array}{c} i=1\\ i\not =k \end{array}}^{n}\bar{\ell }_{i} \quad \textit{for} \, \textit{one} \, k. \end{aligned}$$(25) 
(iii)
a hypercycle then
$$\begin{aligned} \bar{\ell }_{k}>\sum _{\begin{array}{c} i=1\\ i\not =k \end{array}}^{n}\bar{\ell }_{i} \quad \textit{for}\, \textit{one} \, k. \end{aligned}$$(26)
Proof
(i) If \(P_{\ell }\) is inscribed in a circle, then the chordal polygon obtained by connecting the vertices of \(P_{\ell }\) by straight line segments in \(\mathbb R^{2,1}\) is a Euclidean polygon. Hence, its side lengths \(\bar{\ell }\) satisfy (24).
(ii) If \(P_{\ell }\) is inscribed in a horocycle, then the chordal length \(\bar{\ell }_{k}\) of a side is equal to the length of the arc of the horocycle between its vertices (see Fig. 5). Since one horocycle arc comprises all others, this implies (25).
(iii) If \(P_{\ell }\) is inscribed in a hypercycle at distance R from a geodesic g, then the chordal lengths \(\bar{\ell }_k\), the hypercycle “radius” R, and the distances \(a_{k}\) between the foot points of the perpendiculars from the vertices to g (see Fig. 6) are related by
Since one of the segments of g comprises all others,
where we have used the inequality \(\sinh (x+y)>\sinh (x)+\sinh (y)\), which holds for positive x, y. This follows immediately from the addition theorem for the hyperbolic sine function.
This completes the proof of Proposition 4.1. \(\square \)
Proposition 4.2
If \(\ell \in \mathbb R^n_{>0}\) satisfies the polygon inequalities (1), then there exists a unique hyperbolic cyclic polygon with these side lengths.
Proof
Suppose \(\ell \in \mathbb R^n_{>0}\) satisfies the polygon inequalities (1). Let \(\bar{\ell }\) be the corresponding chordal lengths (23). We will treat each case of Proposition 4.1 separately. In each case, we will tacitly use Proposition 4.1 and its proof. Our treatment of case (iii) is analogous to Penner’s proof [9] of Theorem 1.1 (his Theorem 6.2).
(i) If the chordal lengths \(\bar{\ell }\) satisfy condition (24), then the existence and uniqueness of a hyperbolic cyclic polygon with side lengths \(\ell \) follows from the existence and uniqueness of a Euclidean cyclic polygon with side lengths \(\bar{\ell }\), i.e., from Theorem 1.1 (see Fig. 4).
(ii) If the chordal lengths \(\bar{\ell }\) satisfy condition (25), then the corresponding hyperbolic cyclic polygon can be constructed by marking off the lengths \(\bar{\ell }_{i}\) for \(i\not =k\) along a horocycle (see Fig. 5). To see the uniqueness claim, note that all horocycles are congruent.
(iii) It remains to consider the case that the chordal lengths \(\bar{\ell }\) satisfy condition (26). For simplicity, we will assume that \(\ell _{n}\) is the largest side length. Then \(\bar{\ell }_{n}\) is the largest chordal length and condition (26) says
Now suppose \(P_{\ell }\) is a hyperbolic polygon with side lengths \(\ell \) that is inscribed in a hypercycle at distance R from its geodesic g, and let
Then the distances \(a_{k}\) between the foot points (see Fig. 6) satisfy
Using (27), one obtains
Conversely, if, for given \(\ell \), a number \(\bar{R}>1\) satisfies (30) then R defined by (29) is the correct hypercycle distance. More precisely, one can then construct a hyperbolic cyclic polygon with side lengths \(\ell \) by marking off the distances \(a_{1},\ldots ,a_{n1}\) determined by (27) along a geodesic and intersect the perpendiculars in the marked points with a hypercycle at distance R (see Fig. 6).
It remains to show that there is exactly one \(\bar{R}>1\) satisfying (30). To this end, consider the function
We need to show that \(\varPhi \) has exactly one zero in the interval \((1,\infty )\). Using (23), we see
For \(x\rightarrow \infty \),
so
By continuity, \(\varPhi \) has at least one zero in the interval \((1,\infty )\).
Finally, we will show that the derivative
is positive at the positive zeroes of \(\varPhi \). This implies that \(\varPhi \) has at most one zero in \(\mathbb R_{>0}\). Let us define
so
and
The claim follows from the inequality
which holds for \(m\ge 2\) and positive numbers \(a_{j}\). (Use induction on m and the addition theorem for \(\tanh \) for the base case \(m=2\).)
This concludes the proof of Proposition 4.2. \(\square \)
5 Concluding Remarks on 1 + 1 Spacetime
The scalar product of \(\mathbb R^{1,1}\) is
and the length of a spacelike vector x is \(\ell =\sqrt{\langle x,x\rangle _{1,1}}\). The proof of Theorem 1.3 for polygons inscribed in hypercycles (Sect. 4) also proves the following theorem about “cyclic” polygons in \(1+1\) spacetime.
Theorem 5.1
There exists a polygon in \(\mathbb R^{1,1}\) with \(n\ge 3\) spacelike sides with lengths \(\ell _{1},\ldots ,\ell _n>0\) that is inscribed in one branch of a hyperbola \(\langle x,x\rangle _{1,1}=R^{2}\) if and only if
and this polygon is unique.
Without loss of generality, we will assume that the nth side is the longest, i.e., \(k=n\) in (35). Like in the Euclidean case (Sect. 2), the construction of such an inscribed polygon in \(\mathbb R^{1,1}\) is equivalent to the following analytic problem: Find a point \(a\in \mathbb R_{>0}^{n}\) satisfying
and
for some \(R\in \mathbb R\) and all \(k\in \{1,\ldots , n\}\).
This problem admits the following variational formulation. Define the function \(\varphi _{\ell }:\mathbb R^{n}\rightarrow \mathbb R\) by
where \(\text {Clh}_2\) denotes the “hyperbolic version” of Clausen’s integral,
(This notation is not standard.) The function \(\text {Clh}_2(x)\) can be expressed in terms of the real part of the dilogarithm function:
Like in the Euclidean case, one sees that \(a\in \mathbb R_{>0}^{n}\) is a critical point of \(\varphi _{\ell }\) under the constraint (36) if and only if there is an R satisfying equations (37). However, the function \(\varphi _{\ell }\) is neither concave nor convex on the subspace (36), so any proof of Theorem 5.1 (or the hypercycle case of Theorem 1.3) based on this variational principle would have to be more involved.
References
Blaschke, W.: Kreis und Kugel. Veit u. Co., Leipzig (1916)
Blåsjö, V.: The isoperimetric problem. Am. Math. Monthly 112(6), 526–566 (2005)
Cover, T.M., Thomas, J.A.: Elements of Information Theory. Wiley, New York (1991)
Lewin, L.: Polylogarithms and Associated Functions. NorthHolland Publishing Co., New YorkAmsterdam (1981)
L’Huilier, S.: De relatione mutua capacitatis et terminorum figurarum, geometrice considerata: seu de maximis et minimis. Michael Gröll, Warsaw (1782). http://dx.doi.org/10.3931/erara4049
Milnor, J.: Hyperbolic geometry: the first 150 years. Bull. Am. Math. Soc. (N.S.) 6(1), 9–24 (1982)
Milnor, J.: The Schläfli differential equality. In: Collected Papers, vol. 1, pp. 281–295. Publish or Perish Inc., Houston (1994)
Moula, F.: De maximis in figuris rectilineis. In: Commentarii Academiae Scientiarum Imperialis Petropolitanae, vol. 9, pp. 138–159. Typis Academiae, Petropolis (1737). http://www.archive.org/details/commentariiacade09impe
Penner, R.C.: The decorated Teichmüller space of punctured surfaces. Comm. Math. Phys. 113(2), 299–339 (1987)
Rivin, I.: Euclidean structures on simplicial surfaces and hyperbolic volume. Ann. Math. (2) 139(3), 553–580 (1994)
Schlenker, J.M.: Small deformations of polygons and polyhedra. Trans. Am. Math. Soc. 359(5), 2155–2189 (2007)
Steiner, J.: Sur le maximum et le minimum des figures dans le plan, sur la sphère, et dans l’espace en général. J. Reine Angew. Math. 24, 93–152, 190–250 (1842). http://dx.doi.org/10.1515/crll.1842.24.93
Steinitz, E.: Polyeder und Raumeinteilungen. In: Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, vol. 312, chap. IIIAB12. B. G. Teubner, Leipzig (1914–1931)
Weierstrass, K.: Mathematische Werke. VII. Vorlesungen über Variationsrechnung. Georg Olms Verlagsbuchhandlung, Hildesheim; Johnson Reprint Corp., New York (1967)
Acknowledgments
This research was supported by DFG SFB/TRR 109 “Discretization in Geometry and Dynamics”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is distributed under the terms of the Creative Commons AttributionNoncommercial 2.5 License (http://creativecommons.org/licenses/bync/2.5/) which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
The images or other third party material in this chapter are included in the work’s Creative Commons license, unless indicated otherwise in the credit line; if such material is not included in the work’s Creative Commons license and the respective action is not permitted by statutory regulation, users will need to obtain permission from the license holder to duplicate, adapt or reproduce the material.
Copyright information
© 2016 The Author(s)
About this chapter
Cite this chapter
Kouřimská, H., Skuppin, L., Springborn, B. (2016). A Variational Principle for Cyclic Polygons with Prescribed Edge Lengths. In: Bobenko, A. (eds) Advances in Discrete Differential Geometry. Springer, Berlin, Heidelberg. https://doi.org/10.1007/9783662504475_5
Download citation
DOI: https://doi.org/10.1007/9783662504475_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 9783662504468
Online ISBN: 9783662504475
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)