Maths Olympiad Prep

Library / Chinese Mathematical Olympiad /6 of 17

Chinese Mathematical Olympiad

Algebra Difficulty 6.4 National Olympiad Prove it China

Let aa, bb, cc be complex numbers such that ∣az2+bz+c∣≤1|az^2 + bz + c| \le 1 for all complex numbers zz with ∣z∣≤1|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,∣z∣≤1⇔∣f(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)∣=∣cz−2+bz−1+a∣. |f(z)| = |cz^{-2} + bz^{-1} + a|.
So ∣ab∣max⁡=∣bc∣max⁡|ab|_{\max} = |bc|_{\max}. Write a′z2+b′z+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 a′a', b′b' are positive real numbers, so one can assume that aa, b≥0b \ge 0 without loss of generality.
1≥∣f(eiθ)∣≥∣Im⁡f(eiθ)∣=∣asin⁡2θ+bsin⁡θ+Im⁡c∣. 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 Im⁡c≥0\operatorname{Im} c \ge 0 (otherwise take a map, θ→−θ\theta \to -\theta). For any θ∈(0,π2)\theta \in (0, \frac{\pi}{2}),
1≥asin⁡2θ+bsin⁡θ≥2absin⁡2θsin⁡θ⇒ab≤14sin⁡2θsin⁡θ,θ∈(0,π2)⇒ab≤min⁡θ∈(0,π2)14sin⁡2θsin⁡θ=14max⁡θ∈(0,π2)(sin⁡2θsin⁡θ)=3316⇒∣bc∣max⁡=∣ab∣max⁡≤3316. \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)=28z2−64z−328,∣f(eiθ)∣2=1−38(cos⁡θ−33)2≤1. 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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