文章

一刀切出整个曲线家族:用几何读懂圆锥曲线与丹德林球

用七幅原创几何示意图,从双圆锥的截线讲到丹德林球,解释椭圆的距离和、双曲线的距离差、抛物线的焦点准线性质,并用离心率统一三者。

一刀切出整个曲线家族:用几何读懂圆锥曲线与丹德林球

拿一张平面去切圆锥,为什么有时切出一个圆,有时是椭圆,有时突然变成一条敞开的曲线,甚至分裂成两支?

更奇妙的是:明明只是空间中的一次切割,切出来的曲线却自带非常特殊的“距离规则”。

椭圆上的点,到两个焦点的距离之和不变;双曲线上的点,到两个焦点的距离之差的绝对值不变;抛物线上的点,到一个点和一条直线的距离相等。

这些距离规则,究竟是老师额外规定的,还是圆锥切割本身就已经包含了它们?

答案是后者。连接“空间中的切割”和“平面里的距离”的桥梁,就是丹德林球。

这篇文章尽量不从坐标方程出发。我们先把空间画面建立起来,再用切线等长和直角三角形,一步步找出其中的必然性。最后只用一个简单的三角关系,把整家族统一起来。

一、先把模型说准确:我们切的不是冰激凌实体

想象一条直线,绕着与它相交的固定轴线旋转。如果这条直线与轴线既不重合,也不垂直,它扫出的就是一个正圆双圆锥面。

这里有三个重要对象:

顶点 (O),是旋转直线与轴线的交点。

轴线,是整个圆锥的旋转对称轴。

母线,是圆锥面上通过顶点的直线。沿着母线向两边延长,会从上面的一叶穿过顶点,进入下面的一叶。

我们研究的是这个无限延伸的表面,不是一个装满材料的实体,也不是有底面、有限高的纸帽子。

所以:

平面与圆锥面的交集是一条曲线;平面与实心圆锥的交集,才可能是一块有内部的平面区域。

圆锥的上、下两部分通常叫作两“叶”。双曲线为什么有两支,恰恰要靠这个完整的双圆锥才能解释。

到底是三种、四种,还是五种?

原问题说“五种”,但列出的是椭圆、双曲线、抛物线、圆,共四个名称。

更常用的分类是:

非退化圆锥曲线分为椭圆、抛物线、双曲线三大类,其中圆是椭圆的特殊情形。 如果把圆单列,便是四种常见名称。

若平面经过顶点,还会出现点、直线、相交直线等退化情形。可以把它们作为额外一组讨论,但不要误以为数学上有一张固定的“五种曲线”清单。

下面先约定截平面不经过顶点,最后再单独处理退化。

二、角度一定要统一,否则椭圆、双曲线会判断反

“平面更陡”“小于母线的夹角”听起来直观,却容易把不同角度混在一起。

我们把圆锥轴线竖直放置,采用三个明确的角度:

\[\alpha=\text{母线与竖直轴线的锐角},\] \[\gamma=90^\circ-\alpha =\text{母线与水平面的夹角},\] \[\theta=\text{截平面与水平面的夹角}, \qquad 0^\circ\leq\theta\leq90^\circ.\]

其中,(\alpha) 是圆锥的半顶角;圆锥固定以后,(\alpha,\gamma) 都固定,只有截平面的倾角 (\theta) 在变。

于是分类标准非常清楚:

截平面的倾角交线是否同时切到两叶
(\theta=0^\circ)圆否
(0^\circ<\theta<\gamma)非圆的椭圆否
(\theta=\gamma)抛物线否
(\gamma<\theta\leq90^\circ)双曲线是

如果你偏要使用平面与轴线的夹角 (\beta),那么 (\beta=90^\circ-\theta),判据就变成:椭圆对应 (\beta>\alpha),抛物线对应 (\beta=\alpha),双曲线对应 (\beta<\alpha)。

这两套角度不能混用。 “平面越来越陡”表示 (\theta) 增大,却表示 (\beta) 减小。

