1 基本概念
1.1 判别式的定义
判别式是由多项式系数构造出来的一个代数量，它用来反映多项式根的某些关键特征，尤其是根是否重复。对于给定次数的多项式，判别式通常是系数的多项式表达式，因此可在不直接求根的情况下判断方程的根结构。
1.2 判别式的来源与直观意义
判别式的思想来源于“区分”不同根型的需要。对于二次方程，人们希望仅凭系数判断方程有几个实根、是否有重根；这一需求推广到高次多项式后，便形成了更一般的判别式概念。从直观上看，判别式可以理解为衡量根之间“分离程度”的量：根彼此越接近，判别式越容易趋近于零；一旦出现重根，判别式便为零。
1.3 判别式与多项式根的关系
设多项式的根为 \(r_1,r_2,\dots,r_n\)，则判别式与各根之间的差有关。若存在两个根相等，则某个根差 \(r_i-r_j\) 为零，判别式也随之为零；反之，若所有根互不相同，则判别式通常非零。因此，判别式能够直接反映根的重数结构。
1.4 判别式的记号与常见约定
判别式常记作 \(\Delta\) 或 \(\mathrm{Disc}(f)\)。不同文献中对符号前的常数因子、符号正负、以及是否包含首项系数幂次的约定可能略有不同，但其核心含义一致：它是一个与根重合情况密切相关的不变量。
2 二次方程的判别式
2.1 标准形式与公式
二次方程通常写为 \[ ax^2+bx+c=0,\quad a\neq 0. \] 其判别式为 \[ \Delta=b^2-4ac. \] 这是判别式最常见、也最基础的形式。
2.2 判别式与根的个数
二次方程的根型完全由 \(\Delta\) 决定。通过判别式的符号，可以直接判断方程的实根情况以及是否出现重根。
2.2.1 两个不相等实根
当 \(\Delta>0\) 时，方程有两个不同的实根。这对应抛物线与 \(x\) 轴有两个交点。
2.2.2 一个二重实根
当 \(\Delta=0\) 时，方程有一个二重实根，即两个根相同。此时抛物线与 \(x\) 轴相切，只在一个点接触。
2.2.3 一对共轭复根
当 \(\Delta<0\) 时，方程没有实根，而有一对共轭复根。这说明抛物线在实数范围内不与 \(x\) 轴相交。
2.3 判别式与抛物线图像
在二次函数图像中，判别式与抛物线和横轴的位置关系一一对应。若 \(\Delta>0\)，图像穿过横轴；若 \(\Delta=0\)，图像恰好切于横轴；若 \(\Delta<0\)，图像完全位于横轴上方或下方。因而判别式也是研究二次函数图像的重要工具。
3 一般多项式的判别式
3.1 n次多项式的定义
对于 \(n\) 次多项式 \[ f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0,\quad a_n\neq 0, \] 其判别式是由这些系数构成的一个确定量，通常记为 \(\mathrm{Disc}(f)\)。当多项式次数升高时，判别式的表达式会迅速变得复杂，但其基本作用不变。
3.2 判别式与根的差积
若 \(f(x)\) 的根为 \(r_1,\dots,r_n\)，则判别式与所有根差的平方积相关，典型形式为 \[ \mathrm{Disc}(f)=a_n^{2n-2}\prod_{i<j}(r_i-r_j)^2. \] 这一表达式表明，判别式本质上测量的是根之间是否发生重合。平方的出现也说明判别式在根的排列下保持对称。
3.3 判别式与重根
如果多项式存在重根，那么至少有一对根相等，根差积中出现零因子，故判别式为零。反之，判别式非零时，多项式没有重根。这个结论使判别式成为判断多项式可分性和根重数的重要标准。
3.4 判别式与首项系数
首项系数会影响判别式的整体数值。一般来说，判别式不仅取决于根之间的相对位置，也与多项式的整体缩放有关，因此在标准定义中常包含首项系数的适当幂次，以保证表达式的协调性和不变量特征。
4 判别式的性质
4.1 乘性与缩放性质
当多项式乘以一个非零常数时，判别式会按相应幂次变化。这说明判别式不是简单的线性量，而是对整体尺度具有特定响应的代数对象。在处理标准化多项式时，这一性质尤为重要。
4.2 变量平移与变换下的表现
对变量作平移变换，如 \(x\mapsto x+h\)，多项式的根整体移动，但根之间的差不变，因此判别式通常保持不变。更一般的线性变换会引起可预测的缩放或符号变化，但不会改变“是否有重根”这一核心性质。
4.3 判别式的对称性
判别式是根的对称函数，因此它可以表示为系数的多项式。根的次序如何排列并不影响判别式的值，这一对称性是其能由系数直接计算的根本原因。
4.4 判别式的多项式性
在固定次数下，判别式关于系数是一个多项式。也就是说，它不是需要额外超越运算才能定义的复杂对象，而是可由有限次代数运算得到的表达式。这一点使其适合用于理论证明与符号计算。
5 判别式的计算方法
5.1 通过根直接计算
若已知多项式所有根，则可直接利用根差公式求判别式。这种方法概念清晰，但在高次情形中通常不便，因为求根本身可能比求判别式更困难。
5.2 通过结果式计算
判别式可以借助结果式来计算。对多项式与其导数构造结果式，便能得到判别式的值。这是理论与计算中都非常常用的方法。
5.2.1 结果式与 Sylvester 矩阵
Sylvester 矩阵由两个多项式的系数按特定方式排列而成，其行列式就是结果式。通过求该矩阵的行列式，可以得到判别式的表达式或判定其是否为零。
5.2.2 结果式与消元法
结果式也可视为消元过程中出现的量。它反映两个多项式是否存在公共根；将多项式与导数联系起来时，就能判断是否存在重根。判别式因此成为一种消元判据。
5.3 通过导数与公因式判断
如果多项式与其导数有非平凡公因式，说明多项式存在重根，判别式必为零。这个方法在理论分析中非常直接，尤其适用于判断可分性和奇异情况。
5.4 低次多项式的显式公式
对于低次多项式，判别式往往可以写出简洁公式。例如二次、三次、四次情形都存在较为标准的显式表达式，便于手算与代入分析。
6 低次多项式中的典型判别式
6.1 一次多项式
一次多项式 \(ax+b\)（\(a\neq 0\)）只有一个根，因此不存在“两个根相等”的问题。严格意义上，其判别式通常视为平凡情况，等于非零常数或按约定不作重点讨论。
6.2 二次多项式
二次多项式的判别式为 \[ \Delta=b^2-4ac. \] 这是最常见的判别式公式，也是学校数学中最常接触的形式。它直接给出根的实虚与重数信息。
6.3 三次多项式
三次多项式的判别式可以写成系数的较长多项式。其非零与否决定三次方程是否有重根，也可辅助判断实根个数的变化趋势。由于公式较复杂，通常借助符号计算或结果式求得。
6.4 四次多项式
四次多项式的判别式更为繁复，但结构上仍然与根差平方积一致。它在四次方程解析求解、代数曲线研究和某些对称问题中具有应用价值。
7 判别式与根的分类
7.1 实根与复根的区分
判别式在二次方程中可直接区分实根与复根；在高次多项式中，它虽然不能完全给出所有根的具体分布，但能提示是否存在重根，并常与其他方法结合用于分析实根结构。
7.2 重根与单根
当判别式非零时，多项式的所有根都是单根；当判别式为零时，至少存在一个重根。单根与重根在微分、几何和代数结构上表现不同，因此这一分类十分重要。
7.3 判别式为零的情形
判别式为零意味着多项式与其导数有公共根，或者说根之间发生了合并。这种情形常对应某种退化状态，例如曲线的切触、交点合并或参数变化中的临界点。
7.4 判别式非零的情形
判别式非零表示根彼此分离，结构稳定。对于可分多项式而言，这种情况尤为关键，因为它意味着根不重合，常是进一步分析根的分布与代数性质的起点。
8 判别式与代数几何
8.1 判别式与奇异点
在代数几何中，判别式可用来检测几何对象是否存在奇异点。若某个代数方程对应的对象在某处出现“尖点”“自交”或“退化切触”，判别式往往反映出这种异常。
8.2 曲线退化与判别式
对于平面曲线，判别式可刻画其是否退化为更简单的图形，例如分解成若干条直线，或在参数变化下发生合并。判别式为零通常意味着曲线进入退化状态。
8.3 超曲面判别式
在更高维的代数几何中，判别式可用于描述超曲面的退化情形。它作为一个代数不变量，帮助区分一般位置与特殊位置下的几何结构。
8.4 几何意义中的不变性
判别式在适当的坐标变换下具有一定的不变性或协变性，因此可作为研究几何对象的结构量。它不仅告诉人们对象“是否正常”，还帮助识别在变换后保持不变的核心特征。
9 判别式与线性代数
9.1 行列式与判别式的联系
判别式常可表示为某个矩阵的行列式，尤其是结果式矩阵或相关伴随矩阵的行列式。由此可见，判别式与线性代数中的行列式理论有紧密联系。
9.2 特征多项式的判别式
对于矩阵的特征多项式，其判别式可反映特征值是否重合。若判别式为零，则矩阵至少有一对相同特征值；若非零，则特征值彼此不同。
9.3 矩阵谱的重根问题
矩阵谱中的重根问题，本质上对应特征多项式的重根。判别式因此成为研究矩阵谱退化、特征值碰撞以及参数依赖谱变化的重要工具。
9.4 对称矩阵与实根结构
对称矩阵的特征值全为实数，因此其特征多项式的判别式可结合实谱性质进行分析。若出现重特征值，判别式为零；若特征值互异，则判别式非零，矩阵谱结构更为简单。
10 判别式的应用
10.1 方程求解中的根分析
在求解方程时，判别式常用于先验判断根的类型，从而减少无谓计算。例如，在二次方程中，可先根据判别式确定是否需要使用实数解、复数解或讨论重根情况。
10.2 参数方程中的临界值判断
当多项式含有参数时，判别式可用来找出参数的临界值。随着参数变化，判别式可能从非零变为零，意味着根结构发生突变，这在讨论分岔、退化或临界现象时很有帮助。
10.3 几何作图与曲线分析
在几何问题中，判别式常用于判断曲线与直线的交点数、切触关系以及图形是否退化。通过分析判别式，可以在作图前预判图像的基本形态。
10.4 代数问题中的可分性判断
在代数理论中，判别式是判断多项式是否可分的重要手段。判别式非零通常意味着多项式的根互异，从而具备较好的分解与研究性质。
11 相关概念
11.1 结果式
结果式是判断两个多项式是否有公共根的代数量。判别式常可由多项式与其导数的结果式导出，因此两者关系非常紧密。
11.2 判别条件
判别条件是根据某种代数表达式判断对象性质的规则。判别式正是典型的判别条件之一，尤其用于根的重合与方程类型识别。
11.3 重根
重根是指数值重复出现的根。判别式为零通常意味着存在重根，因此重根是理解判别式最直接的对象之一。
11.4 可分多项式
可分多项式指没有重根的多项式。对这类多项式而言，判别式非零是其重要特征，也是代数扩张与域论中常见的基础概念。