Maths Olympiad Prep

Library / /2 of 10

, 2025

Algebra Difficulty 8.4 Shortlist Prove it China

Find the smallest real number MM such that there exist complex numbers a,b,c,da, b, c, d with ∣a∣=∣b∣=∣c∣=∣d∣=1|a| = |b| = |c| = |d| = 1 satisfying: for any complex number zz with ∣z∣=1|z| = 1,
∣az3+bz2+cz+d∣≤M. |az^3 + bz^2 + cz + d| \le M.

Solution

Let LL denote the maximum squared modulus of the polynomial f(z)=az3+bz2+cz+df(z) = az^3 + bz^2 + cz + d on the unit circle.
By choosing a unit complex number ss with s3=d/as^3 = d/a and considering f1(z)=d−1f(sz)f_1(z) = d^{-1}f(sz), we may assume without loss of generality that a=d=1a = d = 1. Thus we only need to consider polynomials of the form f(z)=z3+bz2+cz+1f(z) = z^3 + bz^2 + cz + 1.

First consider the symmetric case b=c=u+vib = c = u + vi. The polynomial factors as f(z)=(1+z)(1+(b−1)z+z2)f(z) = (1+z)(1+(b-1)z + z^2). For z=x+yiz = x + yi on the unit circle (x2+y2=1x^2 + y^2 = 1), we have:
∣1+z∣2=2+2x,∣1+(b−1)z+z2∣2=4x2+(2x−1)(2u−2),∣f(z)∣2=8(x3+ux2+u−12x−u−12). \begin{aligned} |1+z|^2 &= 2+2x, \\ |1+(b-1)z+z^2|^2 &= 4x^2 + (2x-1)(2u-2), \\ |f(z)|^2 &= 8 \left( x^3 + ux^2 + \frac{u-1}{2}x - \frac{u-1}{2} \right). \end{aligned}
Let h(x)=x3+ux2+u−12x−u−12h(x) = x^3 + ux^2 + \frac{u-1}{2}x - \frac{u-1}{2}. We seek to minimize max⁡x∈[−1,1]h(x)\max_{x \in [-1,1]} h(x).
Heuristically, the minimum occurs when h(x)h(x) has a double root at x0x_0 and a simple root at 1. Solving gives u=2−5u = 2 - \sqrt{5}. Indeed, for this value:
h(x)−(3−5)=(x+3−52)2(x−1)≤0, h(x) - (3 - \sqrt{5}) = \left( x + \frac{3 - \sqrt{5}}{2} \right)^2 (x - 1) \leq 0,
so ∣f(z)∣2≤8(3−5)=(25−2)2. \text{so } |f(z)|^2 \leq 8(3 - \sqrt{5}) = (2\sqrt{5} - 2)^2.
For the general case where b=c=u+vib = c = u + vi, consider
∣f(z)∣2=8h(x)=(2x+2)[(4x2−4x+2)+2(2x−1)u] |f(z)|^2 = 8h(x) = (2x + 2) [(4x^2 - 4x + 2) + 2(2x - 1)u]
evaluated at the "endpoint":
∣f(1)∣2=8h(1)=8+8u, |f(1)|^2 = 8h(1) = 8 + 8u,
and at the point z=z⋆=5−32+5−12i5z = z_{\star} = \frac{\sqrt{5}-3}{2} + \frac{\sqrt{5}-1}{2}i\sqrt{5} (corresponding to a possible vertex of h(x)h(x)):
∣f(z⋆)∣2=8h(5−32)=(305−62)+(18−105)u. |f(z_{\star})|^2 = 8h\left(\frac{\sqrt{5}-3}{2}\right) = (30\sqrt{5}-62) + (18-10\sqrt{5})u.
We have
∣f(z∗)∣2+55−94⋅∣f(1)∣2=405−80=55−54⋅(25−2)2. |f(z^*)|^2 + \frac{5\sqrt{5}-9}{4} \cdot |f(1)|^2 = 40\sqrt{5}-80 = \frac{5\sqrt{5}-5}{4} \cdot (2\sqrt{5}-2)^2.
---

