We present a geometric theorem on a porism about cyclic quadrilaterals, namely, the existence of an
infinite number of cyclic quadrilaterals through four fixed collinear points once one exists. Also, a technique of proving such properties with the use of pseudounitary traceless matrices is presented. A similar property holds for general quadrics as well as for the circle.
1. Introduction
Inscribe a butterfly-like quadrilateral in a circle and draw a line L, see Figure 1. The sides of the quadrilateral will cut the line at four (not necessarily distinct) points. It turns out that as we continuously deform the inscribed quadrilateral, the points of intersection remain invariant.
Porism on concyclic quadrilaterals through collinear points.
More precisely, think of the quadrilateral as a path from vertex X through collinear points P, R, S, and Q back to X (see Figure 4, left). If we redraw the path starting from another point on the circle but passing through the same points on the line in the same order, the path closes to form an inscribed polygon; that is, we will arrive at the starting point.
In spirit, this startling property is similar to Steiner’s famous porism [1, 2], which states that once we find two circles, one inner to the other, such that a closed chain of neighbor-wise tangent circles inscribed in the region between them is possible, then an infinite number of such inscribed chains exist (Figure 2). One may set the initial circle at any position and the chain will close with tangency. Yet, another geometric phenomenon in the same category is Poncelet’s porism [3–5].
Steiner’s porism. The chain may be redrawn starting from arbitrary position of the starting circle.
The property for the cyclic quadrilateral described at the outset may be restated similarly: if four points on a line admit a cyclic quadrilateral, then an infinite number of such quadrilaterals inscribed in the same circle exist. Hence, the term porism is justified.
In the next sections, we restate the theorem and define a map of reversion through point, which may be represented by pseudounitary matrices. The technique developed allows one to prove the theorem as well as a diagrammatic representation of the relativistic addition of velocities, presented elsewhere [6]. A slight modification to arbitrary two-dimensional Clifford algebras allows one to modify the result to hold for hyperbolas and provides a geometric realization of trigonometric tangent-like addition.
2. The Main Result
Let us present the result more formally. Reversion of a point A on a circle through point P gives point P(A) on the circle such that points A, P, and P(A) are collinear (see Figure 3). We can define it more precisely as follows.
Reversion of A through P.
Porism: details.
Definition 1.
Given a circle K, a reversion through point P∉K is a map P:K→K, A↦P(A), such that points A, P, and P(A) are collinear and P(A)≠A. If P∈K, then for any A∈K, one defines P(A)=P.
By bold P, we denote the reversion map defined by point P (not bold). Clearly, reversion through P∉K is an involution, P2=id, and therefore invertible. The product of reversions is in general not commutative, PQ≠QP. The main result may now be given a concise form as follows.
Theorem 2.
Let P, Q, R, and S be collinear points, K a circle, and Z=SRQP the composition of the corresponding reversions. Then,
(1)if∃X∈KZ(X)=X,then∀X∈KZ(X)=X.
The quadrilateral [X,P(X),QP(X),RQP(X)] may be viewed as a member of a family parametrized by X. As X moves along the circle, the quadrilateral continuously changes its form while the points of intersection with the line remain invariant. The quadrilateral appears to be “rotating” with points P, Q, R, and S playing the role of “axes” of this motion. For an animated demonstration, see [7].
Here is an equivalent version of Theorem 2.
Theorem 3.
Let K be a circle and L a line with three points P, Q, and R. Let X be a point on the circle. The point S, an intersection of line L with line [RQP(X),X], does not depend on X∈K.
In other words, for any three collinear points P, Q, and R∈L, there exists a unique point S on L such that any cyclic quadrilateral inscribed in K passing through R, P, and Q (in the same order) must also pass through S.
A more general statement holds.
Theorem 4.
The composition of three point reversions PQR of a circle is a reversion if and only if points P, Q, and R are collinear.
Remark 5.
The figures present quadrilaterals in the butterfly shape for convenience. Clearly, they can have untwisted shape, and also, the points of intersection can lie outside the circle, and the line does not need to intersect the circle.
3. Reversion Calculus—Matrix Representation
In order to prove the theorem, we develop a technique that uses complex numbers and matrices. Interpret each point P as a complex number p∈ℂ. Without loss of generality, we will assume that K is the unit circle, K={z∈ℂ:|z|2=1}. Complex conjugation is denoted in two ways. Here is our main tool.
Theorem 6.
Reversion in the unit circle K through point p∈ℂ corresponds to a Möbius transformation:
(2)P^:z⟶z′=[1-pp--1]·z=z-pp-z-1.
Proof.
First, we check that reversions leave the unit circle invariant, |z|2=1⇒|z′|2=1:
(3)|z′|2=z-pp-z-1(z-pp-z-1)*=|z|2-zp--p-z+|p|2|p|2|z|2-p-z-z-p+1=1-zp--p-z+|p|2|p|2-p-z-z-p+1=1.
Next, we show that for any z∈K, points (z,p,z′) are collinear. We may establish that by checking that (z′-p) differs from (z-p) only by scaling by a real number. Indeed, take their ratio:
(4)z′-pz-p=(z-p)/(p-z-1)-pz-p=(z-p)-p(p-z-1)(z-p)(p-z-1)=1-|p|2p-z+pz--|p|2-1=1-|p|22Re(p-z)-|p|2-1∈ℝ,
where, to get the first expression in the second line, we multiplied the numerator and the denominator by z- and used the fact that |z|2=1. It is easy (and not necessary) to check that P^2=id (up to Möbius equivalence).
A more abstract definition of the matrix representation emerges. Namely, denote the pseudounitary group of two-by-two complex matrices:
(5)U(1,1)={A∈ℂ⊗ℂ∣A*JA=J},
where J denotes the diagonal matrix J=diag(1,-1), and the star “*” denotes usual Hermitian transpose. Let ~ be the equivalence relation among matrices: A~B, if there exists λ∈ℂ, λ≠0, such that A=λB. Then, we have a projective version of the pseudounitary group:
(6)PU(1,1)=U(1,1)/~,
which is equivalent to its use for Möbius transformations. Now, any element of the group may be represented by a matrix up to a scale factor. The essence of Theorem 2 is that reversions correspond to such matrices with vanishing trace, TrA=0.
Note that we do not follow the tradition of normalizing the determinants, as is typically done for the representation of the modular group PSL(2,ℤ).
4. Algebraic Proof of the Porism
We will now prove the main results.
Proof of the Main Theorem.
Consider the product of three consecutive reversions through points P, Q, and R, as represented by matrices
(7)M=[1-rr--1][1-qq--1][1-pp--1]=[1-p-q+q-r-rp--p+q-r+pq-rp--q-+r--p-qr--1+pq--qr-+r-p].
Note that M12=-M-21, but we still need to see whether TrM=0. Recall the assumption that p, q, and r are collinear. If r=mp+nq, where m+n=1, m,n∈ℝ, we observe that the diagonal elements are real:
(8)M11=1-m(p-q+pq-)+m|p|2-n|q|2∈ℝ,M22=-M11.
Dividing every entry by M11 (Möbius equivalence), we arrive at
(9)M=[1-p+q-r+pq-r1-p-q-q-r+rp-p--q-+r--p-qr-1-p-q-q-r+rp--1],
which is visibly a matrix of reversion, defining uniquely the point of reversion:
(10)s=p-q+r-pq-r1-p-q-q-r+rp-.
What remains is to verify that s is collinear with p and q (and therefore r). This may be done algebraically by checking that (s-p)/(r-q)∈ℝ, but it also follows neatly by geometry that there are two points on the circle collinear with P, Q, and R, say A and B. Since RQP(A)=B, and therefore, S(A) must be B, thus S lies on the same line. We have proved that given a circle K, for any three points P, Q, and R, on a line L, there exists a point S on L such that SPQR=idor S=PQR, because S2=id. The main theorem follows.
The theorem generalizes to cyclic n-gons (see Figure 5).
A porism of cyclic polygons.
Theorem 7.
Let P=P2nP2n-1,…,P2P1 be the composition of point reversions of a circle K for some collinear set of an even number of (not necessarily distinct) points P1,…,P2n. Then,
(11)(∃X∈K,P(X)=X)⟹(∀X∈K,P(X)=X).
Proof.
By Theorem 4, any three consecutive maps in the string P may be replaced by one. This reduces the string of an even number of reversions to a string of four, which is the case proven as Theorem 2. Further reduction to two reversions would necessarily produce P1P1=id.
Remark 8.
Theorem 7 suggests a concept of a “ternary semigroup of points” on a (compactified) line, where the product requires three elements to produce one:
(12)a,b,c⟶abc.
The following may be considered as “axioms”:
(abc)de=a(bcd)e=ab(cde) (associativity),
abb=bba=a (absorption of squares),
abc=cba (mirror inversion of triples).
The point reversions define a realization of this algebra.
Yet another concept comes from these notes: two pairs of points, (P,Q) and (S,R), on a line are conjugate with respect to a circle if they belong to inscribed angles based on the same chord (see Figure 4, left), in other words, if PQ=SR, or, if there exists an inscribed quadrilateral which intersects L in P, Q, R, and S. In matrix terms,
(13)M(q)M(p)=[1-qp-q-pq--p-1-q-p]=[1q-p1-qp-q--p-1-qp-1-q-p1-qp-]=[1q-p1-qp-(q-p1-q-p)*1-q-p1-qp-],M(r)M(s)=[1-rs-r-sr--s-1-r-s]=[1r-s1-rs-r--s-1-rs-1-r-s1-rs-]=[1r-s1-rs-(r-s1-r-s)*1-r-s1-rs-],
from which this convenient formula results:
(14)r-s1-rs-=q-p1-qp-,
provided p, q, r, s are collinear.
5. Application: Relativistic Velocities
Take the real line and the unit circle as ingredients for the model. Consider a quadrilateral that goes through three collinear points, the origin (0) and two points represented by real numbers a and b. From Theorem 3, it follows that the fourth point on the real line must be
(15)M(b)M(a)M(0)++=[1-bb-1][1-aa-1][100-1]++=[1+ab-a-ba+b-1-ab]~[1-a+b1+aba+b1+ab-1].
We used the fact that conjugation does nothing to real numbers. Thus, the fourth point on ℝ has coordinate
(16)a⊕b=a+b1+ab,
but this happens to be the formula for relativistic addition of velocities! (in the natural units in which the speed of light is 1). Thus, we obtain its geometric interpretation, presented in Figure 6. A conventional derivation of this diagram may be found in [6]. See also [7] for an interactive applet.
Relativistic addition of velocities.
The segment through the origin does not have to be vertical for the device to work (by Theorem 3) but is set so for simplicity.
6. Further Generalizations
The porism described here for circles is also valid for any quadric; see Figure 7. What is intriguing, three cases (viz. circle, ellipse, and a pair of parallel lines) correspond to the three possible 2-dimensional Clifford algebras, each of the form of “generalized number plane” {a+be}, where e is an “imaginary unit” whose square is 1, −1, or 0, (see Table 1).
Algebra
“Sphere”
Formula represented geometrically
ℂ (complex numbers)
Circle
Relativistic velocities
𝔻 (hyperbolic numbers)
Hyperbola
Trigonometric tangents
𝔾 (dual numbers)
Parallel lines
Regular addition
Porism on quadrilaterals inscribed in quadrics.
The case of the circle corresponds to complex numbers, as described in the previous sections. The case of the hyperbola corresponds to “duplex numbers,” called also hyperbolic numbers or split-complex numbers:
(17)𝔻={a+bI:a,b∈ℝ,I2=1}.
They are—like complex numbers—a two-dimensional unital algebra except that its “imaginary unit” I is 1 when squared. As complex numbers are related to rotations, duplex numbers correspond to hyperbolic rotations. They were introduced in [8] as tessarines and represent a Clifford algebra ℝ0,1. They found useful applications; for example, in [9], a “hyperbolic quantum mechanics” was introduced. Here is the theorem corresponding to Theorem 6.
Proposition 9.
The reversion through a point p∈𝔻 with respect to the hyperbola x2-y2=1 is represented by the matrix
(18)p^:z⟶z′=[1-pp--1]·z=z-pp-z-1(|z|2=1),
while for branch x2-y2=-1, it is
(19)p^:z⟶z′=[-1pp-1]·z=-z+pp-z+1(|z|2=-1).
Proof.
For (18), follow the lines of the proof of the main theorem. To get (19), multiply the ingredients of (18) by I to switch the axes, use (18), and then multiply by I again to restore the original axes.
For the last case of parallel lines, we can use the same previous matrix calculus, but replace the algebra by dual numbers
(20)𝔾={a+bI:a,b∈ℝ,I2=0}.
Transformations (18) and (19) apply for two cases: vertical and horizontal lines, respectively (|z|2=1 versus |z|2=-1 in the hyperbolic norm).
It is a rather pleasant surprise to find the algebra and geometry interacting at such a basic level in an entirely nontrivial way. Repeating a construction analogous to the one in Section 5 that results in a geometric tool for addition of relativistic velocities to the hyperbolic numbers gives a similar geometric diagram representing addition of trigonometric tangents; see Figure 8. Consider
(21)a⊕b=a+b1-ab=tan(arctana+arctanb).
Trigonometric tangent formula visualized.
The final comment concerns the obvious extension of these results implied by inversion of the standard configuration like in Figure 1 through a circle. Möbius geometry removes the distinction between circles and lines. The lines of the quadrilateral and the line L under inversion may become circles. The point at infinity, where these lines meet, becomes under inversion a point that is part of the porism’s construction.
Thus, the general statement is the following: given circles L and K and an odd number of points P,P1,P2,…,P2n on L, suppose that there exists an ordered 2n-tuple (pencil) of circles C1,…,C2n, through P such that Pi∈Ci for every i and the points of intersections Ci∩Ci+1 and C2n∩C1 different from P all lie on the circle K; then, there are infinitely many such 2n-tuples of circles. Figure 9 illustrates the theorem for four circles. For interactive version of these and more examples, see [7].
Porism under inversion extends to circles replacing lines and vice versa.
Acknowledgments
The author is grateful to Philip Feinsilver for his interest in this work and for his helpful comments. Special thanks go also to creators of Cinderella, a wonderful software that allows one to quickly test geometric conjectures and to create nice interactive applets.
CoxeterD.GreitzerS.1967Washington, DC, USAMathematical Association of AmericaWeissteinE. W.Steiner ChainFrom Math World—A Wolfram Web Resource, http://mathworld.wolfram.com/SteinerChain.htmlBarthW.BauerT.Poncelet theorems1996142125144MR1395253ZBL0864.51018PonceletJ.-V.18651-22ndParis, FranceGauthier-VillarsWeissteinE. W.Poncelet’s PorismFrom Math World—A Wolfram Web Resource, http://mathworld.wolfram.com/PonceletsPorism.htmlKocikJ.Diagram for relativistic addition of velocities2012808720KocikJ.Interactive diagrams, http://www.math.siu.edu/Kocik/geometry.htmlCockleJ.On certain functions resembling quaternions, and on a new imaginary in algebra184833435439KocikJ.Duplex numbers, diffusion systems, and generalized quantum mechanics19993882221223010.1023/A:1026678408244MR1709036ZBL0938.81003