Proof that if a polynomial has a complex zero it's conjugate is also a zero

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 4K views
mindauggas
Messages
127
Reaction score
0

Homework Statement



If [itex]P(x)[/itex] is a polynomial with real coefficients, then if [itex]z[/itex] is a complex zero of [itex]P(x)[/itex], then the complex conjugate [itex]\bar{z}[/itex] is also a zero of [itex]P(x)[/itex].

Homework Equations



Book provides a hint: assume that [itex]z[/itex] is a zero for [itex]P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+...+a_{1}x+a_{0}[/itex] and use the fact that [itex]\bar{z}=z[/itex] if [itex]z[/itex] is real (since every real can be written as a complex number with a zero imaginary part) and that [itex]\overline{z+w}=\bar{z}+\bar{w}[/itex] and [itex]\overline{z*w}=\bar{z}*\bar{w}[/itex] for all complex numbers.

The Attempt at a Solution



Well, it is proven for any real since the complex conjugate of a real number is that same number.

I'm lost from here.
 
Physics news on Phys.org
mindauggas said:

Homework Statement



If [itex]P(x)[/itex] is a polynomial with real coefficients, then if [itex]z[/itex] is a complex zero of [itex]P(x)[/itex], then the complex conjugate [itex]\bar{z}[/itex] is also a zero of [itex]P(x)[/itex].

Homework Equations



Book provides a hint: assume that [itex]z[/itex] is a zero for [itex]P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+...+a_{1}x+a_{0}[/itex] and use the fact that [itex]\bar{z}=z[/itex] if [itex]z[/itex] is real (since every real can be written as a complex number with a zero imaginary part) and that [itex]\overline{z+w}=\bar{z}+\bar{w}[/itex] and [itex]\overline{z*w}=\bar{z}*\bar{w}[/itex] for all complex numbers.

The Attempt at a Solution



Well, it is proven for any real since the complex conjugate of a real number is that same number.

I'm lost from here.

Well, if z is a zero of P(x), then [itex]a_{n}z^{n}+a_{n-1}z^{n-1}+...+a_{1}z+a_{0} = 0[/itex].

Now take the conjugate of both sides.

For the LHS, use the rules they mentioned to systematically simplify the expression till you get it to: [itex]a_{n}{\bar{z}}^{n}+a_{n-1}{\bar{z}}^{n-1}+...+a_{1}{\bar{z}}+a_{0}[/itex]. You'll need to apply [itex]\overline{z+w}=\bar{z}+\bar{w}[/itex] first on the entire polynomial, followed by [itex]\overline{z*w}=\bar{z}*\bar{w}[/itex] on each term and finally, "[itex]\bar{z}=z[/itex] if [itex]z[/itex] is real" on the real coefficients.

For the RHS, the conjugate of 0 is of course 0.

You've now established [itex]P(\bar{z}) = 0[/itex] and you're done.
 
Last edited:
I deleted a question that was here since I misunderstood the post.
 
Last edited: