圆锥曲线：修订间差异

2026年9月20日 (日) 07:16的最新版本

圆锥曲线（conic sections）包括椭圆、抛物线和双曲线，圆是椭圆的特例。它们可以由平面截取圆锥面得到，也可以由距离条件或二元二次方程描述。下面先从两个固定点和一根绳子出发，说明距离怎样决定一条曲线。

两个钉子、一根绳子

在平面上取两个相距八单位的点，把它们记为 $F_{1} = (- 4, 0)$ 、 $F_{2} = (4, 0)$ 。设一根不可伸长的绳子两端固定在这两点，绳长为十。用笔尖把绳子绷紧，移动笔尖，笔尖所在点 $P$ 总满足 $P F_{1} + P F_{2} = 10.$ 画出的曲线是椭圆，两个固定点称为焦点。笔尖在 $(0, 3)$ 时，两段绳长都是五；在 $(5, 0)$ 时，两段绳长是一和九。点虽然换了，长度和仍为十。

并排的椭圆、抛物线与双曲线图，焦点标为小点，抛物线准线画为虚线 — 距离条件分别控制“和”“相等”与“差的绝对值”。三幅图使用各自坐标尺度，不能直接比较图中的长度。

看图中的椭圆，焦点位于长轴上、曲线内部。中间的抛物线使用一个焦点和一条虚线准线；右边的双曲线使用两个焦点。三幅图依次比较距离的和、距离是否相等、距离差的绝对值。点到准线的距离沿垂线量取。每幅图使用自己的尺度，图上看起来相近的线段不一定代表同样长度。

从绳长条件推出椭圆方程

对点 $P = (x, y)$ ，把到左、右焦点的距离记为 $r_{1}, r_{2}$ 。根据勾股定理， $r_{1}^{2} = (x + 4)^{2} + y^{2}, r_{2}^{2} = (x - 4)^{2} + y^{2} .$ 相减后 $y^{2}$ 消去，得到 $r_{1}^{2} - r_{2}^{2} = 16 x$ 。另一方面，平方差可拆成 $(r_{1} - r_{2}) (r_{1} + r_{2})$ ；绳长条件已经告诉我们第二个因子是十。因此 $r_{1} - r_{2} = \frac{8}{5} x, r_{1} = 5 + \frac{4}{5} x .$ 把这个表达式代回距离平方，展开两边： $x^{2} + 8 x + 16 + y^{2} = 25 + 8 x + \frac{16}{25} x^{2} .$ 消去 $8 x$ ，把平方项收集起来： $\frac{9}{25} x^{2} + y^{2} = 9, \frac{x^{2}}{25} + \frac{y^{2}}{9} = 1.$ 在横轴上令 $y = 0$ ，得到两端 $x = \pm 5$ ；在纵轴上令 $x = 0$ ，得到 $y = \pm 3$ 。椭圆的半长轴、半短轴分别是五、三，整条轴长分别是十、六。

焦点在横坐标负四与四，椭圆顶点零三到两焦点距离都为五 — 绳长十、焦点间距八的椭圆。两条金色线段长度之和保持为十。

图中取的是上端点，两个直角三角形的直角边为三、四，所以两段斜边都为五。笔尖移动到右端点后，两个距离成为一和九；它们的和相同。

一般地，焦点为 $(\pm c, 0)$ ，距离和为 $2 a$ ，其中 $a > c \geq 0$ 。重复上面的平方差步骤得到 $r_{1} = a + \frac{c x}{a}, r_{2} = a - \frac{c x}{a}, \frac{x^{2}}{a^{2}} + \frac{y^{2}}{a^{2} - c^{2}} = 1.$ 令 $b^{2} = a^{2} - c^{2}$ ，就得到常用的标准方程 $x^{2} / a^{2} + y^{2} / b^{2} = 1$ 。

方程与距离条件还要反向核对：方程给出 $| x | \leq a$ ，所以 $a \pm c x / a$ 都为正；它们的平方恰好是两段距离平方，故确实就是两段距离，和为 $2 a$ 。如果 $c = 0$ ，焦点重合， $b = a$ ，曲线成为圆。若距离和只有焦点间距 $2 c$ ，可行点只有两焦点之间的线段；小于这个间距时，没有可行点。OpenStax：椭圆

等距离给出抛物线

