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

- 166 Downloads

## Abstract

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.

## Keywords

Projective metrics Hilbert geometry Minkowski geometry Ellipses triangle size-ratio## Mathematics Subject Classification

53A35 51M09 52A20## 1 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 projective-metric 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.

## 2 Notations and preliminaries

Points of \({\mathbb {R}}^n\) are denoted as \(A,B,\ldots \), vectors are \(\overrightarrow{AB}\) or \({{\varvec{a}}} , {{\varvec{b}}} , \ldots \). Latter notations are also used for points if the origin is fixed. Open segment with endpoints *A* and *B* is denoted by \({\overline{AB}}\), \({\overline{A}}B\) 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 \(\langle \cdot ,\cdot \rangle \).

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* (*A*, *B*; *C*) of the collinear points *A*, *B* and \(C\ne B\) is therefore \((A,B;C)=\overrightarrow{AC}/\overrightarrow{CB}\). The *affine cross ratio* of the collinear points *A*, *B*, \(C\ne B\), and \(D\ne A\) is \((A,B;C,D)=(A,B;C)/(A,B;D)\) [1, p. 243].

Let \(({\mathcal {M}},d)\) be a metric space given in a set \({\mathcal {M}}\) with the metric *d*. If \({\mathcal {M}}\) is a projective space \(\mathbb P^n\) or an affine space \({\mathbb {R}}^n\subset \mathbb P^n\) or a proper open convex subset of \({\mathbb {R}}^n\) for some \(n\in \mathbb N\), and the metric *d* is complete, continuous with respect to the standard topology of \(\mathbb P^n\), and the geodesic lines of *d* are exactly the non-empty intersection of \({\mathcal {M}}\) with the straight lines, then the metric *d* is called *projective*.

