Related papers: Non-euclidean shadows of classical projective theo…
The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle…
This paper proves a generalization of the Butterfly Theorem, a classical Euclidean result, which is valid in the complex projective plane.
The Marden theorem of geometry of polynomials and the great Poncelet theorem from projective geometry of conics by their classical beauty occupy very special places. Our main aim is to present a strong and unexpected relationship between…
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 prove a version of the classical Runge and Mergelyan uniform approximation theorems for non-orientable minimal surfaces in Euclidean 3-space R3. Then, we obtain some geometric applications. Among them, we emphasize the following ones: 1.…
In this paper we overview the theory of conics and roulettes in four non-Euclidean planes. We collect the literature about these classical concepts, from the eighteenth century to the present, including papers available only on arXiv. The…
In a previous work of the first authors, a non-holonomic model, generalising the micromorphic models and allowing for curvature (disclinations) to arise from the kinematic values, was presented. In the present paper, a generalisation of the…
We present the non-trivial example how to generate non-Euclidean geometries from associative unital algebras. We consider bundles of the sphere of the degenerate non-Eucleadian space and its two models. The first (conformal) model is…
This is a paper about triangle cubics and conics in classical geometry with elements of projective geometry. In recent years, N.J. Wildberger has actively dealt with this topic using an algebraic perspective. Triangle conics were also…
In this paper, generalizing the techniques of Bour's theorem, we prove that every generic cuspidal edge, more generally, generic $n$-type edge, which is invariant under a helicoidal motion in Euclidean $3$-space admits non-trivial isometric…
In 1640's, Blaise Pascal discovered a remarkable property of a hexagon inscribed in a conic - Pascal Theorem, which gave birth of the projective geometry. In this paper, a new geometric invariant of algebraic curves is discovered by a…
We review and comment on some works of Euler and his followers on spherical geometry. We start by presenting some memoirs of Euler on spherical trigonometry. We comment on Euler's use of the methods of the calculus of variations in…
We present a new model of a non-Euclidean plane, in which angles in a triangle sum up to $\pi$. It is a subspace of the Cartesian plane over the field of hyperreal numbers $\mathbb{R}^*$. The model enables one to represent the negation of…
The purpose of this book is to give an exposition of geometry, from a point of view which complements Klein's Erlangen program. The emphasis is on extending the classical Euclidean geometry to the finite case, but it goes beyond that. After…
In non-Euclidean geometry, there are several known correspondings to Chapple-Euler Theorem. This remark shows that those results yield expressions corredponding to the well-known formula $d=\sqrt{R(R-2r)}$.
We prove a general nonlinear projection theorem for Assouad dimension. This theorem has several applications including to distance sets, radial projections, and sum-product phenomena. In the setting of distance sets we are able to…
We deal with generalizations of the Fundamental Theorem of Projective Geometry to other related geometries (of dimension $\geq 3$) and non bijective maps. We consider locally projective geometries and locally affino-projective geometries…
Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…
We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the…
This paper shows how a recent reformulation of the basics of classical geometry and trigonometry reveals a three-fold symmetry between Euclidean and non-Euclidean (relativistic) planar geometries. We apply this chromogeometry to look at…