Ceva’s and Menelaus’ theorems in projective-metric spaces

We prove that Ceva’s and Menelaus’ theorems are valid in a projective-metric space if and only if the space is any of the elliptic geometry, the hyperbolic geometry, or the Minkowski geometries.


Introduction
In this short note, first we give appropriately unified versions of the known theorems of Menelaus, resp. Ceva for constant curvature planes.
Then we prove that these unified versions are not valid for other projectivemetric spaces. Eventually, we conclude in Theorems 4.1 and 4.2 that among the projective-metric spaces the unified versions of Ceva's and Meneleus' theorems are valid only in the elliptic geometry, the hyperbolic geometry, and the Minkowski geometries.

Notations and preliminaries
Points of R n are denoted as A, B, . . ., vectors are − − → AB or a, b, . . .. Latter notations are also used for points if the origin is fixed. Open segment with endpoints A and B is denoted by AB, AB is the ray starting from A passing through B, and the line through A and B is denoted by AB. The Euclidean scalar product is ·, · .
We interpret the ratio of two directional vectors of a straight line as the constant needed to multiply the denominator to get the nominator. The affine ratio ( Let (M, d) be a metric space given in a set M with the metric d. If M is a projective space P n or an affine space R n ⊂ P n or a proper open convex subset of R n for some n ∈ N, and the metric d is complete, continuous with respect to the standard topology of P n , and the geodesic lines of d are exactly the non-empty intersection of M with the straight lines, then the metric d is called projective.
If M = P n , and the geodesic lines of d are isometric with a Euclidean circle; or M ⊆ R n , and the geodesic lines of d are isometric with a Euclidean straight line, then (M, d) is called a projective-metric space of dimension n (see [1, p. 115] and [6, p. 188]). Such projective-metric spaces are called of elliptic, parabolic or hyperbolic type according to whether M is P n , R n , or a proper convex subset of R n . The projective-metric spaces of the latter two types are called straight [2, p. 1].
The geodesics of a projective-metric space of elliptic type have equal lengths, so we can set their length to π by simply multiplying the projective metric with an appropriate positive constant. Therefore we assume from now on that projective-metric spaces of elliptic type have geodesics of length π.
If A, B are different points in M, and C ∈ (AB ∩ M) \ {B}, then the real number is called the metric ratio of the triple (A, B, C). In Minkowski geometries this coincides with the affine ratio.
To find and prove an appropriate unified version of Ceva's and Menelaus' theorems in constant curvature spaces, we use the projector mapμ which projects a point given in polar coordinates (u, r) at a point O in the constant curvature space K n to the point (u, μ(r)) given in polar coordinates of the tangent space T O K n . The projector function μ is given in the table where κ is the curvature, ν is the so-called size function giving the isometry factor between the geodesic sphere of radius r and the Euclidean sphere of radius ν(r) (see [3]).
Let A, B be different points in a projective-metric space (M, d), and let C ∈ (AB ∩ M) \ {B}. Then the real number is called the size-ratio of the triplet (A, B, C), where ν is the size function of the hyperbolic, Euclidean, or elliptic space according to the type of (M, d).
Observe that for constant curvature spaces a size-ratio A, B; C • d is nothing else but the affine ratio of the orthogonal projections of the points into the tangent space T C K n .
Notation ABC means the triangle with vertices A, B, C. Non-degenerate triangles are called trigons, By a triplet (Z, X, Y) of the trigon ABC we mean three points Z, X and Y being respectively on the straight lines AB, BC and CA [4]. A triplet (Z, X, Y ) of the trigon ABC is (p1) of Menelaus type if the points Z, X and Y are collinear, and (p2) f Ceva type if the lines AX, BY and CZ are concurrent.
We say that a projective-metric space has the Menelaus property or the Ceva property if for every triplet (Z, X, Y ) of every trigon ABC is of Menelaus type or of Ceva type, respectively, if and only if the triple ( A, is of Menelaus type or of Ceva type, respectively. With these terms, we can reformulate the known results [5].

Theorem 2.1. Constant curvature spaces have the Menelaus and Ceva properties.
It is known [4] that non-hyperbolic Hilbert geometries do not have even quite weak versions of the Ceva or Menelaus properties.

The Ceva and Menelaus properties
Proof. Let ν be the appropriate size function of (M, d).
If (M, d) is of elliptic type, then let us cut out a projective line and consider the remaining part with the inherited metric (this is a restriction of d so we denote it with the same letter d). This way we can consider the trigons in an affine plane independently of the type of (M, d).
Let us take a segment AZ and a point C out of line AZ.
Then the affine Ceva theorem proves that segments AX, BY and CZ intersect each other in a common point, say M . As (M, d) has the Ceva property, this means Map trigon ABC continuously into the degenerate triangle AZB via the axial affinity with axis CZ and moving point C along the segment CZ. That is, C → Z, X → Q, and Y → R. Then, as d and ν are continuous functions, we obtain (3.1) from (3.2).
Using the additivity of metric d, Lemma 3.1 can be written in the equivalent form

Lemma 3.2. If a projective-metric space (M, d) has the Menelaus property, then for any four collinear points
Proof. Let ν be the appropriate size function of (M, d).
If (M, d) is of elliptic type, then let us cut out a projective line and consider the remaining part with the inherited metric (this is a restriction of d so we denote it with the same letter d). This way we can consider the trigons in an affine plane independently of the type of (M, d).
Let us take a segment AZ and a point C out of line AZ. Let the point B ∈ AZ be such that (A, B; Z) = (X, R; Z), let X ∈ BC be such that (B, C; X) = (R, Q; X), and let Y ∈ CA be such that (C, A; Y ) = (Q, X; Y ).
Then the affine Menelaus theorem proves that points X, Y and Z lay on a common straight line, say m. As (M, d) has the Menelaus property, this means Map trigon ABC continuously into the degenerate triangle XRQ via the axial affinity with axis XY and moving point A along the segment AX. That is, C → Q, B → R, and A → X. Then, as d and ν are continuous functions, we obtain (3.4) from (3.5).
Using the additivity of metric d, Lemma 3.2 can be written in the equivalent form Proof. We have ν(·) = sin(·). Let the linear function P : R → RQ be such that Z = P (0), A = P (a), R = P (r), Q = P (q), B = P (b), and a < r < 0 < q < b. Further, let : RQ → R be such that (s) = sin(d(P (s), Z)).
Using the coordinates in function P , the addition formulas for functions sine and , (3 After some easy simplifications this shows Fixing points R and Z, and letting b → ∞ and a → −∞, implies that q → −r by the left-hand equation of (3.7). From the right-hand equation of (3.7) we get that cot(d(Z, Q)) = cot(d(R, Z)), hence d(Z, Q) = d(R, Z). Thus, q = −r is equivalent to d(Z, Q) = d(R, Z), hence is an even function. Let function f : R → R + be defined by f (x) := cot(d(Z, P (x))). Then (3.7) reads as Putting r = −b (hence accepting a < −b too!), this gives f ab 2a+b = 2f (b) − f (a), because f is an even function due to the evenness of . Define which is an odd function. Then, as 2a + b < a < 0 < b, we get (3.8) For the moment let b = −a/2. Then (3.8) gives g −3 a = 2g −2 a + g 1 a . So g(0) = 0 follows from a → −∞ by the continuity of g. Now, a → −∞ in (3.8) gives by the continuity of g that g(2/b) = 2g(1/b). Substituting this into (3.8) we arrive at Cauchy's functional equation [7] for the continuous function g, so we obtain that g(x) = cx for some c > 0 and every x. By the definition of g and f this gives d(P (s), P (0)) = | arctan(cs)| which implies c = 1, and so the theorem.

Theorem 3.4. A projective-metric space of parabolic type satisfies (3.3) if and only if it is a Minkowski geometry.
Proof. Now, we have ν(·) = ·. Let the linear function P : R → RQ be such that Z = P (0), A = P (a), R = P (r), Q = P (q), B = P (b), and a < r < 0 < q < b. Further, let : RQ → R be such that (s) = d(P (s), Z).

Using the coordinates in function
After some easy simplifications this shows Fix R and Z, and let a → −∞ and b → ∞. Then (3.9) gives hence the affine and the d-metric midpoint of any segment coincide. So, according to Busemann [2, page 94], d is a Minkowski metric.
Fixing points R and Z on the ray e = A ∞ B, where A ∞ = P (a ∞ ), and letting b → ∞ and a → a ∞ , implies that by (3.10). Reparameterizing ray e by the linear mapP : R → RQ such that A ∞ =P (0), R =P (r), Z =P (z), Q =P (q), we can reformulate the equivalence in (3.11) to where 0 < r < z < q. Thus, the map ρ d;e;z :P (r) ↔P (z 2 /r) is a d-isometric point reflection on ray e for everyP (z) ∈ e, hence is a d-isometric translation. So d(P (r), τ d;e;z,t (P (r))) does not depend on r, hence it is a real function δ of t/z. As d is additive, this implies δ(x) + δ(y) = δ(xy), so by the solution of Cauchy's functional equation [7] we have a constant c e > 0 such that δ(x) = 2c e | ln(x)|, hence for every x, y ∈ R we have d(P (x),P (y)) = d(P (x), τ d;e;1, √ y/x (P (x))) = δ y/x =c e | ln(y/x)|.
Having the metric for every possible domain of a projective-metric space of hyperbolic type, we are ready to step forward by considering the properties of the domain M.
Proof. Lemma 3.1 and the theorems in the previous section imply that a projective-metric space which has the Ceva property can only be either the elliptic geometry, or a Minkowski geometry, or a Hilbert geometry. However, [4,Theorem 3.1] proves that a Hilbert geometry which has the Ceva property is hyperbolic.

Theorem 4.2. A projective-metric space has the Menelaus property if and only
if it is either a Minkowski geometry, or the hyperbolic geometry, or the elliptic geometry.
Proof. Lemma 3.2 and the theorems in the previous section imply that a projective-metric space that has the Meneleus property can only be either the elliptic geometry, or a Minkowski geometry, or a Hilbert geometry. However, [4,Theorem 3.2] proves that a Hilbert geometry which has the Menelaus property is hyperbolic.

Discussion
The results of Sect. 4 show that neither Ceva's nor Menelaus' theorems can have common forms for projective-metric spaces except the elliptic geometry, the hyperbolic geometry, and the Minkowski geometries. Therefore to keep versions of Ceva's or Menelaus' theorems valid in more projective-metric spaces one needs to allow more freedom for the ratios. For the hyperbolic geometry only the hyperbolic sine function is a good choice, and we know from the results of the previous section that it just does not work for more general Hilbert geometries.