Related papers: Two Strange Constructions in the Euclidean Plane
In this article we will represent some ideas and a lot of new theorems in Euclidean plane geometry.
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…
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 discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems.
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W.…
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 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…
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…
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…
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…
Geometry is essentially a global language, which is fully understood in different times, countries and cultures. The proof of a geometric theorem (e.g. the Pythagorean Theorem) or a geometric construction (e.g. the construction of an…
We study geometric structures arising from Hermitian forms on linear spaces over real algebras beyond the division ones. Our focus is on the dual numbers, the split-complex numbers, and the split-quaternions. The corresponding geometric…
At any point of a surface in the four-dimensional Euclidean space we consider the geometric configuration consisting of two figures: the tangent indicatrix, which is a conic in the tangent plane, and the normal curvature ellipse. We show…
We provide the full classification of equidistant decomposition of a two-dimensional Euclidean plane and a two-dimensional sphere.
In two papers titled "On the so-called non-Euclidean geometry", I and II, Felix Klein proposed a construction of the spaces of constant curvature -1, 0 and and 1 (that is, hyperbolic, Euclidean and spherical geometry) within the realm of…
We apply the invariant theory of surfaces in the four-dimensional Euclidean space to the class of general rotational surfaces with meridians lying in two-dimensional planes. We find all minimal super-conformal surfaces of this class.
A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial…
We consider here a generalization of a well known discrete dynamical system produced by the bisection of reflection angles that are constructed recursively between two lines in the Euclidean plane. It is shown that similar properties of…
We compare the essential properties of projections in the L2 and L1 normed spaces by two methods: Projection operators and by minimization of the distance. In Euclidean geometry the orthogonality (L2- conjugacy) plays central role; while in…
An idea to present a classical Lie group of positive dimension by generators and relations sounds dubious, but happens to be fruitful. The isometry groups of classical geometries admit elegant and useful presentations by generators and…