Darboux's Porism: Closure in Geometry

• Darboux's Porism is a geometric closure principle ensuring that one closed configuration in cyclic or folding quadrilaterals forces a whole family of closed configurations.
• It manifests in multiple formulations—including cyclic quadrilaterals through fixed collinear points, fixed side-length folding, and bicentric (Poncelet-type) settings—each with unique invariant properties.
• The topic connects classical projective invariants, Möbius transformations, elliptic curves, and integrable dynamics, revealing deep links to Poncelet's porism and broader geometric integrability.

Searching arXiv for papers directly relevant to Darboux's Porism and its formulations. arxiv_search(query="Darboux porism quadrilateral", max_results=10, sort_by="relevance") 天天中彩票中了 to=arxiv_search code 乐亚0 彩神争霸是 arxiv_search(query="Darboux porism quadrilateral", max_results=10, sort_by="relevance") {"query":"Darboux porism quadrilateral","max_results":10,"sort_by":"relevance"} In recent literature, Darboux’s Porism denotes several closely related closure phenomena in geometry. In the form developed for cyclic quadrilaterals, it states that if a circle $C$ and a line $\ell$ carrying four fixed collinear points $P_1,P_2,P_3,P_4$ admit one inscribed quadrilateral whose sides pass consecutively through those points, then the same four-step chord construction closes for every starting point on $C$, so infinitely many such quadrilaterals exist (Izmestiev, 2014). In a distinct quadrilateral-deformation setting, Darboux’s porism asserts that if one quadrilateral with fixed side lengths is periodic under alternating foldings, then every quadrilateral with the same side lengths is periodic with the same period (Izmestiev, 2015). A further strand of the literature uses the name for the planar manifestation of Poncelet’s porism for bicentric polygons between two conics (Gibson et al., 2022).

1. Scope and principal formulations

The common structural feature is a poristic closure principle: one closed configuration forces a whole family of closed configurations. The ambient geometry, however, differs across formulations. The literature represented here uses the same name for projective-circle dynamics, for folding dynamics on quadrilateral moduli spaces, and for a Poncelet-type bicentric phenomenon; this suggests that the nomenclature is not completely uniform across recent sources (Izmestiev, 2014).

Formulation	Fixed data	Closure statement
Cyclic quadrilateral through four collinear points	A circle $C$ and four distinct points on a line $\ell$	One closing quadrilateral implies closure for every starting point on $C$
Folding porism for quadrilaterals	Four side lengths $a_1,a_2,a_3,a_4$	One periodic quadrilateral implies all quadrilaterals with those side lengths are periodic
Bicentric/Poncelet manifestation	Two conics $C_{\mathrm{out}}, C_{\mathrm{in}}$	One tight $k$-gon implies a one-parameter family of tight $\ell$0-gons

In the cyclic-quadrilateral setting, the configuration is defined by a chain of chords. Starting from $\ell$1, one draws the chord through $\ell$2 to its second endpoint on $\ell$3, then repeats through $\ell$4, $\ell$5, and $\ell$6, arriving at a point $\ell$7. The hypothesis that one quadrilateral closes is exactly the existence of $\ell$8 with $\ell$9; the conclusion is that $P_1,P_2,P_3,P_4$0 for every $P_1,P_2,P_3,P_4$1 (Izmestiev, 2014).

In the folding formulation, the data are side lengths rather than incidence constraints. One studies the composition of two involutions obtained by reflecting adjacent vertices of a quadrilateral across diagonals. Periodicity becomes a property of the induced map on the configuration space, and Darboux’s porism says that periodicity depends only on the side-length data, not on the initial quadrilateral (Izmestiev, 2015).

2. The cyclic-quadrilateral porism as a projective dynamical system

