DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
§1. Examples, Arclength Parametrization 97. F<strong>in</strong>d the arclength of the tractrix, given <strong>in</strong> Example 2, start<strong>in</strong>g at (0, 1) <strong>and</strong> proceed<strong>in</strong>g to anarbitrary po<strong>in</strong>t.♯ 8.Let P, Q ∈ R 3 <strong>and</strong> let α: [a, b] → R 3 be any parametrized curve with α(a) =P , α(b) =Q.Let v = Q − P . Prove that length(α) ≥‖v‖, sothat the l<strong>in</strong>e segment from P to Q gives theshortest possible path. (H<strong>in</strong>t: Consider∫ baα ′ (t) · vdt <strong>and</strong> use the Cauchy-Schwarz <strong>in</strong>equalityu · v ≤‖u‖‖v‖. Ofcourse, with the alternative def<strong>in</strong>ition on p. 6, it’s even easier.)9. Consider a uniform cable with density δ hang<strong>in</strong>g <strong>in</strong> equilibrium. As shown <strong>in</strong> Figure 1.12, thetension forces T(x +∆x), −T(x), <strong>and</strong> the weight of the piece of cable ly<strong>in</strong>g over [x, x +∆x]all balance. If the bottom of the cable is at x =0,T 0 is the magnitude of the tension there,T(x+∆x)θ +∆θ−T(x)θ −gδ∆sxx+∆xFigure 1.12<strong>and</strong> the cable is the graph y = f(x), show that f ′′ (x) = gδ √1+fT ′ (x) 2 . (Remember that0tan θ = f ′ (x).) Lett<strong>in</strong>g ∫ C = T 0 /gδ, show that f(x) =C cosh(x/C) +c for some constant c.du(H<strong>in</strong>t: To <strong>in</strong>tegrate √ , make the substitution u = s<strong>in</strong>h v.)1+u 210. As shown <strong>in</strong> Figure 1.13, Freddy Fl<strong>in</strong>tstone wishes to drive his car with square wheels along astrange road. How should you design the road so that his ride is perfectly smooth, i.e., so thatthe center of his wheel travels <strong>in</strong> a horizontal l<strong>in</strong>e? (H<strong>in</strong>ts: Start with a square with verticesOCQPFigure 1.13at (±1, ±1), with center C at the orig<strong>in</strong>. If α(s) =(x(s),y(s)) is an arclength parametrization