116 SELECTED ANSWERS2.4.8 Only circles. By Exercise 2 such a curve will also have constant curvature, <strong>and</strong> byMeusnier’s formula, Proposition 2.5, the angle φ between N <strong>and</strong> n = x is constant.Differentiat<strong>in</strong>g x · N = cos φ = const yields τ(x · B) =0. Either τ =0,<strong>in</strong>which casethe curve is planar, or else x·B =0,<strong>in</strong>which case x = ±N, soτ = N ′ ·B = ±x ′ ·B =±T · B =0. (In the latter case, the curve is a great circle.)3.1.1 a. 2π s<strong>in</strong> u 03.1.3 a. 1, b.,c. 3.3.2.1 a. The semicircle centered at (2, 0) of radius √ 5; d(P, Q) =ln ( (3 + √ 5)/2 ) .3.2.4 Show first that for an arclength parametrization κ g = u ′ (s)/v(s)+θ ′ (s). Take a circleof the form α(t) = ( a + b cos t, b(s<strong>in</strong> t +1) ) <strong>and</strong> show υ(t) =‖α ′ (t)‖ =1/(s<strong>in</strong> t + 1).3.2.9 κ g = coth R3.3.4 We have κ n =II(e 1 , e 1 )=−de 3 (e 1 ) · e 1 = ω 13 (e 1 ). S<strong>in</strong>ce e 3 = s<strong>in</strong> θe 2 + cos θe 3 ,the calculations of Exercise 3 show that ω 13 = s<strong>in</strong> θω 12 + cos θω 13 , so ω 13 (e 1 ) =s<strong>in</strong> θω 12 (e 1 )=κ s<strong>in</strong> θ. Here θ is the angle between e 3 <strong>and</strong> e 3 ,sothis agrees with ourprevious result.3.3.7 We have ω 1 = bdu(<strong>and</strong> ω 2 = (a)+ b cos u) dv, so ω 12 = − s<strong>in</strong> udv <strong>and</strong> dω 12 =cos ucos u− cos udu∧ dv = −ω 1 ∧ ω 2 ,soK =b(a + b cos u)b(a + b cos u) .3.4.2 a. Tak<strong>in</strong>g ξ = f gives us ∫ 10 f(t)2 dt =0. S<strong>in</strong>ce f(t) 2 ≥ 0 for all t, iff(t 0 ) ≠0,wehavean <strong>in</strong>terval [t 0 − δ, t 0 + δ] onwhich f(t) 2 ≥ f(t 0 ) 2 /2, <strong>and</strong> so ∫ 10 f(t)2 dt ≥ f(t 0 ) 2 δ>0.3.4.9 y = 1 2 cosh(2x)A.1.1A.1.2A.2.4Consider z = x − y. Then we know that z · v i =0,i =1, 2. S<strong>in</strong>ce {v 1 , v 2 } is a basisfor R 2 , there are scalars a <strong>and</strong> b so that z = av 1 + bv 2 . Then z · z = z · (av 1 + bv 2 )=a(z · v 1 )+b(z · v 2 )=0,soz = 0, asdesired.H<strong>in</strong>t: Take u =( √ a, √ b) <strong>and</strong> v =( √ b, √ a).Let v = ∫ ba f(t) dt. If v ≠ 0, we have ‖v‖2 = v · ∫ ba f(t) dt = ∫ bav · f(t) dt ≤∫ ba ‖v‖‖f(t)‖ dt = ‖v‖ ∫ ba‖f(t)‖ dt (us<strong>in</strong>g the Cauchy-Schwarz <strong>in</strong>equality u · v ≤‖u‖‖v‖), so ‖v‖ ≤ ∫ ba‖f(t)‖ dt, asneeded.
INDEXangle excess, 79arclength, 6asymptotic curve, 47, 49, 52asymptotic direction, 47, 51, 53Bertr<strong>and</strong> mates, 20b<strong>in</strong>ormal vector, 11Bäcklund, 100C k ,1,34, 109catenary, 5catenoid, 42, 63Cauchy-Schwarz <strong>in</strong>equality, 109cha<strong>in</strong> rule, 109characteristic polynomial, 108Christoffel symbols, 54Codazzi equations, 57–60, 98compact, 58conformal, 39connection form, 99convex, 28covariant constant, 64covariant derivative, 64Crofton’s formula, 24, 32cross ratio, 93cubiccuspidal, 2nodal, 2twisted, 3curvature, 11cycloid, 3Darboux frame, 67, 98, 99developable, see ruled surface, developabledirectrix, 37Dup<strong>in</strong> <strong>in</strong>dicatrix, 53eigenvalue, 108eigenvector, 108elliptic po<strong>in</strong>t, 48Euler characteristic, 81exterior angle, 31, 79first fundamental form, 38flat, 58, 73, 80, 86, 98Frenet formulas, 11Frenet frame, 10functional, 101Gauss equation, 57, 60, 98Gauss map, 24, 43Gauss-Bonnet formula, 79, 82, 90, 99Gauss-Bonnet Theorem, 90global, 81local, 79Gaussian curvature, 48, 51, 54, 57, 78, 98constant, 59, 87generalized helix, 15geodesic, 67geodesic curvature, 68globally isometric, 71gradient, 109Gronwall <strong>in</strong>equality, 113H, 48helicoid, 35, 47, 52, 63helix, 3holonomy, 75, 78horocycle, 92hyperbolic plane, 87Kle<strong>in</strong>-Beltrami model, 95Po<strong>in</strong>caré model, 94hyperbolic po<strong>in</strong>t, 48<strong>in</strong>version, 93<strong>in</strong>volute, 19117