Tripod points of a geodesic triangle (source code)

= Tripod points of a geodesic triangle

For a geodesic triangle with side lengths $a,b,c$, its tripod points divide the three sides into lengths
$$
\frac{a+b-c}{2},\qquad
\frac{b+c-a}{2},\qquad
\frac{c+a-b}{2}.
$$
In a $\delta$-hyperbolic metric space the three tripod points have pairwise distance at most $4\delta$.