The bridge between Desargues' and Pappus' theorems

Ákos G.Horváth

2023-05-03

Abstract:In this paper, we investigate the configuration theorems of Desargues and Pappus in a synthetic geometric way. We provide a bridge between the two configurations with a third one that can be considered a specification for both. We do not use the theory of collineations or the analytic description of the plane over a ternary ring.

History and Overview

What problem does this paper attempt to address?

Projective Configuration Theorems: Old Wine into New Wineskins

Serge Tabachnikov

DOI: https://doi.org/10.1007/978-3-030-13609-3_9

2019-01-01

Abstract:We survey some recent results concerning projective configuration theorems in the spirit of the classical theorems of Pappus, Desargues, Pascal, …We hope that this modern take on the old theorems makes this evergreen topic fresh again. We connect configuration theorems to completely integrable systems, identities in Lie algebras of motion, modular group, and other subject of contemporary interest.
The Transform of a line of Desargues Affine Plane in an additive Group of its Points

Orgest Zaka,Kristaq Filipi

DOI: https://doi.org/10.48550/arXiv.1609.01155

2016-08-20

Abstract:In this paper we present a set transformation of points in a line of the Desargues affine plane in a additive group. For this, the first stop on the meaning of the Desargues affine plane, formulating first axiom of his that show proposition D1. Afterwards we show that little Pappus theorem, which we use in the construction of group proofs in additions of points on a line on desargues plane, also applies in the Desargues affine plane.

General Mathematics
Constructive Coordinatization of Desarguesian Planes

Mark Mandelkern

2024-02-12

Abstract:A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring from which coordinates may be assigned to points, and equations to lines; this theory is highly nonconstructive. The present paper develops this coordinatization theory constructively, in accordance with the principles introduced by Errett Bishop in his 1967 book, Foundations of Constructive Analysis. The traditional geometric axioms are adopted, together with two supplementary axioms which are constructively stronger versions of portions of the usual axioms. Stronger definitions, with enhanced constructive meaning, are also selected; these are based on a single primitive notion, and are classically equivalent to the traditional definitions. Brouwerian counterexamples are included; these point out specific nonconstructivities in the classical theory, and the consequent need for strengthened definitions and results in a constructive theory. All the major results of the classical theory are established, in their original form, revealing their hidden constructive content.

Metric Geometry
Formulas generalizing Pappus and Desargues

Roger D. Maddux

DOI: https://doi.org/10.48550/arXiv.2011.12455

2020-11-25

Abstract:The Theorems of Pappus and Desargues are generalized by two special formulas that hold in the three-dimensional vector space over a field.

Algebraic Geometry
Axiomatization of geometry employing group actions

Jerzy Dydak

DOI: https://doi.org/10.48550/arXiv.1501.00285

2015-01-01

Metric Geometry

Abstract:The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a topological, not a metric concept. That leads quickly to the notion of connectedness without any need to dwell on the definition of topology. In our approach line segments must be connected. Lines and planes are unified via the concept of separation: lines are separated into two components by each point, planes contain lines that separate them into two components as well. We add a subgroup of bijections preserving line segments and establishing unique isomorphism of basic geometrical sets, and the axiomatic structure is complete. Of fundamental importance is the Fixed Point Theorem that allows for creation of the concepts of length and congruency of line segments. The resulting structure is much more in sync with modern science than other axiomatic approaches to planar geometry. For instance, it leads naturally to the Erlangen Program in geometry. Our Conditions of Homogeneity and Rigidity have two interpretations. In physics, they correspond to the basic tenet that independent observers should arrive at the same measurement and are related to boosts in special relativity. In geometry, they mean uniqueness of congruence for certain geometrical figures. Another thread of the paper is the introduction of boundary at infinity, an important concept of modern mathematics, and linking of Pasch Axiom to endowing boundaries at infinity with a natural relation of betweenness. That way spherical geometry can be viewed as geometry of boundaries at infinity.
Two Strange Constructions in the Euclidean Plane