For a fixed point $P_1,P_2,P_3,P_4$2, define $P_1,P_2,P_3,P_4$3 by sending $P_1,P_2,P_3,P_4$4 to the second intersection $P_1,P_2,P_3,P_4$5 of the line $P_1,P_2,P_3,P_4$6 with $P_1,P_2,P_3,P_4$7. This map is an involution, $P_1,P_2,P_3,P_4$8, and in projective coordinates it is a Möbius transformation. The four-step construction is therefore the composition

$P_1,P_2,P_3,P_4$9

and the existence of one cyclic quadrilateral $C$0 with sides through $C$1 means precisely $C$2 (Izmestiev, 2014).

This formulation isolates the mechanism of the porism. The geometric incidence condition is converted into a statement about a Möbius map on the projective line underlying the circle. Because Möbius maps are rigidly constrained by their fixed-point structure, the closure problem reduces to proving that $C$3 has too many fixed points to be nontrivial.

The same involutions admit a hyperbolic interpretation in the Cayley–Klein model. If $C$4 lies inside $C$5, then $C$6 is the hyperbolic half-turn about $C$7. If $C$8 lies outside $C$9, then $C$0 is reflection in the hyperbolic line polar to $C$1. Thus the porism can be viewed equally as a statement about compositions of hyperbolic isometries whose fixed-point data force the composition to be the identity (Izmestiev, 2014).

A related structural statement appears in the Castillon framework. For $C$2 prescribed points $C$3 not on $C$4, the map $C$5 encapsulates the existence problem for an inscribed $C$6-gon whose sides pass consecutively through those points. If this map has at least three fixed points, it is the identity. In the collinear case, the paper states that for $C$7 odd there is no solution, whereas for $C$8 even one nontrivial solution implies a porism (Izmestiev, 2014).

3. Cross-ratios, the projective butterfly theorem, and hyperbolic classification

The cross-ratio proof uses the projective invariant

$C$9

For collinear points it is computed in any affine coordinate on $\ell$0, and for four points on a circle it is defined via the cross-ratio of the corresponding concurrent chords through an arbitrary point of the circle. This invariance under projective maps allows the quadrilateral closure problem to be rewritten as an equality of cross-ratios transported along chords (Izmestiev, 2014).

The key lemma is the projective butterfly theorem. Let $\ell$1 meet the sides $\ell$2 of a cyclic quadrilateral in $\ell$3. Then three cases occur:

• If $\ell$4 is secant to $\ell$5 at $\ell$6, then

$\ell$7

• If $\ell$8 is tangent to $\ell$9 at $C$0, then

$C$1

with signed lengths along $C$2.

• If $C$3 is disjoint from $C$4, then

$C$5

Converses hold in all three cases: if the corresponding condition is satisfied, then for every $C$6 there exists an inscribed quadrilateral meeting $C$7 at $C$8 in order (Izmestiev, 2014).

These identities force the four-step map $C$9 to be the identity by a fixed-point argument adapted to the relative position of $a_1,a_2,a_3,a_4$0 and $a_1,a_2,a_3,a_4$1. In the secant case, the intersection points $a_1,a_2,a_3,a_4$2 are fixed by $a_1,a_2,a_3,a_4$3, and one additional fixed point supplied by a closing quadrilateral gives three fixed points on $a_1,a_2,a_3,a_4$4; a nontrivial orientation-preserving Möbius map has at most two fixed points, so $a_1,a_2,a_3,a_4$5. In the tangent case, the paired compositions $a_1,a_2,a_3,a_4$6 and $a_1,a_2,a_3,a_4$7 are parabolic with the same unique fixed point, and the tangent butterfly identity shows they agree; any second fixed point forces the identity. In the external case, the paired compositions are elliptic rotations with the same center, the angle identity equates the rotation angles, and a boundary fixed point again forces $a_1,a_2,a_3,a_4$8 (Izmestiev, 2014).

A compact reformulation is

$a_1,a_2,a_3,a_4$9

which is equivalent to each of the three butterfly conditions. This identity expresses the equality of the “front” and “back” halves of the quadrilateral chain and is the algebraic core of the porism (Izmestiev, 2014).

