Update and answer: On a Riemannian manifold $(M,d)$, the distance function from a fixed point $p$, i.e., $f_p(x)=d(p,x), p, x \in M$can still be differentiable at a first conjugate point $q \ne p$ of $p$ when there is a unique minimizing geodesic connecting $p$ and $q$
Chee
- 984
- 5
- 18