Every curve in the plane has several other curves associated with it. One of the most interesting and important of these is the evolute.

Suppose the curve is specified in parametric form for . The centre of curvature at a particular point corresponds to the centre of the osculating circle , the circle that best approximates the curve in the neighbourhood of the point . The centre of curvature is a function of the parameter: , so it traces out a curve. This is the *evolute*, the locus of the centre of curvature of the curve .

Since the tangents to the curve and its osculating circle at point coincide, the centre of curvature is on the normal at . Thus, as two neighbouring points on coalesce, the point of intersection of their normals tends to the centre of curvature. So, the evolute may be described as the envelope of the normals (an envelop of a family of curves is a curve that is tangent to each of them at some point).

Evolutes were first considered by the Greek geometer Apollonius (c. 200 BC) in his famous treatise on conics. Their theory was developed in greater detail by Christiaan Huygens in his study of optics.

From its definition, the equation of the evolute is given by

where is the radius of curvature and is the curvature and is the unit normal to . Expanding in cartesian coordinates, we get

where primes are derivatives with respect to .

**Evolute of a Parabola**

If we choose , the curve is a parabola. The slope is , so the slope of the normal is . The Figure below (Left panel) shows the parabola and a family of curves normal to it. We can see the “caustic curve” or envelope which is tangent to a normal at every point. This is the evolute. A zoomed view (Right panel) shows that it has a cusp at .

From the explicit expressions above, we can easily get an equation for the evolute:

a semi-cubical parabola. The cusp corresponds to the *vertex* of the parabola, the point where .

**The Four Vertex Theorem**

The Four Vertex Theorem states that any simple closed smooth plane curve has at least four vertices or points where the curvature is an extremum. The simplest example is an ellipse, with two points of maximum curvature (the `pointy’ ends) and two minima (the `flattest’ points). Since a vertex corresponds to a cusp of the evolute, an ellipse should have an evolute with four cusps.

The Figure shows a family of normals to an ellipse. It is clear that their envelope has four cusps. If we write the ellipse in parametric form , and substitute this in the expressions for the evolute, we get

This is an astroid, a stretched form of a four-cusped hypocycloid. It is depicted in the Figure.

**Another Example**

With some toil, you can derive the equations for the evolute in polar coordinates where and . As a simple application we take the limacon

Using the expressions for the evolute, we obtain the equations for a nephroid, an epicycle of two cusps (see Figure).

The two cusps correspond to the maximum and minimum curvature of the limacon. Notice that it has just two vertices (one maximum and one minimum of curvature), which appears to conflict with the Four Vertex Theorem. But the limacon intersects itself and is not a simple curve, so the theorem does not apply.