圆锥曲线这东西,听着挺高大上,实际上就两句话:开口的大叫抛物线,闭合的都叫椭圆。别整那些虚的,拿笔在纸上画画你就明白了。 要是画一条直线去跟圆相交,顶多两点;要是跟等轴双曲线,那是直线穿过两个洞;可要是跟椭圆相交,直线要么穿两根,要么一条都没摸到,还有一根跑那会儿又不回来了。
这就跟找宝藏一样,有的地方有的地方找不到,有的地方找得准,并且找的时候得算算能不能碰到。
这种跟直线互不干扰的曲线,叫双曲线。双曲线有两支,你往两边扔线,它就在这俩支上跳舞。 抛物线就好办了,反正就那样。你拿一条线去截圆,交点不多;截双曲线,那直线就得去撞那两条弯曲的人;但截椭圆呢?只要方向对,直线就能跟它拥抱。圆锥曲线最“狠”的地方就在于,不管管它是直线、圆还是椭圆,它们本质上都是某个更高级的图形——二次曲线——被切出来的。
这就像人穿鞋,鞋底的纹路拍板了你步行的感受,但鞋子的形状(圆锥曲线)是固定的,只是穿在脚上的人(你)的角度不同,看到的纹路就不同。 说到抛物线,它是个“死”字有点躲。你拿直线去切它,要不就直线跟它的轴平行要么重合,否则它绝不会和它自己相交。
这有点反直觉,出于大家认定数学里直线切别的线总会两个交点,但它偏偏绕了个圈。它的定义实际上挺好办:平面上到定点(焦点)的距离等于到定直线(准线)距离的点到。
这个“距离相等”是核心。
这就像你站在一个坑边,坑底有个点,地面是直线,你只要走 straight 线,你的脚到坑底的距离和脚到地面的垂直距离一辈子相等。
要是你往旁边走一步,那个距离就会断崖式下跌。 举个例子,看这个抛物线 $y^2 = 2x$。它的焦点在 $(1/2, 0)$,准线是 $x = -1/2$。
要是你往 $(1/2, 0)$ 走一步,你的距离是 $sqrt{(1/2-1/2)^2 + y^2} = |y|$。
要是你从准线 $x = -1/2$ 上取一个点,比如 $(-1/2, 1)$,算距离的话,$sqrt{(-1/2 - 1/2)^2 + (1-0)^2} = sqrt{1 + 1} = sqrt{2}$。但刚刚 $y=1$ 的时候,$1^2 = 2x Rightarrow 1 = 2x Rightarrow x = 1/2$,距离确实是 $|1|=1$。
什么的,我算错了,准线是 $x=-1/2$,点 $(-1/2, 1)$ 到焦点 $(1/2, 0)$ 的距离是 $sqrt{(1)^2 + 1^2} = sqrt{2}$,而到准线的距离也是 $|-1/2 - (-1/2)| + 1 = 1$?不对,点到直线的距离公式 $|Ax_0+By_0+C|/sqrt{A^2+B^2}$。准线是 $x + 1/2 = 0$,点 $(-1/2, 1)$ 代入就是 $|-1/2 + 1/2| = 0$?不对,点 $(-1/2, 1)$ 在准线上,距离自然是 0。
那焦点 $(1/2, 0)$ 到准线 $x = -1/2$ 的距离是 $1$。
故此抛物线上的点,比如 $(1/2, 1)$,到焦点的距离是 $sqrt{(1/2-1/2)^2 + (1-0)^2} = 1$,到准线的距离是 $|1/2 - (-1/2)| = 1$。对上了。再看点 $(1, 0)$,焦点距离是 $1/2 - 1 = -1/2$(绝对值是 $1/2$),准线距离是 $1/2 - (-1/2) = 1$。
哎呀,这里有难题。$(1,0)$ 不在抛物线上。抛物线方程 $y^2 = 2x$,当 $x=1$ 时,$y^2=2, y=pmsqrt{2}$。点 $(1, sqrt{2})$ 到焦点 $(1/2, 0)$:$Delta x = 1/2, Delta y = sqrt{2}$,距离平方 $1/4 + 2 = 2.25$,距离 $1.5$。到准线 $x=-1/2$:$Delta x = 1.5$,距离 $1.5$。对上了。 双曲线就像是两条平行线中间夹着一堵墙,你把墙推开,你就有了两条树枝。双曲线的定义是:平面上到两个定点(焦点 $F_1, F_2$)距离之差的绝对值等于常数($2a$)。
这个常数得小于两焦点之间的距离,不然就变成直线了。
要是常数等于焦距,那就是射线;小于焦距,那就是双曲线。 举例来说,双曲线 $frac{x^2}{4} - frac{y^2}{9} = 1$。它的焦点在 $(pm 5, 0)$,出于 $a=2, c=sqrt{4+9}=3$?不对,$c^2 = a^2 + b^2 = 4+9=13, c=sqrt{13} approx 3.6$。焦点是 $(pm sqrt{13}, 0)$。常数是 $2a = 4$。
故此双曲线上任意一点 $P$,都有 $|PF_1 - PF_2| = 4$。
这就像说,你站在双曲线上,你走到左边的焦点,你走的路程比走到右边的焦点,多要么少,这个差值一辈子固定是 4。
要是 $P$ 在右支,$PF_2 - PF_1 = 4$;要是 $P$ 在左支,$PF_1 - PF_2 = 4$。 再看椭圆,它是个圆球被压扁了。定义是:到两定点距离之和等于常数($2a$,且 $2a > |F_1F_2|$)。
这比双曲线温和多了。椭圆就像是一个荷包蛋,两端的蛋黄蛋黄是焦点。你沿着蛋壳走,你到两个蛋黄的距离加起来,一辈子等于蛋壳周长的一半。
要是你往内跑,距离就变小;往外跑,距离就变大。
只有当你在两个蛋黄连线的中点,且到椭圆中心的距离等于 $a$ 时,它才变成圆,也就是 $c=0$。 圆锥曲线的分类实际上有个挺妙的类比。你能够把它们看作是一组平行线被一个点(圆锥)切出来的线。想象一下,你手里拿着一把刀,刀尖是个点(圆锥顶点),慢慢平移这把刀。 - 要是刀面挺斜,平行线被切,可能一条线没被切到,要么切出两条线。
这对应双曲线。 - 要是刀面略微平一点,可能切出一对线。
这对应抛物线。 - 要是刀面挺平,切出的是圆。 - 持续调整角度,切出的是椭圆。 这就解释了为啥椭圆里有个“无界”的概念?不对,椭圆是有界的。出于 $2a > |F_1F_2|$,故此两焦点之间的线段一辈子跑不掉,一直在椭圆内部。而双曲线,出于 $2a < |F_1F_2|$,故此两焦点之间的线段被双曲线给“挤”出来了,跑到“外面”去了。
这就是为啥双曲线看起来像是无限的延伸。 还有极坐标方程,这是圆锥曲线最“亲密”的亲戚。它的形式是 $rho = frac{ep}{1 - ecostheta}$。
这里的 $e$ 是离心率,就是那个区分抛物线和椭圆的关键。 - 要是 $e = 1$,那就是抛物线。分子和分母那个 $1$ 消不掉,要么说是没系数,这就是 $e=1$。 - 要是 $e < 1$,分母里有个负号要么系数让 $rho$ 变成负数(取决于角度范围),这时候你会看到,同一个角度 $theta$ 对应两个不同的 $r$ 值(一个正一个负,但在极坐标里一般只取正,这时候就得看角度如何转,要么把负半径翻个面)。
实际上,$e<1$ 时,图形是闭合的,像个椭圆。 - 要是 $e > 1$,分母可能变成负,害得 $rho$ 一辈子为负(要是规定 $rho>0$),要么在某些角度出现渐近线。
这时候图形是开口的,像双曲线。 并且,要是你把焦点放在原点,圆就变成了极坐标里的特殊情况,$e=0$。 实际上,圆锥曲线在几何性质上特别“偷懒”。它所有的性质,要么都是线性的(比如直线方程、斜率),要么都是二次的(比如面积、面积分、角度的正切值)。它不会像三次曲线那样突然变复杂,也不会像抛物线那样有固定的轨道。它的数学语言就是二次函数、二次方程。
这就像人类语言,大局部句子都是“名词 + 动词 + 形容词”,只有极少局部句子才用到了“定语从句”要么复杂的从句结构。圆锥曲线只是把这种“二维平面上一点到两点距离”的关系,用最简练的公式写了出来。 最终说说它的应用,别看看起来像个冷门数学,但在天文学里简直是大杀器。哈雷彗星就是圆锥曲线运动的典型代表。它的轨道就是椭圆。工程师们用椭圆轨道去设计卫星的发射路径,比如俄罗斯发射的“紫金山号”,就是利用地月拉格朗日点附近的椭圆轨道,用最短的燃料把卫星送上去。
要是你不懂椭圆轨道的偏心率,根本没法算出那个发射角度。
还有引力透镜效应,天文观测时,大质量天体(黑洞、母星系)的引力场会扭曲背景星光的轨迹,让背景星系看起来像是在椭圆要么双曲线上跳舞。
要是没有圆锥曲线的公式,我们就根本看不懂那些遥远星系的光谱和位置。 还有啊,计算机图形学里,3D 建模时常用到圆锥投影。把一个 3D 球体(椭圆在二维上的投影)转成 2D 平面,别看好办外推是椭圆,但严格来说圆锥曲线是圆锥截线。
不过日常说的圆锥曲线,除了抛物线和双曲线,实际上包含了椭圆。你画个椭圆,实际上就是把斜着切圆要么切圆柱体拿到的。别看教科书说圆锥曲线是二次曲线,但在大量语境下,大家更习惯说椭圆的性质。 总而言之,圆锥曲线就是那条直线、圆和双曲线,它们共用一个祖坟——二次方程。它们都是平面上动点轨迹的数学描述。甭管是忒阳绕着你转,还是卫星绕着你飞,还是彗星绕着你跑,它们都遵循着那个优美的二次公式。
不用管它叫椭圆还是双曲线,只要看着是封闭要么开口的,它就是圆锥曲线。