先拿一张纸卷成圆锥,再把两个一模一样的圆锥尖对尖粘起来。现在想象手里有一把很薄的刀:横着切、斜着切、沿着锥面切,得到的边线会完全不同。
横着切是一只圆;稍微斜一点,圆被“拉长”成椭圆;刀面斜到恰好顺着锥面的一条直线走,闭合的边线打开成抛物线;再把刀立陡一点,让它同时碰到上下两半圆锥,截线就分成双曲线的两支。
这就是“圆锥曲线”这个名字的来历。不过,只看刀怎么切还不够。把截线平放到纸上以后,我们还需要一套不依赖圆锥的说法,才能量长度、建坐标、写方程。那套说法只用三个对象:焦点、准线和离心率。
圆锥面可以想成一条直线绕着一条与它相交的轴线旋转得到的曲面。那条旋转轴叫轴线;锥面上从顶点向外延伸的每一条直线叫母线。
把母线向顶点另一侧继续延长,就得到上下两叶相接的双圆锥。这里说“两叶”,指的是顶点上方和下方两部分曲面,不是两个实心漏斗。圆锥曲线是平面与这个曲面的交线。下面的讨论都默认截平面不经过顶点;一旦穿过顶点,截线会退化。
先看最容易想象的两种。
继续把截平面立陡,关键时刻出现在它与一条母线平行的时候。此时截线刚好失去闭合的一端:平面不会再从锥面的另一侧绕回来,而是沿一个方向不断伸远,于是得到抛物线。
再陡一点,截平面会同时碰到双圆锥的上下两叶。两叶彼此只在顶点相接,而截平面又不经过顶点,所以截线自然分成互不相连的两支,这就是双曲线。
“截平面是斜的”不能用来判断椭圆。椭圆、抛物线和双曲线的截平面都可以是斜的,真正要比较的是截平面与母线的方向,以及它究竟只截一叶还是同时截两叶。
设母线与底面所成的锐角为 ,截平面与底面所成的锐角为 ,并且截平面不经过顶点。把“刀有多陡”写成角度后,分类就很清楚了。
圆其实是椭圆的最对称情形。空间切割时,我们习惯把它单独列出来,因为“平行底面”这一下很特别;进入离心率和标准方程以后,圆又会自然回到椭圆家族里。
如果把四条截线从圆锥上取下来,平放在坐标纸上,最先看到的是“闭合还是开放”。
这张表适合第一眼认图,却还不是定义。一个随手画出的 U 形未必是抛物线,一个被压扁的圆也未必满足椭圆的距离条件。解析几何真正关心的是:曲线上每一个点都共同保持什么量不变?
“平面截圆锥”和“到焦点、准线的距离关系”看起来像两套互不相干的定义。把一个恰好贴住圆锥面和截平面的球塞进圆锥里,两套说法就连上了。
斜截一叶得到椭圆时,截平面两侧可以各放一个这样的内切球。两个球与截平面的切点,就是椭圆的两个焦点。取截线上任一点 ,从 向同一个球引出的两条切线段等长;把这条等长关系分别用在两个球上, 会变成圆锥母线上一段固定长度,所以距离和不随 改变。
截平面同时穿过两叶时,两个内切球分处顶点两侧。同样的切线段等长关系不再给出“和”,而是给出 为常数,于是出现双曲线的距离差。
抛物线只需要一个内切球。球与截平面的切点给出焦点;球与圆锥相切的圆所在平面再与截平面相交,给出一条准线。切线段等长最后变成 。所以焦点不是后来硬塞进截线里的标记,它本来就藏在圆锥、截平面和内切球的相切关系中。
这页不展开完整空间证明,但要记住结论:截面定义负责告诉我们曲线从哪里来,距离定义负责让我们在平面上画它、算它。
圆锥曲线适合先画后算,因为每一类曲线背后都有一个可以动手复现的动作:椭圆守住距离和,抛物线守住相等的两段距离,双曲线守住距离差。
在纸上钉两个图钉 ,用一根闭合细绳套住它们。笔尖 把绳子撑紧后移动,绳子在笔尖两侧的长度就是 与 。绳长没有变,所以笔尖始终满足
画一整圈,得到椭圆。这个动作也解释了为什么椭圆必须有
绳长若正好等于两个图钉的间距,笔尖只能在线段 上活动,椭圆退化成一条线段;绳长更短,连两个图钉都套不住,轨迹为空。
纸上固定一个点 ,再画一条不过 的直线 。在 上任选一点 ,过 作垂线;再作线段 的垂直平分线。两条线的交点记作 ,那么
而 正好是 到直线 的垂直距离。换几个不同的 重复作图,所有 连起来就是抛物线。 叫焦点, 叫准线。
你也可以把这件事想成一场“等距离追踪”:点 每向焦点靠近一点,也必须向准线靠近同样多;它沿对称轴走到焦点和准线的正中间时,来到抛物线的顶点。
双曲线守住的不是距离和,而是距离差。把直尺一端固定在焦点 ,让它能绕 转动;把一根比直尺短的绳子一端系在尺的另一端,另一端固定在 。用笔尖 把绳子贴着直尺绷紧,转动直尺,笔尖会画出双曲线的一支。
原因藏在“尺长减绳长”里:尺长和绳长都固定,它们的差会转化成 到两个焦点的距离差,因此
交换直尺和绳子的固定端,可以画出另一支。要得到非退化双曲线,常数必须满足
如果常数等于 ,轨迹是线段 的垂直平分线;如果常数等于焦点间距,轨迹退化成焦点外侧的两条射线;如果常数大于焦点间距,三角不等式告诉我们根本没有这样的点。
两焦点定义很适合画椭圆和双曲线,焦点—准线定义则更统一。
在平面上固定一点 和一条不过 的直线 。取动点 ,从 向 作垂线,垂足为 。如果比值
始终是同一个正常数,那么 的轨迹是一条非退化圆锥曲线。 是焦点, 是与它对应的准线, 是离心率。
这里的 必须是垂直距离。拿 随便连到准线上的另一个点,线段会变长,比值也就失去定义的意义。
椭圆和双曲线各有两个焦点,也各有两条准线。使用这个定义时,要把一个焦点与它对应的那条准线配成一组;抛物线只有一个焦点和一条准线。
离心率描述的是形状,不是尺寸。两条椭圆可以大小相差十倍,却有相同的离心率;把整张图按同一比例放大,焦点距离与准线距离一起变大,它们的比值不会变。
圆的离心率规定为 ,可以看成椭圆的两个焦点逐渐重合后的情形。若坚持使用一条有限准线, 只会迫使 与焦点重合,得到一个点;普通圆的对应准线要理解为退到无限远处。因此在焦点—准线公式里,我们先用 讨论三类非退化曲线。
下面的探究器固定焦点和准线,只改变 。拖动时先看曲线是否闭合,再看 两侧发生了什么。
统一定义不只负责分类,它还能解释为什么三类曲线都和二次方程有关。
把准线取为 轴,也就是 ;把焦点放在 ,其中 。点 到准线的距离是 。定义给出
代入距离公式:
两边都表示非负距离,可以平方:
整理后得到
决定图形的关键就是 前面的系数 。
这也回答了“为什么圆锥曲线总是二次曲线”:几何条件里出现的是距离,距离公式带平方根;把两个非负距离的比例关系平方并整理,最高次数正好是二次。
平方前要先确认两边都是非负量。这里左边是距离,右边是 与距离的乘积,所以平方是等价变形。一般轨迹题若一边可能为负,直接平方就可能添出不满足原条件的点。
固定焦点 和准线 。曲线上点 满足
分别判断 、、 时的曲线,并把方程整理出来。
当 时,先由 判断曲线是椭圆。平方并整理得 ,继续配方可写成 。两个平方项同号,图像闭合。
后面几章会逐一推导标准方程。这里先把它们放在一起,建立“方程—形状—焦点”的对应关系。
圆心在原点,半径为 。它也可以写成 ,所以是长、短半轴相等的椭圆,离心率为 。
焦点在 ,其中
越接近 ,两个焦点越靠近中心,椭圆越接近圆; 越小,椭圆越扁, 越接近 。
顶点在原点,焦点是 ,准线是 ,离心率始终为 。焦点与准线关于顶点对称,所以顶点恰好在它们正中间。
焦点在 ,其中
与椭圆相比,最显眼的代数变化是两个平方项之间的加号变成减号。这个符号让曲线无法闭合,并产生两支。两条渐近线
描述了两支向远处延伸时越来越接近的方向。
“退化”不是算错了,而是某个边界条件让曲线缩成了更简单的点或直线。
前面的角度分类默认截平面不经过顶点。若它刚好经过顶点:
所以图中只要看见截平面穿过顶点,就不能再把截线称为普通椭圆、抛物线或双曲线。
统一定义也有自己的退化边界。若焦点就在准线上,把它们放成 与 ,则
平方后是
于是 时只剩原点; 时得到直线 ; 时得到两条相交直线 。这和空间里“截平面经过顶点”出现的点、直线、相交直线正好呼应。
这一页需要留下两条线索。
第一条是空间线索:截平面由平到陡,圆变成椭圆,在与母线平行时成为抛物线,再继续变陡便切出双曲线的两支。
第二条是距离线索:椭圆守住距离和,抛物线守住焦点距与准线距相等,双曲线守住距离差;焦点—准线比值 又把三者统一成 、、。
下一章从拉绳子的动作出发研究椭圆。到那时,标准方程里的根号、平方与参数不再是凭空出现的符号,它们只是在把“到两个焦点的距离和不变”翻译成代数语言。
当 时,点到焦点与到准线的距离相等。平方后 ,消去同类项得到 ,这是一条向右开口的抛物线。
当 时,,曲线是双曲线。平方并配方得 。两个平方项异号,图像分成两支。
三次计算中,焦点和准线从未改变。真正让闭合椭圆变成抛物线、再分成双曲线的,是离心率越过了 。