The Perpendicular Bisector
A Geometric Insight
We begin with the equation ∣z−i∣z∣∣=∣z+i∣z∣∣. The moment you see an equation of the form ∣z−z1∣=∣z−z2∣, your brain should immediately recognize the Perpendicular Bisector.
This is the locus of all points z that are equidistant from two fixed points, z1 and z2. In our case, z1=i∣z∣ and z2=−i∣z∣.
Visualize the complex plane. These points lie on the imaginary axis, perfectly symmetric above and below the origin. If you are standing anywhere on the Real Axis, you are equidistant from these two points.
Thus, the locus is the Real Axis, where Im(z)=0. This immediately satisfies the condition Im(z)=0 and, by extension, ∣Im(z)∣≤1.
The Ellipse
The Dance of Foci
Next, we encounter the equation:
∣z+4∣+∣z−4∣=10
This is a classic. The definition of an ellipse is the locus of points where the sum of distances from two fixed points (the foci) is constant. Here, the foci are at −4 and 4, and the constant sum is 2a=10.
This gives us a semi-major axis
a=5. The distance between the foci is
2c=8, so
c=4. The eccentricity
e is defined as:
e=ac=54
The Transformation: z=w−1/w
Now, things get interesting. We are given ∣w∣=2 and a transformation z=w−1/w. Whenever you see a modulus constraint like ∣w∣=2, reach for Euler's form: w=2eiθ.
Substituting this, we get:
z=2eiθ−21e−iθ
Using Euler's identity
eiθ=cosθ+isinθ, we expand this to:
z=2(cosθ+isinθ)−21(cosθ−isinθ)
Grouping the real and imaginary parts, we find:
Re(z)=23cosθ,Im(z)=25sinθ
If we set
x=23cosθ and
y=25sinθ, we can eliminate
θ using
cos2θ+sin2θ=1. This yields the equation of an ellipse:
(3/2)2x2+(5/2)2y2=1
This ellipse has an eccentricity of 4/5, its real part is bounded by 1.5, and its total modulus is bounded by 2.5.
The Degenerate Case: z=w+1/w
Finally, we look at
z=w+1/w where
∣w∣=1. Again, use
w=eiθ. Then:
z=eiθ+e−iθ
This simplifies beautifully to z=2cosθ. Notice that the imaginary part is zero.
The entire locus is just a line segment on the real axis from −2 to 2. Since it lies on the real axis, Im(z)=0, and since it is bounded between −2 and 2, it satisfies ∣Re(z)∣<2 and ∣z∣≤3.