Maths Olympiad Prep

Library / /1 of 9

, 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+dM. |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)=d1f(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+(b1)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+z2=2+2x,1+(b1)z+z22=4x2+(2x1)(2u2),f(z)2=8(x3+ux2+u12xu12). \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+u12xu12h(x) = x^3 + ux^2 + \frac{u-1}{2}x - \frac{u-1}{2}. We seek to minimize maxx[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=25u = 2 - \sqrt{5}. Indeed, for this value:
h(x)(35)=(x+352)2(x1)0, h(x) - (3 - \sqrt{5}) = \left( x + \frac{3 - \sqrt{5}}{2} \right)^2 (x - 1) \leq 0,
so f(z)28(35)=(252)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)[(4x24x+2)+2(2x1)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=532+512i5z = 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(532)=(30562)+(18105)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+5594f(1)2=40580=5554(252)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 (252)2(2\sqrt{5}-2)^2, therefore when b=cb=c we always have
Lmax{f(1)2,f(z)2}(252)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(252)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 u0u \le 0.
Since b=c=1|b| = |c| = 1, we have cbb+c=wi\frac{c-b}{b+c} = wi being purely imaginary. We may assume w0w \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 cb2=(u+vi)wi\frac{c-b}{2} = (u+vi)wi, and b+c22+cb22=(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)+cb2(zz2)=z(z+1)[z+z11+u+vi+1z1+zwi(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 1z1+zwi=t\frac{1-z}{1+z} \cdot wi = t is real. Writing the unit complex number z=x+yiz = x + yi, we have z+12=2x+2|z+1|^2 = 2x+2, z+z11=2x1z+z^{-1}-1 = 2x-1, and u2+v2=11+w2u^2+v^2 = \frac{1}{1+w^2}. Therefore:
f(z)2=z+12z+z11+(u+vi)(1+t)2=(2x+2)[(2x1+u+ut)2+(v+vt)2]=(2x+2)[(2x1)2+(u2+v2)(1+2t+t2)+2(2x1)u+2(2x1)ut]=(2x+2)[(4x24x+2)+2(2x1)u+2t+t2w21+w2+2(2x1)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(252)2L \ge (2\sqrt{5}-2)^2, we want to show:
T=f(z)2+5594f(1)2(40580)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=532+5125iz = z_\star = \frac{\sqrt{5}-3}{2} + \frac{\sqrt{5}-1}{2}\sqrt{5}i (where x=532x = \frac{\sqrt{5}-3}{2} and 1z1+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[(30562)+(18105)u]=f(z)2(2x+2)[(4x24x+2)+2(2x1)u]=(2x+2)(2t+t2w21+w2+2(2x1)ut)=(51)(25w+(51)w21+w2+2(54)ut)(51)25w+(51)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+v21)=4w21+w2. T_2 = |f(1)|^2 - (8 + 8u) = 4(u^2 + v^2 - 1) = -\frac{4w^2}{1 + w^2}.
Therefore:
T=T1+5594T2(51)254w+(51)w21+w2(559)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 T0T \ge 0, which holds if:
254(51)w+((51)2(559))w20, 2\sqrt[4]{5}(\sqrt{5}-1)w + ((\sqrt{5}-1)^2 - (5\sqrt{5}-9))w^2 \ge 0,
i.e., when:
0w2(51)547515=4+25545.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 u0u \le 0 and w0w \ge 0.
If 0w20 \le w \le 2, then T0T \ge 0, meaning a certain weighted average of f(z)2|f(z_\star)|^2 and f(1)2|f(1)|^2 is (252)2\ge (2\sqrt{5}-2)^2, so L(252)2L \ge (2\sqrt{5}-2)^2.
If w2w \ge 2, then f(1)2=4+4u2+4v2+8u4+411+w24.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+c2+2+ωc+ω2b2+2+ω2c+ωb2=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:
Lf(ω)2+f(ω2)22184.82=6.6>(252)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(252)2L \ge (2\sqrt{5}-2)^2, and equality can be achieved. Thus, the minimal real number we seek is M=252M = 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 and solution reproduced as published; topic and difficulty added by this site.