Volker Thürey

DOI: https://doi.org/10.48550/arXiv.0811.3568

2008-11-21

Metric Geometry

Abstract:We present two new constructions in the usual euclidean plane. We only deal with 'Grecian Geometry', with this phrase we mean elementary geometry in the two-dimensional space R 2 . We describe and prove two propositions about 'projections'. The proofs need only elementary analytical knowledge.
When Grünbaum meets Poncelet -- Infinite Classes of Movable $n_4$ Configurations

Leah Wrenn Berman,Gábor Gévay,Jürgen Richter-Gebert,Serge Tabachnikov

2024-08-17

Abstract:We study relations between $(n_4)$ incidence configurations and the classical Poncelet Porism. Poncelet's result studies two conics and a sequence of points and lines that inscribes one conic and circumscribes the other. Poncelet's Porism states that whether this sequence closes up after $m$ steps only depends on the conics and not on the initial point of the sequence. In other words: Poncelet polygons are movable. We transfer this motion into a flexibility statement about a large class of $(n_4)$ configurations, which are configurations where 4 (straight) lines pass through each point and four points lie on each line. A first instance of such configurations in real geometry had been given by Grünbaum and Rigby in their classical 1990 paper where they constructed the first known real geometric realisation of a well known combinatorial $(21_4)$ configuration (which had been studied by Felix Klein), now called the Grünbaum-Rigby configuration. Since then, there has been an intensive search for movable $(n_4)$ configurations, but it is very surprising that the Grünbaum-Rigby $(21_4)$ configuration admits nontrivial motions. It is well-known that the Grünbaum-Rigby configuration is the smallest example of an infinite class of $(n_4)$ configurations, the trivial celestial configurations. A major result of this paper is that we show that all trivial celestial configurations are movable via Poncelet's Porism and results about properties of Poncelet grids. Alternative approaches via geometry of billiards, in-circle nets, and pentagram maps that relate the subject to discrete integrable systems are given as well.

Combinatorics,Metric Geometry
Axiomatic Differential Geometry III-3

Hirokazu Nishimura

DOI: https://doi.org/10.48550/arXiv.1210.3422

2017-04-24

Abstract:The principal objective in this paer is to study the relationship between the old kingdom of differential geometry (the category of smooth manifolds) and its new kingdom (the category of functors on the category of Weil algebras to some smooth category). It is shown that the canonical embedding of the old kingdom into the new kingdom preserves Weil functors.

Differential Geometry
Arithmetic analogues of some basic concepts from Riemannian geometry

Alexandru Buium

DOI: https://doi.org/10.48550/arXiv.1503.02489

2015-03-09

Abstract:Following recent work of the author, partly in collaboration with T. Dupuy and M. Barrett, we describe arithmetic analogues of some key concepts from Riemannian geometry such as: metrics, Chern connections, curvature, etc. Theorems are stated to the effect that the spectrum of the integers has a non-vanishing curvature.

Number Theory
The geometry of Deroin-Tholozan representations

Aaron Fenyes,Arnaud Maret

2023-12-15

Abstract:We present a way to build hyperbolic spheres with conical singularities by gluing together simple building blocks. Our construction provides good control over the holonomy of the resulting hyperbolic cone sphere. In particular, it can be used to realize any Deroin-Tholozan (DT) representation as the holonomy of a hyperbolic cone sphere. Our construction is inspired by the correspondence between DT representations and chains of triangles in the hyperbolic plane. It gives a geometric interpretation of certain action-angle coordinates on the space of DT representations, which come from this correspondence.

Geometric Topology
A Constructive Real Projective Plane

Mark Mandelkern

DOI: https://doi.org/10.1007/s00022-015-0272-4

2024-04-26

