论文技术总结：四次方程根的简单三角分类法

论文标题：A Simple Trigonometric Classification of Quartic Roots (四次方程根的简单三角分类)
作者：Sawon Pratiher (印度理工学院 Kharagpur)
日期：2022 年 3 月 17 日 (arXiv 预印本)

---

1. 问题背景 (Problem Statement)

在代数中，判断多项式方程拥有多少个实根和多少个复根是一个经典问题。

• 二次方程：通过判别式 $b^2 - 4c$ 的符号即可直接判断。
• 三次方程：判别式较为复杂但尚可处理。
• 四次方程：传统的判别式是一个关于系数的六次多项式。计算和解释该判别式极其繁琐，即使是经验丰富的代数学者也视其为艰巨的任务。

本文旨在提出一种简单、计算量小且概念自然的替代方法，无需解出方程即可确定四次方程实根的数量（0、2 或 4 个）。

2. 方法论 (Methodology)

该方法的核心在于利用切比雪夫恒等式 (Chebyshev Identity) 将四次多项式转化为三角函数问题。

2.1 降次处理 (Depressed Quartic)

首先，通过变量代换 $t = z - a_3/4$ 将一般四次方程 $z^4 + a_3z^3 + a_2z^2 + a_1z + a_0 = 0$ 转化为缺项四次方程（无三次项）：
$$P(t) = t^4 + mt^2 + pt + q = 0$$
其中 $m, p, q$ 为实系数。

2.2 三角代换 (Trigonometric Substitution)

假设 $m < 0$（这是该方法适用的主要情形），令 $u = \sqrt{-m}$。
引入代换 $t = u \cos \theta$，其中 $\theta \in [0, \pi]$。
利用切比雪夫恒等式：
$$8 \cos^4 \theta - 8 \cos^2 \theta + 1 = \cos 4\theta$$
将 $P(t)=0$ 代入并整理，原四次方程被转化为如下三角方程：
$$f(\theta) = a \cos \theta + \cos 4\theta + b = 0$$
其中参数 $a$ 和 $b$ 由原方程系数决定：
$$a = \frac{8p}{(-m)^{3/2}}, \quad b = \frac{8q}{m^2} - 1$$

2.3 根与零点的对应关系

• 区间 $[-u, u]$ 内的根：由于 $\cos \theta$ 在 $[0, \pi]$ 上是 $[-1, 1]$ 的双射，函数 $f(\theta)$ 在 $[0, \pi]$ 上的零点个数 ($N_{int}$) 直接对应于 $P(t)$ 在区间 $[-u, u]$ 内的实根个数。
• 区间外的根：利用 $P(t)$ 在 $|t| > u$ 时的严格凸性（二阶导数 $P''(t) > 0$），可以证明 $P(t)$ 在 $(u, \infty)$ 和 $(-\infty, -u)$ 上各至多有一个实根。
  • 外部根的存在性由边界值 $f(0)$ 和 $f(\pi)$ 的符号决定：
    • 若 $f(0) < 0$，则 $(u, \infty)$ 有一个根。
    • 若 $f(\pi) < 0$，则 $(-\infty, -u)$ 有一个根。

3. 主要结果与分类 (Key Results & Classification)

总实根数 $N_{real} = N_{int} + N_{ext}$，其中 $N_{ext}$ 由边界符号决定。

定理 5：四个根均为复根 (0 个实根)

• 条件：$f(\theta) > 0$ 对所有 $\theta \in [0, \pi]$ 成立。
• 充分条件：$b > |a| + 1$。
• 推论：此时 $N_{int}=0$ 且 $N_{ext}=0$。

定理 6：两个实根，两个复根

• 条件：$N_{int} + N_{ext} = 2$。
• 典型情形：
  1. $f(\theta) < 0$ 对所有 $\theta$ 成立（此时 $N_{int}=0, N_{ext}=2$）。
  2. $f(\theta)$ 在 $[0, \pi]$ 内有两个零点，且边界值非负。
  3. $f(\theta)$ 在 $[0, \pi]$ 内有一个零点，且恰好一个边界值为负。

定理 7：四个根均为实根

• 条件：$N_{int} + N_{ext} = 4$。
• 情形：当所有根都在 $[-u, u]$ 内时，$f(0) \ge 0, f(\pi) \ge 0$，且 $f(\theta)$ 在 $(0, \pi)$ 内有四个零点。

4. 案例验证 (Examples)

论文通过三个具体算例验证了方法的有效性：

1. 四实根：$t^4 - 25t^2 - 60t - 36 = 0$。计算得 $a=-3.84, b=-1.46$。分析显示 $N_{int}=3, N_{ext}=1$，总计 4 个实根。
2. 四复根：$t^4 - 2t^2 + 3 = 0$。计算得 $a=0, b=5$。满足 $b > |a|+1$，直接判定无实根。
3. 二实二复：$t^4 - 4t^2 + t + 1 = 0$。计算得 $a=1, b=-0.5$。边界分析显示 $N_{ext}=1$，内部分析显示 $N_{int}=1$，总计 2 个实根。

5. 局限性与扩展 (Limitations & Extensions)

• 局限性：该方法主要适用于 $m < 0$ 的情况。当 $m \ge 0$ 时，函数 $P(t)$ 全局凸，至多有两个实根，此时传统判别法或 Sturm 定理更为直接。
• 双二次方程：当 $p=0$ 时，退化为 $f(\theta) = \cos 4\theta + b$，分析极为简单。
• 五次方程扩展：理论上可推广至五次方程，利用 $T_5(\cos \theta) = \cos 5\theta$，但分析复杂度会略微增加。

6. 意义与贡献 (Significance & Contributions)

1. 计算简化：将复杂的六次判别式计算转化为简单的参数 $a, b$ 计算及三角函数 $f(\theta)$ 的符号/零点分析。
2. 概念直观：揭示了四次方程根的结构与三角函数振荡性质之间的几何联系，使抽象的代数问题变得几何化、可视化。
3. 教育价值：推导过程仅涉及基础代数、微积分（凸性、中值定理）和三角恒等式，适合初学者理解四次方程的根分布，有助于“去神秘化”代数几何。
4. 历史视角的补充：虽然切比雪夫多项式和缺项四次方程早已被熟知，但将二者结合用于根分类的视角此前未被广泛注意。本文提供了一种新的概念透镜，而非新的数值解法。

总结：该论文提出了一种优雅且计算轻量的三角方法，通过参数化分析 $f(\theta) = a \cos \theta + \cos 4\theta + b$，有效地分类了实系数四次方程的实根数量，为理解四次方程的根结构提供了全新的几何视角。