现在固定一个焦点 $F = (2, 1)$ ，再固定准线 $x = - 2$ ，寻找与两者等距的全部点。点 $P = (x, y)$ 到焦点的距离为 $\sqrt{(x - 2)^{2} + (y - 1)^{2}}$ ，到准线的距离为 $| x + 2 |$ 。因此 $\sqrt{(x - 2)^{2} + (y - 1)^{2}} = | x + 2 | .$ 两边非负，平方后仍等价。展开 $(x - 2)^{2}$ 与 $(x + 2)^{2}$ ，消去相同项，得到 $(y - 1)^{2} = 8 x .$ 曲线只能在 $x \geq 0$ 的区域；横坐标最小的点为 $(0, 1)$ ，称为顶点。取 $(2, 5)$ ，到焦点的距离为四，到准线的距离也为四，直接验证了定义。

抛物线上点二五到焦点二一的竖直距离与到准线横坐标负二的水平距离都为四 — 从点 P 向准线作垂线，垂足为 H。PF 与 PH 是定义中要比较的两段距离。

图中的直角标记说明 PH 垂直于准线，长度是点到直线的距离。金色的 PF 与 PH 相等；P 换到曲线别处，两段的方向与长度会变化，等距关系仍保持。

把顶点移到原点，焦点写成 $(p, 0)$ ，准线写成 $x = - p$ ，同一推导得到 $y^{2} = 4 p x$ ，其中 $p > 0$ 是顶点到焦点的距离。这说明方程中的系数为什么是 $4 p$ 。这里要求焦点不在准线上。若焦点落在准线上，等距点集便退化为过该点且垂直于准线的直线。

距离差给出双曲线

把焦点改为 $F_{1} = (- 5, 0)$ 、 $F_{2} = (5, 0)$ ，这次要求两距离的差的绝对值为六。右侧一支上的点更靠近右焦点，因此 $r_{1} - r_{2} = 6$ 。又有 $r_{1}^{2} - r_{2}^{2} = 20 x$ ，于是 $r_{1} + r_{2} = \frac{10 x}{3}, r_{1} = \frac{5 x}{3} + 3.$ 将后式平方，与 $(x + 5)^{2} + y^{2}$ 相等，消去一次项，得到 $x^{2} + 25 + y^{2} = \frac{25 x^{2}}{9} + 9, \frac{x^{2}}{9} - \frac{y^{2}}{16} = 1.$ 右支满足 $x \geq 3$ ；交换距离差的符号得到关于纵轴对称的左支。右顶点 $(3, 0)$ 到两焦点的距离为八和二，差恰为六。

双曲线右上支点的横坐标为五、纵坐标为三分之十六，到两焦点距离为34/3及16/3，竖线标示它与渐近线的高度差4/3 — 金色线段比较焦点距离，青色短线比较曲线与渐近线的高度。

图中取 P=(5,16/3)，两焦点距离为 34/3 与 16/3，相差六。该横坐标处的渐近线高度为 20/3，比曲线高 4/3；随着点向右移，这个高度差逐渐变小，下面将证明它趋于零。

对一般焦点 $(\pm c, 0)$ ，给定正距离差 $2 a$ 且 $0 < a < c$ ，令 $b^{2} = c^{2} - a^{2}$ ，得到 $\frac{x^{2}}{a^{2}} - \frac{y^{2}}{b^{2}} = 1.$ 在右支 $x \geq a$ 上，距离为 $c x / a + a$ 与 $c x / a - a$ ，二者非负且差为 $2 a$ ；左支由对称性得到。这也完成了方程到距离定义的反向验证。

在图的双曲线部分，两支向外延伸，逐渐靠近两条斜线。对当前例子的右上支， $y = \frac{4}{3} \sqrt{x^{2} - 9} .$ 它与直线 $y = 4 x / 3$ 的纵向差为 $y - \frac{4}{3} x = \frac{4}{3} (\sqrt{x^{2} - 9} - x) = \frac{4}{3} \frac{- 9}{\sqrt{x^{2} - 9} + x} ⟶ 0.$ 最后一步将平方根之差乘以共轭式，分子变为常数、分母趋于无穷。到直线的垂直距离也随之趋零，所以这条直线是渐近线。其余分支由对称性得到，完整的两条渐近线为 $y = \pm 4 x / 3$ 。渐近线上的点不满足原方程：代入左边得到零，而曲线上应等于一。

方程中的平移与旋转