Abstract:The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal's Theorem, poles and polars. The axioms used for the synthetic treatment are constructive versions of the traditional axioms. The analytic construction is used to verify the consistency of the axioms; it is based on the usual model in three-dimensional Euclidean space, using only constructive properties of the real numbers. The methods of strict constructivism, following principles put forward by Errett Bishop, reveal the hidden constructive content of a portion of classical geometry. A number of open problems remain for future studies.

Metric Geometry
Towards an Independent Version of Tarski's System of Geometry

Pierre Boutry,Stéphane Kastenbaum,Clément Saintier

DOI: https://doi.org/10.4204/EPTCS.398.11

2024-01-22

Abstract:In 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabhäuser, Szmielew and Tarski in 1983. The differences amount to simplifications obtained by Tarski and Gupta. Gupta presented an independent version of Tarski's system of geometry, thus establishing that his version could not be further simplified without modifying the axioms. To obtain the independence of one of his axioms, namely Pasch's axiom, he proved the independence of one of its consequences: the previously eliminated symmetry of betweenness. However, an independence model for the non-degenerate part of Pasch's axiom was provided by Szczerba for another version of Tarski's system of geometry in which the symmetry of betweenness holds. This independence proof cannot be directly used for Gupta's version as the statements of the parallel postulate differ.

Logic in Computer Science
Non-Euclidean Erdős-Anning Theorems

David Eppstein

2024-01-22

Abstract:The Erdős-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter $\delta$, at most $O(\delta^2)$ points can have integer distances from all three triangle vertices. We prove the same results for any strictly convex distance function on the plane, and analogous results for every two-dimensional complete Riemannian manifold of bounded genus and for geodesic distance on the boundary of every three-dimensional Euclidean convex set. As a consequence, we resolve a 1983 question of Richard Guy on the equilateral dimension of Riemannian manifolds. Our proofs are based on the properties of additively weighted Voronoi diagrams of these distances.

Metric Geometry,Computational Geometry
On The Ten Point Wood-Desargues' Configuration

Christopher Bradley

DOI: https://doi.org/10.48550/arXiv.1008.0537

2010-08-03

Metric Geometry

Abstract:The ten pairs of directly similar triangles in perspective in the Wood-Desargues' configuration have ten common Hagge circle centres. These centres are known to lie one each of the ten perspectrices. It is shown in this paper that these centres also lie at the vertices of five cyclic quadrangles, which are similar to the five cyclic quadrangles of the initial Wood-Desargues' configuration and that these five new cyclic quadrangles have a common circumradius.
On the intersection of ACM curves in $\PP^3$

R. Hartshorne,R. M. Miró-Roig,R.M. Miró-Roig

DOI: https://doi.org/10.48550/arXiv.1403.2840

2014-03-12

Algebraic Geometry

Abstract:Bezout's theorem gives us the degree of intersection of two properly intersecting projective varieties. As two curves in P^3 never intersect properly, Bezout's theorem cannot be directly used to bound the number of intersection points of such curves. In this work, we bound the maximum number of intersection points of two integral ACM curves in P^3. The bound that we give is in many cases optimal as a function of only the degrees and the initial degrees of the curves.
From Pappus Theorem to parameter spaces of some extremal line point configurations and applications

Magdalena Lampa-Baczynska,Justyna Szpond

DOI: https://doi.org/10.1007/s10711-016-0207-8

2016-02-10

Abstract:In the present work we study parameter spaces of two line point configurations introduced by Böröczky. These configurations are extremal from the point of view of Dirac-Motzkin Conjecture settled recently by Green and Tao. They have appeared also recently in commutative algebra in connection with the containment problem for symbolic and ordinary powers of homogeneous ideals and in algebraic geometry in considerations revolving around the Bounded Negativity Conjecture. Our main results are Theorem A and Theorem B. We show that the parameter space of what we call $B12$ configurations is a three dimensional rational variety. As a consequence we derive the existence of a three dimensional family of rational $B12$ configurations. On the other hand the moduli space of $B15$ configurations is shown to be an elliptic curve with only finitely many rational points, all corresponding to degenerate configurations. Thus, somewhat surprisingly, we conclude that there are no rational $B15$ configurations.

