Finding something worth knowing…

Science

One number tells you what a polynomial's roots look like without solving it

The discriminant is built from a polynomial's coefficients alone, yet it reveals whether roots repeat and whether they are real. For a quadratic it is the familiar b squared minus 4ac under the square root. For a general sextic, the same quantity sprawls across 246 separate terms.

The British mathematician James Joseph Sylvester coined the word in 1851. The core fact holds for every degree: a polynomial's discriminant is zero exactly when the polynomial has a repeated root. That makes it a quick test for coincidences among roots, with no need to find them first.

For quadratics with real coefficients, the sign does the rest. Positive means two distinct real roots, zero means a double root, and negative means two complex roots that mirror each other. If the coefficients are rational, the discriminant is a perfect rational square precisely when both roots are rational. Cubics follow a similar pattern: positive signals three distinct real roots, negative signals one real root and a complex pair.

The general rule is surprisingly neat. For real coefficients and no repeated roots, the discriminant comes out positive whenever the count of complex, non-real roots divides evenly by four, zero included, and negative in every other case. That is why a quartic with a negative discriminant must have two real and two complex roots, while a positive one means the roots are all real or all non-real. Mathematicians chose the sign convention deliberately so that polynomials with only real roots come out positive.

Under the hood, the discriminant can be written as the product of the squared differences between every pair of roots, scaled by the leading coefficient, which shows at a glance why a repeated root forces it to zero. It can also be computed from a determinant called the Sylvester matrix. Beyond school algebra, versions of the idea turn up in number theory, in the study of algebraic number fields and quadratic forms, and in algebraic geometry, and for cubic equations it even decides whether a certain symmetry group is the cyclic group of order three.

Source: Discriminant

Related

More in Science · All topics