坐标原点不在曲线中心时，方程会出现一次项。例如 $4 x^{2} + 9 y^{2} - 8 x + 36 y + 4 = 0.$ 把同一变量放在一起，分别补成平方： $4 [(x - 1)^{2} - 1] + 9 [(y + 2)^{2} - 4] + 4 = 0.$ 常数合并为 $- 36$ ，移到右边，再除以三十六，得到 $\frac{(x - 1)^{2}}{9} + \frac{(y + 2)^{2}}{4} = 1.$ 它是把半轴三和二的椭圆移到中心 $(1, - 2)$ 。焦距参数为 $\sqrt{9 - 4} = \sqrt{5}$ ，焦点为 $(1 \pm \sqrt{5}, - 2)$ 。

轴的方向发生旋转时，还会出现交叉项。例如 $5 x^{2} - 6 x y + 5 y^{2} = 8$ 。沿两条互相垂直的方向 $x = y$ 和 $x = - y$ 选新坐标： $u = \frac{x + y}{\sqrt{2}}, v = \frac{- x + y}{\sqrt{2}} .$ 反解得 $x = (u - v) / \sqrt{2}$ 、 $y = (u + v) / \sqrt{2}$ ，因此 $x^{2} + y^{2} = u^{2} + v^{2}, x y = \frac{u^{2} - v^{2}}{2} .$ 代入原式便得到 $5 (u^{2} + v^{2}) - 3 (u^{2} - v^{2}) = 8$ ，即 $u^{2} / 4 + v^{2} = 1$ 。这仍是椭圆，半轴为二和一，长轴沿 $x = y$ 。交叉项记录了轴的方向，并不单独决定曲线类型。

怎样分类一般二次方程

一般方程写为 $A x^{2} + B x y + C y^{2} + D x + E y + F = 0$ ，其中二次项不全为零。平移和正交旋转可以把它化为易读的形式。常用的判别量 $Δ = B^{2} - 4 A C$ 用来区分二次部分的类型，但还需检查整条曲线是否退化、是否有实点。

判别量	非退化且有实点时的类型	一种标准形式
$Δ < 0$	椭圆，包含圆	$x^{2} / a^{2} + y^{2} / b^{2} = 1$ ， $a, b > 0$
$Δ = 0$	抛物线	$y^{2} = 4 p x$ ， $p \neq 0$
$Δ > 0$	双曲线	$x^{2} / a^{2} - y^{2} / b^{2} = 1$ ， $a, b > 0$

例如 $x^{2} + y^{2} + 1 = 0$ 的判别量为负，却没有实点； $x^{2} + y^{2} = 0$ 只有原点； $x^{2} - y^{2} = 0$ 可以分解为 $(x - y) (x + y) = 0$ ，是两条相交直线。它们都不能直接按表中的三种非退化曲线命名。

用矩阵可以统一检查退化：构造 $M = (\begin{matrix} A & B / 2 & D / 2 \\ B / 2 & C & E / 2 \\ D / 2 & E / 2 & F \end{matrix}) .$ 当 $det M \neq 0$ 时，方程在射影二次曲线意义下非退化；在本文的实平面中仍要检查实解。手算时，先配方或分解通常更直观：两个正平方的和等于正数、零、负数，分别给出椭圆、单点、空集。把整个方程乘以任意非零常数不改变点集，因此检验的是这些条件，而不是某个孤立系数的正负。

离心率怎样统一三种距离条件

给定焦点 $F$ 与不经过它的准线 $ℓ$ ，要求点 $P$ 满足 $d (P, F) = e d (P, ℓ)$ ，其中 $e > 0$ 是固定的距离比，称为离心率。

取 $F = (0, 0)$ 、 $ℓ : x = d$ ，其中 $d > 0$ 。平方距离条件得到 $x^{2} + y^{2} = e^{2} (x - d)^{2}, (1 - e^{2}) x^{2} + y^{2} + 2 e^{2} d x - e^{2} d^{2} = 0.$ 若 $e < 1$ ，两个平方项同号，配方得到椭圆；若 $e > 1$ ，平方项异号，得到双曲线；若 $e = 1$ ， $x^{2}$ 项消失，留下抛物线。这个方程的完整矩阵行列式为 $- e^{2} d^{2} \neq 0$ ，且焦点与准线之间的线段上存在满足比例的点，所以这里三种情形都确有实点而不退化。

