There will be two cases, depending on the value of k:
From the original expression, we acquire the quadratic:
Using the quadratic formula, we have:
Remember that z is a complex number, so it can be real or complex (since the field of
is a subfield of
)
Hence, we can have 3 cases for the inside of the square root. It can be positive or equal to zero (real) or less than zero (complex):
For the real case:
This implies that:
Hence, the locus if z is real is y=0 or in other words, the x axis.
Now consider the unreal case:
But since the inside of the square root is negative, we will re-write it this way (it's the same thing if you expand the i back inside):
We will now separate them so we can have a very obvious real and unreal component:
Equate the real and unreal components:
We now make k^2 the subject, using the expression we acquired by equating real:
Substitute it back into the expression we had for y (so we are basically eliminating k):
With a bit of manipulation, which will involve squaring both sides, we acquire the expression:
And this is the locus for the unreal case, which is acquired when:
So to finalise our answer, our two possible loci are either the x axis, or the unit circle.