Kempelen Farkas Hallgatói Információs Központ
Given a curve, now we study an important family of curve generated by the given curve, and an envelope of great importance.
As it follows from the definition, there are infinitely many evolvents of a given curve. These evolvents form a one-parameter family of curves, where the family-parameter reflects the point of the original curve, from which the actual evolvent starts.
Those curves, which intersect orthogonally all the elements of a family of curves are called orthogonal trajectories. Thus each evolvent of a curve is an orthogonal trajectory of the tangent lines (as family of curves). Given a curve, the evolvent can be constructed by attaching an imaginary taut string to the given curve and tracing its free end as if it unwinds. This construction can be expressed by the following equation of the evolvent.
Proof. We have to prove, that the tangent of the curve is orthogonal to the corresponding tangent of the curve in each point.
But in arc-length parameterization , from which , that is . □
For a given curve another important curve can be defined as the locus of all its centers of curvature.
is called evolute of the given curve (see Figure 7.3 and the next video).
Proof. Since all the centers of curvature are on the normals of the given curve, it is obvious, that each member of the family of lines has common point to the evolute. For being an envelope, the evolute must have parallel tangent lines to the normals. But the direction of the normals is the actual vector , while the direction of the tangent of the evolute is
which proves the statement. □
Furthermore it is true, the evolvent of the evolute of the given curve is nothing else than the originally given curve .