相关论文: The independence of the parallel postulate and the…

As a much later addition to the original Euclidean geometry, the parallel postulate distinguishes non-Euclidean geometries from Euclidean geometry. This paper will show that the parallel postulate is unnecessary because the 4th Euclidean…

Euclidean geometry consists of straightedge-and-compass constructions and reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. We consider three versions of…

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…

We study Saccheri`s three hypotheses on a two right-angled isosceles quadrilateral, with a rectilinear summit side. We claim that in the Hilbert`s foundation of geometry the euclidean parallelism is a theorem, and in the h-plane the…

In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the…

We present alternative postulates for Euclidean geometry whose merit is that they lead to a new class of invariants and associated geometries for real finite-dimensional unital associative algebras.

We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…

We ascribe to the Euclidean Fifth Postulate a genuine constructive role, which makes it absolutely necessary in the parallel construction. For that, we present a reconstruction of the general principles underlying the Euclidean construction…

We define the simplest log-euclidean geometry. This geometry exposes a difficulty hidden in Hilbert's list of axioms presented in his "Grundlagen der Geometrie". The list of axioms appears to be incomplete if the foundations of geometry are…

The article deals with the connection between the second postulate of Euclid and non-Euclidean geometry. It is shown that the violation of the second postulate of Euclid inevitably leads to hyperbolic geometry. This eliminates…

We investigate vertices for plane curves with singular points. As plane curves with singular points, we consider Legendre curves (respectively, Legendre immersions) in the unit tangent bundle over the Euclidean plane and frontals…

The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. List of topics: Euclidean geometry: The Axioms / Half-planes / Congruent triangles / Perpendicular…

A parallelogram is conformally inscribed in four lines in the plane if it is inscribed in a scaled copy of the configuration of four lines. We describe the geometry of the three-dimensional Euclidean space whose points are the…

The "Perpendicular Bisectors Construction" is a natural way to seek a replacement for the circumcenter of a noncyclic quadrilateral in the plane. In this paper, we generalize this iterative construction to a construction on polytopes with…

Four points ordered in the positive order on the unit circle determine the vertices of a quadrilateral, which is considered either as a euclidean or as a hyperbolic quadrilateral depending on whether the lines connecting the vertices are…

In the era of foundation models and Large Language Models (LLMs), Euclidean space has been the de facto geometric setting for machine learning architectures. However, recent literature has demonstrated that this choice comes with…

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.

This paper is a sequel to arXiv:2511.01024 (Base 1), where an axiomatic framework for angles and the foundations of difference-angle geometry were introduced. In difference-angle geometry, where the difference of slopes of lines is treated…

Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the…

We investigate connections between the geometry of linear subspaces and the convergence of the alternating projection method for linear projections. The aim of this article is twofold: in the first part, we show that even in Euclidean…