Geodesics on spheres are great circles

It is enough to show that the geodesics through a specific point are all of that form, and we can do this just for the north pole $N=(1,0,\dots,0)$, as the isometry group of the sphere is transitive. Moreover, we need only consider one unit tangent vector at $N$, for the stabilizer of $N$ in the isometry group of the sphere acts transitively on the unit vectors in the tangent space at $N$. So let $v=(0,1,0,\dots,0)$ be the initial speed of a geodesic $\gamma$ starting at $N$. Since the map $(x_1,\dots,x_n)\mapsto (x_1,x_2,-x_3,\dots,-x_n)$ preserves both the point and the vector, the geodesic $\gamma$ must be also preserved by it. It follows immediately that the curve is contained in a great circle.


Although Jose has made the essentially the same point, I just want to elaborate (this is really just a comment, but I always run out of room in the comment box).

What nobody else has mentioned explicitly is that you should have trouble solving the Euler-Lagrange equation for the length functional. The Euler-Lagrange equation is a second order ODE, but a highly degenerate one. And you know this before you even start. Why? Well, suppose you have a solution. Then if you reparameterize that curve using any arbitrary parameterization (i.e., any monotone function of the original parameter), the newly parameterized curve is still a solution to the Euler-Lagrange equation. That means that the ODE has an infinite dimensional space of solutions and it is nothing like any ODE we learned about in our ODE courses or textbooks.

A trick is needed to get around this, namely to use the so-called energy functional $E[\gamma] = \int_0^1 |\gamma'(t)|^2 dt$ (which is not invariant under reparameterization of the curve) instead of the length functional (which is). The Holder inequality shows that a minimum of the energy functional is necessarily a minimum of the length functional that is parameterized by a constant times arclength, i.e. a constant speed geodesic.

The Euler-Lagrange equation for the energy functional is a nice nondegenerate 2nd order ODE that can be handled by standard ODE techniques and theorems.

As for the standard sphere, there are many different ways to solve for the geodesics. To review the ways already suggested in other answers:

1) I recommend that you first do it without the machinery of Riemannian geometry and using only the Euclidean structure of $R^{n+1}$. Using the discussion above, you should be able to show that a curve on the unit sphere is a constant speed geodesic if and only if its acceleration vector is always normal to the sphere. You should then be able to work out the solutions to this ODE. The suggestion that you assume one point is the north pole and the other lies in a co-ordinate plane is a good one and makes the ODE easy to solve.

2) The other way is to do it all intrinsically. Here, I recommend using stereographic co-ordinates and assuming one point is the origin in those co-ordinates. Again, everything becomes very easy in that situation.

3) And the third way is to view the sphere as a homogeneous space and use formulas for that situation. I don't remember the details myself, but I learned them from the book by Cheeger and Ebin.

I recommend that you work through all 3 different ways, as well as any other way you can find.

As others have noted, the calculations for geodesics on hyperbolic space are identical, except that you are working with a "unit sphere" in Minkowski instead of Euclidean space. There is even a notion of stereographic projection (but onto what?). This is also fun to work out carefully.

Finally, I do want to note that after you work this all out and have it all in your head, it's a really beautiful picture and story. And if you find the right angle, it's all very simple, so you can work out the details yourself and not rely on reading a book line-by-line or having someone else show you all the details. Try to get the essential ideas and necessary tricks (like using the energy functional) from books, lectures, or teachers, but try to work everything else out from scratch (i.e., minimal reliance on theorems you can't prove yourself).


A simple argument that shows that great circles are geodesics is that if you parametrise them in such a way that they have unit speed, their acceleration is normal to the surface. To show that all geodesics are great circles, just use uniqueness of the initial value problem for a geodesic after noticing that through every point and in any direction there is a great circle.