Envelope of Parabola Tangents

Compare neighboring tangent lines and watch their intersection approach the parabola they envelope.

Envelope of Parabola Tangents

The envelope of a family of lines is a curve that is tangent to each member of the family at some point. By examining the tangent lines of a parabola, we can observe how the intersection of two neighboring tangent lines approaches the parabola itself as their parameter difference goes to zero.

Recovering the envelope

Write the family as F(x, y, t) = y − 2atx + at² = 0. Its parameter derivative is F_t = −2ax + 2at. Since a is positive, F_t = 0 gives t = x; substitution into F = 0 gives the envelope y = ax².

Worked example: two legal neighboring tangents

Set Parabola coefficient a = 1, Tangent parameter t = 1, and Neighbor spacing h = 0.5.

The first contact is (1, 1), with slope 2at = 2 and intercept −at² = −1. Its line is y = 2x − 1.
The neighboring parameter is t + h = 1.5. Its slope is 3, intercept −2.25, and line y = 3x − 2.25.
Equating the lines gives 2x − 1 = 3x − 2.25, so x = 1.25. Substitution gives y = 1.5. This is a neighboring-line intersection, distinct from either contact point.
The envelope at x = 1.25 has height 1.25² = 1.5625. The positive vertical gap is 1.5625 − 1.5 = 0.0625 = ah²/4.

Expect contact (1, 1), intersection (1.25, 1.5), and gap 0.0625 in the visible readouts. The finite intersection lies below the envelope.

Interactive Experiment

You can visualize this process using the interactive module at https://riano.app/module/parabola-tangent-envelope.

Select Parabola coefficient a to 1.
Set Tangent parameter t to 1.
Set Neighbor spacing h to 0.5, then decrease it to 0.25 and observe the positive gap decrease from 0.0625 to 0.015625. The module calculates the intersection using the finite h value.
Observe the Vertical gap value. As h gets smaller, the gap decreases, showing that the intersection approaches the parabola (the envelope).

Assumptions and Limitations

The visualization uses a finite neighbor spacing (h > 0) to compute the intersection of two distinct lines. It does not perform a symbolic limit as h → 0, nor does it attempt to divide by h=0. Thus, the finite-h intersection always lies strictly below the envelope (for a > 0) by exactly ah²/4. It should not be labeled as an exact contact point with the parabola unless we analytically take the limit.

References

Branko Curgus's Western Washington University Math 138 notes, in the November 6 section, derive an envelope by intersecting a line from the family with its parameter-derivative equation. The notes obtain that derivative equation as the limit of the difference between two neighboring lines. This supports the conditions F = 0 and F_t = 0 used above. Our displayed intersection and gap ah²/4 are finite-spacing calculations from the two tangent equations, so they remain distinct from the limiting contact point.

Math 138: Envelope of a Family of Lines - Branko Curgus, Western Washington University. Derivation of the envelope using simultaneous equations for the lines and their parameter-derivatives, exploring the limit of nearby intersections.

Envelope of Parabola Tangents