倾斜圆锥曲线的旋转轴：从渐近线到二倍角公式

Published

February 21, 2026

背景介绍

每条圆锥曲线（椭圆、双曲线、抛物线）都有对称轴——使其看起来最”简洁”的方向。当圆锥曲线与坐标轴对齐时，对称轴就是 \(x\) 轴和 \(y\) 轴。但当圆锥曲线倾斜（方程中含有 \(xy\) 项）时，找到这些隐藏的对称轴就成了一个真正的难题。

在之前的课程中，我们学习了如何利用二次型的 \(2 \times 2\) 矩阵对圆锥曲线进行分类，以及如何使用旋转矩阵消去 \(xy\) 项。今天我们将所有内容融会贯通：推导一个简洁优美的公式来求旋转角 \(\theta\)，从而揭示对称轴；证明该公式即使在没有渐近线的情况下（椭圆的情况）也成立；并通过一个具体的数值例子进行演练。在此过程中，我们将运用韦达定理、复数，以及一个巧妙的几何技巧——用 \(yi\) 替换 \(y\)，从而统一双曲线和椭圆。

这有什么用呢？在物理学中，应力张量或转动惯量张量的主轴正是通过这种方法求得的。在数据科学中，PCA（主成分分析） 就是将同样的旋转应用于协方差矩阵。理解这些内容是通向线性代数的大门，而线性代数正是现代科学与工程的语言。

课程视频

Important核心要点
  1. 二次型矩阵 \(\begin{pmatrix} a & b \\ b & c \end{pmatrix}\) 编码了圆锥曲线 \(ax^2 + 2bxy + cy^2 = d\)；其行列式决定了曲线类型（椭圆与双曲线）
  2. 旋转的二倍角公式：\(\tan(2\theta) = \dfrac{2b}{a - c}\) 给出对称轴的角度
  3. 韦达定理使我们无需逐一求解斜率 \(k_1, k_2\)——直接代入和与积即可
  4. 坐标旋转与轴旋转：将坐标轴旋转 \(+\theta\) 意味着将坐标旋转 \(-\theta\)
  5. \(yi\) 代换技巧：用 \(yi\) 替换 \(y\) 可将椭圆变为双曲线，通过”外接矩形”对角线论证证明旋转公式具有普遍性

二次型及其矩阵

以原点为中心的一般二次方程可以写成：

\[ax^2 + 2bxy + cy^2 = d\]

我们将系数整理为一个对称矩阵：

\[M = \begin{pmatrix} a & b \\ b & c \end{pmatrix}\]

行列式 \(\det(M) = ac - b^2\) 告诉我们曲线的类型：

行列式 圆锥曲线类型
\(ac - b^2 > 0\) 椭圆（无实渐近线）
\(ac - b^2 < 0\) 双曲线（两条实渐近线）
\(ac - b^2 = 0\) 抛物线/退化情况

表达式 \(ax^2 + 2bxy + cy^2\) 可以写成矩阵乘积：

\[\begin{pmatrix} x & y \end{pmatrix} \begin{pmatrix} a & b \\ b & c \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = ax^2 + 2bxy + cy^2\]

求圆锥曲线的对称轴等价于求矩阵 \(M\) 的特征向量。这是线性代数的核心问题：对称矩阵的对角化。今天所做的一切都是对这一思想的入门介绍。

从渐近线推导旋转角

第一步：通过 \(k = y/x\) 求渐近线斜率

对于双曲线，渐近线过原点。令 \(ax^2 + 2bxy + cy^2 = 0\) 并除以 \(x^2\)：

\[ck^2 + 2bk + a = 0 \quad \text{其中 } k = \frac{y}{x}\]

两个根 \(k_1, k_2\) 就是两条渐近线的斜率。

第二步：韦达定理避免逐一求解

对二次方程 \(ck^2 + 2bk + a = 0\) 应用韦达定理：

\[k_1 + k_2 = -\frac{2b}{c}, \qquad k_1 \cdot k_2 = \frac{a}{c}\]

第三步：对称轴平分渐近线夹角

圆锥曲线的长轴和短轴是渐近线的角平分线。若 \(\theta\) 是对称轴的角度，则：

\[\theta = \frac{1}{2}\bigl(\arctan k_1 + \arctan k_2\bigr)\]

第四步：应用正切和角公式

\[\tan(2\theta) = \tan\bigl(\arctan k_1 + \arctan k_2\bigr) = \frac{k_1 + k_2}{1 - k_1 k_2}\]

代入韦达定理的结果：

\[\tan(2\theta) = \frac{-2b/c}{1 - a/c} = \frac{-2b}{c - a} = \frac{2b}{a - c}\]

Important核心公式

\[\boxed{\tan(2\theta) = \frac{2b}{a - c}}\]

这一公式给出了任意圆锥曲线 \(ax^2 + 2bxy + cy^2 = d\) 的对称轴旋转角，无论是椭圆还是双曲线。

坐标旋转：注意符号

