Maths Olympiad Prep

Library / /7 of 18

Algebra Difficulty 6.4 National olympiad Prove it China

Let aa, bb, cc be complex numbers such that az2+bz+c1|az^2 + bz + c| \le 1 for all complex numbers zz with z1|z| \le 1. Find the maximum of bc|bc|. (Posed by Li Weigu)

Solution

Write f(z)=az2+bz+cf(z) = az^2 + bz + c. We first prove that
f(z)1 for all z,z1f(z)1 for all z,z=1. |f(z)| \le 1 \text{ for all } z, |z| \le 1 \Leftrightarrow |f(z)| \le 1 \text{ for all } z, |z| = 1.

Assume that f(z)=a(zα)(zβ)f(z) = a(z - \alpha)(z - \beta). For any zz, z<1|z| < 1, if α=β\alpha = \beta, one of the two intersection points of the line through α\alpha and the origin with the unit circle is closer to α\alpha than zz is; if αβ\alpha \neq \beta, the line through zz and perpendicular to the line through α\alpha, β\beta intersects the unit circle at two points, one of which is closer to α\alpha, β\beta than zz is, respectively. So the equivalence holds.

For any complex number zz, z=1|z| = 1, it is obvious that
f(z)=cz2+bz1+a. |f(z)| = |cz^{-2} + bz^{-1} + a|.
So abmax=bcmax|ab|_{\max} = |bc|_{\max}. Write az2+bz+c=eiαf(eiβz)a'z^2 + b'z + c' = e^{i\alpha}f(e^{i\beta}z).
One can choose real numbers α\alpha, β\beta such that aa', bb' are positive real numbers, so one can assume that aa, b0b \ge 0 without loss of generality.
1f(eiθ)Imf(eiθ)=asin2θ+bsinθ+Imc. 1 \ge |f(e^{i\theta})| \ge |\operatorname{Im} f(e^{i\theta})| = |a \sin 2\theta + b \sin \theta + \operatorname{Im} c|.
Without loss of generality we can assume Imc0\operatorname{Im} c \ge 0 (otherwise take a map, θθ\theta \to -\theta). For any θ(0,π2)\theta \in (0, \frac{\pi}{2}),
1asin2θ+bsinθ2absin2θsinθab14sin2θsinθ,θ(0,π2)abminθ(0,π2)14sin2θsinθ=14maxθ(0,π2)(sin2θsinθ)=3316bcmax=abmax3316. \begin{align*} & 1 \ge a \sin 2\theta + b \sin \theta \ge 2\sqrt{ab} \sin 2\theta \sin \theta \\ \Rightarrow & ab \le \frac{1}{4 \sin 2\theta \sin \theta}, \quad \theta \in (0, \frac{\pi}{2}) \\ \Rightarrow & ab \le \min_{\theta \in (0, \frac{\pi}{2})} \frac{1}{4 \sin 2\theta \sin \theta} = \frac{1}{4 \max_{\theta \in (0, \frac{\pi}{2})} (\sin 2\theta \sin \theta)} = \frac{3\sqrt{3}}{16} \\ \Rightarrow & |bc|_{\max} = |ab|_{\max} \le \frac{3\sqrt{3}}{16}. \end{align*}

An example of bc=3316|bc| = \frac{3\sqrt{3}}{16} is
f(z)=28z264z328,f(eiθ)2=138(cosθ33)21. f(z) = \frac{\sqrt{2}}{8}z^2 - \frac{\sqrt{6}}{4}z - \frac{3\sqrt{2}}{8}, \\ |f(e^{i\theta})|^2 = 1 - \frac{3}{8} \left(\cos \theta - \frac{\sqrt{3}}{3}\right)^2 \le 1.

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.