A friend of mine explained it to me.
While dealing with squared numbers, it's not bijective over all real numbers. So you can't talk in terms of equivalence.
That is to say that when you do the substitution here, you will have to check back if the results you've got satisfy the conditions.
If , then
Then, try out
A geometrical approach would be to note that:
1. defines a circle of radius 3 and centre C at z = 3i.
2. defines a ray with terminus at z = 3i and making an angle with the positive direction of the horizontal.
It's then easy to see that the required value of z is the point A of intersection of the circle and the ray.
There's an obvious isosceles triangle AOC (OC and AC have length 3 and angle ACO = . (O is the origin). A small bit of geometry and trigonometry, a gentle caress and the triangle gives it all to you:
.