当我们将坐标轴（\(u\)-\(v\) 坐标系）相对于 \(x\)-\(y\) 旋转角度 \(+\theta\) 时，坐标变换使用角度 \(-\theta\)：

\[\begin{pmatrix} u \\ v \end{pmatrix} = \begin{pmatrix} \cos\theta & \sin\theta \\ -\sin\theta & \cos\theta \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix}\]

考虑最简单的情况：\(u = x + 2\)。在 \(x\) 坐标系中，\(u\) 轴原点向右平移了 2 个单位。但在转换时需要减去：\(x = 2\) 处的点对应 \(u = 0\)。坐标变换的方向总是与几何变换的方向相反。

类似地，将坐标轴正向旋转 \(\theta\)，意味着每个点的新坐标是通过将其位置向量反向旋转 \(\theta\) 得到的。

为什么该公式对椭圆也成立

对于双曲线（\(ac - b^2 < 0\)），渐近线是实的，几何论证清晰明了。但对于椭圆（\(ac - b^2 > 0\)），二次方程 \(ck^2 + 2bk + a = 0\) 没有实数根——不存在实渐近线！

外接矩形论证

每条圆锥曲线都在（椭圆）或超出（双曲线）一个与其对称轴对齐的外接矩形内。

拖动 \(\theta_0\) 滑块来倾斜椭圆。虚线显示的是对称轴，它们始终平分外接矩形的对角线。

\(yi\) 代换技巧

关键思路：用 \(yi\)（其中 \(i = \sqrt{-1}\)）替换 \(y\)。方程：

\[ax^2 + 2bxy + cy^2 = d\]

变为：

\[ax^2 + 2b(xi)(yi)/i + c(yi)^2/(-1) \;\longrightarrow\; ax^2 - 2bi \cdot x(yi) - c(yi)^2 = d\]

等一下——让我们更精确地推导。令 \(w = yi\)，则 \(y = w/i = -wi\)，于是：

\[ax^2 + 2bx(-wi) + c(-wi)^2 = ax^2 - 2bwi \cdot x + c w^2 \cdot (-1)\]

从 \(ax^2 + 2bxy + cy^2 = d\) 出发，其中 \(ac - b^2 > 0\)（椭圆），代入 \(y \to yi\)：

\[ax^2 + 2bx(yi) + c(yi)^2 = d\] \[ax^2 + 2bi \cdot xy - cy^2 = d\]

\(y^2\) 的系数变号：\(+c \to -c\)。由于原来 \(c > 0\)，新的”判别式”变为 \(a(-c) - (bi)^2 = -ac - (-b^2) = b^2 - ac < 0\)，这意味着变换后的方程是双曲线型的。

现在这个新的双曲线有实渐近线，斜率为 \(k_1, k_2\)（在 \(x\)-\(yi\) 平面上）。这些斜率给出了原椭圆外接矩形的对角线。这些对角线的角平分线仍然是对称轴。

当我们对变换后的方程使用韦达定理计算 \(k_1 + k_2\) 和 \(k_1 k_2\) 时，\(i\) 的因子在最终公式 \(\tan(2\theta) = \frac{2b}{a-c}\) 中相消，给出相同的实数结果。

这就是该公式具有普遍性的原因：代数运算不关心根是实数还是复数。公式 \(\tan(2\theta) = \frac{2b}{a-c}\) 仅由系数决定。

计算示例：\(4x^2 + 2xy + y^2 = 4\)

让我们将完整算法应用于一个椭圆型圆锥曲线。

第一步：确定矩阵和类型

\[M = \begin{pmatrix} 4 & 1 \\ 1 & 1 \end{pmatrix}, \quad \det(M) = 4 \cdot 1 - 1^2 = 3 > 0 \implies \text{椭圆}\]

第二步：求旋转角

\[\tan(2\theta) = \frac{2b}{a - c} = \frac{2(1)}{4 - 1} = \frac{2}{3}\]

我们需要各个三角函数值来构建旋转矩阵。使用二倍角恒等式：

\[\tan(2\theta) = \frac{2\tan\theta}{1 - \tan^2\theta} = \frac{2}{3}\]

令 \(t = \tan\theta\)。交叉相乘：

\[3 \cdot 2t = 2(1 - t^2) \implies 6t = 2 - 2t^2 \implies 2t^2 + 6t - 2 = 0 \implies t^2 + 3t - 1 = 0\]

由求根公式：

\[t = \frac{-3 \pm \sqrt{9 + 4}}{2} = \frac{-3 \pm \sqrt{13}}{2}\]

两个根对应两条对称轴。我们选择较小的角度（较大的余弦值），因此取：

\[\tan\theta = \frac{-3 + \sqrt{13}}{2} \approx 0.303\]

从正切值求余弦值： 使用恒等式 \(1 + \tan^2\theta = \sec^2\theta = \frac{1}{\cos^2\theta}\)：

\[\cos^2\theta = \frac{1}{1 + t^2} = \frac{1}{1 + \frac{22 - 6\sqrt{13}}{4}} = \frac{4}{26 - 6\sqrt{13}}\]

有理化：

