Question
Question: Consider the set of complex number z satisfying $|1 + z + z^2| = 4$. The maximum value of the imagin...
Consider the set of complex number z satisfying ∣1+z+z2∣=4. The maximum value of the imaginary part of z can be written in the form nm, where m and n are relatively prime positive integers. What is m+n?

19
21
23
25
23
Solution
We start with the equation
∣1+z+z2∣=4,where z=x+iy is a complex number. Our goal is to find the maximum value of the imaginary part of z; i.e. maximize y.
A very useful trick is to “complete the square” in the quadratic in z. Notice that
z2+z+1=(z+21)2+43.Define
w=z+21.Then the equation becomes
w2+43=4.In this substitution the imaginary part of z is the same as that of w (since z=w−21 and −21 is real). Write
w=u+iv.Then
w2=(u+iv)2=u2−v2+2iuv,so that
w2+43=(u2−v2+43)+2iuv.Thus the modulus condition becomes
(u2−v2+43)2+(2uv)2=16.Rather than tackling this directly in u,v, an alternative and simpler method is to “optimize” directly in z=x+iy. Write
1+z+z2=1+(x+iy)+(x2−y2+2ixy)=(1+x+x2−y2)+i(y+2xy).Denote
A=1+x+x2−y2,B=y+2xy.Thus the condition is:
A2+B2=16.For a given y we need the existence of real x such that
(x2+x+(1−y2))2+(y(2x+1))2=16.To find the extreme (maximum) value of y, we require that for that y the equation in x has a double (repeated) solution. In other words, we consider the function:
F(x)=[x2+x+(1−y2)]2+y2(2x+1)2−16=0,and we require that
dxdF=0.Differentiating with respect to x,
dxdF=2[x2+x+(1−y2)](2x+1)+2y2(2x+1)⋅2.Factor out the common term 2(2x+1):
dxdF=2(2x+1)[x2+x+(1−y2)+2y2]=2(2x+1)[x2+x+1+y2].Since the quadratic x2+x+1+y2 is always positive for all real x and y (its discriminant is negative), the only possibility for a double solution is if
2x+1=0⟹x=−21.Substitute x=−21 back into the expressions. First, compute the real part:
A=x2+x+(1−y2)withx=−21.Calculate:
(−21)2−21=41−21=−41,so that
A=−41+(1−y2)=43−y2.Next, the imaginary part:
B=y(2x+1)=y(2(−21)+1)=y(−1+1)=0.Thus the modulus condition becomes:
(43−y2)2=16.Taking square roots gives
43−y2=±4.Consider the two cases:
-
43−y2=4⟹−y2=4−43=413, so y2=−413 (not possible).
-
43−y2=−4⟹y2=43+4=43+416=419.
Thus,
y=±219.Since we require the maximum (largest positive) imaginary part,
ymax=219.The answer is given in the form nm which matches 419 with m=19 and n=4. Therefore,
m+n=19+4=23.Below is a mermaid diagram summarizing the key steps:
Explanation (Minimal):
- Write 1+z+z2=(x2+x+(1−y2))+i(y+2xy) for z=x+iy.
- For a maximum y, the equation (x2+x+(1−y2))2+(y+2xy)2=16 must have a double root in x. Differentiate w.r.t. x and set dxdF=0. This leads to 2x+1=0, i.e. x=−21.
- Substitute x=−21 to get (43−y2)2=16, which gives y2=419.
- Hence, maximum y=219=419; thus m=19,n=4 and m+n=23.