2
$\begingroup$

Is there any necessary and sufficient condition for a complex polynomial to have a real root?

A complex polynomial has a real root if and only if...?

$\endgroup$
2
  • 1
    $\begingroup$ Sufficient, yes. Necessary, probably not. (If $p$ has a real root then so does $pq$ for any complex polynomial $q$.) $\endgroup$
    – Yemon Choi
    Jul 18, 2011 at 11:06
  • $\begingroup$ Since this was not mentioned so far, note that $P$ has a real root iff the real polynomial $\gcd(P,\bar{P})$ has a real root, where $\bar{P}(z)=\overline{P(\bar{z})}$. The interest is that $\gcd$ has smaller degree (instead of $P\bar{P}$ which has twice the degree)— generically it even has degree $0$. $\endgroup$
    – YCor
    Dec 7, 2021 at 18:20

3 Answers 3

11
$\begingroup$

Yes. If your polynomial is not yet real, replace $P$ by $P\bar P$ ($\bar P$ has complex conjugated coefficients). Therefore we may suppose that $P\in{\mathbb R}[X]$.Using the Euclid algorithm, you may find the g.c.d of $P$ and $P'$. Dividing $P$ by this g.c.d, your are left with the case where $P$ is real and has simple roots.

Now, you use te Euclid algorithm : $P_0=P$, $P_1=P'$ and $P_{k-1}=Q_kP_k-P_{k+1}$. The sequence $(P_k)_k$ ends with a constant polynomial. Take $a>0$ large enough that $P$ may not have a root in $[a,+\infty)$. Let $V(a)$ be the number of sign changes in the sequence $(P_k(a))_k$. Likewise, take $b<0$ such that $P$ has no root in $(-\infty,b)$ and compute $V(b)$.

Theorem : the number of real roots of $P$ equals $V(b)-V(a)$.

$\endgroup$
4
  • $\begingroup$ This seems great, but is not a condition in terms of the coefficinets. Is there any condition obtained by the coefficients or by the discreminant of p? $\endgroup$
    – mosen
    Jul 18, 2011 at 13:43
  • $\begingroup$ Denis: what is $Q_k$? $\endgroup$ Jul 18, 2011 at 14:27
  • 1
    $\begingroup$ @Willie: I think $Q_k$ is just the quotient when $P_{k-1}$ is divided by $P_k$. $\endgroup$
    – TonyK
    Jul 18, 2011 at 16:29
  • $\begingroup$ @mosen. If $P$ is quadratic, this calculation gives you the discriminant. $\endgroup$ Jul 19, 2011 at 9:15
5
$\begingroup$

This is just a bit too long for a comment :)

Let $P$ be your polynomial and $x$ its real root. Obviously, $P(x)=0$ if and only if $$Q(x)\equiv (\mathrm{Re} P(x))^2+(\mathrm{Im} P(x))^2=0.$$ Now, $Q(x)$ is a polynomial with real coefficients, which reduces your question to finding criteria for a real-coefficients polynomial to have a real root, and these are discussed here.

$\endgroup$
9
  • $\begingroup$ Why is $Q(z)$ a polynomial in $z$? $\endgroup$
    – Yemon Choi
    Jul 18, 2011 at 12:58
  • $\begingroup$ Specifically, take $P(z)=z-1$ $\endgroup$
    – Yemon Choi
    Jul 18, 2011 at 12:59
  • 1
    $\begingroup$ @Yemon: $x$ is assumed to be real, and then my $Q(x)$ equals $P(x)\overline{P(x)}$ (cf. Denis' answer). $\endgroup$ Jul 18, 2011 at 13:39
  • 1
    $\begingroup$ @Yemon: In fact $Q(x)=P(x)\bar P(x)$ even for complex $x$ (sorry for a poor formulation in previous comment), but, and that's the main point, for real $X$ $P(x)\bar P(x)$ is clearly a polynomial in $x$. $\endgroup$ Jul 18, 2011 at 14:38
  • $\begingroup$ @Yemon: of course I meant for real $x$. $\endgroup$ Jul 18, 2011 at 15:00
0
$\begingroup$

since, $P$ has a real root if and only if $p\bar{p}$ (Denis introduced this above) has. $p\bar{p}$ is a real polynomial and one can use Tarski's theorem.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.