1
$\begingroup$

According to the theory of real polynomials, if complex roots occur; then they must occur in conjugate pairs. I want to ask if its proof and applicability to odd degree real polynomials, i.e. which definitely have no chance to have all complex roots (provided all, or odd number of roots are complex) in conjugate pairs.

I have a particular example where a real polynomial is of of cubic form, and the polynomial breaks into a product of a linear and a quadratic term. The quadratic term breaks further into 2 complex conjugate roots, while the linear part has only one complex root as the answer.

So, does the theory of complex roots occurring in conjugate pairs belongs only to even degree real polynomials.

$\endgroup$
  • 1
    $\begingroup$ Where is your example? $\endgroup$ – samjoe Sep 24 '17 at 6:16
  • $\begingroup$ The result is true for all polynomials. In the case of odd degree, what does this imply? $\endgroup$ – Jihoon Kang Sep 24 '17 at 6:21
  • $\begingroup$ "The quadratic term breaks further into 2 complex conjugate roots, while the linear part has only one complex root as the answer." -- Could you post the polynomial? This shouldn't happen; the theory is definitely applicable to odd-degree polynomials too. $\endgroup$ – Henry Swanson Sep 24 '17 at 6:22
  • 1
    $\begingroup$ I am sorry, the polynomial has a constant term imaginary, specifically '-i'.This makes the polynomial 'not' a real polynomial; and hence there is no point for the theorem to apply in the first place. $\endgroup$ – jiten Sep 24 '17 at 6:32
4
$\begingroup$

The proof is pretty easy. Let $p(x) = a_n x^n + \cdots a_1 x + a_0$ be a real polynomial. We claim that complex conjugation plays nice with $p$. Let $\alpha \in \Bbb C$ be arbitrary. $$ \overline{p(\alpha)} = \overline{a_n \alpha^n + \cdots + a_1 \alpha + a_0} = \overline{a_n} \overline{\alpha^n} + \cdots \overline{a_1} \overline{\alpha} + \overline{a_0} $$

Since $a_i$ is real, this is just $$ = a_n \overline{\alpha^n} + \cdots a_1 \overline{\alpha} + a_0 = p(\overline{\alpha}) $$

So $\overline{p(\alpha)} = p(\overline{\alpha})$. What does this mean when $\alpha$ is a root?

$\endgroup$
  • $\begingroup$ This was pretty direct! Can you please tell me where similar proofs of polynomial theory are covered nicely? $\endgroup$ – akhmeteni Sep 24 '17 at 6:58
  • $\begingroup$ @akhmeteni Marden's Geometry of Polynomials is the bible of properties of polynomials in the complex plane. $\endgroup$ – Antonio Vargas Sep 24 '17 at 7:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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