椭圆和双曲线的离心率都可写为 $e = c / a$ 。开头绳长十、焦点间距八的椭圆，离心率为 $4 / 5$ ；双曲线例子则为 $5 / 3$ 。它们不依赖统一放大的尺度。圆的离心率约定为零，是椭圆焦点重合的极限情形；若直接在有限准线条件里代入 $e = 0$ ，只会得到焦点本身，因而圆应单独处理。

截面与历史

在三维空间中，平面截取双叶圆锥面可得到这三类曲线。平面经过锥顶时还会产生点或直线等退化截面；这与二次方程中出现的退化情形相对应。距离定义适合推出焦点和轴长，二次方程适合计算平移、旋转与拟合，截面则说明“圆锥曲线”名称的来源。

公元前四世纪的梅内克缪斯与早期圆锥曲线及倍立方研究有关；阿波罗尼奥斯在约公元前三世纪至前二世纪的《圆锥曲线论》中系统发展了截面理论。古典研究主要使用几何比例与构造，本文的坐标方程属于后来的解析表达。MacTutor：Menaechmus；MacTutor：Apollonius

参考资料与知识联系

OpenStax，《Precalculus 2e》，10.1 The Ellipse、10.2 The Hyperbola、10.3 The Parabola、10.4 Rotation of Axes。可参阅标准参数与主轴变换。
MacTutor，University of St Andrews：Menaechmus、Apollonius。有关人物、作品与史料背景。
前置：勾股定理、欧氏几何；后续：矩阵、最小二乘法、数学建模。

