Related papers: Notes on Bolyai's 'Appendix'
The memoir Theorie der Parallellinien (1766) by Johann Heinrich Lambert is one of the founding texts of hyperbolic geometry, even though its author's aim was, like many of his pre-decessors', to prove that such a geometry does not exist. In…
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…
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 review the memoir \emph{heorie der Parallellinien} by Johann Heinrich Lambert, written in 1766. Lambert, a victim of the prejudices of his time, conceived this memoir as an attempt to prove the so-called parallel postulate of Euclid's…
Eugenio Beltrami published his seminal 'Essay on the Interpretation of Non-Euclidean Geometry' in 1868, where he showed that geodesics on a surface of constant negative curvature can be mapped as straight lines on a Euclidean disc. More…
We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry". In that paper, he showed that a certain classical…
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…
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 trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. We…
Hyperbolic geometry is developed in a purely algebraic fashion from first principles, without a prior development of differential geometry. The natural connection with the geometry of Lorentz, Einstein and Minkowski comes from a projective…
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and…
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…
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 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…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
Barycentric coordinates are commonly used in Euclidean geometry. Following the adaptation of barycentric coordinates for use in hyperbolic geometry in recently published books on analytic hyperbolic geometry, known and novel results…
A soft presentation of hyperbolic spaces, free of differential apparatus, is offered. Fifth Euclid's postulate in such spaces is overthrown and, among other things, it is proved that spheres (equipped with great-circle distances) and…
The goal of this paper is to study two basic problems of hyperbolic geometry. The first problem is to compare the hyperbolic and Euclidean distances. The second problem is to find hyperbolic counterparts of some basic geometric…
Non-Euclidean geometry, discovered by negating Euclid's parallel postulate, has been of considerable interest in mathematics and related fields for the description of geographical coordinates, Internet infrastructures, and the general…
Mathematical objects are generally abstract and not very approachable. Illustrations and interactive visualizations help both students and professionals to comprehend mathematical material and to work with it. This approach lends itself…