Closed chains of conics carrying poncelet triangles

We investigate closed chains of conics which carry Poncelet triangles. In particular, we show that every chain of conics which carries Poncelet triangles can be closed. Furthermore, for k=3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k=3$$\end{document} and k=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k=4$$\end{document} we show that there are closed chains of pairwise conjugate conics which carry Poncelet k-gons such that the contact points of each k-gon are the vertices of the next k-gon—such miraculous chains of conics do not exist for 5≤k≤23\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$5\le k\le 23$$\end{document}.


Introduction
In 1813, while Poncelet was in captivity as war prisoner in the Russian city of Saratov, he discovered his famous closing theorem which, in its simplest form, reads as follows (see Poncelet 1822): Let K and C be two conics in general position. Suppose there is a k-sided polygon inscribed in K and circumscribed about C. Then for any point P on K which is an exterior point of C, there exists a (possibly degenerate) k-sided polygon, also inscribed in K and circumscribed about C, which has P as one of its vertices. See for example Dragović and Radnović (2011) or Flatto (2009) for classical overviews about Poncelet's Theorem, or Halbeisen and Hungerbühler (2015) for a new elementary proof based only on Pascal's Theorem.
Recent years have seen a flourishing revitalization of Poncelet's closure theorem. We just mention some of these developments: Bos et al. (1987) gave a comprehensive overview reaching from the pre-history of Poncelet's Porism to the modern approaches using elliptic curves. In their paper they use the language of algebraic geometry to analyze steps in the proofs of Poncelet and Jacobi with the help of modern notation and methods. Del Centina (2016a, b) comments on the full range of the historical genesis of Poncelet's Theorem, its proofs, variants and relatives, and puts the results in a modern context. He does not miss to mention lesser known aspects like Nicola Trudi's approach or George Halphen's and Francesco Gerbaldi's discovery of a relation to continued fractions, or the applications of Poncelet's closure theorem and its generalizations to the theory of integrable systems, billiard dynamics, PDEs and statistical mechanics. In the further development of Poncelet's Porism, even very classical results came to new life: Chapple (1749) found a relation for the radii and the distance of the centers of two nested circles which carry Poncelet triangles. This was generalized to Poncelet n-gons without self-intersections for small values of n by Euler (1767), Fuss (1795) and Steiner (1827a, p. 96;1827b, p. 289). These results have recently been extended by Cieślak et al. (2013) who formulated a relation for 5-gons with self-intersections and found a link to the rotation index of bar billiards and special functions leading to a new series expansion of π . Another approach to Poncelet's Porism uses measure theory: King (1994) observed that there exists a measure on the conic which carries the vertices, which is invariant under tangential projection with respect to the inscribed conic. This easily proves Poncelet's Theorem. A similar construction has been proposed by Bryant (2010), and Cieślak and Mozgawa (2016) found a nice geometric interpretation of the corresponding measure on the inscribed conic. Vallès (2012) devised a new proof of Poncelet's Porism and of the related Darboux Theorem based upon vector bundles by exploiting a link between Schwarzenberger bundles and Poncelet curves.
In the present paper we investigate chains of conics G 0 , . . . , G n−1 such that for each 0 ≤ i ≤ n − 2 there is a Poncelet triangle i with vertices on G i whose sides are tangent to G i+1 . It will be shown in Sect. 4 that each such chain can be closed by adding a suitable conic G n , i.e., there is a Poncelet triangle n−1 with vertices on G n−1 and sides tangent to G n , and G n carries the vertices of a Poncelet triangle n whose sides are tangent to G 0 . The crucial point in the proof will be, that in specific cases, two conics can be projectively mapped simultaneously into two circles. This technical point is of some interest in its own right and will be investigated in Sect. 3.
We then show in Sect. 5 that there are closed chains of arbitrary length of conics G 0 , . . . , G n−1 carrying Poncelet triangles, such that the contact points of the Poncelet triangle i (having its vertices on G i ) are the vertices of the Poncelet triangle i+1 (having its vertices on G i+1 , where indices are taken modulo n).
Finally, in Sect. 6 we investigate two very peculiar chains of conics carrying Poncelet triangles or Poncelet quadrilaterals, respectively, which move synchronously while keeping contact with the neighbouring polygons. We also show that, up to projective transformations, these two chains are unique. Moreover, we show that there are no such chains of conics carrying k-gons for 5 ≤ k ≤ 23.