同一个双圆锥被水平、较缓、临界及竖直平面切割,分别得到圆、椭圆、抛物线和双曲线 图 1:统一用“与水平面的夹角”判断。本图取 (\gamma=45^\circ);灰线和开放曲线都只画出有限部分,图中的边缘不是圆锥的真实底面。

三、从闭合到敞开:四种截线怎样出现?

1. 圆:旋转对称性完整保留

截平面水平,并且不经过顶点。

由于圆锥绕轴线旋转后不变,这个水平截面也保持同样的旋转对称性。在同一个高度,圆锥面上的点到轴线的距离相同,所以交线是圆。

圆心就是轴线穿过截平面的点。

沿轴线上下平移截平面,得到的圆会改变大小,但不会改变形状。经过顶点时则缩成一个点,那已是退化情形。

2. 椭圆:两边都能收回来

现在把平面稍微倾斜,但保持

\[0^\circ<\theta<\gamma.\]

可以先想象用一个经过轴线的竖直平面,从侧面看这次切割:圆锥显示成两条斜边,截平面显示成一条斜线。因为截平面还不够陡,它会在同一叶的两侧都与圆锥相遇。

把视线转回完整空间,交线在各个方向都能收回来,形成一个封闭的卵圆形。这就是椭圆。

“拉长的圆”可以作为外形比喻,但它不是证明。真正需要解释的,是这种空间截线为什么满足椭圆的焦点性质。丹德林球稍后会完成这一步。

3. 抛物线:恰好失去闭合的临界状态

继续增大倾角,直到

\[\theta=\gamma.\]

这时,截平面恰好平行于一个母线方向。

在上述侧视图中,原来能与一侧斜边相遇的截线方向,现在恰好与那条斜边平行:相交位置不再是有限处的某个点。

空间中的交线因此不再闭合,而是沿一个方向无限敞开。这就是抛物线。

这里的“相交点跑向无穷远”是理解极限的直观说法,不是在普通欧氏空间里额外放置了一个无穷远点。

还要纠正一个常见比喻:抛物线不是两条最终变成平行直线的边,也没有直线渐近线。 它的两个远端可以越来越朝向轴线方向,但这不意味着它们之间的距离趋于某个固定值。

4. 双曲线:平面同时遇见上下两叶

再把平面立起来一些,使

\[\theta>\gamma.\]

这时,平面不只切到原来的那一叶,也切到顶点另一侧的另一叶。两叶各贡献一支开放曲线,合起来就是双曲线。

最容易想象的例子是:用一个与轴线平行、但不包含轴线的竖直平面去切。

它在上叶切出一支,在下叶切出另一支。

“不包含轴线”很重要:如果竖直平面包含轴线,它也经过顶点,得到的将是两条相交直线,而不是非退化双曲线。

形状由什么决定,大小又由什么决定?

对于固定的正圆锥,倾角决定曲线类型,也决定后面要讲的离心率。

保持方向不变,平行移动一个不经过顶点的截平面,则会得到同类型、相似而大小不同的截线。圆锥关于顶点的缩放对称性,解释了这一点。

所以,可以暂时记住:

怎样倾斜,主要决定“长什么样”;离顶点多远,则决定“放多大”。

四、如果这一刀恰好经过顶点呢?

经过顶点的平面,如果包含圆锥面上的某一点,也必然包含连接该点与顶点的整条母线。

因此,这时不会切出一条普通的弯曲截线,而是出现三种情况:

倾角几何交集
(0^\circ\leq\theta<\gamma)只有顶点
(\theta=\gamma)一条母线,即一条直线
(\gamma<\theta\leq90^\circ)两条不同的相交母线

经过圆锥顶点的截平面分别得到一个点、一条母线和两条相交母线 图 2:这里画的是实际点集。用二次方程及重数描述时,相切情形还可以称为一条“二重直线”。

这三种情形说明:“平面倾角是多少”还不够,还必须问一句——它过不过顶点?

五、从空间切割走到焦点:往圆锥里放一个球

