Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to solve the following exercise:

Prove that on a surface of constant curvature the geodesic circles have constant curvature.

"Constant curvature" in case of the surface I take to refer to the Gaussian curvature. Now, the geodesic curvature of a curve parameterized by arc length in orthogonal coordinates is given by

$$k_g(s) = \frac{1}{2 \sqrt{EG}} \left(G_u v'- E_v u' \right)+ \phi',$$

where $\cdot'$ denotes the derivative with respect to $s$, and $\phi$ is the angle the tangent of the curve makes with $x_u$.

Using geodesic polar coordinates (setting $u = \rho$ and $v = \theta$), a surface with constant Gaussian curvature $K$ satisfies

$$(\sqrt{G}_{\rho\rho}) + K \sqrt{G} = 0$$

Also, we get $E=1$, $F=0$, and a geodesic circle has the equation $\rho = \mathrm{const.}$ Therefore, the first equation above yields

$$ k_g(s) = \frac{G_\rho \theta'}{2\sqrt{G}} $$

It seems to prove that $k_g$ is constant, you would have to show that its derivative is 0. I tried that, but the derivative gets rather ugly and I don't see how to proceed.

share|cite|improve this question
The meaning is unclear. The geodesics are supposed to have constant curvature with respect to what ambient space? The embedding of the surface has not been specified. – Mikhail Katz Aug 10 '14 at 10:01

If you're willing to allow some high-power Riemannian geometry theorems, the classification of constant curvature surfaces tells you that your surface is isometric to a sphere, the Euclidean plane, or the hyperbolic plane. It can then be checked by computation that all geodesic circles are constant-curvature.

share|cite|improve this answer
Do you mean "... you surface is locally isometric to ..."? – Neal Dec 11 '12 at 0:14

Consider the three cases K=0, K>0 and K<0 in your second equation. In each case, you can use ODE theory (and the values of E, F and limits of G) to solve for G, which in all cases is independent of theta. Plug in the first fundamental form coefficients into your first equation for the geodesic curvature.

share|cite|improve this answer

If you have textbook, Differential Geometry of Curves and Surfaces, Do CARMO,

Then See p.289, the part of Theorem by Minding. You will get E=1,F=0,G=constant,G_ρ=constant in geodesic circles(i.e, ρ=constant)

And see p.254, the part of Theorem by Liouville, curvature of curve ρ=constant, k(g2)=G_ρ/2GE^(1/2). So k is constant.

share|cite|improve this answer
Thank you very much. I was having the same question, this was a very simple way to solve it. – Leo Nov 24 '15 at 0:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.