27
$\begingroup$

The discriminant $\Delta = 18abcd - 4b^3d + b^2 c^2 - 4ac^3 - 27a^2d^2$ of the cubic polynomial $ax^3 + bx^2 + cx+ d$ indicates not only if there are repeated roots when $\Delta$ vanishes, but also that there are three distinct, real roots if $\Delta > 0$, and that there is one real root and two complex roots (complex conjugates) if $\Delta < 0$.

Why does $\Delta < 0$ indicate complex roots? I understand that because of the way that the discriminant is defined, it indicates that there is a repeated root if it vanishes, but why does $\Delta$ greater than $0$ or less than $0$ have special meaning, too?

$\endgroup$

2 Answers 2

16
$\begingroup$

The discriminant of any monic polynomial is the product $\prod_{i \neq j} (x_i - x_j)^2$ of the squares of the differences of the roots (in an algebraic closure, e.g. $C$). Cf. the Wikipedia article on this. Consequently, if the roots are all real and distinct, this must be positive.

(If the polynomial is not monic, the factor $a_0^{2n-2}$ is thrown in, for $a_0$ the leading coefficient and $n$ the degree; this is positive for a real polynomial.)

$\endgroup$
2
  • $\begingroup$ I was looking more for the converses (e.g. Δ greater than 0 implies that all roots are distinct and real). $\endgroup$ Jul 25, 2010 at 3:29
  • 7
    $\begingroup$ OK, $\Delta>0$ implies that the roots are distinct, or the discriminant would be zero. Suppose they weren't all real. Then there is one real $x$ and two complex conjugate $z, \bar{z}$. We have that $\Delta = ((x-z)(x-\bar{z})^2(z - \bar{z})^2$. The first part is the square of the modulus of $x-z$ so is positive. The second is negative since $z - \bar{z}$ is purely imaginary. $\endgroup$ Jul 25, 2010 at 4:41
7
$\begingroup$

These implications are reached by considering the three, different cases for the roots $\{ r_1, r_2, r_3 \}$ of the polynomial: repeated root, all distinct real roots, or two complex roots and one real root.

When one of the roots is repeated, say $r_1$ and $r_2$, then it is clear that the discriminant is $0$ because the $r_1 - r_2$ term of the product is $0$.

When one root is a complex number $\rho = x+ yi$, then by the complex conjugate root theorem, $\overline{\rho} = x - yi$ is also a root. By the same theorem, the remaining third root must be real. Evaluating the product in the discriminant for this case,

$$ \begin{align*} (\rho - \overline{\rho})^2 (\rho - r_3)^2 (\overline{\rho} - r_3)^2 &= (2yi)^2 (x + yi - r^3)^2 (x - yi - r^3)^2 \\ &= -4y^2 [((x - r_3) + yi) ((x - r_3) - yi) ]^2 \\ &= -4y^2 ((x - r_3)^2 + y^2)^2 \end{align*} $$

which is less than or equal to $0$.

Finally, when all roots are real, the product is clearly positive.

Putting it all together, $\Delta$:

  • less than $0$ implies that one root is complex;
  • equal to $0$ implies that one root is repeated;
  • greater than $0$ implies that all roots are distinct and real.
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .