3
$\begingroup$

I've gotten as far as $\mathbf{n''}+(\kappa^2+\tau^2)\mathbf{n} = 0$, which suggests or at least permits trigonometric expressions for every component of $\mathbf{n}$ -- not something that seems to lead to a standard expression for a helix. Am I just supposed to prove that a helix has constant nonzero curvature and torsion and invoke the fundamental theorem of curves?

ETA: I was able to get further than the point I described, but the equation for the curve I came up with was...

$$\big(c_1\cos{\sqrt{\kappa^2+\tau^2}t}+c_2\sin{\sqrt{\kappa^2+\tau^2}t+c_3t+c_4},c_5\cos{\sqrt{\kappa^2+\tau^2}t}+c_6\sin{\sqrt{\kappa^2+\tau^2}t+c_7t+c_8},c_9\cos{\sqrt{\kappa^2+\tau^2}t}+c_{10}\sin{\sqrt{\kappa^2+\tau^2}t+c_{11}t+c_{12}}\big)$$

...and I have no idea how to prove that that's a helix, plus I suspect it isn't even right.

2 Answers 2

4

You can use the Frenet-Serret formulas to find the parametric equations of the curve with constant nonzero curvature and torsion. This gives you a system of three linear differential equations. It's straightforward (albeit a bit tedious) to solve.

However, if you have the fundamental theorem of curves established, all what you need is to show that for every constant nonzero curvature and torsion, there is a helix that has such values. From there, you know that all other curves with the same curvature and torsion are the same helix (up to an isometry).

  • 0
    Trying to solve the equations led me to an equation for the curve with no fewer than 12 unknown constants and trigonometric expressions for all three dimensions. I think the big problem for me might be proving that this equation _does_ represent a helix, but I suspect I took a wrong turn a few steps back, which was why I said I was at the point I did. The teacher gave us the solution for y''+(c^2)y=0 as part of the problem, which suggests my track was the right one.2012-09-16
  • 0
    @ShayGuy I solved the equations when I learned the Frenet-Serret formulas as an exercise. It was a while back but I remember that it was quite tedious. If you keep all of integration constants, you'll end up with a general parametrization that covers all possible isometries. Not a pleasant one!2012-09-16
  • 0
    Like I said, I've got a parametrization. I just don't see how to prove that it's a helix. Do I need to define a new orthonormal basis?2012-09-16
  • 0
    @ShayGuy Apply an isometry to the helix parametrization and compare with yours.2012-09-16
  • 0
    I don't think we've covered isometries. At least, they're not in the pseudo-textbook we're using yet.2012-09-16
  • 0
    @ShayGuy Hmm, how is the fundamental theorem of curves presented then? The curvature and torsion identify a curve up to an isometry, meaning that the curve can be rotated, translated and reflected and still maintain the same curvature and torsion.2012-09-16
  • 0
    let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/5844/discussion-between-shay-guy-and-ayman-hourieh)2012-09-16
1

Take a look at section 1.18 on page 2/5 of this PDF.