Evolute

In the differential geometry of curves, the evolute of a curve is the set of all its centers of curvature. It is equivalent to the envelope of the normals. Opposite to evolute is involute. (Compare Media:Evolute2.gif and Media:Involute.gif) Equations of an evolute of a parametrically defined curve are: <math>X[x,y]=x+y'\frac{x'^2+y'^2}{xy'-yx'}</math>

<math>Y[x,y]=y+x'\frac{x'^2+y'^2}{yx'-xy'}</math> If r is the curve parametrized by arc length (i.e. <math>|r'(s)|=1</math>; see natural parametrization) then the center of curvature at s is

<math>r(s)+{r(s)\over|r(s)|^2}.</math>

Such parametrization is usually between difficult and impossible, but it's still feasible to access r". If x is any (reasonably differentiable) parametrization, and s gives arc length over the same parameter, then the desired r would give <math>r(s(t))=x(t)</math> which if differentiated twice gives

<math>r'(s(t))s'(t)=x'(t)</math>

<math>r(s(t))s'(t)^2+r'(s(t))s(t)=x(t)</math>

which we rearrange to

<math>r(s(t))={x(t)s'(t)-x'(t)s(t)\over s'(t)^3}.</math>

Recognising that

<math>s'(t)=|x'(t)|</math>

eliminates the need to know s itself, thus eliminating the integration in which the analytic impossibilities lie.

An ellipse (red), its evolute (blue) and some parallel curves. Note how the parallel curves have cusps when they touch the evolute

Intrinsic equation of the evolute of a curve defined by an intrinsic equation r=f(s) is <math>R[y]=\frac{rr'}{(r^{-1})'}</math>. The evolute will have a cusp when the curve has a vertex, that is when the curvature has a local maximum or minimum. When parallel curves are constructed they will have cusps when the distance from the curve matches the radius of curvature. The evolute of a cycloid is a similar cycloid.