 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $p,q$ lie in the <closed ball> of center $z$ and radius $R$. On their unique <geodesic>, the <Hadamard squared-distance inequality> gives
$$
d(z,\gamma(t))^2\leq(1-t)d(z,p)^2+td(z,q)^2-t(1-t)d(p,q)^2
\leq R^2.
$$
Thus every point of that <geodesic> lies in the ball. By uniqueness there are no other <geodesics> to consider, so \b[every <closed ball> is geodesically convex].

 Back to article page