Beruflich Dokumente
Kultur Dokumente
is
Here, if > 0, the polynomial has two real roots, if = 0, the polynomial has one real
root, and if < 0, the polynomial has no real roots. The discriminant of the cubic
polynomial
is
Definition
Formula
In terms of the roots, the discriminant is given by
where an is the leading coefficient and r1,...,rn are the roots (counting multiplicity) of
the polynomial in some splitting field. It is the square of the Vandermonde
polynomial.
Generalizations
The concept of discriminant has been generalized to other algebraic structures besides
polynomials of one variable, 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.
Formula
The quadratic polynomial
has discriminant
has discriminant
has discriminant
has discriminant
has discriminant
In terms of the roots, these are homogeneous polynomials of degree 2 (quadratic) and
6 (cubic).
Homogeneity
The discriminant is a homogeneous polynomial in the coefficients; for monic
polynomials, it is a homogeneous polynomial in the roots.
In the coefficients, the discriminant is homogeneous of degree 2n 2; this can be
seen two ways. In terms of the roots-and-leading-term formula, multiplying all the
coefficients by does not change the roots, but multiplies the leading term by . In
terms of the formula as a determinant of a
matrix divided by
an, the determinant of the matrix is homogeneous of degree 2n 1 in the entries,
and dividing by an makes the degree 2n 2; explicitly, multiplying the coefficients
by multiplies all entries of the matrix by , hence multiplies the determinant by 2n
1
.
For a monic polynomial, the discriminant is a polynomial in the roots alone (as the
term is one), and is of degree n(n
in the product, each squared.
an
terms
These are connected as the coefficients are elementary symmetric polynomials in the
roots (hence individually homogeneous).
This description restricts the possible terms in the discriminant each term consists of
2n 2 coefficients, with total degree (as symmetric polynomials in the roots) n(n
1), with each coefficient having degree at most n. These thus correspond to partitions
of n(n 1) into at most 2n 2 (positive) parts of size at most n. For the quadratic,
these are partitions of 2 into at most 2 parts of size at most 2: b2 = bb:1 + 1 and
ac:0 + 2. For the cubic, these are partitions of 6 into at most 4 parts of size at most
3, all of which occur:
While this approach gives the possible terms, it does not determine the coefficients.
Quadratic formula
The quadratic polynomial P(x) = ax2 + bx + c has discriminant D = b2 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 no real roots, and its graph lies strictly above or below
the x-axis.
Discriminant of a polynomial
To find the formula for the discriminant of a polynomial in terms of its coefficients, it
is easiest to introduce the resultant. Just as the discriminant of a single polynomial is
the product of the squares of the difference between the distinct roots of a polynomial,
the resultant of two polynomials is the product of the differences between their roots,
and just as the discriminant vanishes if and only if the polynomial has a repeated root,
the resultant vanishes if and only if the two polynomials share a root.
Since a polynomial p(x) has a repeated root if and only if it shares a root with its
derivative p'(x), the discriminant D(p) and the resultant R(p,p') both have the
property that they vanish if and only if p has a repeated root, and they have almost the
same degree (the degree of the resultant is one greater than the degree of the
discriminant) and thus are equal up to a factor of degree one.
The benefit of the resultant is that it can be computed as a determinant, namely as the
determinant of the Sylvester matrix, a (2n 1)(2n 1) matrix.
The discriminant of the general polynomial
is, up to a factor, equal to the determinant of the (2n 1)(2n 1) Sylvester matrix:
The discriminant of the degree 4 polynomial is then obtained from this determinant
upon dividing by a4.
In terms of the roots, the discriminant is equal to
where r1, ..., rn 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 ri remains valid; the
roots have to be taken in some splitting field of the polynomial.
Quadratic
Because the quadratic formula expressed the roots of a quadratic polynomial as a
rational function in terms of the square root of the discriminant, the roots of a
quadratic polynomial are in the same field as the coefficients if and only if the
discriminant is a square in the field of coefficients: in other words, the polynomial
factors over the field of coefficients if and only if the discriminant is a square.
Thus in particular for a quadratic polynomial with real coefficients, a real number has
real square roots if and only if it is nonnegative, and these roots are distinct if and
only if it is positive (not zero). Thus
< 0: 2 distinct complex roots (complex conjugate), does not factor over the
reals;
Further, for a quadratic polynomial with rational coefficients, it factors over the
rationals if and only the if the discriminant which is necessarily a rational number,
being a polynomial in the coefficients is in fact a square.
Cubic
For a cubic polynomial, the discriminant reflects the nature of the roots as follows:
< 0, the equation has 1 real root and 2 complex conjugate roots;
To decide if a polynomial has a triple root or not, one may compute the discriminant
of a cubic and the discriminant of its derivative it has a triple root if and only if both
of these vanish; equivalently, if and only if the resultants R(p,p') and R(p,p'') (or
R(p',p'')) vanish. Note that two polynomials are required, because the set of cubics
with repeated roots is a codimension 2 subvariety of the projective space of all cubics,
and thus by dimension counting one needs two polynomials to determine this set.
More directly, there is a 1-parameter set of cubics with a triple root the parameter
being the root while there is a 3-parameter set of cubics with possibly different
roots. Explicitly, the cubics with a triple root are given parametrically as (x r)3 =
x3 3rx2 + 3r2x r3, so the coefficients are ( 3r,3r2, r3) up to scale, the
twisted cubic.
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).
Kn can be expressed in
where the Li are linear forms and 1 i n where n is the number of variables. Then
the discriminant is the product of the ai, which is well-defined as a class in K/(K*)2.
For K=R, the real numbers, (R*)2 is the positive real numbers (any positive number is
a square of a non-zero number), and thus the quotient R/(R*)2 has three elements:
positive, zero, and negative.
For K=C, the complex numbers, (C*)2 is the non-zero complex numbers (any complex
number is a square), and thus the quotient C/(C*)2 has two elements: non-zero and
zero.
This definition generalizes the discriminant of a quadratic polynomial, as the
polynomial ax2 + bx + c homogenizes to the quadratic form aX2 + bXY + cY2,
which has symmetric matrix
whose determinant is ac
4ac.
The invariance of the class of the discriminant of a real form (positive, zero, or
negative) corresponds to the corresponding conic section being an ellipse, parabola, or
hyperbola.