geodesic on a convex surface was proved by Poincaré, these Transactions, vol.6 (1905), pp.237-274, by entirely different means.f See his Les méthodes nouvelles de la mécanique céleste, vol.3, chap.33.
No takes yet. Share an insight, caveat, or question.
George D. Birkhoff (1917) studied this question.