Discriminant

From Free net encyclopedia

(Redirected from Discriminant of a polynomial)

In mathematics, a discriminant is an expression which discriminates qualities of algebraic structures. The concept applies to polynomials, conic sections, quadratic forms, and algebraic number fields.

For a polynomial P(x) the discriminant is itself a polynomial function of the coefficients, and identifies the case of a multiple root. (A root is where P(x) touches the x-axis.) For instance, for the quadratic polynomial ax² + bx + c, the discriminant is b² − 4ac, which is the quantity under the square root sign in the quadratic formula for the roots.

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.

1 Discriminant of a polynomial
2 Discriminant of a conic section
3 Discriminant of a quadratic form
4 Discriminant of an algebraic number field

[edit]

Discriminant of a polynomial

The discriminant of a polynomial is a number which can be easily computed from the coefficients of the polynomial and which is zero if and only if the polynomial has a multiple root. For instance, the discriminant of the polynomial ax² + bx + c is b² − 4ac.

For the general definition, suppose

p(x) = xⁿ + a_n−1xⁿ⁻¹ + ... + a₁x + a₀

is a polynomial with real coefficients. The discriminant of this polynomial is defined as the determinant of the (2n − 1)×(2n − 1) matrix

 1     a_n−1     a_n−2      .         .        .    a₀       0           .   .   .   0
 0     1        a_n−1     a_n−2       .        .    .       a₀           0   .   .   0
 0     0        1        a_n−1     a_n−2       .    .       .            a₀  0   .   0
 .     .        .        .         .        .    .
 .     .        .        .         .        .    .
 0     0        0        0         0        1    a_n−1    a_n−2          .   .   .  a₀
 n  (n−1)a_n−1 (n-2)a_n−2   .         .       1a₁   0        0           .   .   .   0
 0     n      (n−1)a_n−1 (n−2)a_n−2   .        .   1a₁       0           0   .   .   0
 0     0        n       (n−1)a_n−1 (n−2)a_n−2  .    .       1a₁          0   0   .   0
 .     .        .        .         .        .    .
 .     .        .        .         .        .    .
 0     0        0        0         0        n  (n−1)a_n−1(n−2)a_n−2      .   .  1a₁  0
 0     0        0        0         0        0    n      (n−1)a_n−1(n−2)a_n−2 .   .  1a₁

In the case n = 4, this discriminant looks like this:

<math>\begin{vmatrix}

& 1 & a_3 & a_2 & a_1 & a_0 & 0 & 0 \\
& 0 & 1 & a_3 & a_2 & a_1 & a_0 & 0 \\
& 0 & 0 & 1 & a_3 & a_2 & a_1 & a_0 \\
& 4 & 3a_3 & 2a_2 & 1a_1 & 0 & 0 & 0 \\
& 0 & 4 & 3a_3 & 2a_2 & 1a_1 & 0 & 0 \\
& 0 & 0 & 4 & 3a_3 & 2a_2 & 1a_1&  0 \\
& 0 & 0 & 0 & 4 & 3a_3 & 2a_2 & 1a_1 \\

\end{vmatrix}</math>

The discriminant of p(x) is thus equal to the resultant of p(x) and p'(x).

One can show that, up to sign, the discriminant is equal to

Π_{i < j} (r_i − r_j)²

where r₁, ..., r_n are the (complex) numbers such that

p(x) = (x − r₁) (x − r₂) ... (x − r_n)

Therefore, p has a multiple root if and only if the discriminant is zero. Note however that this multiple root can be complex.

In order to compute discriminants, one does not evaluate the above determinant each time for different coefficient, but instead one evaluates it only once for general coefficients to get an easy-to-use formula. For instance, the discriminant of a polynomial of third degree is

a₁²a₂² − 4a₀a₂³ − 4a₁³a₃ + 18 a₀a₁a₂a₃ − 27a₀²a₃².

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.

[edit]

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² − 4ac,

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 factorises).

[edit]

Discriminant of a quadratic form

There is a substantive generalisation, to quadratic forms Q over any field K of characteristic ≠ 2. These can be written as a sum of terms

a_iL_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.