@@ 第1行： / 第1行： @@
-圆锥曲线是平面与圆锥面相交所得的一类曲线。非退化情形包括椭圆、抛物线和双曲线，圆是椭圆的特例。它们也可由点到焦点、准线或两个焦点的距离关系定义。
+'''圆锥曲线'''（conic sections）包括椭圆、抛物线和双曲线，圆是椭圆的特例。它们可以由平面截取圆锥面得到，也可以由距离条件或二元二次方程描述。下面先从两个固定点和一根绳子出发，说明距离怎样决定一条曲线。
-== 三种曲线的距离定义 ==
+== 两个钉子、一根绳子 ==
-椭圆上每一点到两个焦点的距离之和为常数；双曲线上每一点到两个焦点的距离之差的绝对值为常数；抛物线上每一点到焦点与到准线的距离相等。距离定义说明了曲线为何具有相应形状，也适用于旋转、平移后的情形。
+在平面上取两个相距八单位的点，把它们记为 <math>F_1=(-4,0)</math>、<math>F_2=(4,0)</math>。设一根不可伸长的绳子两端固定在这两点，绳长为十。用笔尖把绳子绷紧，移动笔尖，笔尖所在点 <math>P</math> 总满足
+<math display="block">PF_1+PF_2=10.</math>
+画出的曲线是椭圆，两个固定点称为焦点。笔尖在 <math>(0,3)</math> 时，两段绳长都是五；在 <math>(5,0)</math> 时，两段绳长是一和九。点虽然换了，长度和仍为十。
-[[File:Gezhi-conics.svg|frame|center|alt=并排的椭圆、抛物线和双曲线示意，焦点以小点标记，抛物线准线为虚线|椭圆是闭合曲线，抛物线有一支，双曲线有两支。示意图使用各自的坐标尺度。]]
+[[File:Gezhi-conics-theme.svg|frame|center|alt=并排的椭圆、抛物线与双曲线图，焦点标为小点，抛物线准线画为虚线|距离条件分别控制“和”“相等”与“差的绝对值”。三幅图使用各自坐标尺度，不能直接比较图中的长度。]]
-== 标准方程与参数 ==
+看图中的椭圆，焦点位于长轴上、曲线内部。中间的抛物线使用一个焦点和一条虚线准线；右边的双曲线使用两个焦点。三幅图依次比较距离的和、距离是否相等、距离差的绝对值。点到准线的距离沿垂线量取。每幅图使用自己的尺度，图上看起来相近的线段不一定代表同样长度。
+== 从绳长条件推出椭圆方程 ==
+对点 <math>P=(x,y)</math>，把到左、右焦点的距离记为 <math>r_1,r_2</math>。根据勾股定理，
+<math display="block">r_1^2=(x+4)^2+y^2,\qquad r_2^2=(x-4)^2+y^2.</math>
+相减后 <math>y^2</math> 消去，得到 <math>r_1^2-r_2^2=16x</math>。另一方面，平方差可拆成 <math>(r_1-r_2)(r_1+r_2)</math>；绳长条件已经告诉我们第二个因子是十。因此
+<math display="block">r_1-r_2=\frac85x,\qquad r_1=5+\frac45x.</math>
+把这个表达式代回距离平方，展开两边：
+<math display="block">x^2+8x+16+y^2=25+8x+\frac{16}{25}x^2.</math>
+消去 <math>8x</math>，把平方项收集起来：
+<math display="block">\frac9{25}x^2+y^2=9,\qquad \frac{x^2}{25}+\frac{y^2}{9}=1.</math>
+在横轴上令 <math>y=0</math>，得到两端 <math>x=\pm5</math>；在纵轴上令 <math>x=0</math>，得到 <math>y=\pm3</math>。椭圆的半长轴、半短轴分别是五、三，整条轴长分别是十、六。
+[[File:Gezhi-teaching-ellipse-distances.svg|frame|center|alt=焦点在横坐标负四与四，椭圆顶点零三到两焦点距离都为五|绳长十、焦点间距八的椭圆。两条金色线段长度之和保持为十。]]
+图中取的是上端点，两个直角三角形的直角边为三、四，所以两段斜边都为五。笔尖移动到右端点后，两个距离成为一和九；它们的和相同。
+一般地，焦点为 <math>(\pm c,0)</math>，距离和为 <math>2a</math>，其中 <math>a>c\ge0</math>。重复上面的平方差步骤得到
+<math display="block">r_1=a+\frac{cx}{a},\qquad r_2=a-\frac{cx}{a},\qquad \frac{x^2}{a^2}+\frac{y^2}{a^2-c^2}=1.</math>
+令 <math>b^2=a^2-c^2</math>，就得到常用的标准方程 <math>x^2/a^2+y^2/b^2=1</math>。
+方程与距离条件还要反向核对：方程给出 <math>|x|\le a</math>，所以 <math>a\pm cx/a</math> 都为正；它们的平方恰好是两段距离平方，故确实就是两段距离，和为 <math>2a</math>。如果 <math>c=0</math>，焦点重合，<math>b=a</math>，曲线成为圆。若距离和只有焦点间距 <math>2c</math>，可行点只有两焦点之间的线段；小于这个间距时，没有可行点。[https://openstax.org/books/precalculus-2e/pages/10-1-the-ellipse OpenStax：椭圆]
+== 等距离给出抛物线 ==
+现在固定一个焦点 <math>F=(2,1)</math>，再固定准线 <math>x=-2</math>，寻找与两者等距的全部点。点 <math>P=(x,y)</math> 到焦点的距离为 <math>\sqrt{(x-2)^2+(y-1)^2}</math>，到准线的距离为 <math>|x+2|</math>。因此
+<math display="block">\sqrt{(x-2)^2+(y-1)^2}=|x+2|.</math>
+两边非负，平方后仍等价。展开 <math>(x-2)^2</math> 与 <math>(x+2)^2</math>，消去相同项，得到
+<math display="block">(y-1)^2=8x.</math>
+曲线只能在 <math>x\ge0</math> 的区域；横坐标最小的点为 <math>(0,1)</math>，称为顶点。取 <math>(2,5)</math>，到焦点的距离为四，到准线的距离也为四，直接验证了定义。
+[[File:Gezhi-teaching-parabola-distance.svg|frame|center|alt=抛物线上点二五到焦点二一的竖直距离与到准线横坐标负二的水平距离都为四|从点 P 向准线作垂线，垂足为 H。PF 与 PH 是定义中要比较的两段距离。]]
+图中的直角标记说明 PH 垂直于准线，长度是点到直线的距离。金色的 PF 与 PH 相等；P 换到曲线别处，两段的方向与长度会变化，等距关系仍保持。
+把顶点移到原点，焦点写成 <math>(p,0)</math>，准线写成 <math>x=-p</math>，同一推导得到 <math>y^2=4px</math>，其中 <math>p>0</math> 是顶点到焦点的距离。这说明方程中的系数为什么是 <math>4p</math>。这里要求焦点不在准线上。若焦点落在准线上，等距点集便退化为过该点且垂直于准线的直线。
+== 距离差给出双曲线 ==
+把焦点改为 <math>F_1=(-5,0)</math>、<math>F_2=(5,0)</math>，这次要求两距离的差的绝对值为六。右侧一支上的点更靠近右焦点，因此 <math>r_1-r_2=6</math>。又有 <math>r_1^2-r_2^2=20x</math>，于是
+<math display="block">r_1+r_2=\frac{10x}{3},\qquad r_1=\frac{5x}{3}+3.</math>
+将后式平方，与 <math>(x+5)^2+y^2</math> 相等，消去一次项，得到
+<math display="block">x^2+25+y^2=\frac{25x^2}{9}+9,\qquad \frac{x^2}{9}-\frac{y^2}{16}=1.</math>
+右支满足 <math>x\ge3</math>；交换距离差的符号得到关于纵轴对称的左支。右顶点 <math>(3,0)</math> 到两焦点的距离为八和二，差恰为六。
+[[File:Gezhi-teaching-hyperbola-asymptote.svg|frame|center|alt=双曲线右上支点的横坐标为五、纵坐标为三分之十六，到两焦点距离为34/3及16/3，竖线标示它与渐近线的高度差4/3|金色线段比较焦点距离，青色短线比较曲线与渐近线的高度。]]
+图中取 P=(5,16/3)，两焦点距离为 34/3 与 16/3，相差六。该横坐标处的渐近线高度为 20/3，比曲线高 4/3；随着点向右移，这个高度差逐渐变小，下面将证明它趋于零。
+对一般焦点 <math>(\pm c,0)</math>，给定正距离差 <math>2a</math> 且 <math>0<a<c</math>，令 <math>b^2=c^2-a^2</math>，得到
+<math display="block">\frac{x^2}{a^2}-\frac{y^2}{b^2}=1.</math>
+在右支 <math>x\ge a</math> 上，距离为 <math>cx/a+a</math> 与 <math>cx/a-a</math>，二者非负且差为 <math>2a</math>；左支由对称性得到。这也完成了方程到距离定义的反向验证。
+在图的双曲线部分，两支向外延伸，逐渐靠近两条斜线。对当前例子的右上支，
+<math display="block">y=\frac43\sqrt{x^2-9}.</math>
+它与直线 <math>y=4x/3</math> 的纵向差为
+<math display="block">y-\frac43x=\frac43\bigl(\sqrt{x^2-9}-x\bigr)=\frac43\frac{-9}{\sqrt{x^2-9}+x}\longrightarrow0.</math>
+最后一步将平方根之差乘以共轭式，分子变为常数、分母趋于无穷。到直线的垂直距离也随之趋零，所以这条直线是渐近线。其余分支由对称性得到，完整的两条渐近线为 <math>y=\pm4x/3</math>。渐近线上的点不满足原方程：代入左边得到零，而曲线上应等于一。
+== 方程中的平移与旋转 ==
+坐标原点不在曲线中心时，方程会出现一次项。例如
+<math display="block">4x^2+9y^2-8x+36y+4=0.</math>
+把同一变量放在一起，分别补成平方：
+<math display="block">4[(x-1)^2-1]+9[(y+2)^2-4]+4=0.</math>
+常数合并为 <math>-36</math>，移到右边，再除以三十六，得到
+<math display="block">\frac{(x-1)^2}{9}+\frac{(y+2)^2}{4}=1.</math>
+它是把半轴三和二的椭圆移到中心 <math>(1,-2)</math>。焦距参数为 <math>\sqrt{9-4}=\sqrt5</math>，焦点为 <math>(1\pm\sqrt5,-2)</math>。
+轴的方向发生旋转时，还会出现交叉项。例如 <math>5x^2-6xy+5y^2=8</math>。沿两条互相垂直的方向 <math>x=y</math> 和 <math>x=-y</math> 选新坐标：
+<math display="block">u=\frac{x+y}{\sqrt2},\qquad v=\frac{-x+y}{\sqrt2}.</math>
+反解得 <math>x=(u-v)/\sqrt2</math>、<math>y=(u+v)/\sqrt2</math>，因此
+<math display="block">x^2+y^2=u^2+v^2,\qquad xy=\frac{u^2-v^2}{2}.</math>
+代入原式便得到 <math>5(u^2+v^2)-3(u^2-v^2)=8</math>，即 <math>u^2/4+v^2=1</math>。这仍是椭圆，半轴为二和一，长轴沿 <math>x=y</math>。交叉项记录了轴的方向，并不单独决定曲线类型。
+== 怎样分类一般二次方程 ==
+一般方程写为 <math>Ax^2+Bxy+Cy^2+Dx+Ey+F=0</math>，其中二次项不全为零。平移和正交旋转可以把它化为易读的形式。常用的判别量 <math>\Delta=B^2-4AC</math> 用来区分二次部分的类型，但还需检查整条曲线是否退化、是否有实点。
+<div class="math-table-scroll" role="region" aria-label="非退化且存在实点的圆锥曲线分类" tabindex="0">
 {| class="wikitable"
-! 曲线 !! 一种标准方程 !! 焦点及条件
+! 判别量 !! 非退化且有实点时的类型 !! 一种标准形式
 |-
-| 椭圆 || <math>x^2/a^2+y^2/b^2=1</math> || <math>a\ge b>0</math>，焦点为 <math>(\pm c,0)</math>，<math>c^2=a^2-b^2</math>
+| <math>\Delta<0</math> || 椭圆，包含圆 || <math>x^2/a^2+y^2/b^2=1</math>，<math>a,b>0</math>
 |-
-| 抛物线 || <math>y^2=4px</math> || <math>p>0</math>，焦点 <math>(p,0)</math>，准线 <math>x=-p</math>
+| <math>\Delta=0</math> || 抛物线 || <math>y^2=4px</math>，<math>p\ne0</math>
 |-
-| 双曲线 || <math>x^2/a^2-y^2/b^2=1</math> || <math>a,b>0</math>，焦点为 <math>(\pm c,0)</math>，<math>c^2=a^2+b^2</math>
+| <math>\Delta>0</math> || 双曲线 || <math>x^2/a^2-y^2/b^2=1</math>，<math>a,b>0</math>
 |}
-以上方程的中心或顶点在原点，主轴沿坐标轴。不是所有曲线都以这种朝向出现，竖直开口或旋转后的方程会改变。
+</div>
-== 从距离推导抛物线 ==
-设点 <math>P=(x,y)</math> 到焦点 <math>(p,0)</math> 的距离等于到直线 <math>x=-p</math> 的距离，则
-<math display="block">\sqrt{(x-p)^2+y^2}=|x+p|.</math>
-两边都是非负数，平方后等价地得到 <math>(x-p)^2+y^2=(x+p)^2</math>，化简即 <math>y^2=4px</math>。例如 <math>p=1</math> 时，点 <math>(1,2)</math> 到焦点与准线的距离都为 2，确实在曲线上。
-== 一个椭圆的完整识别 ==
+例如 <math>x^2+y^2+1=0</math> 的判别量为负，却没有实点；<math>x^2+y^2=0</math> 只有原点；<math>x^2-y^2=0</math> 可以分解为 <math>(x-y)(x+y)=0</math>，是两条相交直线。它们都不能直接按表中的三种非退化曲线命名。
-考虑 <math>x^2/25+y^2/9=1</math>。由 <math>a=5,b=3</math> 得 <math>c=4</math>，所以焦点为 <math>(\pm4,0)</math>，长轴长 10，短轴长 6。
-顶点 <math>(5,0)</math> 到两焦点的距离为 1 和 9，和为 <math>2a=10</math>；点 <math>(0,3)</math> 到两焦点的距离均为 5，和也为 10。半轴长 <math>a,b</math> 不能误读成整条轴的长度。
+用[[矩阵]]可以统一检查退化：构造
+<math display="block">M=\begin{pmatrix}A&B/2&D/2\\B/2&C&E/2\\D/2&E/2&F\end{pmatrix}.</math>
+当 <math>\det M\ne0</math> 时，方程在射影二次曲线意义下非退化；在本文的实平面中仍要检查实解。手算时，先配方或分解通常更直观：两个正平方的和等于正数、零、负数，分别给出椭圆、单点、空集。把整个方程乘以任意非零常数不改变点集，因此检验的是这些条件，而不是某个孤立系数的正负。
-== 离心率统一描述形状 ==
+== 离心率怎样统一三种距离条件 ==
-在焦点—准线定义中，距离比 <math>e=d(P,F)/d(P,\ell)</math> 称为离心率。<math>0<e<1</math> 对应非圆椭圆，<math>e=1</math> 对应抛物线，<math>e>1</math> 对应双曲线；圆通常取离心率 0，但不能使用有限准线直接代入上述距离比得到普通圆。
+给定焦点 <math>F</math> 与不经过它的准线 <math>\ell</math>，要求点 <math>P</math> 满足 <math>d(P,F)=e\,d(P,\ell)</math>，其中 <math>e>0</math> 是固定的距离比，称为离心率。
-对椭圆和双曲线，<math>e=c/a</math>。上例椭圆的离心率为 <math>4/5</math>。离心率描述形状，整体放大曲线不会改变它。
+取 <math>F=(0,0)</math>、<math>\ell:x=d</math>，其中 <math>d>0</math>。平方距离条件得到
+<math display="block">x^2+y^2=e^2(x-d)^2,\qquad (1-e^2)x^2+y^2+2e^2dx-e^2d^2=0.</math>
+若 <math>e<1</math>，两个平方项同号，配方得到椭圆；若 <math>e>1</math>，平方项异号，得到双曲线；若 <math>e=1</math>，<math>x^2</math> 项消失，留下抛物线。这个方程的完整矩阵行列式为 <math>-e^2d^2\ne0</math>，且焦点与准线之间的线段上存在满足比例的点，所以这里三种情形都确有实点而不退化。
-== 二次方程的分类与退化 ==
+椭圆和双曲线的离心率都可写为 <math>e=c/a</math>。开头绳长十、焦点间距八的椭圆，离心率为 <math>4/5</math>；双曲线例子则为 <math>5/3</math>。它们不依赖统一放大的尺度。圆的离心率约定为零，是椭圆焦点重合的极限情形；若直接在有限准线条件里代入 <math>e=0</math>，只会得到焦点本身，因而圆应单独处理。
-一般平面二次方程写为 <math>Ax^2+Bxy+Cy^2+Dx+Ey+F=0</math>。在非退化且有实点的条件下，<math>B^2-4AC</math> 的符号区分椭圆型、抛物线型和双曲线型。
-只看符号仍不够：<math>x^2+y^2+1=0</math> 没有实点，<math>x^2+y^2=0</math> 只有原点，<math>x^2-y^2=0</math> 是两条相交直线。分类时需要检查整条方程是否退化。
+== 截面与历史 ==
+在三维空间中，平面截取双叶圆锥面可得到这三类曲线。平面经过锥顶时还会产生点或直线等退化截面；这与二次方程中出现的退化情形相对应。距离定义适合推出焦点和轴长，二次方程适合计算平移、旋转与拟合，截面则说明“圆锥曲线”名称的来源。
-理想二体引力模型的轨道可呈圆锥曲线，抛物面反射结构也利用抛物线的几何性质；这些应用依赖各自的物理假设，不能把现实轨迹一概视为精确圆锥曲线。
+公元前四世纪的梅内克缪斯与早期圆锥曲线及倍立方研究有关；阿波罗尼奥斯在约公元前三世纪至前二世纪的《圆锥曲线论》中系统发展了截面理论。古典研究主要使用几何比例与构造，本文的坐标方程属于后来的解析表达。[https://mathshistory.st-andrews.ac.uk/Biographies/Menaechmus/ MacTutor：Menaechmus]；[https://mathshistory.st-andrews.ac.uk/Biographies/Apollonius/ MacTutor：Apollonius]
-== 延伸阅读 ==
+== 参考资料与知识联系 ==
-* [https://openstax.org/books/precalculus-2e/pages/10-introduction-to-analytic-geometry OpenStax，《Precalculus 2e》第 10 章]：椭圆、双曲线、抛物线与坐标旋转。
+* OpenStax，《Precalculus 2e》，[https://openstax.org/books/precalculus-2e/pages/10-1-the-ellipse 10.1 The Ellipse]、[https://openstax.org/books/precalculus-2e/pages/10-2-the-hyperbola 10.2 The Hyperbola]、[https://openstax.org/books/precalculus-2e/pages/10-3-the-parabola 10.3 The Parabola]、[https://openstax.org/books/precalculus-2e/pages/10-4-rotation-of-axes 10.4 Rotation of Axes]。可参阅标准参数与主轴变换。
-* [[勾股定理]] · [[矩阵]] · [[数学建模]]
+* MacTutor，University of St Andrews：[https://mathshistory.st-andrews.ac.uk/Biographies/Menaechmus/ Menaechmus]、[https://mathshistory.st-andrews.ac.uk/Biographies/Apollonius/ Apollonius]。有关人物、作品与史料背景。
+* 前置：[[勾股定理]]、[[欧氏几何]]；后续：[[矩阵]]、[[最小二乘法]]、[[数学建模]]。
 [[分类:几何]]