Let $a, b \in \mathbb{C}^{*}$ and $(E)$ the following equation : $z^2 - az + b = 0$.

Assuming : $\left\{ \begin{equation} \begin{aligned} & \arg b \equiv 2\arg a \pmod{2\pi} \\ & |a|^2 - 4|b| \geq 0 \end{aligned} \end{equation} \right. $

How should I start in order to show that $z_1$ and $z_2$ (roots of $(E)$) would have the same arguments ($\arg z_1 = \arg z_2 \pmod{2\pi}$).

I have proved the first implication by assuming $z_1$ and $z_2$ have the same arguments, hence the set of conditions above is true.

For the reciprocal, I tried to start again from $b = z_1 z_2$ and $a = z_1 + z_2$ and manipulating these equations, but I have difficulty in wrapping my mind around the simultaneous usage of these two conditions.

I wonder also if that's provable through counter example?


I think the condition you want is actually $|a|^2-4|b|\ge 0$ (otherwise, take $a = b = 2$, and the roots of $z^2-2z+2$ are actually $1\pm i$, which have different arguments)

If the roots have the same argument, then they should have the same argument as their sum, i.e. $a$. As such, let $y = z/a$. We then have $$ z^2-az+b = (ay)^2-a(ay)+b = a^2y^2 - a^2y + b = a^2\left(y^2 - y + \frac{b}{a^2}\right).$$ Note that if $y_1$ and $y_2$ are the roots of $y^2-y+\frac{b}{a^2}$, then $y_1 = z_1/a$ and $y_2 = z_2/a$. It would suffice to show that $y_1$ and $y_2$ are both positive reals to conclude that $z_1$ and $z_2$ have the same argument.

Since $\arg b\equiv 2\arg a \equiv \arg(a^2)\mod 2\pi$, it follows that $b$ and $a^2$ have the same argument, and hence $\frac{b}{a^2}$ is real. Furthermore, by the quadratic formula, the roots $y_1$ and $y_2$ are given by $$ y_{1,2} = \frac{1\pm\sqrt{1-4\left(\frac{b}{a^2}\right)}}{2}. $$ Now use the condition $|a|^2-4|b|\ge 0$ to conclude that both roots are real and positive.

  • $\begingroup$ You're right on the condition, edited! $\endgroup$ – Raito Sep 17 '16 at 18:59

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.