Related papers: A Pure Taxicab Perspective on Isometries
Richmond and Richmond (Amer. Math. Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove…
This paper concentrates on the homogeneous (conformal) model of Euclidean space (Horosphere) with subspaces that intuitively correspond to Euclidean geometric objects in three dimensions. Mathematical details of the construction and…
We study cones and cylinders with a 1-parametric isometric deformation carrying at least two planar curves, which remain planar during this continuous flexion and are located in non-parallel planes. We investigate this geometric/kinematic…
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…
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.
We define new geometric constants for normed planes, determine their optimal values, and characterize types of planes for which these optimal values are attained. Relations of these constants to several topics, such as areas and distances…
For a triangle $\Delta$, let (P) denote the problem of the existence of points in the plane of $\Delta$, that are at rational distance to the 3 vertices of $\Delta$. Answer to (P) is known to be positive in the following situation: $\Delta$…
This article focuses on the occurrence of 3-point configurations in subsets of $\mathbb{R}^d$ of sufficient thickness. We prove that a compact set $A\subset \mathbb{R}^d$ contains a similar copy of any linear $3$-point configuration (such…
A long-standing, unanswered question regarding Euclid's Elements concerns the absence of a theorem for the concurrence of the altitudes of a triangle, and the possible reasons for this omission. In the centuries following Euclid, a…
The author proposes a new geometry in this book. The author named this new geometry Intercenter Geometry. Intercenter Geometry is different from traditional Euclidean geometry and analytic geometry (coordinate geometry). The idea of…
Using the method of C. V\"or\"os, we establish results on hyperbolic plane geometry, related to triangles. In this note we investigate the orthocenter, the concept of isogonal conjugate and some further center as of the symmedian of a…
We prove that if one colors each point of the Euclidean plane with one of five colors, then there exist two points of the same color that are either distance $1$ or distance $2$ apart.
Let $\cal T$ be a tiling of the plane with equilateral triangles no two of which share a side. We prove that if the side lengths of the triangles are bounded from below by a positive constant, then $\cal T$ is periodic and it consists of…
The intersection matrix of a simplicial complex has entries equal to the rank of the intersection of its facets. In [1] the authors prove the intersection matrix is enough to determine a triangulation of a surface up to isomorphism. In this…
In this paper we give an alternative proof and a refinement of a recent result of S.D.Iliadis concerning isometrically containing mappings. We address also a recent result by A.I.Oblakova.
The theory of the isoptic curves is widely studied in the Euclidean plane $\bE^2$ (see \cite{CMM91} and \cite{Wi} and the references given there). The analogous question was investigated by the authors in the hyperbolic $\bH^2$ and elliptic…
Paul Erd\H{o}s posed the question of whether every measurable planar set of infinite Lebesgue measure contains the four vertices of an isosceles trapezoid of unit area. In this paper, we provide an affirmative answer to this question.…
In the present paper, loxodromes, which cut all meridians and parallels of twisted surfaces (that can be considered as a generalization of rotational surfaces) at a constant angle, have been studied in Euclidean 3-space and some examples…
In Lorentzian geometry, limited definition of angles restricts the use of angle bisectors in study of triangles. This paper redefines angle bisectors so that they can be used to study attributes of triangles. Using the new definition, this…
Many problems in Euclidean geometry, arising in computational design and fabrication, amount to a system of constraints, which is challenging to solve. We suggest a new general approach to the solution, which is to start with analogous…