抛物线的线扫掠：两匀速旅行者连线恒切抛物线的证明与求解

阿华AIGC实验室

2026-5-19

证明：两匀速旅行者连线始终与抛物线相切的思路与方法

这个问题出自Akopyan与Zaslavasky的《Geometry in Conics》，是圆锥曲线几何里的经典结论，我来一步步拆解它的求解思路和构造逻辑，保证清晰易懂。

一、核心构造思路：坐标系简化+参数化运动

首先，我们可以通过合理设定坐标系来大幅简化计算——这是解决几何问题的常用技巧：

把两条直道的交点设为坐标原点 ( O )；
把其中一条直道设为 ( x ) 轴（记为 ( l_1 )），另一条非平行直道设为 ( y ) 轴（记为 ( l_2 )）；
设旅行者 ( A ) 在 ( l_1 ) 上匀速运动，通过原点的时间为 ( t=a )，速度为 ( v_1 )；旅行者 ( B ) 在 ( l_2 ) 上匀速运动，通过原点的时间为 ( t=b )，速度为 ( v_2 )，且 ( a \neq b )（题目要求通过交点时间不同）。

这样设定后，我们可以用时间 ( t ) 作为参数，写出两人在任意时刻的位置：

旅行者 ( A ) 的位置：( A(t) = \left( v_1(t - a), 0 \right) )（因为 ( t=a ) 时在原点，之后以速度 ( v_1 ) 沿 ( x ) 轴运动）；
旅行者 ( B ) 的位置：( B(t) = \left( 0, v_2(t - b) \right) )（同理，( t=b ) 时在原点，沿 ( y ) 轴运动）。

二、求解步骤：求动直线族的包络

接下来，我们需要找到连接 ( A(t) ) 和 ( B(t) ) 的直线方程，然后证明这个动直线族的包络是抛物线（包络的定义就是所有动直线都与之相切的曲线）。

1. 写出直线 ( AB ) 的方程

用两点式直线方程，代入 ( A(t) ) 和 ( B(t) ) 的坐标：
[
\frac{x}{v_1(t - a)} + \frac{y}{v_2(t - b)} = 1
]
整理成标准形式（记为方程 ( F(x,y,t)=0 )）：
[
v_2(t - b)x + v_1(t - a)y = v_1v_2(t - a)(t - b) \tag{1}
]

2. 求直线族的包络条件

对于依赖参数 ( t ) 的直线族 ( F(x,y,t)=0 )，其包络满足两个条件：

原直线方程 ( F(x,y,t)=0 )；
对参数 ( t ) 求偏导后的方程 ( \frac{\partial F}{\partial t}=0 )（这是包络的必要充分条件，保证直线与包络曲线相切）。

对式(1)两边关于 ( t ) 求偏导：
[
v_2x + v_1y = v_1v_2\left[(t - a)+(t - b)\right]
]
化简得：
[
v_2x + v_1y = v_1v_2(2t - a - b) \tag{2}
]

3. 联立方程求包络曲线

从式(2)解出 ( t )：
[
t = \frac{v_2x + v_1y}{2v_1v_2} + \frac{a + b}{2}
]
将这个 ( t ) 的表达式代入式(1)，展开并化简后，会得到一个二次曲线方程。我们可以通过判别式判断曲线类型：
对于一般二次曲线 ( Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 )，判别式 ( B^2 - 4AC ) 决定曲线类型：