This shows that a certain weighted average of them equals (25−2)2(2\sqrt{5}-2)^2, therefore when b=cb=c we always have
L≥max⁡{∣f(1)∣2,∣f(z⋆)∣2}≥(25−2)2. L \ge \max \{|f(1)|^2, |f(z_\star)|^2\} \ge (2\sqrt{5}-2)^2.
For general b,cb, c, we still attempt to prove L≥(25−2)2L \ge (2\sqrt{5}-2)^2.
Let ω=−1+3i2\omega = \frac{-1+\sqrt{3}i}{2} be a primitive cube root of unity. Since f(z)=z3+bz2+cz+1f(z) = z^3 + bz^2 + cz + 1, we have f(ωz)=z3+ω2bz2+ωcz+1f(\omega z) = z^3 + \omega^2 bz^2 + \omega cz + 1 and f(ω2z)=z3+ωbz2+ω2cz+1f(\omega^2 z) = z^3 + \omega bz^2 + \omega^2 cz + 1, all corresponding to the same LL value. Moreover, (b+c)+(ω2b+ωc)+(ωb+ω2c)=0(b+c) + (\omega^2 b + \omega c) + (\omega b + \omega^2 c) = 0, and at least one of these has real part ≤0\le 0. Without loss of generality, assume b+c2=u+vi\frac{b+c}{2} = u + vi with u≤0u \le 0.
Since ∣b∣=∣c∣=1|b| = |c| = 1, we have c−bb+c=wi\frac{c-b}{b+c} = wi being purely imaginary. We may assume w≥0w \ge 0 (otherwise consider the reciprocal polynomial f2(z)=z3+cz2+bz+1f_2(z) = z^3 + cz^2 + bz + 1 which has the same LL value). Thus c−b2=(u+vi)wi\frac{c-b}{2} = (u+vi)wi, and ∣b+c2∣2+∣c−b2∣2=(u2+v2)(1+w2)=1|\frac{b+c}{2}|^2 + |\frac{c-b}{2}|^2 = (u^2+v^2)(1+w^2) = 1. Now we can express:
f(z)=z3+1+b+c2(z2+z)+c−b2(z−z2)=z(z+1)[z+z−1−1+u+vi+1−z1+z⋅wi⋅(u+vi)]. f(z) = z^3+1+\frac{b+c}{2}(z^2+z)+\frac{c-b}{2}(z-z^2) = z(z+1) \left[ z + z^{-1} - 1 + u + vi + \frac{1-z}{1+z} \cdot wi \cdot (u+vi) \right].
Note that 1−z1+z⋅wi=t\frac{1-z}{1+z} \cdot wi = t is real. Writing the unit complex number z=x+yiz = x + yi, we have ∣z+1∣2=2x+2|z+1|^2 = 2x+2, z+z−1−1=2x−1z+z^{-1}-1 = 2x-1, and u2+v2=11+w2u^2+v^2 = \frac{1}{1+w^2}. Therefore:
∣f(z)∣2=∣z+1∣2⋅∣z+z−1−1+(u+vi)(1+t)∣2=(2x+2)[(2x−1+u+ut)2+(v+vt)2]=(2x+2)[(2x−1)2+(u2+v2)(1+2t+t2)+2(2x−1)u+2(2x−1)ut]=(2x+2)[(4x2−4x+2)+2(2x−1)u+2t+t2−w21+w2+2(2x−1)ut]. \begin{aligned} |f(z)|^2 &= |z+1|^2 \cdot |z+z^{-1}-1+(u+vi)(1+t)|^2 \\ &= (2x+2) \left[ (2x-1+u+ut)^2 + (v+vt)^2 \right] \\ &= (2x+2) \left[ (2x-1)^2 + (u^2+v^2)(1+2t+t^2) + 2(2x-1)u + 2(2x-1)ut \right] \\ &= (2x+2) \left[ (4x^2-4x+2) + 2(2x-1)u + \frac{2t+t^2-w^2}{1+w^2} + 2(2x-1)ut \right]. \end{aligned}
To prove L≥(25−2)2L \ge (2\sqrt{5}-2)^2, we want to show:
T=∣f(z⋆)∣2+55−94⋅∣f(1)∣2−(405−80)≥0. T = |f(z_\star)|^2 + \frac{5\sqrt{5}-9}{4} \cdot |f(1)|^2 - (40\sqrt{5}-80) \ge 0.
First, for z=z⋆=5−32+5−125iz = z_\star = \frac{\sqrt{5}-3}{2} + \frac{\sqrt{5}-1}{2}\sqrt{5}i (where x=5−32x = \frac{\sqrt{5}-3}{2} and 1−z1+z=−5i\frac{1-z}{1+z} = -\sqrt{5}i), we have t=5wt = \sqrt{5}w. Comparing with the case b=cb=c, consider:
T1=∣f(z⋆)∣2−[(305−62)+(18−105)u]=∣f(z⋆)∣2−(2x+2)[(4x2−4x+2)+2(2x−1)u]=(2x+2)(2t+t2−w21+w2+2(2x−1)ut)=(5−1)⋅(25w+(5−1)w21+w2+2(5−4)ut)≥(5−1)⋅25w+(5−1)w21+w2. \begin{aligned} T_1 &= |f(z_\star)|^2 - \left[ (30\sqrt{5}-62) + (18-10\sqrt{5})u \right] \\ &= |f(z_\star)|^2 - (2x+2) \left[ (4x^2-4x+2) + 2(2x-1)u \right] \\ &= (2x+2) \left( \frac{2t+t^2-w^2}{1+w^2} + 2(2x-1)ut \right) \\ &= (\sqrt{5}-1) \cdot \left( \frac{2\sqrt{5}w + (\sqrt{5}-1)w^2}{1+w^2} + 2(\sqrt{5}-4)ut \right) \\ &\ge (\sqrt{5}-1) \cdot \frac{2\sqrt{5}w + (\sqrt{5}-1)w^2}{1+w^2}. \end{aligned}
---