\[\cos^2\theta = \frac{4(26 + 6\sqrt{13})}{(26)^2 - (6\sqrt{13})^2} = \frac{4(26 + 6\sqrt{13})}{676 - 468} = \frac{4(26 + 6\sqrt{13})}{208} = \frac{26 + 6\sqrt{13}}{52}\]

然后 \(\sin\theta = \tan\theta \cdot \cos\theta\)，这样就得到了旋转矩阵的两个分量。

第四步：在 Desmos 上验证

倾斜椭圆 \(4x^2 + 2xy + y^2 = 4\) 及其由 \(\tan(2\theta) = 2/3\) 计算出的对称轴。虚线穿过顶点和共顶点。

第五步：构建旋转矩阵

求得 \(\cos\theta\) 和 \(\sin\theta\) 后，新坐标为：

\[u = x\cos\theta + y\sin\theta, \qquad v = -x\sin\theta + y\cos\theta\]

在 \((u, v)\) 坐标系下，交叉项消失，圆锥曲线化为标准形式 \(\frac{u^2}{A^2} + \frac{v^2}{B^2} = 1\)。

完整算法（总结）

已知 \(ax^2 + 2bxy + cy^2 = d\)：

  1. 分类：计算 \(\Delta = ac - b^2\)。若 \(\Delta > 0\)：椭圆。若 \(\Delta < 0\)：双曲线。

  2. 旋转角：\(\tan(2\theta) = \dfrac{2b}{a - c}\)（若 \(a = c\)，则 \(\theta = \pi/4\)）。

  3. 求 \(\tan\theta\)：解 \(t^2 + \frac{a-c}{b} \cdot t - 1 = 0\)（由二倍角恒等式得出）。

  4. 求 \(\cos\theta, \sin\theta\)：由 \(\cos^2\theta = \frac{1}{1 + \tan^2\theta}\) 得出，然后 \(\sin\theta = \tan\theta \cdot \cos\theta\)。

  5. 旋转：\(u = x\cos\theta + y\sin\theta\)，\(v = -x\sin\theta + y\cos\theta\)。

  6. 代入原方程：\(uv\) 交叉项将为零，留下标准形式的圆锥曲线。

三种方法的比较

本课强调了三种不同方法来求同一旋转角：

方法 具体做法 最适用于
旋转矩阵法 代入后令 \(uv\) 系数为零 从第一性原理出发的严格推导
渐近线平分法 分解齐次部分，求斜率，平分夹角 具有几何直觉的双曲线
韦达定理 + 二倍角 直接在 \(\tan(2\theta)\) 中使用 \(k_1 + k_2\) 和 \(k_1 k_2\) 快速计算，无需因式分解

三种方法都得到相同的结果：\(\tan(2\theta) = \frac{2b}{a - c}\)。

将 AI 作为数学工具

本课中有一个有趣的环节，是请 ChatGPT 证明旋转公式对椭圆（没有实渐近线）也成立。主要收获：

  • 精确地表述你的问题——严谨的输入得到严谨的输出
  • 要求优雅的捷径——看到一种证明后，要求替代方法
  • 自己验证推理过程——AI 可能犯细微的逻辑错误
  • 使用 Grammarly 等工具来改善你的数学写作

课程关键帧

The quadratic form matrix and classification of conics Deriving tan(2 theta) via Vieta's formulas The yi substitution trick for ellipses Worked example: 4x^2 + 2xy + y^2 = 4

速查表

概念 公式 / 规则
二次型矩阵 \(M = \begin{pmatrix} a & b \\ b & c \end{pmatrix}\)，对应 \(ax^2 + 2bxy + cy^2\)
圆锥曲线分类 \(ac - b^2 > 0\)：椭圆；\(< 0\)：双曲线；\(= 0\)：抛物线
旋转角 \(\tan(2\theta) = \dfrac{2b}{a - c}\)
韦达定理（斜率二次方程） \(k_1 + k_2 = -\frac{2b}{c}\)，\(\quad k_1 k_2 = \frac{a}{c}\)
坐标旋转 \(u = x\cos\theta + y\sin\theta\)，\(\quad v = -x\sin\theta + y\cos\theta\)
从 \(\tan\theta\) 求 \(\cos\theta\) \(\cos^2\theta = \frac{1}{1 + \tan^2\theta}\)
二倍角恒等式 \(\tan(2\theta) = \frac{2\tan\theta}{1 - \tan^2\theta}\)
轴与坐标 将坐标轴旋转 \(+\theta\) \(\iff\) 将坐标旋转 \(-\theta\)

快速参考：倾斜圆锥曲线算法

  1. 读取 二次型中的 \(a\)、\(b\)、\(c\)
  2. 计算 \(\tan(2\theta) = \frac{2b}{a - c}\)
  3. 求解 \(\tan\theta\)，通过 \(t^2 + \frac{a-c}{b}t - 1 = 0\)
  4. 转换为 \(\cos\theta\)、\(\sin\theta\)，使用勾股恒等式
  5. 旋转坐标并化简为标准形式