DISCRIMINANT

In algebra, the 'discriminant' of a polynomial with real or complex coefficients is a certain expression in the coefficients of the polynomial which is equal to zero if and only if the polynomial has a multiple root (i.e. a root with multiplicity greater than one) in the complex numbers. For example, the discriminant of the quadratic polynomial
:$ax^2+bx+c$       is       $b^2-4ac$.
The discriminant of the cubic polynomial
:$ax^3+bx^2+cx+d$       is       $b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd$.
This concept also applies if the polynomial has coefficients in a field which is not contained in the complex numbers. In this case, the discriminant vanishes if and only if the polynomial has multiple roots in its splitting field.
The concept of discriminant has been generalized to other algebraic structures besides polynomials, including conic sections, quadratic forms, and algebraic number fields. Discriminants in algebraic number theory are closely related, and contain information about ramification. In fact, the more geometric types of ramification are also related to more abstract types of discriminant, making this a central algebraic idea in many applications.

Contents

Formulae for the discriminant

The discriminant in the quadratic formula

Discriminant of a polynomial

Discriminant of a conic section

Discriminant of a quadratic form

Discriminant of an algebraic number field

External links

Formulae for the discriminant

★ The quadratic polynomial $ax^2+bx+c$ has discriminant
: $D=b^2-4ac;$

★ the cubic polynomial $ax^3+bx^2+cx+d$ has discriminant
: $Delta=b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd.$
Simpler polynomials have simpler expressions for their discriminants. For example,

★ the monic quadratic polynomial $x^2+bx+c$ has discriminant
: $D=b^2-4c;$

★ the monic cubic polynomial $x^3+bx^2+cx+d$ has discriminant      
: $Delta=b^2c^2-4c^3-4b^3d-27d^2+18bcd;$

★ the monic cubic polynomial without quadratic term $x^3+px+q$ has discriminant
: $Delta=-4p^3-27q^2.$

The discriminant in the quadratic formula

The quadratic polynomial ''P''(''x'') = ''ax''² + ''bx'' + ''c'' has discriminant ''D'' = ''b''² − 4''ac'', which is the quantity under the square root sign in the quadratic formula. For real numbers a, b, c, one has:

• When ''D'' > 0 , ''P''(''x'') has two distinct real roots , and its graph crosses the ''x''-axis twice.
  
• When ''D'' = 0, ''P''(''x'') has two coincident real roots , and its graph is tangent to the ''x''-axis.
  
• When ''D'' < 0 , ''P''(''x'') has no real roots, and its graph lies strictly above or below the ''x''-axis.
  

Discriminant of a polynomial

The discriminant of the general polynomial
:$p(x)=a\_n\; x^n+a\_\{n-1\}x^\{n-1\}+a\_\{n-2\}x^\{n-2\}+ldots+a\_1\; x+a\_0$
is, up to a factor, equal to the determinant of the (2''n'' − 1)×(2''n'' − 1) matrix (see Sylvester matrix)
:
& a_n & a_{n-1} & a_{n-2} & ldots & a_0 & 0 & ldots & ldots & 0 \
& 0 & a_n & a_{n-1} & a_{n-2} & ldots & a_0 & 0 & ldots & 0 \
& dots &&&&&&&&dots\
& 0 & 0& ldots & 0 & a_n & a_{n-1} & a_{n-2} & ldots & a_0 \
& na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & ldots & 1a_1 & 0 & ldots &ldots & 0 \
& 0 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & ldots & 1a_1 & 0 & ldots & 0 \
& dots &&&&&&&&dots\
& 0 & 0 & ldots & 0 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & ldots & 1a_1 \
end{matrix}
ight).
The determinant of this matrix is known as the resultant of $p(x)$ and $p\text{'}(x)$, notation $R(p,p\text{'})$. The discriminant $D(p)$ of $p(x)$ is now given by the formula
:.
For example, in the case ''n'' = 4, the above determinant is
:
& 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}
The discriminant of the degree 4 polynomial is then obtained from this determinant upon dividing by $a\_4$.
Equivalently, the discriminant is equal to
:
where ''r''₁, ..., ''r''_''n'' are the complex roots (counting multiplicity) of the polynomial ''p(x)'':
:
&=&a_n(x-r_1)(x-r_2)ldots (x-r_n)end{matrix}
This second expression makes it clear that, ''p'' has a multiple root if and only if the discriminant is zero. (This multiple root can be complex.)
The discriminant can be defined for polynomials over arbitrary fields, in exactly the same fashion as above. The product formula involving the roots ''r''_''i'' remains valid; the roots have to be taken in some splitting field of the polynomial.

Discriminant of a conic section

For a conic section defined by the real polynomial:
:''ax''² + ''bxy'' + ''cy''² + ''dx'' + ''ey'' + ''f''= 0,
the discriminant is equal to
:''b''² − 4''ac'',
and determines the shape of the conic section. If the discriminant is less than 0, the equation is of an ellipse or a circle. If the discriminant equals 0, the equation is that of a parabola. If the discriminant is greater than 0, the equation is that of a hyperbola. This formula will not work for degenerate cases (when the polynomial factorizes).

Discriminant of a quadratic form

There is a substantive generalization to quadratic forms ''Q'' over any field ''K'' of characteristic ≠ 2. These can be written as a sum of terms
:''a''_''i''''L''_''i''²
where the ''L''_''i'' are linear forms and 1 ≤ ''i'' ≤ ''n'' where ''n'' is the number of variables. Then the 'discriminant' is the product of the ''a''_''i'', taken in ''K''/''K''², and is then well defined (i.e., up to squares). A more invariant way to say this is as (the class of) the determinant of a symmetric matrix for ''Q''.

Discriminant of an algebraic number field

See main article, Discriminant of an algebraic number field.

External links

★ Mathworld article

★ Planetmath article