Envelope of a Family of Curves

Consider a one-parameter family of plane curves defined by the equation

where C is a parameter.

The envelope of this family of curves is a curve such that at each point it touches tangentially one of the curves of the family (Figure 1).

The parametric equations of the envelope are defined by the system of equations

that is, by the original equation of the family of curves and the equation obtained by differentiating the original equation with respect to the parameter $$ Eliminating the parameter $$ from these equations, we can get the equation of the envelope in explicit or implicit form.

The above system of equations is a necessary condition for the existence of an envelope. Besides the envelope curve, the solution of this system may comprise, for example, singular points of the curves of the family that do not belong to the envelope. The set of all solutions of the system is called the discriminant curve. Thus, in general, the envelope is a part of the discriminant curve.

To find the equation of the envelope uniquely, the sufficient conditions are used. They assume that the following inequalities are satisfied (in addition to the above system of equations):

Note that not any one-parameter family of curves has an envelope. A classic counter-example is the family of concentric circles (Figure $$), which is described by the equation

There is no envelope for the given set of curves.

Solved Problems

Solution.

We write the system of equations:

The first equation describes the family of curves and is given in the problem definition. Differentiating it with respect to the parameter $$ we get

Thus, the system of equations can be written as

We express $$ from the second equation and substitute it in the first equation:

Note that the family of circles does not contain singular points, so the resulting solution is the equation of the envelope. It consists of two straight lines:

Schematically, the family of circles and two envelope lines are shown in Figure $$

Solution.

The equation for the given family of curves can be written as

where the semi-axis $$ is a parameter and $$ Differentiating this equation with respect to the parameter $$ we obtain the second equation:

Take the square root of both sides of then equation:

Express $$ from the last equation:

Substituting this into the first equation and assuming that the family of curves has no singular points, we find the envelope:

Obviously, the negative root here does not make sense. Therefore, the final equation of the envelope is given by

This equation describes a square (Figure $$).