**Background and motivation:**

Consider the cone $C\subset \mathbb{R}^d$ of vectors with non-negative components, and let $\Delta\subset C$ be the simplex of probability vectors (those for which $\sum v_i = 1$). The cone (and hence the simplex) can be equipped with the Hilbert metric, which has applications to Perron-Frobenius theory, among other things.

In these applications, the following step is important: given a $d\times d$ stochastic matrix $A$ with strictly positive entries, one has $A\Delta\subset \Delta$, and one wishes to estimate the diameter of $A\Delta$ in the Hilbert metric. Using some explicit formulas for the Hilbert metric, it can be shown that $$ (1)\qquad\qquad \mathrm{diam}(A\Delta) = \sup_{v,w\in\Delta} d(Av,Aw) = \max_{i,j} d(Ae_i,Ae_j), $$ where $e_i$ are the standard basis vectors. Geometrically, this can be stated as follows: the diameter of $A\Delta$ is achieved by considering only its extreme points.

The proof of (1) that I know relies on some matrix computations and doesn't feel particularly geometrically informative. It uses the characterisation of the Hilbert metric in terms of a partial order -- there is also a characterisation of the Hilbert metric in terms of a cross-ratio. In the present case it boils down to fixing two points $x,y\in C$, letting $w,z$ be the points at which the line through $x,y$ intersects $\partial C$, and setting $d(x,y)$ to be the log of the cross-ratio of $w,x,y,z$.

I wonder if there is a more geometric proof of (1) using this description of $d$. This motivates the following question, which can be stated without reference to the Hilbert metric but would (1).

**Question:** *(can be read independently of the above)*

Let $\Delta,\Delta'$ be simplices of the same dimension and suppose that $\Delta'\subset \Delta$. Let $\ell$ be a line that intersects $\Delta'$ in an interval. Let $x,y\in \Delta'$ be the endpoints of this interval, and let $w,z$ be the points where $\ell$ intersects $\partial \Delta$. Let $\Theta(\ell)$ be the cross-ratio of the points $w,x,y,z$.

Compactness of $\Delta'$ implies that there exists $\ell$ maximising $\Theta$. (We assume that $\Delta'\cap\partial\Delta=0$ so that $\Theta<\infty$.) It can be shown that the supremum is attained when $\ell$ is one of the edges of $\Delta'$, but the proof I know is non-geometric. Is there a geometric proof of this fact?