2.II .24H. 24 \mathrm{H}

Differential Geometry
Part II, 2008

(a) For a regular curve in R3\mathbb{R}^{3}, define curvature and torsion and state the Frenet formulas.

(b) State and prove the isoperimetric inequality for domains ΩR2\Omega \subset \mathbb{R}^{2} with compact closure and C1C^{1} boundary Ω\partial \Omega.

[You may assume Wirtinger's inequality.]

(c) Let γ:IR2\gamma: I \rightarrow \mathbb{R}^{2} be a closed plane regular curve such that γ\gamma is contained in a disc of radius rr. Show that there exists sIs \in I such that k(s)r1|k(s)| \geqslant r^{-1}, where k(s)k(s) denotes the signed curvature. Show by explicit example that the assumption of closedness is necessary.