## The Fundamental Theorem of Plane Curve Curvature

**Point of Post: **In this post we prove the fundamental theorem of plane curve curvature and use it to prove the curvature characterization of segments of circles (positive constant curvature). Moreover, we also show that the fundamental theorem implies the existence of an osculating circle.

*Motivation*

We now prove one of the most fulfilling theorems in the differential geometry of , namely that a smooth unit speed curve is entirely determined up to an orientation preserving isometry of by its curvature. This is intuitively obvious for if one draws a curve and decides that it will follow some set ‘curvature pattern’ which is unit speed, then there is only two decisions to make: where to start, and what direction to start towards. But, this is precisely the statement in the first sentence. In fact, we’ll prove more. Not only does the curvature function characterize, up to an isometry, a unit speed curve but in fact given any smooth map for some interval one has that there exists a unit speed curve such that . As a particular consequence of this deep fact is the somewhat satisfying fact that the only curve with positive constant curvature is a segment of a curve. We will then talk about what shall serve to be a prime motivator for curvature in higher dimensions–the osculating circle. Intuitively, given a point on a regular curve there is a unique circle which ‘best approximates’ the curve near that point, this circle is precisely the circle tangent to the curve at that point with radius equal to the inverse of the curvature at that point.

*The Fundamental Theorem of Plane Curves*

We begin by proving the fundamental theorem:

**Theorem(Fundamental Theorem of Plane Curves):** *Let be a smooth function for some interval . Then, there exists a unit speed curve such that . Moreover, if is another unit speed curve with then there exists an orientation preserving isometry such that .*

**Proof: **We begin by construction a function with as its signed curvature. Indeed, choose and let

Define then

clearly then is smooth (since is) unit speed because which is clearly a unit vector. But, recall that is ‘a’ turning angle for , and by uniqueness ‘the’ turning angle for (the unique smooth turning angle that is). We thus have from previous discussion that but, and so is a unit speed curve with curvature equal to .

Now, assume that is another unit speed curve with . Let be the smooth turning angle for . We see then from that

We see then from the fact that that

But, we know that for some constant (in particular , but this doesn’t matter). Thus, we see that

and so where is the counterclocwise rotation by the angle and is translation by . Since is an orientation preserving isometry the conclusion follows.

From this we get the satisfying corollary we alluded to in the motivation:

**Theorem:*** Let be a regular curve with constant positive unsigned curvature. Then, is part of a circle in .*

**Proof: **The first step is to note that since is constant that is constant. This is because if was not constant then is a non-degenerate interval which is impossible since is constant. So, choose a unit speed reparamaterization of . Since curvature is independent of reparamaterization we have that has constant positive curvature, say . Since the circle also has curvature equal to we may conclude from the previous theorem that there is an orientation preserving isometry carrying the circle onto , and since circles are invariant under isometries we have that is a subset of a circle.

We end this topic by discussing the idea of the osculating circle. Roughly, for a regular curve and a point with non-zero curvature the *osculating circle at *is the circle of radius .

**References:**

1. Carmo, Manfredo Perdigão Do. *Differential Geometry of Curves and Surfaces*. Upper Saddle River, NJ: Prentice-Hall, 1976. Print.

2. Montiel, Sebastián, A. Ros, and Donald G. Babbitt. *Curves and Surfaces*. Providence, RI: American Mathematical Society, 2009. Print.

[…] the theory of such curves, in particular the theory of their curvature, is as nice as it was for plane curves. Unfortunately, this is not the case. As we shall see, we can define curvature for a curve in very […]

Pingback by Space Curves « Abstract Nonsense | October 5, 2011 |