前面解决的是“曲线为什么封闭或敞开”。下面要追问:焦点从哪里来?

在圆锥内部放入一个球,先把球心放在轴线上,再让它同时满足:

  1. 与圆锥侧面相切;
  2. 与截平面相切。

这样构造出的轴上内切球称为丹德林球。这一构造通常以十九世纪数学家 Germinal Pierre Dandelin 的名字命名。

由于球和正圆锥都绕同一轴线旋转对称,它们的接触点形成一个圆,这个接触圆所在的平面垂直于轴线。

球与截平面的接触则只有一个点。惊喜就在这里:

球与截平面的切点,恰好会成为截线的焦点。

这些球也不是凭空假设出来的。取包含轴线、并沿截平面最大坡度方向展开的轴截面,问题就变成:作一个圆,让它与两条圆锥边线以及截平面的迹线都相切。圆心在轴线上;再利用“到两条相交直线距离相等的点位于角平分线上”,便能确定候选圆心。临界情形遇到平行线时,则改用两平行线中间的平行线。把这个截面内的圆绕轴还原,就得到所需的球。

先别把它当作规定。我们用一个很简单的定理把它推出来。

唯一需要的球面切线定理

从球外一点 (P) 向同一个球引两条切线,切点分别是 (T_1,T_2),那么:

\[PT_1=PT_2.\]

为什么?

设球心为 (S),半径为 (r)。半径垂直于切线,所以两个直角三角形 (PST_1,PST_2) 有共同的斜边 (PS),且

\[ST_1=ST_2=r.\]

它们全等,因而两条切线段等长。也可以直接用勾股定理:

\[PT_1^2=PS^2-r^2=PT_2^2.\]

注意,必须是同一个球,而不是把不同球的切线随意拿来比较。

这条定理最巧妙的用途,是让我们在两种线段之间“换算”:

截平面内到焦点的距离,可以换成圆锥母线上的一段长度。

六、椭圆:为什么两个距离相加恰好不变?

对于椭圆截面,可以在同一叶内找到两个丹德林球,分别位于截平面的两侧。

把它们与截平面的切点记作 (F_1,F_2)。

在截线上任取一点 (P),通过 (P) 作圆锥母线。这条母线分别在 (A,B) 与两个球相切。沿着这一叶向外走,点的顺序是:

\[O,\ A,\ P,\ B.\]

也就是说,(P) 位于 (A,B) 之间。

椭圆丹德林球轴截面示意,两个球在同一叶内,母线上点的顺序为 O、A、P、B 图 3:为看清球、切面和点的顺序,这里画轴截面,截平面侧看成一条斜直线,球看成圆。图中 (P) 特意选在轴截面内;证明中的 (P) 可以是完整截线上任意一点,不能把这条斜直线误当成椭圆本身。

第一步:把平面距离换成母线距离

因为截平面与第一个球相切于 (F_1),所以平面内的 (PF_1) 是球的切线段。

母线也与同一个球相切于 (A)。切线等长给出:

\[PF_1=PA.\]

对第二个球同理:

\[PF_2=PB.\]

于是:

\[PF_1+PF_2=PA+PB.\]

第二步:利用点的顺序,把和变成整段

由于 (P) 在 (A,B) 之间,

\[PA+PB=AB.\]

所以:

\[\boxed{PF_1+PF_2=AB.}\]

第三步:为什么换一条母线,AB 也不变?

这是证明里不能跳过的一步。

两个球与圆锥的接触圆,都位于固定的水平平面内。设这两个水平面的竖直距离为 (h_0)。

所有母线与轴线的夹角都等于 (\alpha)。因此,任意一条母线上夹在这两个水平面之间的线段都满足:

\[AB\cos\alpha=h_0.\]

从而:

\[AB=\frac{h_0}{\cos\alpha},\]

是与 (P) 的位置无关的常数。

这就证明了:截线上所有点到 (F_1,F_2) 的距离之和固定。 两个球的切点因此获得了“焦点”的意义。

