Related papers: Napoleonic Constructions in the Hyperbolic Plane
We consider the problem of finding the maximum number $e_d(n)$ of pairs of touching circles in a packing of $n$ congruent circles of diameter $d$ in the hyperbolic plane of curvature $-1$. In the Euclidean plane, the maximum comes from a…
The real projective plane has three well know isomorphic constructions: the extended euclidean plane, unit (hemi)sphere, and three dimensional vector space over the reals. In this paper we find the isomorphisms that map between these three…
We demonstrate how to construct three-dimensional compact hyperbolic polyhedra using Newton's Method. Under the restriction that the dihedral angles are non-obtuse, Andreev's Theorem provides as necessary and sufficient conditions five…
We present a method to construct a large family of Lagrangian surfaces in complex Euclidean plane by using Legendre curves in the 3-sphere and in the anti de Sitter 3-space or, equivalently, by using spherical and hyperbolic curves,…
We say that a tiling separates discs of a packing in the Euclidean plane, if each tile contains exactly one member of the packing. It is a known elementary geometric problem to show that for each locally finite packing of circular discs,…
We consider the 3-body problem of celestial mechanics in Euclidean, elliptic, and hyperbolic spaces, and study how the Lagrangian (equilateral) relative equilibria bifurcate when the Gaussian curvature varies. We thus prove the existence of…
In Euclidean relational particle mechanics, only relative times, relative angles and relative separations are meaningful. Barbour--Bertotti (1982) theory is of this form and can be viewed as a recovery of (a portion of) Newtonian mechanics…
In Euclidean geometry, it is well-known that the $k$-order Voronoi diagram in $\mathbb{R}^d$ can be computed from the vertical projection of the $k$-level of an arrangement of hyperplanes tangent to a convex potential function in…
Delaunay triangulations of a point set in the Euclidean plane are ubiquitous in a number of computational sciences, including computational geometry. Delaunay triangulations are not well defined as soon as 4 or more points are concyclic but…
Newton's quadrilateral theorem can be phrased as follows. If H is a circle that is tangent to the four extended sides of a non-parallelogram quadrilateral Q, the center of H lies on the Newton line of Q. We prove that the theorem remains…
Markov's theorem classifies the worst irrational numbers with respect to rational approximation and the indefinite binary quadratic forms whose values for integer arguments stay farthest away from zero. The main purpose of this paper is to…
We describe a new method of constructing Kobayashi-hyperbolic surfaces in complex projective 3-space based on deforming surfaces with a "hyperbolic non-percolation" property. We use this method to show that general small deformations of…
Our main result states that whenever we have a non-Euclidean norm $\|\cdot\|$ on a two-dimensional vector space $X$, there exists some $x\neq 0$ such that for every $\lambda\neq 1, \lambda>0$, there exist $y, z\in X$ verifying that…
We present a proof that the hyperbolic plane cannot be isometrically immersed in Euclidean $3$-space by a $C^\infty$ map. Ideas from many topics in (essentially) undergraduate mathematics are applied; the use of moving frames and connection…
In Euclidean space there is a trivial upper bound on the maximum length of a compound "walk" built up of variable-length jumps, and a considerably less trivial lower bound on its minimum length. The existence of this non-trivial lower bound…
Hyperbolic geometry is developed in a purely algebraic fashion from first principles, without a prior development of differential geometry. The natural connection with the geometry of Lorentz, Einstein and Minkowski comes from a projective…
We show that any dynamics on any planar set $S$ discrete in some domain $D$ can be realized by the postcritical dynamics of a function holomorphic in $D$, up to a small perturbation. A key step in the proof, and a result of independent…
Y. Benoist proved that if a closed three-manifold M admits an indecomposable convex real projective structure, then M is topologically the union along tori and Klein bottles of finitely many sub-manifolds each of which admits a complete…
We give three new proofs of the triangle inequality in Euclidean Geometry. There seems to be only one known proof at the moment. It is due to properties of triangles, but our proofs are due to circles or ellipses. We aim to prove the…
How can we convince students, who have mainly learned to follow given mathematical rules, that mathematics can also be fascinating, creative, and beautiful? In this paper I discuss different ways of introducing non-Euclidean geometry to…