Find solutions of complex equation

[quebecois22]

Homework Statement

Give under the exponential form all non-zero solutions of (z³) + (4conjugate(z²)) = 0

Homework Equations

z=x+iy where i²=-1
zⁿ=rⁿ(cos(nθ)+isin(nθ))

The Attempt at a Solution

First i tried expanding by making z=x+iy so x³+3ix²y+4x²-3xy²-8ixy-iy³-4y²=0, but then I have no idea on how to get the solutions out of this mess.
Then I tried putting it into exponential and using roots:
z³=-4conjugate(z²)
z=(-4)^1/3r^2/3(cos((2θ+2πk)/3)-sin((2θ+2πk)/3))

And now I have no idea what to do... :S

Thank you for your time

 

[dynamicsolo]

z³=-4conjugate(z²)
z=(-4)^1/3r^2/3(cos((2θ+2πk)/3)-sin((2θ+2πk)/3))

This is more like the thing to do (especially in view of the problem statement), but why did you only apply polar form to one side of the equation? You could write

( r \cdot e^{i \theta} )^{3} = -4 \cdot ( r \cdot e^{- i \theta} )^{2} .

[Conjugates are easy to deal with in polar form.]

And you really don't want to work in Cartesian coordinates in solving equations like this in the complex plane, if you can help it: it's an expressway to Dementia...

 

[quebecois22]

Alright I think I've managed to get to -4=r(cos(5θ)+isin(5θ))... Is that possible? :P

Since the question asks for solutions, do I have to find values of r and θ that satisfy this equation? How do I go on from there?

 

[dynamicsolo]

Does r = \frac{-4}{e^{i \cdot 5\theta}} sound like it could be a polar curve? (Remember that "negative radii" do have a meaning for polar curves.)

EDIT: I guess I should elaborate a little, since this aspect is new to me too. I would suspect that since r is supposed to be real, the solutions will occur when the imaginary part of the expression becomes zero. So there is a set of solutions ( r, theta ) for this; the arrangement, though, strikes me as akin to plotting a polar curve.

SECOND REVISIT: If you know what a five-petal rosette looks like, you find something interesting about where the solutions lie...

 

[quebecois22]

What I don't get is how can I find the values of theta to make the equations equal to r... what is r?? I've always found solutions using square roots but I don't see how this can be relevant here...

 

[dynamicsolo]

If we go back to your form of the solution, r = -4 \cdot e^{-i \cdot 5\theta} = -4 \cdot [ \cos(5\theta) - i \sin(5\theta) ], the radius is real when the imaginary part is zero, for \theta = \frac{k \pi}{5} . All of the solutions then have modulus 4 , since \cos(5\theta) = \pm 1 at those angles.

So, for \theta = 0 , r = -4, which puts it at ( 4, pi ) on a polar diagram (corresponding to z = -4) ; for \theta = \frac{\pi}{5} , r = 4 ; etc. I believe you'll find that there are five distinct solutions.

 

[quebecois22]

I think I get it now... but one last thing: wouldn't there only be two solutions? z=-4 and z=4? Because sin is only equal to 0 at 0,π,2π,etc., so the angle will vary between π and 2π. But 0 and 2π are located at the same place on the complex graph. So when the angle is equal to 2π, isn't it equivalent as it being equal to 0?

 

[dynamicsolo]

Sorry for the delay -- I had to return to working with students face-to-face… I also was chasing an elusive minus-sign in this.

I'm going to return to this equation: r = -4 \cdot [ \cos(5\theta) - i \sin(5\theta) ]. Since we require r to be real, the imaginary part will be zero when \sin (5\theta) = 0 \Rightarrow 5\theta = k \pi \Rightarrow \theta = \frac{k \pi}{5} . So under that condition,

r = -4 \cos (k \pi) = -4 \cdot ( -1 )^{k} ,

which leads us to the solutions

z = 4 \cdot ( -1 )^{k+1} \cdot cis (\frac{k \pi}{5}) .

[Incidentally, z = 4 is not a solution, since that gives 4³ = 64 , but 4 \overline {z^{2}} = 4 \cdot (4^{2}) = 64 , so the terms don't cancel in the original equation.]

We now find from this that

z^{3} = 4^{3} \cdot [ ( -1 )^{k+1} ]^{3} \cdot [ \cos (\frac{3k \pi}{5}) + i \cdot \sin (\frac{3k \pi}{5}) ] = 64 \cdot ( -1 )^{3(k+1)} \cdot [ \cos (\frac{3k \pi}{5}) + i \cdot \sin (\frac{3k \pi}{5}) ] = 64 \cdot ( -1 )^{(k+1)} \cdot [ \cos (\frac{3k \pi}{5}) + i \cdot \sin (\frac{3k \pi}{5}) ] ,

while

z^{2} = 4^{2} \cdot [ ( -1 )^{k+1} ]^{2} \cdot [ \cos (\frac{2k \pi}{5}) + i \cdot \sin (\frac{2k \pi}{5}) ] = 16 \cdot ( -1 )^{2(k+1)} \cdot [ \cos (\frac{2k \pi}{5}) + i \cdot \sin (\frac{2k \pi}{5}) ] = 16 \cdot 1 \cdot [ \cos (\frac{2k \pi}{5}) + i \cdot \sin (\frac{2k \pi}{5}) ]

\Rightarrow -4 \cdot \overline{z^{2}} = -64 \cdot [ \cos (\frac{2k \pi}{5}) - i \cdot \sin (\frac{2k \pi}{5}) ] .

We could use trig identities to show that z^{3} = -4 \cdot \overline{z^{2}} are the same, but it might be as quick to just examine the solutions, which you can check out. The distinct values only run from k = 0 to k = 4 , since

z₀ = 4 · (-1)^{0 + 1} cis (0) = z₅ = 4 · (-1)^{5 + 1} cis (pi) = -4 , and so on ; points beyond k = 4 fall onto already existing points.

As one example, if we test, say, k = 3 in the results for the two terms, we find

z_{3}^{3} = 64 \cdot ( -1 )^{(3+1)} \cdot [ \cos (\frac{9 \pi}{5}) + i \cdot \sin (\frac{9 \pi}{5}) ] = 64 \cdot [ \cos (\frac{9 \pi}{5}) + i \cdot \sin (\frac{9 \pi}{5}) ]

versus

-4 \cdot \overline{z_{3}^{2}} = -64 \cdot [ \cos (\frac{6 \pi}{5}) - i \cdot \sin (\frac{6 \pi}{5}) ] = -64 \cdot [ \cos (\frac{4 \pi}{5}) - i \cdot [-\sin (\frac{4 \pi}{5})] ] = -64 \cdot [ \cos (\frac{4 \pi}{5}) + i \cdot \sin (\frac{4 \pi}{5}) ]

= -64 \cdot -[ \cos (\frac{9 \pi}{5}) + i \cdot \sin (\frac{9 \pi}{5}) ] = 64 \cdot [ \cos (\frac{9 \pi}{5}) + i \cdot \sin (\frac{9 \pi}{5}) ] ,

by applying the symmetry properties of sine and cosine. The other four solutions are easier to check.

As I mentioned earlier, if you plot the polar curve r = -4 \cos (5\theta), you'll get a five-petal rosette: the solutions lie at the tips of each petal.