一刀切出整个曲线家族:用几何读懂圆锥曲线与丹德林球
用七幅原创几何示意图,从双圆锥的截线讲到丹德林球,解释椭圆的距离和、双曲线的距离差、抛物线的焦点准线性质,并用离心率统一三者。
拿一张平面去切圆锥,为什么有时切出一个圆,有时是椭圆,有时突然变成一条敞开的曲线,甚至分裂成两支?
更奇妙的是:明明只是空间中的一次切割,切出来的曲线却自带非常特殊的“距离规则”。
椭圆上的点,到两个焦点的距离之和不变;双曲线上的点,到两个焦点的距离之差的绝对值不变;抛物线上的点,到一个点和一条直线的距离相等。
这些距离规则,究竟是老师额外规定的,还是圆锥切割本身就已经包含了它们?
答案是后者。连接“空间中的切割”和“平面里的距离”的桥梁,就是丹德林球。
这篇文章尽量不从坐标方程出发。我们先把空间画面建立起来,再用切线等长和直角三角形,一步步找出其中的必然性。最后只用一个简单的三角关系,把整家族统一起来。
一、先把模型说准确:我们切的不是冰激凌实体
想象一条直线,绕着与它相交的固定轴线旋转。如果这条直线与轴线既不重合,也不垂直,它扫出的就是一个正圆双圆锥面。
这里有三个重要对象:
顶点 (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:这里画的是实际点集。用二次方程及重数描述时,相切情形还可以称为一条“二重直线”。
这三种情形说明:“平面倾角是多少”还不够,还必须问一句——它过不过顶点?
五、从空间切割走到焦点:往圆锥里放一个球
前面解决的是“曲线为什么封闭或敞开”。下面要追问:焦点从哪里来?
在圆锥内部放入一个球,先把球心放在轴线上,再让它同时满足:
- 与圆锥侧面相切;
- 与截平面相切。
这样构造出的轴上内切球称为丹德林球。这一构造通常以十九世纪数学家 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) 之间。
图 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) 不在它们之间。
图 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) 是准线。
这里的准线不是球的接触圆,也不是“焦点在水平面上的投影”,而是两个平面的交线。
图 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),是一个固定常数,这就是该圆锥曲线的离心率。
图 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(丹德林球) 入手,对照本文检查切线等长、点的顺序、准线来源这三个关键步骤。
如果还对“几何中的量如何被严格描述”感兴趣,可以接着读本站的《无理数怎么比较?一把“有理数筛子”的巧妙办法》。两篇文章有一个共同的趣味:先不急着写出数值或方程,而是让几何关系自己说话。
本文七幅示意图为本站原创。轴截面图与截平面内的曲线图承担不同任务;开放曲线和无限圆锥均只展示有限范围。