40 Chapter 2. <strong>Surfaces</strong>: Local Theoryif angles measured <strong>in</strong> the uv-plane agree with correspond<strong>in</strong>g angles <strong>in</strong> T P M for all P .Weleave itto the reader to check <strong>in</strong> Exercise 5 that this is equivalent to the conditions E = G, F =0.S<strong>in</strong>cewe have[EF]F=G[]x u · x u x u · x vx v · x u x v · x v⎡| |⎢= ⎣ x u x v| |⎤⎥⎦T ⎡| |⎢⎣ x u x v| |⎛⎡⎤⎞([]) x u · x u x u · x v 0EG − F 2 x u · x u x u · x v ⎜⎢⎥⎟= det= det ⎝⎣x v · x u x v · x v 0 ⎦⎠x v · x u x v · x v0 0 1⎛⎡⎤T ⎡ ⎤⎞⎛ ⎡ ⎤⎞| | | | | || | |= det ⎜⎢⎥ ⎢ ⎥⎝⎣x u x v n ⎦ ⎣ x u x v n ⎦⎟⎠ = ⎜ ⎢ ⎥⎟⎝det ⎣ x u x v n ⎦⎠| | | | | || | |which is the square of the volume of the parallelepiped spanned by x u , x v , <strong>and</strong> n. S<strong>in</strong>ce n is a unitvector orthogonal to the plane spanned by x u <strong>and</strong> x v , this is, <strong>in</strong> turn, the square of the area of theparallelogram spanned by x u <strong>and</strong> x v . That is,EG − F 2 = ‖x u × x v ‖ 2 ≠0.We rem<strong>in</strong>d the reader that we obta<strong>in</strong> the surface area of the parametrized surface x: U → M bycalculat<strong>in</strong>g the double <strong>in</strong>tegral∫∫ √‖x u × x v ‖dudv = EG − F 2 dudv.UU⎤⎥⎦ ,2,EXERCISES 2.11. Derive the formula given <strong>in</strong> Example 1(e) for the parametrization of the unit sphere.2. Compute I (i.e., E, F , <strong>and</strong> G) for the follow<strong>in</strong>g parametrized surfaces.*a. the sphere of radius a: x(u, v) =a(s<strong>in</strong> u cos v, s<strong>in</strong> u s<strong>in</strong> v, cos u)b. the torus: x(u, v) =((a + b cos u) cos v, (a + b cos u) s<strong>in</strong> v, b s<strong>in</strong> u) (0
§1. Parametrized <strong>Surfaces</strong> <strong>and</strong> the <strong>First</strong> Fundamental Form 41*4. Show that if all the normal l<strong>in</strong>es to a surface pass through a fixed po<strong>in</strong>t, then the surface is (aportion of) a sphere. (By the normal l<strong>in</strong>e to M at P we mean the l<strong>in</strong>e pass<strong>in</strong>g through P withdirection vector the unit normal at P .)5. Check that the parametrization x(u, v) isconformal if <strong>and</strong> only if E = G <strong>and</strong> F =0. (H<strong>in</strong>t:For =⇒, choose two convenient pairs of orthogonal directions.)*6. Check that the parametrization of the unit sphere by stereographic projection (see Example1(e)) is conformal.7. Consider the hyperboloid of one sheet, M, given by the equation x 2 + y 2 − z 2 =1.a. Show that x(u, v) =(cosh u cos v, cosh u s<strong>in</strong> v, s<strong>in</strong>h u) gives a parametrization of M as asurface of revolution.*b. F<strong>in</strong>d two parametrizations ( of M as a ruled surface α(u)+vβ(u).uv +1c. Show that x(u, v) =uv − 1 , u − vuv − 1 , u + v )gives a parametrization of M where bothuv − 1sets of parameter curves are rul<strong>in</strong>gs.♯ 8.Given a ruled surface x(u, v) =α(u)+vβ(u) with α ′ ≠0<strong>and</strong> ‖β‖ =1;suppose that α ′ (u),β(u), <strong>and</strong> β ′ (u) are l<strong>in</strong>early dependent for every u. Prove that locally one of the follow<strong>in</strong>g musthold:(i) β = const;(ii) there is a function λ so that α(u)+λ(u)β(u) =const;(iii) there is a function λ so that (α + λβ) ′ (u) isanonzero multiple of β(u) for every u.Describe the surface <strong>in</strong> each of these cases. (H<strong>in</strong>t: There are c 1 , c 2 , c 3 (functions of u), neversimultaneously 0, so that c 1 (u)α ′ (u)+c 2 (u)β(u)+c 3 (u)β ′ (u) =0 for all u. Consider separatelythe cases c 1 (u) =0<strong>and</strong> c 1 (u) ≠0.Inthe latter case, divide through.)9. (The Mercator projection) Mercator developed his system for mapp<strong>in</strong>g the earth, as pictured <strong>in</strong>uvFigure 1.8Figure 1.8, <strong>in</strong> 1569, about a century before the advent of calculus. We want a parametrizationx(u, v) ofthe sphere, u ∈ R, v ∈ [0, 2π), so that the u-curves are the longitudes <strong>and</strong> sothat the parametrization is conformal. Lett<strong>in</strong>g (φ, θ) bethe usual spherical coord<strong>in</strong>ates, write