判别式

二次多项式${\displaystyle P(x)=ax^{2}+bx+c\,}$的判别式是${\displaystyle D=b^{2}-4ac\,}$。在一元二次方程的求解中，判别式用来判断方程根的情况，并出现在根的表达式中。

• 如果${\displaystyle D>0\,}$，那么${\displaystyle P(x)\,}$有两个相异实根${\displaystyle x_{1,2}={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}}$，即${\displaystyle P(x)\,}$的图像穿过${\displaystyle x\,}$轴两次。
• 如果${\displaystyle D=0\,}$，那么${\displaystyle P(x)\,}$有两个相等实根${\displaystyle x_{1}=x_{2}=-{\frac {b}{2a}}\,}$，${\displaystyle P(x)\,}$的图像与${\displaystyle x\,}$轴相切。
• 如果${\displaystyle D<0\,}$，那么${\displaystyle P(x)\,}$没有实根，即${\displaystyle P(x)\,}$的图像与${\displaystyle x\,}$轴没有交点。

对于一般的一个多项式

${\displaystyle p(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\ldots +a_{1}x+a_{0}}$，

其判别式等于（差一个系数）以下的${\displaystyle (2n-1)\times (2n-1)\,}$的矩阵的行列式（见西尔维斯特矩阵）：

${\displaystyle \left[{\begin{matrix}&a_{n}&a_{n-1}&a_{n-2}&\ldots &a_{1}&a_{0}&0\ldots &\ldots &0\\&0&a_{n}&a_{n-1}&a_{n-2}&\ldots &a_{1}&a_{0}&0\ldots &0\\&\vdots \ &&&&&&&&\vdots \\&0&\ldots \ &0&a_{n}&a_{n-1}&a_{n-2}&\ldots &a_{1}&a_{0}\\&na_{n}&(n-1)a_{n-1}&(n-2)a_{n-2}&\ldots \ &a_{1}&0&\ldots &\ldots &0\\&0&na_{n}&(n-1)a_{n-1}&(n-2)a_{n-2}&\ldots \ &a_{1}&0&\ldots &0\\&\vdots \ &&&&&&&&\vdots \\&0&0&\ldots &0&na_{n}&(n-1)a_{n-1}&(n-2)a_{n-2}&\ldots \ &a_{1}\\\end{matrix}}\right].}$

这个矩阵的行列式称为${\displaystyle p(x)\,}$和${\displaystyle p'(x)\,}$的结式，记为${\displaystyle R(p,p')\,}$。${\displaystyle p(x)\,}$的判别式${\displaystyle D(p)\,}$由以下公式给出：

${\displaystyle D(p)=(-1)^{{\frac {1}{2}}n(n-1)}{\frac {1}{a_{n}}}R(p,p')\,}$.

例如，在${\displaystyle n=4\,}$的情况下，以上的行列式是：

${\displaystyle {\begin{vmatrix}&a_{4}&a_{3}&a_{2}&a_{1}&a_{0}&0&0\\&0&a_{4}&a_{3}&a_{2}&a_{1}&a_{0}&0\\&0&0&a_{4}&a_{3}&a_{2}&a_{1}&a_{0}\\&4a_{4}&3a_{3}&2a_{2}&1a_{1}&0&0&0\\&0&4a_{4}&3a_{3}&2a_{2}&1a_{1}&0&0\\&0&0&4a_{4}&3a_{3}&2a_{2}&1a_{1}&0\\&0&0&0&4a_{4}&3a_{3}&2a_{2}&1a_{1}\\\end{vmatrix}}}$

这个四次多项式的判别式就是这个行列式除以${\displaystyle a_{4}\,}$。

作为等价条件，多项式的判别式等于：

${\displaystyle a_{n}^{2n-2}\prod _{i<j}{(r_{i}-r_{j})^{2}}}$

其中${\displaystyle r_{1},\cdots ,r_{n}\,}$是多项式${\displaystyle p(x)\,}$的複根（重根按重数计算）：

${\displaystyle {\begin{matrix}p(x)&=&a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{1}x+a_{0}\\&=&a_{n}(x-r_{1})(x-r_{2})\ldots (x-r_{n})\end{matrix}}}$

在这个表达式中可以清楚地看到${\displaystyle p\,}$有重根当且仅当判别式为零。

多项式的判别式可以在任意的域中定义，定义方式一样。带有根${\displaystyle r_{i}\,}$的表达式仍然有效，只是根要在系数域的某个分裂域中取。

对于以下多项式所定义的圆锥曲线：

${\displaystyle ax^{2}+bxy+cy^{2}+dx+ey+f=0}$

它的判别式为：

${\displaystyle b^{2}-4ac}$

它决定了圆锥曲线的形状。如果判别式小于0，则是椭圆或圆。如果判别式等于0，则是一条抛物线。如果大于0，则是双曲线。这个公式不适用于退化的情形（当这个多项式可以因式分解时）。

判别式的概念可以推广到任意特征不为2的域K上的二次型Q上。一个化简后的二次型可以表示为一系列的平方和：

${\displaystyle Q=\sum _{i=1}^{k}a_{i}L_{i}^{2}}$

其中L_i是n个变量的线性组合。这时可以定义Q的判别式为所有a_i的乘积。另外一个定义是Q所对应的矩阵的行列式。

• 二次函数
• 一元二次方程
• 多项式
• 圆锥曲线
• 二次型

• 结式与判别式的关系
• Mathworld中的文献（页面存档备份，存于）
• Planetmath中的文献