§ Integrating Curvature in 1D [TODO ]
- All curves are parametrized by arc length to avoid weird artefacts by time parametrization.
- So r(s) is a function from length of the curve to R3.
- The (unit?) tangent to a curve is given by T(s)≡dr/ds=r′(s).
- The curvature is given by κ(s)≡∣dr2/ds2∣.
- The unit normal is given by N^(s)r′′(s)/κ(s).
- We wish to consider the total curvature, given by ∫0Lκ(s)ds where L is the total length of a closed curve on the plane.
- TODO: how to prove that this will be a multiple of 2π?