Preliminary
In order to make this text self-contained, we start with a brief description of the general setting and establish the notation. An extensive survey about algebraic representations of conics in the real projective plane can be found in Bix (2006) or Lord (2012).

Projective plane and conics
In this paper, we mostly work in the standard model of the real projective plane. For this, we consider R 3 and its dual space (R 3 ) * of linear functionals on R 3 . The set of points is Finally, we say a point [x] and a line [g] are incident if g(x) = 0, where we denoted equivalence classes by square brackets. In the sequel we will identify R 3 and (R 3 ) * by the standard inner product ·, · which allows to express the incidence through the relation x, g = 0.
As usual, a line [g] can be identified with the set of points which are incident with it. Vice versa a point [x] can be identified with the set of lines which pass through it. The affine plane R 2 is embedded in the present model of the projective plane by the map The projective general linear group PG L(3, R) consists of equivalence classes [A] of regular matrices A ∈ R 3×3 representing maps P → P, [x] → [Ax], where two matrices are equivalent, A 1 ∼ A 2 , if A 1 = λA 2 for some λ ∈ R.
A conic in the constructed model is an equivalence class of a regular, linear, selfadjoint map A : R 3 → R 3 with mixed signature, i.e., A has eigenvalues of both signs. It is convenient to say, a matrix A is a conic, instead of A is a representative of a conic. We may identify a conic by the set of points [x] such that x, Ax = 0, or by the set of lines [g] for which A −1 g, g = 0 (see below). Notice that, in this interpretation, a conic cannot be empty: Since A has positive and negative eigenvalues, there are points [ p], [q] with p, Ap > 0 and q, Aq < 0. Hence a continuity argument guarantees the existence of points [x] satisfying x, Ax = 0.
From now on, we will only distinguish in the notation between an equivalence class and a representative if necessary. Proof We show that the line Ax meets the conic A only in x. Suppose otherwise, that y x is a point on the conic, i.e., y, Ay = 0, and at the same time on the line Ax, i.e., y, Ax = 0. By assumption, we have x, Ax = 0. Note, that Ax Ay since A is regular, and Ay, x = 0 since A is selfadjoint. Hence x and y both are perpendicular to the plane spanned by Ax and Ay, which contradicts y x.
In other words, the set of tangents of a conic A is the image of the points on the conic under the map A. And consequently, a line g is a tangent of the conic iff A −1 g is a point on the conic, i.e., if and only if A −1 g, g = 0.
Definition 2.2 If P is a point, the line AP is called its polar with respect to a conic A. If g is a line, the point A −1 g is called its pole with respect to the conic A.
Obviously, the pole of the polar of a point P is again P, and the polar of the pole of a line g is again g. Moreover: Fact 2.3 If the polar of point P with respect to a conic A intersects the conic in a point x, then the tangent in x passes through P.
Proof For x, we have x, Ax = 0 since x is a point on the conic, and x, AP = 0 since x is a point on the polar of P. The tangent in x is the line Ax, and indeed, P lies on this line, since P, Ax = AP, x = 0.

Coordinate transformations and projective maps
An element T ∈ PG L(3, R) can be interpreted as a change of coordinates x = T y: If for example x, Ax = 0 is a conic in x-coordinates, then 0 = x, Ax = T y, AT y = y, T AT y is the same conic in y-coordinates (i.e., the transformed conic is represented by the matrix T AT ). Similarly, if g, x = 0 is a line, then 0 = g, x = T g, y , i.e., the transformed line is represented by T g.
Instead of considering T as a coordinate transformation, we can equivalently interpret T : P → P as a projective map: Then, if y is a point on the conic T AT , i.e., if y, T AT y = 0, then the image x := T y is a point of the conic x, Ax = 0.