If \({\mathcal {M}}=\mathbb P^n\), and the geodesic lines of *d* are isometric with a Euclidean circle; or \({\mathcal {M}}\subseteq {\mathbb {R}}^n\), and the geodesic lines of *d* are isometric with a Euclidean straight line, then \(({\mathcal {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 \({\mathcal {M}}\) is \(\mathbb P^n\), \({\mathbb {R}}^n\), or a proper convex subset of \({\mathbb {R}}^n\). The projective-metric spaces of the latter two types are called *straight* [2, p. 1].

*A*,

*B*are different points in \({\mathcal {M}}\), and \(C\in (AB\cap {\mathcal {M}})\setminus \{B\}\), then the real number

*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* \(\tilde{\mu }\) which projects a point given in polar coordinates \(({{\varvec{u}}},r)\) at a point *O* in the constant curvature space \(\mathbb K^n\) to the point \(({{\varvec{u}}},\mu (r))\) given in polar coordinates of the tangent space \(T_O\mathbb K^n\). The *projector function* \(\mu \) is given in the table

where \(\kappa \) is the curvature, \(\nu \) is the so-called *size function* giving the isometry factor between the geodesic sphere of radius *r* and the Euclidean sphere of radius \(\nu (r)\) (see [3]).

*A*,

*B*be different points in a projective-metric space \(({\mathcal {M}},d)\), and let \(C\in (AB\cap {\mathcal {M}})\setminus \{B\}\). Then the real number

*size-ratio*of the triplet (

*A*,

*B*,

*C*), where \(\nu \) is the size function of the hyperbolic, Euclidean, or elliptic space according to the type of \(({\mathcal {M}},d)\).

Observe that for constant curvature spaces a size-ratio \(\langle A,B;C\rangle _{d}^\circ \) is nothing else but the affine ratio of the orthogonal projections of the points into the tangent space \(T_C\mathbb K^n\).

Notation \(ABC\triangle \) means the triangle with vertices *A*, *B*, *C*. Non-degenerate triangles are called *trigons*,

*triplet*(Z, X, Y)

*of the trigon*\(ABC\triangle \) 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\triangle \) 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.

- (n1)
of

*Menelaus type*if \(\alpha \cdot \beta \cdot \gamma =-1\), and - (n2)
of

*Ceva type*if \(\alpha \cdot \beta \cdot \gamma =+1\).

*Menelaus property*or the

*Ceva property*if for every triplet (

*Z*,

*X*,

*Y*) of every trigon \(ABC\triangle \) is of Menelaus type or of Ceva type, respectively, if and only if the triple \((\langle A ,B ;Z \rangle _{d}^\circ , \langle B ,C ;X \rangle _{d}^\circ , \langle C ,A ;Y \rangle _{d}^\circ )\) 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.

## 3 The Ceva and Menelaus properties

### Lemma 3.1

*A*,

*R*,

*Z*,

*Q*,

*B*in order \(A\prec R\prec Z\prec Q\prec B\) that satisfies \((Z,A;R)(B,Z;Q)(A,B;Z)=1\) we have

### Proof

Let \(\nu \) be the appropriate size function of \(({\mathcal {M}},d)\).

If \(({\mathcal {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 \(({\mathcal {M}},d)\).

Let us take a segment \({\overline{AZ}}\) and a point *C* out of line *AZ*. Let the point \(B\in {\overline{AZ}}\) be such that \((A,B;Z)=(Z,A;R)\), let \(X\in {\overline{BC}}\) be such that \((B,C;X)=(B,Z;Q)\), and let \(Y\in {\overline{CA}}\) be such that \((C,A;Y)=(Z,A;R)\).

*M*. As \(({\mathcal {M}},d)\) has the Ceva property, this means

*CZ*and moving point

*C*along the segment \({\overline{CZ}}\). That is, \(C\rightarrow Z\), \(X\rightarrow Q\), and \(Y\rightarrow R\). Then, as

*d*and \(\nu \) are continuous functions, we obtain (3.1) from (3.2). \(\square \)

*d*, Lemma 3.1 can be written in the equivalent form

### Lemma 3.2

*Q*,

*Y*,

*X*,

*R*,

*Z*in order \(Q\prec Y\prec X\prec R\prec Z\) that satisfies \((X,R;Z)(R,Q;X)(Q,X;Y)=-1\) we have

### Proof

Let \(\nu \) be the appropriate size function of \(({\mathcal {M}},d)\).

If \(({\mathcal {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 \(({\mathcal {M}},d)\).

Let us take a segment \({\overline{AZ}}\) and a point *C* out of line *AZ*. Let the point \(B\in {\overline{AZ}}\) be such that \((A,B;Z)=(X,R;Z)\), let \(X\in {\overline{BC}}\) be such that \((B,C;X)=(R,Q;X)\), and let \(Y\in {\overline{CA}}\) be such that \((C,A;Y)=(Q,X;Y)\).

*X*,

*Y*and

*Z*lay on a common straight line, say

*m*. As \(({\mathcal {M}},d)\) has the Menelaus property, this means

Map trigon \(ABC\triangle \) continuously into the degenerate triangle \(XRQ\triangle \) via the axial affinity with axis *XY* and moving point *A* along the segment \({\overline{AX}}\). That is, \(C\rightarrow Q\), \(B\rightarrow R\), and \(A\rightarrow X\). Then, as *d* and \(\nu \) are continuous functions, we obtain (3.4) from (3.5). \(\square \)

*d*, Lemma 3.2 can be written in the equivalent form

Relabeling the points \(Q\prec Y\prec X\prec R\prec Z\) as \(Q\mapsto B\), \(Y\mapsto Q\), \(X\mapsto Z\), \(R\mapsto R\), and \(Z\mapsto A\) shows that (3.6) is equivalent to (3.3).

### Theorem 3.3

A projective-metric space of elliptic type satisfies (3.3) if and only if it is the elliptic geometry.

### Proof

We have \(\nu (\cdot )=\sin (\cdot )\). Let the linear function \(P:{\mathbb {R}}\rightarrow 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 \(\ell :RQ\rightarrow {\mathbb {R}}\) be such that \(\ell (s)=\sin (d(P(s),Z))\).

*P*, the addition formulas for functions sine and \(\ell \), (3.3) give

*R*and

*Z*, and letting \(b\rightarrow \infty \) and \(a\rightarrow -\infty \), implies that \(q\rightarrow -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 \(\ell \) is an even function.

*f*is an even function due to the evenness of \(\ell \). Define

*g*. Now, \(a\rightarrow -\infty \) 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. \(\square \)

### 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 \(\nu (\cdot )=\cdot \). Let the linear function \(P:{\mathbb {R}}\rightarrow 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 \(\ell :RQ\rightarrow {\mathbb {R}}\) be such that \(\ell (s)=d(P(s),Z)\).

*P*, (3.3) gives

*R*and

*Z*, and let \(a\rightarrow -\infty \) and \(b\rightarrow \infty \). Then (3.9) gives

*d*-metric midpoint of any segment coincide. So, according to Busemann [2, page 94],

*d*is a Minkowski metric. \(\square \)

### Theorem 3.5

A projective-metric space of hyperbolic type satisfies (3.3) if and only if it is a Hilbert geometry.

### Proof

This time, we have \(\nu (\cdot )=\sinh (\cdot )\). Let the linear function \(P:{\mathbb {R}}\rightarrow 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 \(\ell :RQ\rightarrow {\mathbb {R}}\) be such that \(\ell (s)=\sinh (d(P(s),Z))\).

*P*, the addition formulas for functions hyperbolic sine and \(\ell \), (3.3) gives

*AB*, a ray \(\overline{A_\infty }B\), or a segment \(\overline{A_\infty B_\infty }\). Now we consider these cases one after another.

*R*and

*Z*on the affine line

*AB*, and letting \(b\rightarrow \infty \) and \(a\rightarrow -\infty \), implies that \(q\rightarrow -r\) by the left-hand equation of (3.7). From the right-hand equation of (3.7) we get that \(\coth (d(Z,Q))=\coth (d(R,Z))\), hence \(d(Z,Q)=d(R,Z)\). Thus, \(q=-r\) is equivalent to \(d(Z,Q)=d(R,Z)\), hence \(\ell \) is an even function. Moreover, the map \(\rho _{d;e;z}:P(z-x)\leftrightarrow P(z+x)\) is a

*d*-isometric point reflection of

*e*for every \(P(z)\in e\), hence

*d*-isometric translation. So \(d(P(x),P(y))=d(P(0),P(y-x))\), hence

*R*and

*Z*on the ray \(e=\overline{A_\infty }B\), where \(A_\infty =P(a_\infty )\), and letting \(b\rightarrow \infty \) and \(a\rightarrow a_\infty \), implies that

*e*by the linear map \({\bar{P}}:{\mathbb {R}}\rightarrow RQ\) such that \(A_\infty ={\bar{P}}(0)\), \(R={\bar{P}}(r)\), \(Z={\bar{P}}(z)\), \(Q={\bar{P}}(q)\), we can reformulate the equivalence in (3.11) to

*d*-isometric point reflection on ray

*e*for every \(\bar{P}(z)\in e\), hence

*d*-isometric translation. So \(d(\bar{P}(r),\tau _{d;e;z,t}(\bar{P}(r)))\) does not depend on

*r*, hence it is a real function \(\delta \) of

*t*/

*z*. As

*d*is additive, this implies \(\delta (x)+\delta (y)=\delta (xy)\), so by the solution of Cauchy’s functional equation [7] we have a constant \({\bar{c}}_e>0\) such that \(\delta (x)=2c_e|\ln (x)|\), hence for every \(x,y\in {\mathbb {R}}\) we have

*e*.

*R*and

*Z*on the segment \(e=\overline{A_\infty B_\infty }\), where \(A_\infty =P(a_\infty )\) and \(B_\infty =P(b_\infty )\), and letting \(b\rightarrow b_\infty \) and \(a\rightarrow a_\infty \), implies that

*e*by the linear map \({\bar{P}}:{\mathbb {R}}\rightarrow RQ\) such that \({A}_\infty ={\bar{P}}(0)\), \(R={\bar{P}}(r)\), \(Z={\bar{P}}(z)\), \(Q={\bar{P}}(q)\), and \({B}_\infty =\overline{P}(1)\) we can reformulate the equivalence in (3.11) to

*d*-isometric point reflection on segment

*e*for every \(\bar{P}(z)\in e\), hence

*d*-isometric translation. So \(d(\bar{P}(r),\tau _{d;e;z,t}(\bar{P}(r)))\) does not depend on

*r*, hence it is a real function \(\delta \) of \(\frac{z^2}{(1-z)^2}\frac{(1-t)^2}{t^2}\). As

*d*is additive, this implies \(\delta (x)+\delta (y)=\delta (xy)\) so by the solution of Cauchy’s functional equation [7] we have a constant \({\bar{c}}_e>0\) such that \(\delta (x)=2{\bar{c}}_e|\ln (x)|\), hence

*e*.

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 \({\mathcal {M}}\).

If \({\mathcal {M}}\) contains a whole affine line, then by [1], Exercise [17.8]] it is either a half plane or a strip bounded by two parallel lines, because it is not the whole plane. Thus, \({\mathcal {M}}\) is either \({\mathcal {P}}_{(0,\infty )}:=\{(x,y)\in {\mathbb {R}}^2: 0<x\}\) or \({\mathcal {P}}_{(0,b)}:=\{(x,y)\in {\mathbb {R}}^2: 0<x<b\}\) in suitable linear coordinates. As the perspective projectivity \(\varpi :(x,y)\mapsto \big (\frac{x}{x+1},\frac{y}{x+1}\big )\) maps \({\mathcal {P}}_{(0,\infty )}\) onto \({\mathcal {P}}_{(0,1)}\) bijectively, it is enough to consider the case \({\mathcal {M}}={\mathcal {P}}_{(0,1)}\).

*d*and \(\delta \) are continuous. Given non-collinear points \(A,B,C\in {\mathcal {M}}\) the strict triangle inequality gives that \(|\delta (A,C)-\delta (B,C)|<\delta (A,B)\) and

*C*tends to a point \(\infty \) on the boundary \(\partial {\mathcal {M}}\) of \({\mathcal {M}}\), then the first inequality implies \(\frac{\delta (A,C)}{\delta (B,C)}\rightarrow 1\), so from the second inequality \(c^{}_{A\infty }=c^{}_{B\infty }\) follows. Thus \(c_\ell \) is the same for every line with common point on \(\partial {\mathcal {M}}\). This clearly implies that \(c_\ell \) does not depend on \(\ell \), i.e. constant, hence \(({\mathcal {M}},d)\) is a Hilbert geometry.\(\square \)

## 4 The Ceva and Menelaus properties are characteristic

In sum, the results in the previous section prove the following main result of this paper.

### Theorem 4.1

A projective-metric space has the Ceva property if and only if it is a Minkowski geometry, or the hyperbolic geometry, or the elliptic geometry.

### 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. \(\square \)

### 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. \(\square \)

## 5 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.

*A*,

*B*be different points in a projective-metric space \(({\mathcal {M}},d)\), and let \(C\in (AB\cap {\mathcal {M}})\setminus \{B\}\). Then the real number

*ratio*of the triplet (

*A*,

*B*,

*C*), where \(\lambda \) is a non-negative strictly increasing function of the positive real numbers.

The question arises whether a projective-metric space exists on which Ceva’s or Menelaus’ theorems are valid with a \(\lambda \)-ratio. We show that the answer to this question for the Hilbert geometries \(({\mathcal {M}},d)\) is negative. For, just choose five points on \(\partial {\mathcal {M}}\), and fit an ellipse \({\mathcal {E}}\) through these points. Then \({\mathcal {E}}\) intersects \(\partial {\mathcal {M}}\) in at least six points in a circumcise order \(M_1,M_2,M_3,M_4,M_5,M_6\). The chords \(\overline{M_1M_4}\), \(\overline{M_2M_5}\), and \(\overline{M_3M_6}\) in general intersect each other in three points, say in *A*, *B*, and *C*. Now, on the side-lines of trigon \(ABC\triangle \) the hyperbolic metric is given, hence Ceva’s and Menelaus’ theorems are valid with \(\lambda (\cdot )\equiv \sinh (\cdot )\). 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.

## Notes

### Acknowledgements

This research was supported by NFSR of Hungary (NKFIH) under Grant numbers K 116451 and KH_18 129630, and by the Ministry of Human Capacities of Hungary grant 20391-3/2018/FEKUSTRAT. Open access funding provided by University of Szeged Open Access Fund under grant number 4322.

## References

- 1.Busemann, H., Kelly, P.J.: Projective Geometries and Projective Metrics. Academic Press, New York (1953)zbMATHGoogle Scholar
- 2.Busemann, H.: The Geometry of Geodesics. Academic Press, New York (1955)zbMATHGoogle Scholar
- 3.Kurusa, Á.:
*Support theorems for totally geodesic radon transforms on constant curvature spaces*. Proc. Am. Math. Soc.**122**(2), 429–435 (1994). https://doi.org/10.2307/2161033 MathSciNetCrossRefzbMATHGoogle Scholar - 4.Kozma, J., Kurusa, Á.:
*Ceva’s and Menelaus’ theorems characterize the hyperbolic geometry among Hilbert geometries*. J. Geom.**106**(3), 465–470 (2015). https://doi.org/10.1007/s00022-014-0258-7 MathSciNetCrossRefzbMATHGoogle Scholar - 5.Masal’tsev, L.A.:
*Incidence theorems in spaces of constant curvature*. J. Math. Sci.**72**(4), 3201–3206 (1994). https://doi.org/10.1007/BF01249519 MathSciNetCrossRefGoogle Scholar - 6.Szabó, Z.I.:
*Hilbert’s fourth problem. I*. Adv. Math.**59**(3), 185–301 (1986). https://doi.org/10.1016/0001-8708(86)90056-3 MathSciNetCrossRefzbMATHGoogle Scholar - 7.Wikipedia: https://en.wikipedia.org/wiki/Cauchy’s_functional_equation. Accessed 01 Feb 2019

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.