判别式

判别式 (Discriminant)

判别式（Discriminant）是多项式理论中的核心概念，用于判定多项式根的重复性、实数性以及所属数域。在最常见的二次情形中，判别式 $\Delta = b^2 - 4ac$ 直接决定了二次方程根的性质；在高次多项式中，判别式通过多项式系数的代数表达式定义，并推广为代数几何中判别式簇的重要工具。

二次判别式

对于一元二次方程

判别式定义为：

根据 $\Delta$ 的符号可完全确定根的性质：

• $\Delta > 0$：两个不相等的实根，$x_{1,2} = \frac{-b \pm \sqrt{\Delta}}{2a}$，在几何上抛物线 $y = ax^2+bx+c$ 与 $x$ 轴相交于两点。
• $\Delta = 0$：一个二重实根（重根），$x = -\frac{b}{2a}$，此时抛物线与 $x$ 轴相切，多项式可写为完全平方形式 $a(x-x_0)^2$。
• $\Delta < 0$：一对共轭复根，$x_{1,2} = \frac{-b \pm i\sqrt{|\Delta|}}{2a}$，抛物线与 $x$ 轴无交点。

判别式与韦达定理的联系：设两根为 $x_1, x_2$，则 $\Delta = a^2(x_1-x_2)^2$，即判别式本质上衡量两根之差的平方乘以 $a^2$。当且仅当两根重合时判别式为零。

一般多项式的判别式

对于首一 $n$ 次多项式 $P(x) = \prod_{i=1}^{n}(x - r_i)$，判别式定义为：

这一对称构造保证 $\Delta$ 可用多项式系数有理表示，且 $\Delta = 0$ 当且仅当多项式存在重根。判别式也可通过多项式及其导函数的结式（Resultant）等效定义：

其中 $\operatorname{Res}(P, P')$ 为 $P$ 与导函数 $P'$ 的结式。

三次多项式 $ax^3+bx^2+cx+d$ 的判别式为：

$\Delta > 0$ 时三个实根皆不相同，$\Delta = 0$ 时有重根（包含二重根或三重根），$\Delta < 0$ 时有一实根和一对共轭复根。该公式是Cardano求根公式中平方根号下表达式的核心组成部分，决定了三次方程实根个数的完整分类。

四次多项式的判别式是一个 16 次齐次多项式，项数多达几十项，通常借助计算机代数系统处理。

几何与代数应用

在圆锥曲线理论中，二次曲线 $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$ 可通过两个判别式分类：二阶判别式 $\Delta_2 = B^2 - 4AC$ 区分曲线类型——$\Delta_2<0$ 椭圆型、$\Delta_2=0$ 抛物型、$\Delta_2>0$ 双曲型；三阶判别式进一步区分退化与非退化情形。

在二次型和矩阵理论中，判别式与特征值密切相关。实对称矩阵 $A$ 对应的二次型可通过判别式分析其谱性质，判别式符号对应特征值的符号分布，是惯性定理的代数基础。

在代数数论中，数域的判别式（Discriminant of a number field）是域的基本不变量，衡量代数整数环的"大小"与分岔行为。Dedekind判别式定理指出：素数 $p$ 在数域中分岔当且仅当 $p$ 整除该域的判别式。这一结论深刻连接了多项式的初等判别式与代数数域的算术结构。

在代数几何中，判别式簇刻画了映射的奇异纤维：对一族多项式 $f_t(x)$，判别式消失的 $t$ 值恰为参数空间中根重复的位置，是奇点理论和分歧理论的基础对象。

统计与经济学中的应用

在线性判别分析（LDA）和二次判别分析（QDA）中，判别函数（而非判别式本身）用于分类，其核心思想是最大化组间方差与组内方差之比。虽然英文同为 discriminant，这里的判别函数源于Fisher的统计分类理论，与多项式判别式在数学上非同一概念。

在计量经济学的工具变量估计中，二阶最小二乘估计的正则方程涉及二次型，其可解性条件本质上由对应Gram矩阵的行列式（可视为广义判别式）保证非零。在凸优化中，KKT条件的约束规范可用相关矩阵的正则性判别式检验。

判别式作为多项式代数中最朴素的不变量，其思想已渗透至数学的诸多分支——从初等代数的根判定到数论中的分岔理论，再到代数几何中的奇点分类，体现了数学中"零与非零"二分法的深刻力量。