Rank one and rank two matrices
For completeness we recall the following basic facts: Lemma 2.4 Let A ∈ R n×n be symmetric. Then: • A is of rank 1 iff A = αaa for a unit vector a ∈ R n and some α ∈ R\{0}. Moreover, if A = αaa then, the vector a is an eigenvector and α the corresponding eigenvalue of A, and x, Ax = α a, x 2 . • A is of rank 2 iff A = αaa + βbb for two orthonormal vectors a, b ∈ R n and some α, β ∈ R\{0}. Moreover, if A = αaa + βbb then, a and b are eigenvectors and α, β the corresponding eigenvalues of A. Moreover, if A is of rank 2, A = uv +vu for two vectors u, v ∈ R n \{0} iff A has mixed signature. Finally, if A = αaa +βbb , then x, Ax = α x, a 2 +β x, b 2 , and if A = uv +vu , then x, Ax = 2 x, u x, v .
Proof Since A is symmetric there exists an orthonormal eigenbasis t (1) , . . . , t (n) , i.e., if T is the matrix with columns t (1) , . . . , t (n) , then T AT = diag(λ 1 , . . . , λ n ) =: D, where λ i is the eigenvalue corresponding to t (i) . Therefore A = T DT . If A is of rank 1, exactly one eigenvalue λ i = 0, and hence A = λ i t (i) t (i) . If A is of rank 2, exactly two eigenvalues λ i , λ j = 0, and hence A = λ i t (i) On the other hand, if A = αaa for a unit vector a and α ∈ R n \{0}, it is clear that A = A , that all columns of A are multiples of a and hence that A is of rank 1. Moreover, Aa = αaa a = αa. If A = αaa + βbb for orthonormal vectors a, b and α, β ∈ R\{0}, then A = A , Aa = (αaa + βbb )a = αa and Ab = (αaa + βbb )b = βb. Hence, A has two orthonormal eigenvectors and therefore rank A ≥ 2. On the other hand, Ax = 0 whenever x⊥ span(a, b), i.e., rank A = 2.
On the other hand, if A = uv + vu for two non-zero vectors u = v ∈ R n , then A has the eigenvalues Thus, by the Cauchy-Schwarz inequality, the two non-zero eigenvalues have opposite sign.
The formulas for the quadratic forms follow immediately.

Lemma 2.5 Let A be a conic and C ∈ R 3×3 symmetric of rank 1. Suppose, A + C is also a conic, and p a point on A and on A + C. Then, A and A + C have a common tangent in p.
Proof According to Lemma 2.4, C is of the form γ cc for some c ∈ R 3 \{0}, γ = 0. We have hence c, p = 0. The tangent in p at A is given by 0 = x, Ap . The tangent in p at A + C is given by the same equation:
A conic C divides the points P of the projective plane into three disjoint sets: The points on C (for those points there is exactly one tangent to C), the exterior points (for those points there are two tangents to C) and the inner points (which are not incident with a tangent of C). Observe, that this classification is invariant under projective maps. In particular, if T ∈ G K and if z is an inner point of K , then T z is also an inner point of K . For example, with Thus, we have: For later use we add the following two lemmata: Lemma 2.10 Let K = diag(1, 1, −1) be the affine unit circle and g a line which misses K . Then, g can be written as g = (tanh ψ cos φ, tanh ψ sin φ, 1) for some to the origin, and hence g to the ideal line.
Lemma 2.11 Let P 1 , P 2 , P 3 and Q 1 , Q 2 , Q 3 be two triples of points on the affine unit circle K . Then, there is a projective map T ∈ G K which maps P i to Q i , i ∈ {1, 2, 3}.
= 0 with radius r and center (a 1 , a 2 ) in the affine plane corresponds to the matrix Vice versa, the conic corresponds to a circle with center (−α, −β) and radius r 2 = α 2 + β 2 − γ if this number is strictly positive. For two different circles is a matrix of rank < 3 and represents two lines The line that corresponds to the first factor is the ideal line, the second line is the radical axis of the two circles (which is different from the ideal line if K 1 and K 2 have different centers). Vice versa, we have: Theorem 2.12 Let K be the affine unit circle and A a conic. Suppose, the pencil K + λA of K and A contains the ideal line (0, 0, 1) , then A is a circle.
As a consequence of Lemma 2.10 and Theorem 2.12 we get:

