2023/02/20 by Błaszczyk, Piotr, Petiurenko, Anna
#FOS: Mathematics #History and Overview (math.HO)
paper · doi:10.48550/arxiv.2302.12768
We present a new model of a non-Euclidean plane, in which angles in a triangle sum up to π. It is a subspace of the Cartesian plane over the field of hyperreal numbers ℝ^*. The model enables one to represent the negation of equivalent versions of the parallel axiom, such as the existence of the circumcircle of a triangle, and Wallis' or Lagendre's axioms, as well as the difference between non-Euclidean and hyperbolic planes. The model has unique educational advantages as expounding its crucial ideas requires only the basics of Cartesian geometry and non-Archimedean fields.