From Wikipedia, the free encyclopedia

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² + bx + c       is       b² − 4ac.

The discriminant of the cubic polynomial

ax³ + bx² + cx + d       is       b²c² − 4ac³ − 4b³d − 27a²d² + 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 discriminant is given by

where a_n is the leading coefficient and r₁,...,r_n are the roots (counting multiplicity) of the polynomial in some 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 1 Formula for the discriminant 2 The discriminant in the quadratic formula 3 Discriminant of a polynomial 4 Discriminant of a conic section 5 Discriminant of a quadratic form 6 Discriminant of an algebraic number field 7 External links

• The quadratic polynomial ax² + bx + c has discriminant

D = b² − 4ac;

• the cubic polynomial ax³ + bx² + cx + d has discriminant

Δ = b²c² − 4ac³ − 4b³d − 27a²d² + 18abcd.

Simpler polynomials have simpler expressions for their discriminants. For example,

• the monic quadratic polynomial x² + bx + c has discriminant

D = b² − 4c;

• the monic cubic polynomial x³ + bx² + cx + d has discriminant      

Δ = b²c² − 4c³ − 4b³d − 27d² + 18bcd;

• the monic cubic polynomial without quadratic term x³ + px + q has discriminant

Δ = − 4p³ − 27q².

The quadratic polynomial P(x) = ax² + bx + c has discriminant D = b² − 4ac, 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.

The discriminant of the general polynomial

is, up to a factor, equal to the determinant of the (2n − 1)×(2n − 1) matrix (see Sylvester matrix)

The determinant of this matrix is known as the resultant of p(x) and p'(x), notation R(p,p'). The discriminant D(p) of p(x) is now given by the formula

.

For example, in the case n = 4, the above determinant is

The discriminant of the degree 4 polynomial is then obtained from this determinant upon dividing by a₄.

Equivalently, the discriminant is equal to

where r₁, ..., r_n are the complex roots (counting multiplicity) of the polynomial p(x):

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.

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

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

See main article, Discriminant of an algebraic number field.

• Mathworld article
• Planetmath article