非圆情形下,这个固定距离和严格大于 (F_1F_2),所得的是通常的非退化椭圆。水平截面时,两个切点重合在圆心;若半径为 (R),则距离和成为 (2PF=2R),圆就包含在这个家族里了。

七、双曲线:为什么同一个技巧把“和”变成“差”?

双曲线的两个丹德林球,分别放在圆锥的两叶中,与截平面相切于 (F_1,F_2)。

在其中一支上取 (P),通过 (P) 作完整母线,与本叶球相切于 (A),与另一叶球相切于 (B)。

这次沿母线看,点的顺序是:

\[P,\ A,\ O,\ B.\]

与椭圆最重要的区别是:(A,B) 位于从 (P) 出发的同一个方向上,(P) 不在它们之间。

双曲线丹德林球轴截面示意,两个球分处两叶,沿母线的点序为 P、A、O、B 图 4:两个球各在一叶。图中选择上叶的 (P),到另一叶接触点 (B) 的切线段更长;母线作为直线可穿过顶点继续延长。

切线等长仍然给出:

\[PF_1=PA,\qquad PF_2=PB.\]

但点的顺序改变了,因此现在应当做减法:

\[PB=PA+AB,\]

所以:

\[PF_2-PF_1=PB-PA=AB.\]

同样,两个接触圆在固定水平面内,所有母线的倾角相同,故 (AB) 是定长。

换到另一支,远近关系反转,因此统一写成:

\[\boxed{\left|PF_1-PF_2\right|=\text{定值}.}\]

非退化双曲线中,这个常数是正的,并且小于两个焦点之间的距离。

至此,“和”与“差”不再是两条需要硬记的公式,而是同一个线段拼接事实:

点夹在两个接触点之间,就加;两个接触点在点的同侧,就减。

空间切割之所以改变距离法则,是因为它改变了这些点在母线上的相对位置。

八、抛物线:一个球,为什么能带出一条准线?

抛物线对应临界倾角:

\[\theta=\gamma=90^\circ-\alpha.\]

此时有一个与圆锥面和截平面都相切的丹德林球,记它与截平面的切点为 (F)。

这个球与圆锥的接触圆位于水平平面 (H) 内。平面 (H) 与截平面相交于一条直线 (L)。

我们要证明:(F) 是焦点,(L) 是准线。

这里的准线不是球的接触圆,也不是“焦点在水平面上的投影”,而是两个平面的交线。

抛物线丹德林球轴截面示意,球与截平面相切于 F,接触圆所在平面 H 与截平面的交线为准线 L 图 5:准线 (L) 垂直于这张侧视图所在的平面,所以在图中缩成点 (D)。本图选取的 (P) 恰在轴截面内;对一般的 (P),其垂足 (D) 会在整条准线 (L) 上变化。

第一步:还是用切线等长

在抛物线上任取 (P),通过它作母线,与球相切于 (A)。那么:

\[PF=PA.\]

因此,问题只剩下:为什么母线段 (PA),等于 (P) 到直线 (L) 的距离?

从 (P) 在截平面内向 (L) 作垂线,垂足为 (D)。我们要证明 (PA=PD)。

这里的 (PD) 是截平面内的垂直距离,不是通常意义上的“水平距离”。

第二步:找出同一个竖直高度

因为 (A,D) 都在水平平面 (H) 内,所以从 (P) 到它们所在高度的竖直距离相同。把这个非负距离记作 (h)。

母线与竖直轴线成 (\alpha) 角,所以:

\[h=PA\cos\alpha.\]

另一方面,(L) 是截平面与水平面的交线。截平面内垂直于 (L) 的方向,正是这个平面的最大坡度方向,它与水平面的夹角等于 (\theta)。

因此:

\[h=PD\sin\theta.\]

在抛物线情形,

\[\sin\theta =\sin(90^\circ-\alpha) =\cos\alpha.\]

这两个直角三角形于是给出:

\[PA\cos\alpha=PD\cos\alpha \quad\Longrightarrow\quad PA=PD.\]

