14 Chapter 1. <strong>Curves</strong>curvature κ. Insummary, so far we haveκ(t) =13(1 + t 2 ) 2 <strong>and</strong> N(t) =(−2t1+t 2 , 1 − )t21+t 2 , 0 .Next we f<strong>in</strong>d the b<strong>in</strong>ormal B by calculat<strong>in</strong>g the cross productB(t) =T(t) × N(t) = √ 1 (− 1 − t22 1+t 2 , − 2t )1+t 2 , 1 .And now, at long last, we calculate the torsion by differentiat<strong>in</strong>g B:so τ(t) =κ(t) =−τN = dB dBds = dtds13(1 + t 2 ) 2 . ▽dt= 1 dBυ(t) dt()1 4t√2 (1 + t 2 ) 2 , 2(t2 − 1)(1 + t 2 ) 2 , 01=3 √ 2(1 + t 2 )(1= −3(1 + t 2 )} {{ 2 −2t1+t}2 , 1 − )t21+t 2 , 0 ,} {{ }τNNow we see that curvature enters naturally when we compute the acceleration of a mov<strong>in</strong>gparticle. Differentiat<strong>in</strong>g the formula (∗) onp.12, we obta<strong>in</strong>α ′′ (t) =υ ′ (t)T(s(t)) + υ(t)T ′ (s(t))s ′ (t)= υ ′ (t)T(s(t)) + υ(t) 2( κ(s(t))N(s(t)) ) .Suppress<strong>in</strong>g the variables for a moment, we can rewrite this equation as(∗∗)α ′′ = υ ′ T + κυ 2 N.The tangential component of acceleration is the derivative of speed; the normal component (the“centripetal acceleration” <strong>in</strong> the case of circular motion) is the product of the curvature of the path<strong>and</strong> the square of the speed. Thus, from the physics of the motion we can recover the curvature ofthe path:Proposition 2.2. Forany regular parametrized curve α, wehave κ = ‖α′ × α ′′ ‖‖α ′ ‖ 3 .Proof. S<strong>in</strong>ce α ′ × α ′′ =(υT) × (υ ′ T + κυ 2 N)=κυ 3 T × N <strong>and</strong> κυ 3 > 0, we obta<strong>in</strong> κυ 3 =‖α ′ × α ′′ ‖, <strong>and</strong> so κ = ‖α ′ × α ′′ ‖/υ 3 ,asdesired. □We next proceed to study various theoretical consequences of the Frenet formulas.Proposition 2.3. A space curve is a l<strong>in</strong>e if <strong>and</strong> only if its curvature is everywhere 0.Proof. The general l<strong>in</strong>e is given by α(s) =sv + c for some unit vector v <strong>and</strong> constant vectorc. Then α ′ (s) =T(s) =v is constant, so κ =0. Conversely, if κ =0,then T(s) =T 0 is a constant∫ svector, <strong>and</strong>, <strong>in</strong>tegrat<strong>in</strong>g, we obta<strong>in</strong> α(s) = T(u)du = sT 0 + c for some constant vector c. This0is, once aga<strong>in</strong>, the parametric equation of a l<strong>in</strong>e. □
§2. Local Theory: Frenet Frame 15Example 4. Suppose all the tangent l<strong>in</strong>es of a space curve pass through a fixed po<strong>in</strong>t. Whatcan we say about the curve? Without loss of generality, we take the fixed po<strong>in</strong>t to be the orig<strong>in</strong><strong>and</strong> the curve to be arclength-parametrized by α. Then for every s we have α(s) =λ(s)T(s) forsome scalar function λ. Differentiat<strong>in</strong>g, we haveT(s) =α ′ (s) =λ ′ (s)T(s)+λ(s)T ′ (s) =λ ′ (s)T(s)+λ(s)κ(s)N(s).Then (λ ′ (s) − 1)T(s) +λ(s)κ(s)N(s) =0, so, s<strong>in</strong>ce T(s) <strong>and</strong> N(s) are l<strong>in</strong>early <strong>in</strong>dependent, we<strong>in</strong>fer that λ(s) =s + c for some constant c <strong>and</strong> κ(s) =0. Therefore, the curve must be a l<strong>in</strong>ethrough the fixed po<strong>in</strong>t. ▽Somewhat more challeng<strong>in</strong>g is the follow<strong>in</strong>gProposition 2.4. A space curve is planar if <strong>and</strong> only if its torsion is everywhere 0. The onlyplanar curves with nonzero constant curvature are (portions of) circles.Proof. If a curve lies <strong>in</strong> a plane P, then T(s) <strong>and</strong> N(s) span the plane P 0 parallel to P<strong>and</strong> pass<strong>in</strong>g through the orig<strong>in</strong>. Therefore, B = T × N is a constant vector (the normal toP 0 ), <strong>and</strong> so B ′ = −τN = 0, from which we conclude that τ =0. Conversely, if τ =0,theb<strong>in</strong>ormal vector B is a constant vector B 0 .Now, consider the function f(s) =α(s) · B 0 ;wehavef ′ (s) =α ′ (s) · B 0 = T(s) · B(s) =0,<strong>and</strong> so f(s) =c for some constant c. This means that α lies<strong>in</strong> the plane x · B 0 = c.We leave it to the reader to check <strong>in</strong> Exercise 2a. that a circle of radius a has constant curvature1/a. (This can also be deduced as a special case of the calculation <strong>in</strong> Example 1.) Now suppose aplanar curve α has constant curvature κ 0 . Consider the auxiliary function β(s) =α(s)+ 1 N(s).κ 0Then we have β ′ (s) =α ′ (s) + 1 (−κ 0 (s)T(s)) = T(s) − T(s) =0. Therefore β is a constantκ 0function, say β(s) =P for all s. Now we claim that α is a (subset of a) circle centered at P , for‖α(s) − P ‖ = ‖α(s) − β(s)‖ =1/κ 0 . □We have already seen that a circular helix has constant curvature <strong>and</strong> torsion. We leave itto the reader to check <strong>in</strong> Exercise 10 that these are the only curves with constant curvature <strong>and</strong>torsion. Somewhat more <strong>in</strong>terest<strong>in</strong>g are the curves for which τ/κ is a constant.A generalized helix is a space curve with κ ≠0all of whose tangent vectors make a constantangle with a fixed direction. As shown <strong>in</strong> Figure 2.2, this curve lies on a generalized cyl<strong>in</strong>der,formed by tak<strong>in</strong>g the union of the l<strong>in</strong>es (rul<strong>in</strong>gs) <strong>in</strong> that fixed direction through each po<strong>in</strong>t of thecurve. We can now characterize generalized helices by the follow<strong>in</strong>gProposition 2.5. A curve is a generalized helix if <strong>and</strong> only if τ/κ is constant.Proof. Suppose α is an arclength-parametrized generalized helix. Then there is a (constant)unit vector A with the property that T · A = cos θ for some constant θ. Differentiat<strong>in</strong>g, we obta<strong>in</strong>κN · A =0,whence N · A =0. Differentiat<strong>in</strong>g yet aga<strong>in</strong>, we have(†)(−κT + τB) · A =0.Now, note that A lies <strong>in</strong> the plane spanned by T <strong>and</strong> B, <strong>and</strong> thus B · A = ± s<strong>in</strong> θ. Thus, we <strong>in</strong>ferfrom equation (†) that τ/κ = ± cot θ, which is <strong>in</strong>deed constant.