12.07.2015 Views

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

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

§3. Some Global Results 29at M. Thus, it must be that PQ ⊂ C, soθ(s) =θ(s 1 )=θ(s 2 ) for all s ∈ [s 1 ,s 2 ]. Therefore, θ isnondecreas<strong>in</strong>g, <strong>and</strong> we are done. □Def<strong>in</strong>ition. A critical po<strong>in</strong>t of κ is called a vertex of the curve C.A closed curve must have at least two vertices: the maximum <strong>and</strong> m<strong>in</strong>imum po<strong>in</strong>ts of κ. Everypo<strong>in</strong>t of a circle is a vertex. We conclude with the follow<strong>in</strong>gProposition 3.9 (Four Vertex Theorem). A closed convex plane curve has at least four vertices.Proof. Suppose that C has fewer than four vertices. As we see from Figure 3.5, either κ musthave two critical po<strong>in</strong>ts (maximum <strong>and</strong> m<strong>in</strong>imum) or κ must have three critical po<strong>in</strong>ts (maximum,0 L 0 LFigure 3.5m<strong>in</strong>imum, <strong>and</strong> <strong>in</strong>flection po<strong>in</strong>t). More precisely, suppose that κ <strong>in</strong>creases from P to Q <strong>and</strong> decreasesfrom Q to P . Without loss of generality, let P be the orig<strong>in</strong> <strong>and</strong> suppose ∫ the equation of PQ ←→ isA · x =0. Choose A so that κ ′ (s) ≥ 0 precisely when A · α(s) ≥ 0. Then κ ′ (s)(A · α(s))ds > 0.Let à be the vector obta<strong>in</strong>ed by rotat<strong>in</strong>g A through an angle of π/2. Then, <strong>in</strong>tegrat<strong>in</strong>g by parts,we have∫∫∫− κ ′ (s)(A · α(s))ds = κ(s)(A · T(s))ds = κ(s)(à · N(s))dsCCC∫∫= à · κ(s)N(s)ds = à · T ′ (s)ds =0.From this contradiction, we <strong>in</strong>fer that C must have at least four vertices.C3.3. The Isoperimetric Inequality. One of the classic questions <strong>in</strong> mathematics is thefollow<strong>in</strong>g: Given a closed curve of length L, what shape will enclose the most area? A littleexperimentation will most likely lead the reader to theTheorem 3.10 (Isoperimetric Inequality). If a simple closed plane curve C has length L <strong>and</strong>encloses area A, then<strong>and</strong> equality holds if <strong>and</strong> only if C is a circle.L 2 ≥ 4πA,CC□

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!