再结合切线等长:

\[\boxed{PF=PD.}\]

这就是抛物线的焦点—准线性质。

所谓“巧妙的投影关系”,并不需要凭直觉接受:两条斜线有相同的竖直高度,在临界倾角下又有相同的倾斜程度,所以它们等长。

九、一张图,把三个家族统一起来

刚才的投影证明其实不只适用于抛物线。

对于任意一个非水平、非退化截面,选择一个丹德林球,把它与截平面的切点记为 (F),接触圆所在水平平面仍记为 (H)。

令 (L=H\cap\text{截平面}),并从曲线上任取 (P),向 (L) 作垂线,垂足为 (D)。母线上的球面切点记为 (A)。

同样有:

\[PF=PA,\qquad h=PA\cos\alpha,\qquad h=PD\sin\theta.\]

于是:

\[\boxed{ \frac{PF}{PD} =\frac{\sin\theta}{\cos\alpha} =e. }\]

右边不依赖 (P),是一个固定常数,这就是该圆锥曲线的离心率。

母线段 PA 和截平面内垂线段 PD 分别构成直角三角形,共享竖直高度 h,由投影关系得到离心率公式 图 6:两幅小图属于不同的竖直平面,只共享同一个高度 (h)。一般情况下,不能把 (PA)、(PD) 当成同一张侧视图里天然共面的两条线段。

因为 (\cos\alpha=\sin\gamma),所以:

平面倾角离心率曲线
(0^\circ<\theta<\gamma)(0<e<1)非圆的椭圆
(\theta=\gamma)(e=1)抛物线
(\gamma<\theta\leq90^\circ)(e>1)双曲线

现在我们看到了同一条几何线索的两种表达:

空间里,是“截平面相对于圆锥倾斜了多少”;

平面里,是“到焦点的距离,与到准线的距离保持什么比例”。

丹德林球把这两种看起来毫不相干的描述接在了一起。

圆的 e = 0,为什么要单独解释?

当截平面水平时,(\theta=0^\circ),上式的角度表达自然给出 (e=0)。

但此时 (H) 与截平面平行,没有交线 (L)。所以,圆没有与普通椭圆相同意义下的有限准线。

把它说成“准线在无穷远处”,可以用来描述非圆椭圆趋于圆的极限,但不是说在普通平面上真能找到一条无穷远准线。

若坚持用有限直线 (L) 写 (PF=e\,PD),并直接令 (e=0),得到的只有 (P=F),而不是一个圆。

圆的离心率为零,应理解为椭圆家族的特殊值或极限值,不应误用有限准线公式。

固定一个圆锥,能切出所有双曲线的形状吗?

还能从公式里读出一个有趣的细节。

固定 (\alpha) 后,由于 (\sin\theta\leq1),有:

\[e\leq\frac{1}{\cos\alpha}.\]

所以,一个固定开口的正圆锥虽然能切出圆、椭圆、抛物线、双曲线这些类型,却不能仅靠改变截平面,就得到任意大的双曲线离心率。

想获得全部可能的双曲线形状,还需要允许圆锥的开口角改变。

这并不影响前面的分类,只是提醒我们:“三大类都能切到”,不等于“每类的任意形状都能由同一个圆锥切到”。

十、回到纸面:三种焦点定义不再是死记硬背

截平面内的椭圆、双曲线、抛物线,分别标出两个焦点的距离和、距离差及焦点准线等距关系 图 7:前面的轴截面图帮助我们看清空间构造;这张图才是在截平面内,直接看曲线和它的焦点。

到这里,我们已经从截线出发证明了它们满足相应的距离条件。

再补上一点逻辑区分:证明“截线上的点都满足某条件”,首先证明的是一个方向。 如果要把某个距离条件当作曲线的完整定义,还应确认它的全部解没有多出额外部分。

在标准的非退化条件下,两种描述确实等价。可以用平面几何继续证明,也可以在理解几何之后,用坐标方程核对这个“反方向”。