Algebraic Geometry,Combinatorics
Tropical and algebraic curves with multiple points

Eugenii Shustin

DOI: https://doi.org/10.48550/arXiv.0904.2834

2009-11-01

Abstract:Patchworking theorems serve as a basic element of the correspondence between tropical and algebraic curves, which is a core of the tropical enumerative geometry. We present a new version of a patchworking theorem which relates plane tropical curves with complex and real algebraic curves having prescribed multiple points. It can be used to compute Welschinger invariants of non-toric Del Pezzo surfaces.

Algebraic Geometry
Le Retour de Pappus

Richard Evan Schwartz

2024-12-03

Abstract:In my 1993 paper, "Pappus's Theorem and the Modular Group", I explained how the iteration of Pappus's Theorem gives rise to a $2$-parameter family of representations of the modular group into the group of projective automorphisms. In this paper we realize these representations as isometry groups of patterns of geodesics in the symmetric space $X=SL_3(\R)/SO(3)$. The patterns have the same asymptotic structure as the geodesics in the Farey triangulation, so our construction gives a $2$ parameter family of deformations of the Farey triangulation inside $X$. We also describe a bending phenomenon associated to these patterns.

Geometric Topology
Building bridges between Tate conjectures and arithmetic invariants

Victoria Cantoral-Farfan,Seoyoung Kim

2024-09-20

Abstract:In this paper, we clarify and build connections between various conjectures largely motivated by the works of Jean-Pierre Serre and John Tate. We closely study the Tate conjecture for algebraic cycles as well as their motivic generalizations along with various links to Nagao's conjecture.

Algebraic Geometry,Number Theory
Combining the theorems of Turán and de Bruijn-Erd\H os

Sayok Chakravarty,Dhruv Mubayi

2024-11-22

Abstract:Fix an integer $s \ge 2$. Let $\mathcal{P}$ be a set of $n$ points and let $\mathcal{L}$ be a set of lines in a linear space such that no line in $\mathcal{L}$ contains more than $(n-1)/(s-1)$ points of $\mathcal{P}$. Suppose that for every $s$-set $S$ in $\mathcal{P}$, there is a pair of points in $S$ that lies in a line from $\mathcal{L}$. We prove that $|\mathcal{L}| \ge (n-1)/(s-1)+s-1$ for $n$ large, and this is sharp when $n-1$ is a multiple of $s-1$. This generalizes the de Bruijn-Erd\H os theorem which is the case $s=2$. Our result is proved in the more general setting of linear hypergraphs.

Combinatorics

The bridge between Desargues' and Pappus' theorems

Projective Configuration Theorems: Old Wine into New Wineskins

The Transform of a line of Desargues Affine Plane in an additive Group of its Points

Constructive Coordinatization of Desarguesian Planes

Formulas generalizing Pappus and Desargues

Axiomatization of geometry employing group actions

Two Strange Constructions in the Euclidean Plane

When Grünbaum meets Poncelet -- Infinite Classes of Movable $n_4$ Configurations

Axiomatic Differential Geometry III-3

Arithmetic analogues of some basic concepts from Riemannian geometry

The geometry of Deroin-Tholozan representations

A Constructive Real Projective Plane

Towards an Independent Version of Tarski's System of Geometry

Non-Euclidean Erdős-Anning Theorems

On The Ten Point Wood-Desargues' Configuration

On the intersection of ACM curves in $\PP^3$

From Pappus Theorem to parameter spaces of some extremal line point configurations and applications

Tropical and algebraic curves with multiple points

Le Retour de Pappus

Building bridges between Tate conjectures and arithmetic invariants

Combining the theorems of Turán and de Bruijn-Erd\H os