Corollary 2.13 Let K be the unit circle and A a conic such that the pencil of K and A contains a line g which misses both K and A. Then, the projective map T which leaves K invariant and sends g to the ideal line maps A to a circle.
Proof According to Lemma 2.10 there exists a map T ∈ G K which sends g to the ideal line. Observe that T maps the pencil of K and A to the pencil of their images, K andT := T − AT −1 . Therefore, the ideal line belongs to the pencil of K andT and thus, according to Theorem 2.12,T is a circle.

How to transform two conics into two circles
Let us first recall, how one can find coordinates for which one given conic is a circle. For this, consider a conic A ∈ R 3×3 , symmetric, regular and with mixed signature. The signature of A can be determined from the characteristic polynomial: Lemma 3.1 Let A ∈ R 3×3 be regular and symmetric with characteristic polynomial p A (λ) = det(A − λI ) = a 0 + a 1 λ + a 2 λ 2 − λ 3 . Then the following holds: • If all eigenvalues of A are positive, we have a 0 > 0, a 1 < 0, a 2 > 0.
• If A has two negative and one positive eigenvalue, then a 0 > 0, and if a 1 < 0 then a 2 < 0. • If A has two positive and one negative eigenvalue, then a 0 < 0, and if a 1 < 0 then a 2 > 0.
The transformation of A to a unit circle is then as follows: Lemma 3.2 Let A ∈ R 3×3 be a conic. Without loss of generality, A has two positive and one negative eigenvalue (otherwise take the representative −A). Then there is a regular matrix T such that T AT = diag (1, 1, −1). This corresponds to the unit circle in the affine plane.
Proof Let λ 1 , λ 2 > 0 be the positive eigenvalues, λ 3 < 0 the negative eigenvalue, and x 1 , x 2 , x 3 be the corresponding orthonormal eigenvectors. Then the matrix T with columns 1 x 3 has the desired property.
In his seminal work Poncelet (1822)[Section I, Chapitre III, no. 121, p. 59] Poncelet claims that two conics can, in general, be considered as projective image of two circles. Actually, referring to this statement, he reduces the proof of Poncelet's Porism to the case of a pencil of circles in Poncelet (1822) Proof By the remark above, we only need to show one implication. Without loss of generality, we may assume that one of the conics is the circle A = diag(1, 1, −1). B ∈ R 3×3 is an arbitrary conic different from A. According to Corollary 2.13, it suffices to show in each of the three cases (i)-(iii) that the pencil of A and B contains a line that misses both conics.  (2). Then, p and z 0 are solutions of x, (A+r B)x = 0. Suppose A+r B has full rank. Then, the tangent g in z 0 at the conic A+r B does not contain another point of that same conic. But this is not true, since p is a point of g. Hence, rank(A + r B) < 3. Since, by assumption, A and B are different conics, rank(A +r B) > 0. Suppose, rank(A +r B) = 1. We may assume, that z 0 = (0, 1, 1) and thus g = (0, −1, 1) . According to Lemma 2.4 A + r B ∼ aa for a unit vector a. Hence, g ∼ (A + r B)z 0 ∼ aa z 0 ∼ a, and we conclude It is then easy to check, that A and B have a 3rd order contact in z 0 , which, by assumption, is not the case. Therefore, rank(A + r B) = 2, and, by the same reasoning as above in (i), we conclude, that x, (A + r B)x = 2 x, g x, v = 0 consists of two lines, g = v, and that v has no common point with A or B. (iii) Suppose, A and B are disjoint. Then, there exist coordinates for which both conics are diagonal (see for example Pesonen 1956or Hong et al. 1986): W.l.o.g.
where a, b = 0 are not both positive. Then, for the values r ∈ {−1, − 1 a , 1 b }, we have for A + r B: For all values of a and b one of these three matrices has mixed signature and is of rank 2. The corresponding quadratic form x, (A + r B)x = 2 x, g x, h = 0 represents two lines which both miss A and B.

