相关论文: The fragment of elementary plane Euclidean geometr…

The article presents a new approach to euclidean plane geometry based on projective geometric algebra (PGA). It is designed for anyone with an interest in plane geometry, or who wishes to familiarize themselves with PGA. After a brief…

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…

We present two new constructions in the usual euclidean plane. We only deal with 'Grecian Geometry', with this phrase we mean elementary geometry in the two-dimensional space R 2 . We describe and prove two propositions about 'projections'.…

A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms…

Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…

In this article, I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us (the…

By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are…

One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…

Spine spaces can be considered as fragments of a projective Grassmann space. We prove that the structure of lines together with binary coplanarity relation, as well as with binary relation of being in one pencil of lines, is a sufficient…

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…

There are many problems and configurations in Euclidean geometry that were never extended to the framework of (normed or) finite dimensional real Banach spaces, although their original versions are inspiring for this type of generalization,…

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 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…

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.

Projective geometry provides the preferred framework for most implementations of Euclidean space in graphics applications. Translations and rotations are both linear transformations in projective geometry, which helps when it comes to…

This paper develops a complete foundational treatment of simplicial complexes from Euclidean spaces through geometric realizations, emphasizing concrete computations, examples, and practical verification methods. Beginning with finite point…

Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in…

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…

Euclidean geometry is among the earliest forms of mathematical thinking. While the geometric primitives underlying its constructions, such as perfect lines and circles, do not often occur in the natural world, humans rarely struggle to…

Three different representation of the proper Euclidean geometry are considered. They differ in the number of basic elements, from which the geometrical objects are constructed. In E-representation there are three basic elements (point,…