4. Reversions, pseudounitary matrices, and extension to conics

A second algebraic treatment encodes the side-through-a-fixed-point constraint by a reversion of the unit circle $C_{\mathrm{out}}, C_{\mathrm{in}}$0. For a point $C_{\mathrm{out}}, C_{\mathrm{in}}$1, the reversion through $C_{\mathrm{out}}, C_{\mathrm{in}}$2 is the Möbius involution

$C_{\mathrm{out}}, C_{\mathrm{in}}$3

represented projectively by

$C_{\mathrm{out}}, C_{\mathrm{in}}$4

These matrices are traceless and pseudounitary up to projective normalization, so the relevant symmetry group is $C_{\mathrm{out}}, C_{\mathrm{in}}$5, the Möbius group preserving the unit circle (Kocik, 2014).

The decisive fact is that for collinear points $C_{\mathrm{out}}, C_{\mathrm{in}}$6, the triple product $C_{\mathrm{out}}, C_{\mathrm{in}}$7 is again, after normalization, of reversion type: $C_{\mathrm{out}}, C_{\mathrm{in}}$8 where

$C_{\mathrm{out}}, C_{\mathrm{in}}$9

Equivalently, the composition of three reversions is a reversion if and only if the three points are collinear. Once $k$0 is defined in this way, one obtains

$k$1

in $k$2. Hence the four-step map acts trivially on the circle, so every starting point closes (Kocik, 2014).

The same framework yields an invariant relation

$k$3

which plays the role of a cross-ratio-like condition for the ordered quadruple on the line. The matrix formalism also makes explicit the dependence on order: replacing the sequence $k$4 by another order generally changes the fourth point $k$5 (Kocik, 2014).

This approach extends from circles to more general conics through algebraic models based on complex, duplex, and dual numbers. The paper formulates corresponding reversion formulas for the hyperbola $k$6, for the branch $k$7, and for parallel-lines cases, and concludes that the porism persists for quadrilaterals inscribed in a general conic once one configuration through four fixed collinear points exists (Kocik, 2014). The same paper also states an even-gon extension: for $k$8 collinear points $k$9, if the composition $\ell$00 has one fixed point on $\ell$01, then it is the identity on $\ell$02 (Kocik, 2014).

5. Folding of quadrilaterals: elliptic curves and Arnold–Liouville integrability

A different Darboux porism concerns quadrilaterals with fixed side lengths $\ell$03, $\ell$04, $\ell$05, $\ell$06. Let $\ell$07 reflect $\ell$08 across the diagonal $\ell$09, and let $\ell$10 reflect $\ell$11 across the diagonal $\ell$12. Darboux’s 1879 statement, in this setting, is that if $\ell$13 fixes one quadrilateral with side lengths $\ell$14, then every quadrilateral with those side lengths is $\ell$15-periodic under the same composition (Izmestiev, 2015).

The algebraic explanation is that the complexified configuration space of oriented quadrilaterals is an elliptic curve under the nondegeneracy condition

$\ell$16

for every choice of signs. Pairs of adjacent or opposite half-angle tangents satisfy explicit biquadratic equations, providing birational models of the elliptic curve. In a suitable elliptic parameter $\ell$17, each folding acts as an involution $\ell$18, so the composition $\ell$19 becomes a translation $\ell$20. Periodicity is therefore a torsion condition for a fixed translation element, and once it occurs at one point of the elliptic curve it occurs at every point (Izmestiev, 2015).

The non-oriented configuration space $\ell$21 is also an elliptic curve, described by a biquadratic relation in the squared diagonal lengths $\ell$22, $\ell$23. The same paper proves that $\ell$24, where $\ell$25 and $\ell$26, via identification of quadrilaterals with the same diagonal lengths. This is presented as the algebraic content behind Ivory’s theorem (Izmestiev, 2015).

A Cayley-type periodicity criterion is available. If

$\ell$27

and $\ell$28 are the coefficients in the Taylor expansion

$\ell$29

