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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
82 Chapter 3. <strong>Surfaces</strong>: Further Topics<strong>in</strong>terior vertex<strong>in</strong>terior edge∆ µ∆ λFigure 1.8boundary edgesboundary vertex<strong>in</strong>terior/boundary edgeson the boundary, edges <strong>in</strong> the <strong>in</strong>terior, <strong>and</strong> edges that jo<strong>in</strong> a boundary vertex to an <strong>in</strong>terior vertex;we denote the respective numbers of these by E b , E i , <strong>and</strong> E ib .Now observe that∫∫m∑∫∫KdA = KdAR∆ λs<strong>in</strong>ce all the orientations are compatible, <strong>and</strong>∫κ g ds =∂Rλ=1m∑∫λ=1∂∆ λκ g dsbecause the l<strong>in</strong>e <strong>in</strong>tegrals over <strong>in</strong>terior <strong>and</strong> <strong>in</strong>terior/boundary edges cancel <strong>in</strong> pairs. Let ɛ λj , j =1, 2, 3, denote the exterior angles of the “triangle” ∆ λ . Then, apply<strong>in</strong>g Theorem 1.5 to ∆ λ ,wehave∫∫∫3∑κ g ds + KdA+ ɛ λj =2π,∂∆ λ ∆ λ<strong>and</strong> now, summ<strong>in</strong>g over the triangles, we obta<strong>in</strong>∫ ∫∫κ g ds + KdA+∂MMm∑λ=1 j=1j=13∑ɛ λj =2πm =2πF .Now we must do some careful account<strong>in</strong>g: Lett<strong>in</strong>g ι λj denote the respective <strong>in</strong>terior angles oftriangle ∆ λ ,wehave(∗)∑ɛ λj =∑(π − ι λj )=π(2E i + E ib ) − 2πV i<strong>in</strong>teriorvertices<strong>in</strong>teriorvertices<strong>in</strong>asmuch as each <strong>in</strong>terior edge contributes two <strong>in</strong>terior vertices, whereas each <strong>in</strong>terior/boundaryedge contributes just one, <strong>and</strong> the <strong>in</strong>terior angles at each <strong>in</strong>terior vertex sum to 2π. Next,(∗∗)∑boundaryverticesɛ λj = πE ib +l∑ɛ k .k=1