Second, since f(1)=2+2(u+vi)f(1) = 2 + 2(u + vi), we have ∣f(1)∣2=4+4u2+4v2+8u|f(1)|^2 = 4 + 4u^2 + 4v^2 + 8u, and:
T2=∣f(1)∣2−(8+8u)=4(u2+v2−1)=−4w21+w2. T_2 = |f(1)|^2 - (8 + 8u) = 4(u^2 + v^2 - 1) = -\frac{4w^2}{1 + w^2}.
Therefore:
T=T1+55−94T2≥(5−1)⋅254w+(5−1)w21+w2−(55−9)⋅w21+w2. T = T_1 + \frac{5\sqrt{5}-9}{4} T_2 \ge (\sqrt{5}-1) \cdot \frac{2\sqrt[4]{5}w + (\sqrt{5}-1)w^2}{1+w^2} - (5\sqrt{5}-9) \cdot \frac{w^2}{1+w^2}.
We want T≥0T \ge 0, which holds if:
254(5−1)w+((5−1)2−(55−9))w2≥0, 2\sqrt[4]{5}(\sqrt{5}-1)w + ((\sqrt{5}-1)^2 - (5\sqrt{5}-9))w^2 \ge 0,
i.e., when:
0≤w≤2(5−1)5475−15=4+2554≈5.666. 0 \le w \le \frac{2(\sqrt{5}-1)\sqrt[4]{5}}{7\sqrt{5}-15} = \frac{4+2\sqrt{5}}{\sqrt[4]{5}} \approx 5.666.
Through appropriate substitutions or transformations, we have ensured u≤0u \le 0 and w≥0w \ge 0.
If 0≤w≤20 \le w \le 2, then T≥0T \ge 0, meaning a certain weighted average of ∣f(z⋆)∣2|f(z_\star)|^2 and ∣f(1)∣2|f(1)|^2 is ≥(25−2)2\ge (2\sqrt{5}-2)^2, so L≥(25−2)2L \ge (2\sqrt{5}-2)^2.
If w≥2w \ge 2, then ∣f(1)∣2=4+4u2+4v2+8u≤4+4⋅11+w2≤4.8|f(1)|^2 = 4 + 4u^2 + 4v^2 + 8u \le 4 + 4 \cdot \frac{1}{1+w^2} \le 4.8. Since:
∣f(1)∣2+∣f(ω)∣2+∣f(ω2)∣2=∣2+b+c∣2+∣2+ωc+ω2b∣2+∣2+ω2c+ωb∣2=18, |f(1)|^2 + |f(\omega)|^2 + |f(\omega^2)|^2 = |2+b+c|^2 + |2+\omega c+\omega^2 b|^2 + |2+\omega^2 c+\omega b|^2 = 18,
we have:
L≥∣f(ω)∣2+∣f(ω2)∣22≥18−4.82=6.6>(25−2)2. L \ge \frac{|f(\omega)|^2 + |f(\omega^2)|^2}{2} \ge \frac{18 - 4.8}{2} = 6.6 > (2\sqrt{5} - 2)^2.
Therefore, we always have L≥(25−2)2L \ge (2\sqrt{5}-2)^2, and equality can be achieved. Thus, the minimal real number we seek is M=25−2M = 2\sqrt{5}-2.
□

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.