Related papers: Gallucci's axiom revisited
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,…
Several incidence theorems of planar projective geometry are considered. It is demonstrated that generalizations of Pascal theorem due to M\"obius give rise to double cross-ratio equation and Hietarinta equation. The construction…
A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial…
For an axiomatization of three-dimensional projective space based on points and planes, we discuss appropriate versions of the harmonicity axiom and the projectivity axiom, showing that each axiom is equivalent to its spatial dual.
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…
Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such…
A natural one-to-one correspondence between projective spaces, defined by an axiom system published by O. Veblen and J. W. Young in 1908, and projective join spaces, defined by an axiom system published by M. Pieri in 1899, is presented. A…
The purpose of this paper is to present projective geometry in a synthetic, visual and intuitive style through the central notion of harmonicity which leads to harmonic curves. This presentation includes new results, unpublished proofs of…
Two axioms of order geoemtry are the poset axioms of transitivity and antisymmetry of the relation "is in front of" when looking from a point. From these axioms, by looking from an interval instead of a point, further well-known axioms of…
A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwerian counterexamples reveal the limitations of traditional…
In classical geometric algebra, there have been several treatments of affine and projective planes based on fields. In this thesis we approach affine and projective planes from a constructive point of view and we base our geometry on local…
By the methods of the synthetic geometry we investigate properties of objects generated from a complete quadrangle and a line, which lies in its plane. We start with a problem from the book of Sharygin "Problems in Plane Geometry". We…
As was recently shown, non-relativistic quantum theory can be derived by means of a projection method from a continuum of classical solutions for (massive) particles. In this paper we show that Maxwell's equations in empty space can be…
We take points and planes as fundamental, lines as derived, in an axiomatic formulation of three-dimensional projective space, the self-dual nature of which formulation renders automatic the principle of duality.
We show that various classical theorems of real/complex linear incidence geometry, such as the theorems of Pappus, Desargues, M\"obius, and so on, can be interpreted as special cases of a single "master theorem" that involves an arbitrary…
We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…
The theory uses methods and language of linear algebra to study nonlinear spaces. These techniques can be used particularly to describe analytic geometry of non-linear elliptic, hyperbolic, De Sitter and Anti de Sitter spaces. The main…
We prove an incidence theorem for points and planes in the projective space $\mathbb P^3$ over any field $\mathbb F$, whose characteristic $p\neq 2.$ An incidence is viewed as an intersection along a line of a pair of two-planes from two…
In this paper we study intersections of quadrics, components of the hypersurface in Grassmannian $Gr(3, \CC^n)$ introduced in \cite{SoSuSi}. This lead to an alternative statement and proof of Pappus's Theorem retrieving Pappus's and Hesse…
We show how the birth of perspective painting in the Italian Renaissance led to a new way of interpreting space that resulted in the creation of projective geometry. Unlike other works on this subject, we explicitly show how the craft of…