Quadri-Figures in Cayley-Klein Planes II: The Miquel-Steiner Theorem

The Miquel-Steiner theorem for a quadrilateral in the Euclidean plane states that the circumcircles of the four component triangles intersect at a single point, which now is called the Miquel-Steiner point of the quadrilateral. In elliptic and in hyperbolic planes, the Miquel-Steiner theorem does not hold in this form. Instead, a weaker version applies: The circumcircles of the four component triangles of a quadrilateral have a common radical center, which we will also call the Miquel-Steiner point. The Miquel-Steiner theorem for Euclidean planes also needs to be modified for Minkowski and Galilean planes: Either the circumcircles of the four component triangles touch each other at a point on the line at infinity, or they intersect transversely at an anisotropic point. For specific quadrilaterals (such as cyclic quadrilaterals), the location of the Miquel-Steiner point can be determined more precisely.

💡 Research Summary

The paper “Quadri‑Figures in Cayley‑Klein Planes II: The Miquel‑Steiner Theorem” extends the classical Euclidean Miquel‑Steiner theorem to the broader setting of Cayley‑Klein geometries, which include elliptic, hyperbolic, and metric‑affine (Minkowski and Galilean) planes. The authors begin by embedding the real vector space U = ℝ³ into the complex space V = ℂ³ and consider the real projective plane P_U as a subspace of the complex projective plane P_V. An absolute conic K° is defined by a real quadratic form φ° restricted to U; the signature of φ° determines the type of geometry: (3,0,0) yields elliptic, (2,1,0) hyperbolic, (1,0,0) metric‑affine, (1,1,0) dual Euclidean, and (1,−1,0) dual Minkowski. The paper focuses on the first three cases.

Key notions such as anisotropic points (points not on K°) and congruent points (points related by semi‑isometries) are introduced. In elliptic and metric‑affine planes all anisotropic points are congruent, while hyperbolic planes have two congruence classes. Triangles are classified into four types (Δ₀,…,Δ₃) according to the signs of barycentric coefficients; only triangles whose vertices are anisotropic and belong to the same congruence class possess a circumcircle.

The central result, Theorem 1, states that for a complete quadrilateral (four lines in general position, no three concurrent) the four component triangles each have a circumcircle, and these four circles share a common radical center, which the authors call the Miquel‑Steiner point of the quadrilateral. The proof proceeds by assigning homogeneous barycentric coordinates to the auxiliary points D, E, F, expressing each circumcircle as a quadratic form, and then constructing the three radical lines L_A, L_B, L_C. Their pairwise intersections are shown to coincide at a point M_q, establishing the existence of a unique radical center in all three geometries.

Theorem 1b, obtained by projective duality, introduces the Miquel‑Steiner line: the six external intersection points of the four tangent circles (each pair of circles touches at two points) are collinear. This line is the dual counterpart of the radical center.

Theorem 2 deals with the Miquel‑Steiner transformation originally described by Odehnal. For a quadrilateral ABCD the transformation maps the Miquel‑Steiner triangle (the triangle formed by the three Miquel‑Steiner points of the three associated quadrilaterals) to the reference triangle ABC by a projective map Q. In Euclidean geometry Q has a unique fixed point, the circumcenter of ABC. In elliptic and hyperbolic planes the transformation still has a unique fixed point, but it is generally not the circumcenter; the fixed point satisfies the equations d_A−d_B = 1/β−1/α and d_A−d_C = 1/γ−1/α, where the symbols α, β, γ are functions of the barycentric coordinates of D and the parameters of the absolute conic.

Theorem 3 provides a necessary and sufficient condition for the Miquel‑Steiner point of a tetragon ABCD to lie on the line joining the diagonal points P₁ = (A×B)×(C×D) and P₂ = (B×C)×(D×A). The condition is that the vertex D must lie on the circumcircle of ABC; algebraically this is expressed as δ(d_A+d_B+d_C)=1, where δ is derived from the absolute conic. Theorem 3b states that a Miquel‑Steiner line exists for a tetragon only when the tetragon is a tangent quadrilateral (all sides tangent to a common circle).

Throughout the paper the authors employ homogeneous barycentric coordinates relative to a reference triangle ABC, explicit formulas for the absolute conic, circumcircles, radical lines, and the Miquel‑Steiner point. They demonstrate that the radical‑center viewpoint, which is central in Euclidean geometry, survives unchanged in elliptic and hyperbolic planes, while in metric‑affine planes the circles either touch at a point on the line at infinity or intersect transversely at an anisotropic point. The analytical approach yields concrete coordinate expressions that facilitate computational verification and geometric visualization (e.g., via GeoGebra). The work thus provides a unified, algebraic framework for understanding the Miquel‑Steiner configuration across a wide spectrum of non‑Euclidean geometries.