Related papers: Saccheri's Rectilinear Quadrilaterals

We give a characterization of all three points in $\mathbb R^4$ with integer coordinates which are at the same Euclidean distance apart. In three dimension the problem is characterized in terms of solutions of the Diophantine equations…

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…

We prove that every three-dimensional polyhedron is uniquely determined by its dihedral angles and edge lengths, even if nonconvex or self-intersecting, under two plausible sufficient conditions: (i) the polyhedron has only convex faces and…

In this paper, we explicitly show the various isometries of the plane under the taxicab metric. We then use these isometries to prove that Euclid's proposition I.5 for isoscelese triangles is true under certain circumstances in taxicab…

We prove analogues of several well-known results concerning rational morphisms between quadrics for the class of so-called quasilinear $p$-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric…

It is well-known that the unit cotangent bundle of any Riemannian manifold has a canonical contact structure. A surface in a Riemannian 3-manifold is called a (wave) front if it is the projection of a Legendrian immersion into the unit…

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

Suppose that $I$ is a unit square. Let $T$ (resp. $\Delta$) be an isosceles right triangle (resp. an equilateral triangle). We prove that any collection of triangles homothetic to $T$ (resp. $\Delta$), whose total area does not exceed…

We prove that every rational angled hyperbolic triangle has transcendental side lengths and that every rational angled hyperbolic quadrilateral has at least one transcendental side length. Thus, there does not exist a rational angled…

We discover suprising connections between three seemingly different problems: finding right triangles with rational sides in a non-Euclidean geometry, finding three integers such that the difference of the squares of any two is a square,…

Meridian surfaces in the Euclidean 4-space are two-dimensional surfaces which are one-parameter systems of meridians of a standard rotational hypersurface. On the base of our invariant theory of surfaces we study meridian surfaces with…

The hexagon is the least-perimeter tile in the Euclidean plane. On hyperbolic surfaces, the isoperimetric problem differs for every given area. Cox conjectured that a regular $k$-gonal tile with 120-degree angles is isoperimetric for its…

We show that any two geometric triangulations of a closed hyperbolic, spherical or Euclidean manifold are related by a sequence of Pachner moves and barycentric subdivisions of bounded length. This bound is in terms of the dimension of the…

If $ABC$ is a given triangle in the plane, $P$ is any point not on the extended sides of $ABC$ or its anticomplementary triangle, $Q$ is the complement of the isotomic conjugate of $P$ with respect to $ABC$, $DEF$ is the cevian triangle of…

We use hyperbolic geometry to construct simply-connected symplectic or complex manifolds with trivial canonical bundle and with no compatible Kahler structure. We start with the desingularisations of the quadric cone in C^4: the smoothing…

Chasles' Quadrilateral Theorem is a classical statement about four tangents to a conic that simultaneously circumscribe a circle. In its various formulations, it relates the concurrence of certain lines to the existence of confocal conics…

We address the problem of classification of hyper-K\"ahler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-K\"ahler $4$-folds numerically equivalent to the Hilbert scheme of two…

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…

In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar…