Exploring Menelaus’ Theorem In Hilbert Geometry
By Yumna Habib
I am a mathematics major in my final year of studies. I am also enrolled in the Concurrent Teacher Education Program and will be attending the Ontario Institute for Studies in Education next year for completing my Bachelor of Education degree. In the future, I plan to teach mathematics at the secondary level.
Menelaus was a Greek mathematician born around 70 AD in Alexandria. He explored geometry in depth, and his most notable work titled Sphaerica detailed spherical triangles and their applications to astronomy . Perhaps oneof his most well known contributions to mathematics, Menelaus’ theorem states that points lying on three sides of a triangle are collinear if and only if the ratio of the products of the non-adjacent sides is 1. As evident, Menelaus’ theorem is closely related to Ceva’s theorem. While the former demonstrates when certain points on a triangle are collinear, the latter explores when certain line segments of a triangle are concurrent. This property of similarity between the theorems is called duality . Moreover, for both theorems, the converses hold true as well.
Menelaus’ Theorem in Hyperbolic Geometry:
Given the different kinds of geometries we encounter in mathematics, there are several versions ofMenelaus’ theorems that are used. When we work with this theorem in Euclidean geometry, we use signed ratios.Although we can define similar ratios in hyperbolic geometry, they won’t be very useful quantities. Hence, we use another ratio, namely the hyperbolic ratio:
Definition 1 (Hyperbolic Ratio):
Let A, B and X be three distinct points on a hyperbolic line. Their hyperbolic ratio is
where 𝑠𝑖𝑛 h(𝑑(𝐴,𝑋)) is the hyperbolic sine function.
As shown in the above, it is important to note that the value of h(A,X,B) determines the position of point Xrelative to the positions of points A and B. We now define Menelaus’ theorem in hyperbolic geometry using the hyperbolic ratio:
Theorem 1 (Menelaus in Hyperbolic Geometry):
Let ABC be a hyperbolic triangle. Let L be a hyperbolic line thatdoes not pass through any vertex of Δ ABC but meets BC at Q, AC at R, and AB at P. Then, the absolute value of the product of their hyperbolic ratios is 1. That is,
Since we want to show that the absolute value of the product of the hyperbolic ratios is 1, we can label thevertices of Δ ABC in any order and it won’t impact our result. We apply the hyperbolic sine rule to Δ APR and get the following:
Likewise, from Δ BPQ and Δ CRQ, we get the following:
From figure 1, we see the following relations:
<APR = <BPQ, <BQP = <CQR, <ARP = π – <CRQ, and hence sin(<APR) = sin(<BPQ), sin(<BQP) = sin(<CQR), and sin(<ARP) = sin(<CRQ).
The above equations lead us to the required product, which is:
Note that the above proof is valid for one case only. There are other cases possible, all of which can be proven using a similar method Q.E.D.
Serving as a connection between modern and historical geometries, Menelaus’ theorem has certain applications in higher-level mathematics. More specifically, the hyperbolic version of this theorem has been used to explore new approaches in geometry. One such application is Hilbert geometry, which was introduced by David Hilbert in 1899 and includes natural generalizations of hyperbolic geometry .
Let’s consider two points A and B in R^n and denote the line passing through them by AB as well as the open segment with end points A and B by AB . We now define the cross ratio in Hilbert geometry:
Definition 2 (Cross Ratio): Let A and B be distinct points in Rn , with points X,Y ∈ AB such that they can be expressed using the linear combinations X = λ1A + μ1B and Y = λ2A + μ2B, where λ1, λ2, μ1, μ2 are real numbers. Then, the cross ratio of A, B, X and Y is
Then, we define Hilbert geometry:
Definition 3 (Hilbert Geometry): Let H be an open, strictly convex set in R^n, n ≥ 2, with boundary ∂H. The Hilbert metric on H is the function dH : H × H → R such that
The pair (H, dH) is called the Hilbert geometry in H.
It is shown that a Hilbert geometry in which Menelaus’ Theorem holds true is hyperbolic. The reason for this is that such a geometry turns out to be a solid with all sections that are ellipses, i.e. an ellipsoid. However, we find that H is an ellipsoid if and only if it is hyperbolic .
 H. Busemann, P.J. Kelly, Projective Geometry and Projective Metrics, New York: Academic Press, 1957.
 J. Kozma, Á. Kurusa, Ceva’s and Menelaus’ theorems characterize the hyperbolic geometry among Hilbert geometries, Journal of Geometry, 106, 465-470 (2015)
 J.J. O’Connor, E.F. Robertson. Menelaus of Alexandria http://www-history.mcs.st- and.ac.uk/Biographies/Menelaus.html (updated April 1999)
 Proof of Menelaus’ Theorem http://www.maths.gla.ac.uk/wws/cabripages/hyperbolic/pmenelaus.html