Given a one-parameter family of curves in the plane, written implicitly as
a curve \( \gamma \) is called an envelope of the family if through every point of \( \gamma \) there passes a curve of the family that is tangent to \( \gamma \) at that point.
By this definition, the family member and the envelope share the same slope \( y' \) at the common point \( (x,y) \). Therefore, when the family of curves represents the general solution of a first-order ODE, the envelope satisfies the same ODE.
We find the envelope of the family of lines
Differentiate the equation with respect to \( c \):
Isolating \( y \):
Substituting this \( y \) back into the original equation:
and then
We obtained the envelope as a parametric curve: \( x = c^2 \), \( y = (1-c)^2 \), i.e. \( \sqrt{x} = c \), \( \sqrt{y} = 1 - c \). That is:
We find the envelope of the family of lines
Denote \( \varphi(x, y, \alpha) = \dfrac{x}{\cos\alpha} + \dfrac{y}{\sin\alpha} - 1 = 0 \) and differentiate with respect to the parameter \( \alpha \):
We solve the system of the two equations. From the second equation:
Set \( x = \cos^3\alpha \), \( y = \sin^3\alpha \) and substitute into the first equation:
which holds for every \( \alpha \). The envelope
is a parametrisation of a curve called the astroid. Its Cartesian equation is
Given a one-parameter family of curves in the plane, written implicitly as \( \varphi(x,y,c) = 0 \), a curve \( \gamma \) is an envelope of the family if at every point of \( \gamma \) there is a curve of the family passing through that point and tangent to \( \gamma \) there. That is: for every point \( P \) on the envelope there exists a value of the parameter \( c \) such that the corresponding family curve \( \varphi(x,y,c) = 0 \) passes through \( P \), and at that point it has the same tangent as the envelope.