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'm with a problem in an exercise form Do Carmo's Differential Geometry of Curves and Surfaces; it is number 9 section 1.6.

I have a differentiable real function $k(s)$, $s\in I$, and I need to show that the planar curve given by $$ \alpha (s)=\left( \int \cos\theta (s)ds +a,\int \sin\theta (s)ds +b\right) $$ where $$ \theta (s) = \int k(s)ds+\phi $$ has $k(s)$ as its curvature (there is an explanation for this curvature not being exclusively positive in the same book). Both a,b and $\phi$ are constants so they are only important for the second part of the exercise (show that the curve is determined uniquely except of translations and rotations by a $\phi$-angle).

So what I need to show that the curvature of $\alpha$ is $k(s)$. I have already solved exercise 12.d from the same section of the book which gives me

$$ k(s)=\dfrac{x'y''-x''y'}{|\alpha '(s) |^2} $$ Using the definition of $\alpha$ and the Fundamental Theorem of Calculus, I have: $$ \alpha '(s)=(\cos \theta (s)k(s),\sin \theta (s)k(s))=(x'(s),y'(s)) $$ and $$ \alpha ''(s)=(-\sin \theta (s) k(s)^2+\cos \theta(s) k'(s), \cos \theta(s) k(s)^2+\sin \theta(s) k'(s) ) $$

This also gives me $|\alpha '(s)|= |k(s)|$. Substituting on the formula for $k(s)$ above (which should give me k(s)=k(s) ) returns me the value $$ \dfrac{k(s)}{|k(s)|} $$ which is $\pm$ and also very frustrating (shouldn't end up with any restrictions over $k$ ). I can't find where I'm making the mistake. I have tried to do this with arc lenght parametrization, which gave me the same result (by the way, that's how I obtained the formula for $k(s)$).

share|cite|improve this question
The derivate of $\int\cos(\theta(s))$ is simply $\cos(\theta(s))$. So you should find $|\alpha'(s)|=1$. – Xoff Aug 28 '12 at 18:23
... and therefore we have an example of a really simple problem that got complicated because of a wrong usage of the Calculus Fundamental Theorem. Thanks @Xoff ! That was is accurate and correct. – Marra Aug 28 '12 at 18:33
You should solve the ode of Frenet equations to find $\alpha (s)$ and show that the curve is determined up to rigid motion. – Aaron Maroja Nov 19 '15 at 15:57

Your Answer


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

Browse other questions tagged or ask your own question.