the shortest path between two points and the unit sphere and the arc of the great circle Prove that the shortest path between two points on the unit sphere is an arc of a great circle connecting them
Great Circle: the equator or any circle obtained from the equator by rotating
further: latitude lines are not the great circle except the equator
I need help with starting this question, because I am not quite sure how to prove this.
 A: HINT: (Edited 8/27/2021) Start with two points on the equator. Every great circle (except one) meets the shorter great circle arc joining them in at most one point. Let $\Sigma$ be the set of great circles meeting it in one point. Show that for any other curve $C$ joining the points, there must be an open set containing $\Sigma$ of great circles meeting $C$ in at least two points.
A: Two approaches are outlined in the following:
The great circle is an intersection between the sphere and plane. It is a geodesic, a displaced  equator with vanishing geodesic curvature. It contains the sphere center. When it does not contain the sphere center it is a small circle...  having non-zero geodesic curvature $k_g.$
Many small circles go through two points A and B of polar angles $ \theta_{1,2}$ and among them the shortest distance geodesic line runs. It is characterized by the Clairaut's Law derived in text books of differential geometry with Liouville thm/ formula for geodesic curvature $ k_g=0$, briefly outlined here using standard notation of the second and first fundamental forms of surface theory:
$$k_g= \psi' + P u'+ Q v';\; P * 2HE= 2 EF_1-FE_1-EE_2;\;Q* 2HE= EG_1-FE_2; \;$$
Where subscripts $1,2 $ are for meridian and circumferential directions.
The same can be also established by arc length (here independent variable s=arc used for priming ) minimization in Variational calculus using cylindrical coordinates $ ( r, \theta, z )$.
$$ds =\sqrt{ (r d \theta)^2 + dr^2+ dz^2 }= \sqrt{ r ^2 + r{'^2}+ z{'^2}}d \theta$$
Using Euler-Lagrange theorem of two dependent variables $ r,\theta $ from $ (r,\theta,z)$
$$\sqrt{ r ^2 + r{'^2}+ z{'^2}}-r'\cdot \frac{r'}{\sqrt{ r ^2 + r{'^2}+ z{'^2}}}-z'\cdot \frac{z'}{\sqrt{ r ^2 + r{'^2}+ z{'^2}}}= const $$
$$  \frac{r^2}{\sqrt{ r ^2 + r{'^2}+ z{'^2}}}= r\cdot \sin \psi = const = r_{min}$$
where the constant $r_{min}$ is interpreted as the small circle  radius which is tangential to all red great circles obtained by rotation ofall great circles with respect to  the axis of symmetry  $ r=0 $ shown.
Projections of great circles on $ (x/y, y/z, z/x) $ planes are all ellipses with inclination $\alpha = \sin ^{-1}\dfrac{r_{min}}{a} $
The following relations hold $ \phi= slope, \psi = $ angle the great circle makes to meridian.
$$ \cos\phi= \frac{r}{a},\;\sin \psi \cos \phi= \frac{r_{min}}{a}$$