then $\ell$30-periodicity up to orientation is equivalent to the vanishing of a Griffiths–Harris–Cayley determinant built from the $\ell$31. In particular, period $\ell$32 is equivalent to the orthodiagonal condition

$\ell$33

(Izmestiev, 2015).

A symplectic reformulation recasts the same phenomenon in Arnold–Liouville terms. Let $\ell$34 be the moduli space of quadrilaterals with fixed $\ell$35, $\ell$36, $\ell$37; it is a $\ell$38-torus with angle coordinates $\ell$39, $\ell$40. The map $\ell$41 preserves the first integral $\ell$42 and the symplectic form

$\ell$43

On a regular level set $\ell$44, the invariant $\ell$45-form

$\ell$46

trivializes the dynamics, so $\ell$47 becomes a rigid rotation on each invariant circle. Closure after $\ell$48 alternating foldings is therefore equivalent to rational rotation number, and if one point of $\ell$49 is $\ell$50-periodic, then all points are $\ell$51-periodic (Izosimov, 23 Jul 2025).

The nondegeneracy hypothesis is essential in the symplectic proof. The paper gives the explicit degenerate example $\ell$52, $\ell$53, $\ell$54, $\ell$55: a collinear quadrilateral with these side lengths is fixed by any folding, but a generic quadrilateral with the same side lengths is not (Izosimov, 23 Jul 2025).

6. Relations to Poncelet, examples, and higher-dimensional analogues

Darboux’s porism is repeatedly placed beside Poncelet’s and Steiner’s porisms. In the cyclic-quadrilateral setting, the unifying mechanism is projective invariance together with the rigidity of Möbius transformations: three fixed points force the identity. In the folding setting, the unifying mechanism is translation on an elliptic curve or, equivalently, rigid rotation on an invariant circle of an integrable symplectic map (Izmestiev, 2014).

One line of literature identifies “Darboux’s porism” directly with the planar manifestation of Poncelet’s theorem for bicentric polygons. Here one fixes two conics $\ell$56 and $\ell$57, with $\ell$58 contained in the convex hull of $\ell$59, and considers $\ell$60-gons inscribed in $\ell$61 and tangent to $\ell$62. If one such tight polygon exists, then any starting point $\ell$63 is a vertex of a tight $\ell$64-gon for the same pair. For two circles of radii $\ell$65 and $\ell$66 with centers at distance $\ell$67, the closure conditions for $\ell$68 and $\ell$69 are the Euler–Fuss formulas

$\ell$70

and in the concentric case the regular $\ell$71-gon condition is $\ell$72 (Gibson et al., 2022).

The same paper develops higher-dimensional analogues for centered ellipsoids. Writing the outer quadric as the unit sphere and the inner ellipsoid as $\ell$73 with $\ell$74 real symmetric positive definite, the exact closure/tangency criteria become trace conditions: $\ell$75 for simplices and $\ell$76 for centrally symmetric parallelotopes and cross-polytopes. When these conditions hold, the families of tight objects are parameterized by $\ell$77, which generalizes the planar rotational family to full orthogonal symmetry (Gibson et al., 2022).

Concrete examples emphasize the poristic character. In the folding setting, the side lengths

$\ell$78

yield six-fold closure: since one iterate of $\ell$79 corresponds to two foldings, the statement is $\ell$80 on the invariant curve (Izosimov, 23 Jul 2025). In the cyclic-quadrilateral setting, the projective butterfly theorem shows that the secant, tangent, and external incidence conditions are not merely necessary consequences of one closed quadrilateral; they are also sufficient to make every starting point close (Izmestiev, 2014).

Taken together, these formulations present Darboux’s porism as a family of closure principles governed by low-dimensional rigidity: projective invariants and Möbius fixed points in the circle-and-line model, translations on elliptic curves in the deformation model, and integrable rigid rotations in the symplectic model. The recurring conclusion is that closure ceases to be a property of a single initial configuration and becomes a property of the underlying geometric data.