📚 The Envelope of a Family of Curves | 曲线族的包络
When we vary a parameter in the equation of a curve, we generate a whole family of curves. Often, these curves appear to sweep out a boundary curve that touches every member of the family at some point, yet is not itself a member. This boundary is called the envelope. Understanding envelopes connects algebra, calculus, and geometry in a visually compelling way, and arises naturally in mechanics, optics, and differential equations.
当我们改变曲线方程中的某个参数时，就会生成一整个曲线族。这些曲线通常会扫出一条边界曲线，该边界在某个点与族中的每一条曲线相切，但本身并不属于该曲线族。这条边界就称为包络。理解包络将代数、微积分与几何以一种极具视觉吸引力的方式联系起来，并且在力学、光学和微分方程中自然地出现。
1. Introduction to Envelopes | 包络简介
oss the plane. The envelope is a curve that at each of its points is tangent to a different curve of the family. Classic examples include the caustic curve formed by light rays reflecting off a curved surface, or the envelope of a family of lines during a projectile motion simulation.
曲线族通常写成一个含参数 c 的方程，例如 f(x, y, c) = 0。随着 c 的变化，曲线在平面上移动。包络是一条这样的曲线：在其上的每一点，它都与族中某一条不同的曲线相切。经典的例子包括光线在曲面反射时形成的焦散曲线，或者抛体运动模拟中一族直线的包络。
2. The Basic Idea: Contact and Tangency | 基本思想：接触与相切
ey share the same tangent line. This means the gradients match; analytically, we solve for common solutions and eliminate c.
包络的关键在于包络与族中某条曲线在公共点处的相切概念。对于一个以 c 为参数的曲线族，设想存在一条曲线 E(x, y) = 0，使得对于每个 c 都存在一个点 (x(c), y(c))，在该点处包络与族中曲线 f(x, y, c) = 0 相交并共享同一条切线。这意味着斜率相等；在解析上，我们求解公共解并消去 c。
velope, must vanish. Thus we obtain two equations: f(x, y, c) = 0 and ∂f/∂c (x, y, c) = 0.
相切的条件不仅意味着该点满足 f = 0，还意味着当我们改变 c 时，族中曲线在该时刻不会穿越包络。这导致一个直观的条件：在包络上将 x 和 y 视为 c 的函数时，f 关于 c 的导数必须为零。因此我们得到两个方程：f(x, y, c) = 0 和 ∂f/∂c (x, y, c) = 0。
3. Mathematical Derivation: The Envelope Equations | 数学推导：包络方程
where c is the parameter, the envelope (apart from degenerate cases) satisfies the system:
F(x, y, c) = 0, ∂F/∂c (x, y, c) = 0
给定一个由 F(x, y, c) = 0 隐式定义的曲线族，其中 c 为参数，包络（退化情况除外）满足方程组：
F(x, y, c) = 0， ∂F/∂c (x, y, c) = 0
∂f/∂c = 0, i.e. ∂f/∂c = 0. Thus we solve y = f(x, c) and ∂f/∂c (x, c) = 0 and eliminate c.
从这两个方程中消去 c，即可得到包络的笛卡尔方程。如果曲线族显式地给出为 y = f(x, c)，同样的原理适用：我们写 F(x, y, c) = y - f(x, c) = 0，那么第二个方程变为 -∂f/∂c = 0，即 ∂f/∂c = 0。因此我们求解 y = f(x, c) 和 ∂f/∂c (x, c) = 0 并消去 c。
= 0. This approach is typically covered in advanced IB HL options or further mathematics.
对于参数形式的曲线族，例如 x = φ(t, c), y = ψ(t, c)，包络条件变得更加复杂，但可以利用雅可比行列式推导：∂(x, y)/∂(t, c) = 0。这种方法通常在 IB 高级课程（HL）的选修内容或进阶数学中涉及。
4. Example 1: Envelope of a Family of Lines | 例1：直线族的包络
x²/2 - x²/4 = y + x²/4 = 0. Hence the envelope is y = -x²/4, a downward-opening parabola.
考虑直线族 y = cx + c²。这里 c 既是斜率又是截距，呈二次关系。写 F(x, y, c) = y - cx - c² = 0。那么 ∂F/∂c = -x - 2c = 0，得到 c = -x/2。代入 F = 0：y - (-x/2)x - (-x/2)² = y + x²/2 - x²/4 = y + x²/4 = 0。因此包络为 y = -x²/4，一条开口向下的抛物线。
slope -x₀/2, giving equation y = (-x₀/2)x + x₀²/4, which matches the form with c = -x₀/2.
族中的每一条直线都与这条抛物线相切。可以将该直线族视为抛物线 y = -x²/4 的所有切线，因为在点 (x₀, -x₀²/4) 处的切线斜率为 -x₀/2，得到方程 y = (-x₀/2)x + x₀²/4，这与令 c = -x₀/2 的形式相符。
5. Example 2: Envelope of a Family of Parabolas | 例2：抛物线族的包络
/2)² + (x - 1/2) = 1/4 + x - 1/2 = x - 1/4. The envelope is the straight line y = x - 1/4.
设曲线族为 y = (x - c)² + c。写 F = y - (x - c)² - c = 0。关于 c 求导：∂F/∂c = -2(x - c)(-1) - 1 = 2(x - c) - 1 = 0。因此 x - c = 1/2，所以 c = x - 1/2。代回得：y = (1/2)² + (x - 1/2) = 1/4 + x - 1/2 = x - 1/4。包络是直线 y = x - 1/4。
Each parabola of the family touches this line exactly once. This example illustrates that envelopes need not be curved; they can be straight lines, and a family of quadratic curves can produce a linear envelope.
族中的每一条抛物线都与这条直线恰好相切一次。这个例子说明包络不一定是曲线，也可以是直线，并且一族二次曲线可以产生线性的包络。
6. Example 3: Envelope of a Family of Circles | 例3：圆族的包络
y² = R², i.e. y = ±R. The envelope consists of the two horizontal lines y = R and y = -R.
考虑半径固定为 R、圆心位于 x 轴上的圆族：(x - c)² + y² = R²。令 F(x, y, c) = (x - c)² + y² - R² = 0。关于 c 的导数为 ∂F/∂c = -2(x - c) = 0，所以 x - c = 0，c = x。将 c = x 代入 F 得 y² = R²，即 y = ±R。包络由两条水平直线 y = R 和 y = -R 构成。
Geometrically, as the centre moves along the x-axis, the top and bottom of the circle always lie on these two lines, and each line is tangent to all circles. The envelope is degenerate in the sense that it is a pair of lines rather than a single curve; however, the method still works perfectly.
从几何上看，当圆心沿 x 轴移动时，圆的顶部和底部始终位于这两条直线上，并且每一条直线都与所有的圆相切。这个包络在某种意义上是退化的，因为它是一对直线而非单一曲线；然而，我们的方法依然完美适用。
7. Implicitly Defined Families: Using Partial Derivatives | 隐式定义的族：利用偏导数
smooth curve, not just a set of isolated points, and that the resulting curve is not already a member of the family itself.
对于以隐式形式 F(x, y, c) = 0 给出且不易解出 y 的曲线族，方程组方法是必不可少的。我们必须将 c 视为独立变量并求偏导数。所得解即为候选包络点。关键是检查 ∂F/∂c 是否沿着一条光滑曲线确实为零，而不仅仅是孤立点的集合，还要确保结果曲线本身并非族中的一条曲线。
Sometimes the envelope equations can generate extraneous loci, such as the node locus or cusp locus, which also satisfy the derivative condition but are not true envelopes. These appear when the family curves have singular points (points where both partial derivatives with respect to x and y vanish). To be a genuine envelope, the curves must be smooth near the point of tangency and the tangency must be nontrivial.
有时包络方程会产生额外轨迹，例如结点轨迹或尖点轨迹，它们也满足导数条件，但并非真正的包络。这些情况出现在族中曲线具有奇点（关于 x 和 y 的偏导数同时为零的点）时。要成为真正的包络，曲线在切点附近必须是光滑的，并且相切必须是非平凡的。
8. Envelope and Discriminant | 包络与判别式
pe equation after eliminating c in some cases. This provides a quick algebraic route to the envelope without explicit differentiation.
当曲线族方程能够重新整理成关于参数的二次式时，例如 A(x, y)c² + B(x, y)c + C(x, y) = 0，包络条件 ∂F/∂c = 0 常常简化为一个判别式方程。事实上，对于二次式，c 有重根的条件是 B² - 4AC = 0，这在某些情况下恰好就是消去 c 后的包络方程。这提供了一条快速的代数途径来求得包络，而无需显式求导。
r result. This technique is especially useful when the envelope equation is desired but the tangency points are not needed.
例如，直线族 y = mx + m² 可以写成 m² + x m - y = 0。将 m 视为参数 c，关于 m 的判别式为 x² - 4(1)(-y) = x² + 4y = 0，得 y = -x²/4，与我们先前的计算结果一致。当只需要包络方程而不需要切点时，这一技巧尤为有用。
9. Envelope of Parametric Families | 参数形式曲线族的包络
t along each curve and family parameter c, the envelope condition can be expressed by the vanishing of the Jacobian determinant:
∂(x, y)/∂(t, c) = (∂x/∂t)(∂y/∂c) - (∂x/∂c)(∂y/∂t) = 0
如果曲线族以参数形式给出：x = x(t, c), y = y(t, c)，其中 t 是每条曲线上的参数，c 是族参数，包络条件可以通过雅可比行列式为零来表示：
∂(x, y)/∂(t, c) = (∂x/∂t)(∂y/∂c) - (∂x/∂c)(∂y/∂t) = 0
) - (2t + 2c)(1) = -2(t + c) = 0, giving t = -c. Substituting yields x = 2c(-c) + c² = -c², y = -c, so y² = -x, a parabola.
这个方程与参数方程联立，可以通过消去 t 和 c 来得到包络。该方法常用于微分方程中，当相平面上的解曲线族生成包络时。例如，直线族 x = 2c t + c², y = t。那么 ∂(x, y)/∂(t, c) = (2c)(0) - (2t + 2c)(1) = -2(t + c) = 0，得 t = -c。代回得 x = 2c(-c) + c² = -c², y = -c，故 y² = -x，一条抛物线。
10. Connection with Differential Equations | 与微分方程的联系
on; this singular solution is exactly the envelope of the family of integral curves. For example, the Clairaut equation y = x p + f(p) with p = dy/dx has general solution y = c x + f(c) (a family of lines) and its singular solution, when it exists, is the envelope of this family.
包络在求解常微分方程时频繁出现。一阶常微分方程的通解给出一个积分曲线族。有时，除了通解之外，还存在一个奇异解，这个奇异解无法简单地通过固定积分常数得到；这个奇异解正是积分曲线族的包络。例如，克莱罗方程 y = x p + f(p)（其中 p = dy/dx）的通解为 y = c x + f(c)（一族直线），而当奇异解存在时，它就是该直线族的包络。
singular solution we differentiate the general solution with respect to c, obtaining x + f' ctly mirrors the envelope procedure. The singular solution typically represents the boundary of the region covered by the general solution curves and has physical meaning, such as the edge of a wavefront.
在克莱罗形式中，为求奇异解，我们将通解关于 c 求导，得到 x + f'(c) = 0，然后消去 c。这正好与包络的步骤一致。奇异解通常表示通解曲线覆盖区域的边界，并具有物理意义，例如波前的边缘。
11. Pitfalls: Cusps, Nodes, and Degenerate Cases | 注意事项：尖点、结点与退化情形
the family in the usual sense because the gradient is not well-defined there. A careful check is required: if the point (x, y) also makes ∂F/∂x = 0 and ∂F/∂y = 0, it is a singular point of that particular curve and likely part of the singular locus, not the envelope.
并非所有满足 F = 0 和 ∂F/∂c = 0 的曲线都是包络。有时轨迹对应的是族中每条曲线都具有奇点（如尖点或自交点）的位置，这被称为尖点轨迹或结点轨迹。这些点满足包络方程，但在通常意义上并不与族中曲线相切，因为那里的梯度没有良好定义。需要进行仔细检查：如果某点 (x, y) 同时还使 ∂F/∂x = 0 且 ∂F/∂y = 0，那么它是该特定曲线的奇点，很可能属于奇点轨迹，而非包络。
extra branches. For the IB syllabus, it is important to recognise that the system F = 0, Fc e must be a smooth curve along which each member of the family has a well-defined tangent that coincides with the envelope's tangent.
此外，有时消元过程会产生族中曲线本身（平凡解），或者一条包含包络但还有额外分支的曲线。对于 IB 教学大纲而言，重要的是要认识到方程组 F = 0, Fc = 0 给出的是候选轨迹；包络必须是一条光滑曲线，沿此曲线，族中的每一个成员都有一条定义明确的切线，且该切线与包络的切线重合。
12. Summary and Key Skills | 总结与关键技巧
d eliminate c; then verify that the resulting curve is a genuine envelope by checking tangency conditions. Alternatively, the discriminant method or parametric Jacobian method may be employed depending on the representation.
曲线族的包络是一个将微分、代数和几何融为一体的概念。求包络的步骤是：确定形式为 F(x, y, c) = 0 的曲线族方程；计算 ∂F/∂c = 0；将两个方程联立求解并消去 c；然后通过检验相切条件验证所得曲线是真正的包络。此外，根据表示形式的不同，也可以采用判别式法或参数雅可比法。
Mastery of this topic strengthens a student's ability to manipulate implicit functions, understand partial differentiation, and apply elimination techniques. It also provides insight into the geometry of differential equations and the nature of singular solutions, which are enriching for further study in mathematics and physics.
掌握该主题能够增强学生处理隐函数、理解偏微分以及应用消元技巧的能力。它还能帮助学生洞察微分方程的几何性质以及奇异解的本质，为数学和物理的进一步学习打下充实的基础。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图