Weakly connected closed chains of Poncelet triangles
Let us first recall the Cayley criterion for Poncelet polygons:

Then, there exists a Poncelet k-gon with vertices on H and tangent to A if and only if
In this section, we will consider chains of conics, where each pair of consecutive conics is a Poncelet pair for triangles. The main result of this section is that every such chain can be closed. Let us start with the following definition: A chain of conics G 0 , G 1 , . . . , G n , n ≥ 1, is called weakly connected Poncelet chain for triangles if, for i ∈ {0, 1, . . . , n − 1}, (G i , G i+1 ) is a Poncelet pair for triangles, i.e., G i carries verticies of triangles whose sides are tangential to G i+1 . The chain is called closed and of length n, if G n = G 0 .
The central lemma which allows to close a chain is the following:

Lemma 4.2 Let G and H be conics. Then, there exists a conic A such that (H, A) and (A, G) are Poncelet pairs for triangles: H carries vertices of triangles that are tangent to A, and A carries vertices of triangles that are tangent to G.
We call A a lock between G and H . The six coefficients of A have to satisfy two polynomial equations of oder 2 and 4 respectively (the Cayley conditions), A needs to have mixed signature, and it has to have points outside of G and inside of H .

Proof of Lemma 4.2 We have to consider the 8 cases listed in Sect. 3.
Case 1. G and H have four intersections P 1 , P 2 , P 3 , P 4 . By Lemma 3.2 we may assume, that G is the unit circle K . Let P be the intersection of the lines P 1 P 3 and P 2 P 4 joining opposite points. Then we choose T ∈ G K such that T maps P to (0, 0, 1) (see Theorem 2.9). Thus, the image of H is a conic with center (0, 0, 1) , either a hyperbola or an ellipse. By a suitable rotation D φ , we may further assume that H is symmetric with respect to the x 1 -and x 2 -axis.
Case 1a. A circle and a concentric hyperbola: Then a direct computation shows that  point (0, 1, 1) and has the asymptote (0, 1, 1) . Therefore, the intersections of this asymptote with H are outer points of A.
Case 1b. A circle and a concentric ellipse: Again, the Cayley criterion (3) for triangles is easily verified. By Lemma 3.1 it can be checked, that A has mixed signature. In fact, A is a hyperbola through (0, 0, 1) and has therefore points outside G, and H has points outside A.
Lock in Case 1a (left) and 1b (right): H carries vertices of Poncelet triangles that are tangent to A, A carries vertices of Poncelet triangles that are tangent to G Cases 2 and 3. G and H have either no common points or two intersections. By Theorem 3.3, we may assume, that G is the affine unit circle, and H another circle having its center on the x 1 -axis: Then the Cayley criterion (3) for triangles is easily verified. A is a parabola symmetric to the x 1 -axis with vertex inside H and has therefore points outside G, and H has points outside A.
Case 4. G and H have two intersections and one first order contact. We may again assume that G is the affine unit circle diag(1, 1, −1), and, by Lemma 2.11, that the first order contact is in (1, 0, 1) and that the two intersections are (0, ±1, 1) . Then, the pencil of G and H contains two lines (1, ±1, −1) , and according to Lemma 2.4 A direct calculation shows that the Cayley criterion (3) is satisfied. A is a parabola which is symmetric to the x 1 -axis. Its vertex (x 1 , 0, 1) satisfies x 1 < 1. In particular, A has points outside G. H is also symmetric to the x 1 -axis: For μ < −1 and μ > 1 it is a hyperbola, for −1 < μ < 1 an ellipse, and for μ = −1 a parabola. In each case, H has points outside A.
Case 5. G and H have one first order contact: see Cases 2 and 3.
Case 6. G and H have two first order contacts. As above, we may assume, that G is the affine unit circle diag(1, 1, −1), and, by Lemma 2.11, that the contact points are (±1, 0, 1) . The pencil of G and H contains the double line (0, 1, 0) and according to Lemma 2.4: If μ < 0, we choose In both cases, it is easy to check, that the Cayley criterion (3) is satisfied, that A has mixed signature and has points outside G. Moreover, H has points outside A.
Case 7. G and H have one intersection and one first order contact. We may again assume, that G is the affine unit circle K . By Lemma 2.11 we may assume, that the first order contact is in (1, 0, 1) and the intersection in (−1, 0, 1) . Then the lines (−1, 0, 1) and (0, 1, 0) belong to the pencil of G and H and according to Lemma 2.4: Then, the choice yields the desired lock.
Case 8. G and H have one third order contact. We may assume that G is the affine unit circle (1, 1, −1) , and, by a suitable rotation, that the point of contact is (0, 1, 1) . As discussed in the proof of Theorem 3.3 the pencil of G and H contains the double line (0, −1, 1) . Thus, by Lemma 2.4, Here, if μ = −1, we choose Using the above lemma, we are now able to prove the following Theorem 4.3 Let G 0 , G 1 , . . . , G n−2 be a weakly connected Poncelet chain for triangles. Then, there exists a conic G n−1 such that G 0 , G 1 , . . . , G n−1 , G n = G 0 is a closed weakly connected Poncelet chain for triangles.
Proof Choose G n−1 to be a lock between G n−2 and G 0 , as described in Lemma 4.2.
As an immediate consequence we get Proof For n ≥ 3, this follows directly form Theorem 4.3. For n = 2, the two conics form a closed chain of length 2.

