We investigate several topics of triangle geometry in the elliptic and in the extended hyperbolic plane, such as: centers based on orthogonality, centers related to circumcircles and incircles, radical centers and centers of similitude, orthology, Kiepert perspectors and related objects, Tucker circles, isoptics, substitutes for the Euler line. For both, the elliptic and the extended hyperbolic plane, a uniform metric is used.
We provide a new formulation and proof of the triangle altitudes theorem in hyperbolic plane geometry, together with an easily computed discriminant to distinguish between different basic configurations of the altitudes of such a triangle.
Certain triangle inequalities involving the circumradius, inradius, and side lengths of a triangle are generalized to spherical and hyperbolic geometry. Examples include strengthenings of Euler's inequality, $R\geq2r$. An extension of Euler's inequality to a simplex in $n$-dimensional space is also generalized to spherical geometry.
Using the method of C. Vörös, 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 triangle. We also investigate the role of the "Euler line" and the pseudo-centers of a triangle.
We define hyperbolic Heron triangles (hyperbolic triangles with "rational" side-lengths and area) and parametrize them in two ways as rational points of certain elliptic curves. We show that there are infinitely many hyperbolic Heron triangles with one angle $α$ and area $A$ for any (admissible) choice of $α$ and $A$; in particular, the congruent number problem has always infinitely many solutions in the hyperbolic setting. We also explore the question of hyperbolic triangles with a rational median and a rational area bisector (median splitting the triangle in half).
The aim of this paper is to consider the Lobachevskii geometry analog of a well-known Euclidian problem; namely: to find a triangle with two fixed sides and the maximum area
We prove, in the context of Hilbert geometry, the equivalence between the existence of an upper bound on the area of ideal triangles and the Gromov-hyperbolicity.
For a triangle in the hyperbolic plane, let $α,β,γ$ denote the angles opposite the sides $a,b,c$, respectively. Also, let $h$ be the height of the altitude to side $c$. Under the assumption that $α,β, γ$ can be chosen uniformly in the interval $(0,π)$ and it is given that $α+β+γ<π$, we show that the strong triangle inequality $a + b > c + h$ holds approximately 79\% of the time. To accomplish this, we prove a number of theoretical results to make sure that the probability can be computed to an arbitrary precision, and the error can be bounded.
We give a trigonometric proof of the Steiner-Lehmus Theorem in hyperbolic geometry. Precisely we show that if two internal bisectors of a triangle on the hyperbolic plane are equal, then the triangle is isosceles.
Using the method of C. Vörös, we establish results in hyperbolic plane geometry, related to triangles and circles. We present a model independent construction for Malfatti's problem and several trigonometric formulas for triangles.
We determine barycentric coordinates of triangle centers in the elliptic plane. The main focus is put on centers that lie on lines whose euclidean limit (triangle excess --> 0) is the Euler line or the Brocard line. We also investigate curves which can serve in elliptic geometry as substitutes for the euclidean nine-point-circle, the first Lemoine circle or the apollonian circles.
We define spherical Heron triangles (spherical triangles with "rational" side-lengths and angles) and parametrize them via rational points of certain families of elliptic curves. We show that the congruent number problem has infinitely many solutions for most areas in the spherical setting and we find a spherical Heron triangle with rational medians. We also explore the question of spherical triangles with a single rational median or a single a rational area bisector (median splitting the triangle in half), and discuss various problems involving isosceles spherical triangles.
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 students and the general public using different physical models, including chalksphere, crocheted hyperbolic surfaces, curved folding, and polygon tilings. Spherical geometry offers a simple yet surprising introduction to the topic, whereas hyperbolic geometry is an entirely new and exciting concept to most. Non-Euclidean geometry demonstrates how crafts and ar…
Inverting the vertices of elliptic billiard N-periodics with respect to a circle centered on one focus yields a new "focus-inversive" family inscribed in Pascal's Limaçon. The following are some of its surprising invariants: (i) perimeter, (ii) sum of cosines, and (iii) sum of distances from inversion center (the focus) to vertices. We prove these for the N=3 case, showing that this family (a) has a stationary Gergonne point, (b) is a 3-periodic family of a second, rigidly moving elliptic billiard, and (c) the loci of incenter, barycenter, circumcenter, orthocenter, nine-point center, and a gr…
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 hyperbolic triangle or quadrilateral with algebraic side lengths. We conjecture that there does not exist a rational angled hyperbolic polygon with algebraic side lengths.
In this pedagogical note we present a short proof of the following main result of arxiv.org/abs/0911.5319, and clarify its relation to the isoperimetric problem. On the hyperbolic plane consider triangles ABC with fixed lengths of AB and AC. The maximal area of these triangles is attained for the triangle ABC such that \angle A=\angle B+\angle C. The proof is essentially the same as in the above-cited paper. However, since the result is beautiful and important, a short proof cleared of unnecessary details could be interesting for a reader. The note is accessible for students familiar with elem…
Extending Blaschke and Lebesgue's classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width $D$. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the fundamental properties of convex bodies of constant width in spaces of constant curvature, and provide a characterization in the hyperbolic case in terms of horospheres.
We study center power with respect to circles derived from Poncelet 3-periodics (triangles) in a generic pair of ellipses as well as loci of their triangle centers. We show that (i) for any concentric pair, the power of the center with respect to either circumcircle or Euler's circle is invariant, and (ii) if a triangle center of a 3-periodic in a generic nested pair is a fixed affine combination of barycenter and circumcenter, its locus over the family is an ellipse.
In this article we introduce a new geometric object called hyperbolic Pascal simplex. This new object is presented by the regular hypercube mosaic in the 4-dimensional hyperbolic space. The definition of the hyperbolic Pascal simplex, whose hyperfaces are hyperbolic Pascal pyramids and faces are hyperbolic Pascals triangles, is a natural generalization of the definition of the hyperbolic Pascal triangle and pyramid. We describe the growing of the hyperbolic Pascal simplex considering the numbers and the values of the elements. Further figures illustrate the stepping from a level to the next on…
More than two centuries ago Malfatti (see \cite{malfatti}) raised and solved the following problem (the so-called Malfatti's construction problem):Construct three circles into a triangle so that each of them touches the two others from outside moreover touches two sides of the triangle too. It is an interesting fact that nobody investigated this problem on the hyperbolic plane, while the case of the sphere was solved simultaneously with the Euclidean case. In order to compensate this shortage we solve the following exercise: {\em Determine three cycles of the hyperbolic plane so that each of t…
In this paper we characterize hyperbolic geometry among Hilbert geometry by the property that three medians of any hyperbolic triangle all pass through one point.
We study a generalization of the Fuchsian triangle groups to the hyperbolic 3-space, namely, the groups generated by half-turns in three hyperbolic lines. The role of the hyperbolic triangles is now played by the right-angled hexagons. This class of groups is very close to the arbitrary 2-generator Kleinian groups but appear to be much more geometric by the construction. The main idea of our research is to make use of the geometric properties of the generalized triangle groups to study 2-generator arithmetic Kleinian groups. In this paper we start with a parameterization for the generalized tr…
We study triangles $ABC$ and points $P$ for which the generalized orthocenter $H$ corresponding to $P$ coincides with a vertex $A,B$, or $C$. The set of all such points $P$ is a union of three ellipses minus $6$ points. In addition, if $T_P$ is the affine map taking $ABC$ to the cevian triangle $DEF$ of $P$ with respect to $ABC$, $P'$ is the isotomic conjugate of $P$, and $T_{P'}$ is the affine map taking $ABC$ to the cevian triangle of $P'$, then we study the locus of points $P$ for which the map $\textsf{M}_P=T_p \circ K^{-1} \circ T_{P'}$ is a translation. Here, $K$ is the complement map fo…
If $X$ is a geodesic metric space and $x_1,x_2,x_3\in X$, a geodesic triangle $T=\{x_1,x_2,x_3\}$ is the union of the three geodesics $[x_1x_2]$, $[x_2x_3]$ and $[x_3x_1]$ in $X$. The space $X$ is $δ$-hyperbolic (in the Gromov sense) if any side of $T$ is contained in a $δ$-neighborhood of the union of the two other sides, for every geodesic triangle $T$ in $X$. The study of hyperbolic graphs is an interesting topic since the hyperbolicity of a geodesic metric space is equivalent to the hyperbolicity of a graph related to it. In the context of graphs, to remove and to contract an edge of a gra…
Let X be a geodesic metric space. Gromov proved that there exists k>0 such that if every sufficiently large triangle T satisfies the Rips condition with constant k times pr(T), where pr(T) is the perimeter T, then X is hyperbolic. We give an elementary proof of this fact, also giving an estimate for k. We also show that if all the triangles T in X satisfy the Rips condition with constant k times pr(T), then X is a real tree. Moreover, we point out how this characterization of hyperbolicity can be used to improve a result by Bonk, and to provide an easy proof of the (well-known) fact that X is …
This paper lays down a foundation for a systematic treatment of three main (elliptic, parabolic and hyperbolic) types of analytic function theory based on the representation theory of SL(2,R) group. We describe here geometries of corresponding domains. The principal role is played by Clifford algebras of matching types. Keywords: analytic function theory, semisimple groups, elliptic, parabolic, hyperbolic, Clifford algebras
In this paper we study the area of ideals triangles in a convex domain with its Hilbert geometry. We obtain a characterization of the hyperbolic geometry among all the Hilbert geometry in terms of area of ideals triangles. We also obtain a sharp lower bound on the hilbert area of ideal triangles, independant of the convex, which characterizes the triangle domains in the plane. Furthermore, under specific geometric assumptions, we obtain an upper bound, which depends on the convex domain.