我们不必在一篇入门文章里完成所有轨迹定理,但应分清:这里的丹德林球证明,核心是解释距离性质为什么从空间切割中必然产生。

椭圆:一根绳子为什么能画出来?

把绳子的两端固定在 (F_1,F_2),绳长大于两固定点的距离。用笔把绳子绷紧,沿着允许的位置移动。

绳子的两段总长固定,所以笔尖满足:

\[PF_1+PF_2=\text{定值}.\]

这就是常见的“图钉加绳子”画椭圆。

现在我们知道:绳子里的定长,与空间模型中两个接触圆之间的定长母线段,是同一种距离关系。

双曲线:不要忘记绝对值和两支

如果规定:

\[PF_2-PF_1=k,\qquad k>0,\]

只会选出靠近 (F_1) 的那一支。

写成:

\[\left|PF_1-PF_2\right|=k\]

才同时包括两支。非退化情形还要求:

\[0<k<F_1F_2.\]

这些条件不是可有可无:若 (k=0),得到的是两焦点连线的垂直平分线;若 (k) 超过焦点间距,则三角形不等式说明根本没有解。

抛物线:用折纸找切线

在纸上标一个焦点 (F),再画一条不经过它的准线 (L)。

在 (L) 上取一点 (D),把纸折一下,使 (D) 与 (F) 重合。折痕就是 (FD) 的垂直平分线。

过 (D) 作垂直于 (L) 的直线,与折痕交于 (P)。由于 (P) 在垂直平分线上:

\[PF=PD.\]

而 (D) 正是 (P) 到准线的垂足,因此 (P) 在抛物线上。

为什么折痕还是切线?对于折痕上任意其他点 (Q),有 (QF=QD),但因为 (D) 不是它到 (L) 的垂足,

\[QF=QD>\operatorname{dist}(Q,L).\]

只有 (P) 取等号。进一步,由 (F) 一侧到 (D) 一侧的半平面关系,可以确认整个抛物线位于折痕的同一侧,因此折痕在 (P) 支撑并接触抛物线。

不断更换 (D),折出许多条这样的折痕,就会看到抛物线的轮廓逐渐显现。不是每条折痕都是抛物线,而是一族切线共同勾勒出它。

十一、从这次几何旅行里,真正值得带走什么?

最初,我们只是在空间里拿平面切圆锥。

后来发现,截平面的倾角决定了曲线是否闭合、是否同时出现在两叶。

再放入丹德林球,切点变成焦点,母线上的定长变成距离和或距离差;接触圆所在平面与截平面的交线,则变成准线。

最后,一个竖直高度的两种投影,把它们统一成:

\[\frac{\text{到焦点的距离}}{\text{到准线的距离}} =\text{固定常数}.\]

这就是圆锥曲线最迷人的地方:

三维空间里的一个切法,变成二维平面里的一条距离规则。

同一个家族,可以从圆锥截线理解,可以从焦点理解,也可以从二次方程理解。它们不是碰巧长得相似,而是同一结构的不同面孔。

先看见这个结构,再去学习椭圆、抛物线和双曲线的方程,那些字母就不再只是需要背诵的公式,而是在记录我们已经理解的几何事实。

延伸阅读

想继续追溯圆锥曲线的古典研究,可以读阿波罗尼奥斯《圆锥曲线论》的相关介绍;它早于十九世纪的丹德林球构造,二者不应混为同一时期的工作。

关于球与截平面的构造,可从 Dandelin spheres(丹德林球) 入手,对照本文检查切线等长、点的顺序、准线来源这三个关键步骤。

如果还对“几何中的量如何被严格描述”感兴趣,可以接着读本站的《无理数怎么比较?一把“有理数筛子”的巧妙办法》。两篇文章有一个共同的趣味:先不急着写出数值或方程,而是让几何关系自己说话。

本文七幅示意图为本站原创。轴截面图与截平面内的曲线图承担不同任务;开放曲线和无限圆锥均只展示有限范围。

本文由作者按照 CC BY 4.0 进行授权