Rigid closed chains of Poncelet triangles
In a closed weakly connected Poncelet chain G 0 , G 1 , . . . , G n−1 of length n for triangles, as seen in Sect. 4, the Poncelet triangles i sitting between two consecutive conics (G i , G i+1 ) of the chain are not related to the neighbouring triangles. In this section, we will require, that the contact points of the sides of i on G i+1 are the vertices of the next triangle i+1 . Then, the problem of finding closed chains G 0 , . . . , G n−1 with a chain of Poncelet triangles 0 , . . . , n−1 satisfying this additional requirement, becomes more subtle.
A closed chain of triangles 0 , . . . , n−1 of length n is called a rigid chain of Poncelet triangles if there are conics G 0 , . . . , G n−1 such that i has its vertices on G i and is tangent to G i+1 , where the contact points are the vertices of i+1 (where we take indices modulo n).
If we move one of the triangles, say 0 , such that two of its sides are still tangent to G 1 , then, by Poncelet's Theorem, also the third side is tangent to G 1 . However, the contact points of the new triangle, which are points on G 1 , are not necessarily the vertices of a triangle whose sides are tangent to G 2 . So, in general we cannot move a rigid chain of Poncelet triangles (i.e., the Poncelet triangles sit rigidly in the corresponding chain of conics).
By Corollary 4.4 we know that there are closed weakly connected Poncelet chains for triangles of arbitrary length; a similar result we get also for rigid closed chains of Poncelet triangles.
Theorem 5.1 There are rigid closed chains of Poncelet triangles of arbitrary length n ≥ 3.
Proof We first give an example of a rigid chain of Poncelet triangles of length n = 3. Let It is not hard to see that the three triangles ABC, P Q R, U V W on G 0 , G 1 , G 2 , respectively, where form a rigid closed chain of Poncelet triangles of length n = 3. Now, if we enlarge the parabola and pinch the circle to an ellipse, we can plug in two additional ellipses between the parabola and the pinched circle in such a way, that the two additional triangles we get fit in the chain of pairwise Poncelet triangles. Notice that the hyperbola and the two triangles which are tangent to the hyperbola and the parabola respectively remain unchanged.
By a similar construction, we can plug in as many pairs of ellipses as we like. So, we can construct rigid closed chains of Poncelet triangles of arbitrarily odd length n ≥ 3.
In order to construct rigid chains of Poncelet triangles of even length, we proceed as follows: We start with the same closed chain of Poncelet triangles as above. Then we enlarge and reflect the parabola and pinch the circle to an ellipse, such that we can plug in an additional ellipse between the parabola and the pinched circle in such a way, that the additional triangle fits in the chain of pairwise Poncelet triangles. Notice that the hyperbola and the two triangles which are tangent to the hyperbola and the parabola respectively remain unchanged (see figure below).
Like above, we can now plug in arbitrarily many pairs of ellipses. So, we can construct rigid chains of Poncelet triangles of arbitrarily even length n ≥ 4.

Miraculous chains of Poncelet polygons
In general, the triangles i in a closed rigid chain of Poncelet triangles satisfy the condition, that the contact points of i on G i+1 are the vertices of i+1 , only in one particular position. In this section, we investigate the question, whether closed rigid chains exist such that the contact condition is satisfied in every position. For this, we first recall some relevant facts and notations.
If a point x moves along a conic G 0 , then each polar of x with respect to a second conic G 1 is tangent to one particular conic G 2 , which is called the conjugate of G 0 with respect to G 1 (see Halbeisen and Hungerbühler 2016 [Theorem 1.5]). In particular, if K 0 is a Poncelet k-gon, inscribed in G 0 and circumscribed about G 1 , then the k-gon K 1 whose vertices are the contact points of K 0 on G 1 is tangent to the conjugate conic G 2 of G 0 with respect to G 1 . Hence K 1 is itself a Poncelet k-gon for the pair G 1 and G 2 . Obviously, this process can be iterated. Astonishingly, there are very particular configurations, where this process closes after a finite number of steps, i.e., the n-th k-gon K n is equal to K 0 .
For an integer k ≥ 3, a closed chain of pairwise conjugate conics G 0 , . . . , G n−1 (i.e., G i and G i+2 are conjugate with respect to G i+1 ) is a miraculous chain for Poncelet k-gons if for each 0 ≤ i < n, G i carries the vertices of a k-gon K i which is tangent to G i+1 , where the contact points are the vertices of K i+1 (where we take indices modulo n).
Since we require that the conics G 0 , . . . , G n−1 are pairwise conjugate, we can move the vertices of the k-gons without losing the property that the contact points of a k-gon are the vertices of the next k-gon.
We shall see that up to projective transformations, there is exactly one miraculous chain of Poncelet triangles and one miraculous chain for Poncelet quadrilaterals.

Closed chains of conjugate conics
From Halbeisen and Hungerbühler (2016) [Theorems 2.1 and 2.2]), we infer the following: Let G 0 , G 1 , . . . be a sequence of conics such that G i+2 is the conjugate of G i with respect to G i+1 , for all indices i ≥ 0. Then, G i+2 ∼ G 1 (G −1 0 G 1 ) i+1 . Let I denote the 3 × 3 identity matrix. A chain G 0 , G 1 , G 2 , . . . , G n−1 , G n = G 0 of length n of conjugate conics is closed iff there are representatives of the conics such that (G −1 0 G 1 ) n = I. and n is minimal with this property.
We now want to investigate, in which of the 8 cases listed in Sect. 3, closed chains may exist. For this, let G 0 , . . . , G n−1 , for some n ≥ 3, be a closed chain of conjugate conics. We may assume, that G 0 , G 1 are in standard form, as in the proof of Lemma 4.2.
Case 1a and b.
Then, (G −1 0 G 1 ) n = diag(a 2n , (±b 2 ) n , 1). This is the identity matrix only for a = b = 1 which is excluded. Thus, if G 0 , G 1 have four intersections, they cannot be part of a closed chain of conjugate conics.
Cases 2. By Theorem 3.3 we may assume that for some 0 ≤ a and r > 0. So, G 0 is the unit circle and G 1 is a circle with center (a, 0, 1) and radius r . Observe, that for any k the second element of the diagonal of (G −1 0 G 1 ) k equals 1, and det(G −1 0 G 1 ) = r 2 . Hence, it follows from (G −1 0 G 1 ) n = I , that r = 1 and hence a > 2. But then, G i+1 is nested inside G i for each i > 1 and the chain cannot be closed. and as above, we conclude that r = 1, and therefore a = 0. Hence, Next, we move the two unit circles a 2 to the left and exchange the axes x 2 and x 3 . Then, since we assume that the two conics intersect in two points, we have a < 2 and by a suitable scaling of the x 1 and x 2 axes, we arrive at the following form: Finally, a rotation in the first two variables leads to the final form of two hyperbolas where 0 < α < π. Now, the condition (H −1 0 H α ) n = I , and n minimal with this property, is equivalent to α = 2π n . So, this is the standard form if the two initial conics have two points of intersection.
Then, for each n, (G −1 0 G 1 ) n =: H n = I , since the third element of the first column of H n equals nμ.
Case 5. By the same reasoning as in Case 2 above, we may exclude that a closed chain of conjugate conics exist such that two consecutive conics have one first order contact. Then, (G −1 0 G 1 ) n = diag(1, (1 − μ) n , 1) = I iff (1 − μ) n = 1. Then either μ = 0 (which is excluded) or μ = 2 and n = 2 (recall that n is supposed to be minimal). By exchanging the x 2 -and the x 3 -axis, we find Then, the second element of the first row of (G −1 0 G 1 ) n equals −nν = 0. Hence in this situation, no closed chain of conjugate conics exists. Then, the third element of the second row of (G −1 0 G 1 ) n equals −nν = 0. Hence in this situation, no closed chain of conjugate conics exists either.

Miraculous chains of Poncelet triangles and quadrilaterals
By geometrical arguments, it is easy to see that the closed chain of conjugate conics of length 2 in Case 6 in the previous section cannot carry Poncelet polygons. Hence, the only chance to find closed chains of conjugate conics which carry Poncelet polygons are H 0 and H 1 from Case 3 in the previous section.
As solutions we get t 1 = 3 2 and t 2 = − 1 2 . Since −1 ≤ cos(α) ≤ 1, there is no 0 < απ such that t 1 = cos(α). On the other hand, for α = 2π 3 we get t 2 = cos(α). Hence, up to projective transformations, there is exactly one miraculous chain of Poncelet triangles. The figure below shows the canonical miraculous chain with three hyperbolas and three triangles.
In order to get a miraculous chain of Poncelet quadrilaterals, we must find 0 < α < π such that α = 2π n (for some n ≥ 3) and c 3 = 0. If we replace cos(α) again with t, then the equation c 3 = 0 is equivalent to the equation The only solution with −1 < t < 1 is t = 1 2 , which gives us α = π 3 . Hence, up to projective transformations, there is exactly one miraculous chain of Poncelet quadrilaterals. The figure below shows the canonical miraculous chain with six hyperbolas and two of the six quadrilaterals.
With this technique, we have shown that except for k = 3 and k = 4, there are no miraculous chains of Poncelet k-gons for k ≤ 23. This motivates the following