(a) Show that the roots of equation $z^4 + a_1 z^3 + a_2 z^2 + a_3 z + a_4 = 0$ where $a_1, a_2, a_3, a_4$ are real constants different from zero, has a pure imaginary root if $a_3^2 + a_1^2 a_4 = a_1 a_2a_3$
(b) Is converse of (a) true?

I tried factoring $z^4 + a_1 z^3 + a_2 z^2 + a_3 z + a_4 = (z^2 + b_1 z + b_2)(z^2 + c_1 z + c_2)$ and compared (equating both $b_1 = c_1 = 0$) but couldn't get the required results (that would get $a_1 = 0 $). Did I make any mistake on assumptions? I am beginning to doubt this question? Any suggestions, hints?

enter image description here

  • 2
    $\begingroup$ When the roots are purely imaginary then $a_1$ is also purely imaginary and so cannot be "real constant different from zero". Something's wrong here... $\endgroup$ – Marek Feb 27 '13 at 15:33
  • $\begingroup$ I don't know ... I am thinking the same. $\endgroup$ – hasExams Feb 27 '13 at 15:34
  • 2
    $\begingroup$ I bet the problem means that at least one of the roots is purely imaginary, not all of them. $\endgroup$ – Thomas Andrews Feb 27 '13 at 15:39
  • $\begingroup$ uploaded, please check it :) $\endgroup$ – hasExams Feb 27 '13 at 15:47
  • 1
    $\begingroup$ The image you uploaded states "has a pure imaginary root", which is different than your stated question. I believe the question in the image meant "one of the roots has no real part". $\endgroup$ – user2055 Feb 27 '13 at 16:03

We will assume the problem means that the polynomial has a purely imaginary root, not that all the roots are purely imaginary.

The converse is not true unless you also know that $\frac{a_3}{a_1}>0$.

To do this, show that if $$a_3^2 + a_1^2 a_4 = a_1 a_2a_3$$ then $$z^4+a_1z^3+a_2z^2+a_3z+a_4 = (z^2+\frac{a_3}{a_1})(z^2+a_1z+\frac{a_4a_1}{a_3})$$

The coefficients for $x^3$ is $a_1$ on both side, the coefficient for $z$ is $a_3$ on both sides, and the constant is $a_4$ on both sides. So you only need to prove that the coefficient for $z^2$ is $a_2$ on both sides. On the right, that coefficient is $$\frac{a_4a_1}{a_3} + \frac{a_3}{a_1} = \frac{a_4a_1^2+ a_3^2}{a_1a_3}=\frac{a_1a_2a_3}{a_1a_3} = a_2$$

So the two polynomials are equal. But $z^2+\frac{a_3}{a_1}$ has a purely imaginary root when $\frac{a_3}{a_1}>0$, but does not when $\frac{a_3}{a_1}<0$. (The case of equal zero depends on purely imaginary, but since we know that $a_3\neq 0$, this is irrelevant.)

On the other hand, the other part $z^2+a_1z + \frac{a_4a_1}{a_3}$ never has purely imaginary roots when $a_1\neq 0$. So we can say that when we have real $a_1,a_2,a_3,a_4\neq 0$, then the polynomial $$z^4+a_1z^3+a_2z^2+a_3z+a_4$$ has a purely imaginary root if and only if $a_3$ and $a_1$ have the same sign and $a_3^2 + a_1^2 a_4 = a_1 a_2a_3$.

Note, the image from the book is actually the opposite problem, and it is an error on the part of the publisher/authors. It asks you to prove that the polynomial has a pure imaginary root if $a_3^2 + a_1^2 a_4 = a_1 a_2a_3$, which is not the case. For a simple example, let $(a_1,a_2,a_3,a_4)=(-1,1,1,-2)$. Then $$z^4+a_1z^3+a_2z^2+a_3z+a_4=(z-1)(z+1)(z^2-z+2)$$ which does not have a pure imaginary root.


let me come again descriptively.

let $z=ix$ (purely imaginary)

After substituting the value of $z$ at given equation we get a polynomial in terms of $x$. (mark it 1).

Again $z=-ix$ (conjugate of $ix$) will also satisfy the polynomial. (mark it 2)

Subtract 1 from 2, and we'll get $x=\pm\sqrt{a_3/a_1}$. Use this value of $x$ in any of the equation (1 or 2). And we'll get the desired condition of having a purely imaginary root. (suggestion: have a pen and paper)


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.