Let a, b, c be complex numbers such that ∣az2+bz+c∣≤1 for all complex numbers z with ∣z∣≤1. Find the maximum of ∣bc∣. (Posed by Li Weigu)
Solution
Write f(z)=az2+bz+c. We first prove that ∣f(z)∣≤1 for all z,∣z∣≤1⇔∣f(z)∣≤1 for all z,∣z∣=1.
Assume that f(z)=a(z−α)(z−β). For any z, ∣z∣<1, if α=β, one of the two intersection points of the line through α and the origin with the unit circle is closer to α than z is; if α=β, the line through z and perpendicular to the line through α, β intersects the unit circle at two points, one of which is closer to α, β than z is, respectively. So the equivalence holds.
For any complex number z, ∣z∣=1, it is obvious that ∣f(z)∣=∣cz−2+bz−1+a∣. So ∣ab∣max=∣bc∣max. Write a′z2+b′z+c′=eiαf(eiβz). One can choose real numbers α, β such that a′, b′ are positive real numbers, so one can assume that a, b≥0 without loss of generality. 1≥∣f(eiθ)∣≥∣Imf(eiθ)∣=∣asin2θ+bsinθ+Imc∣. Without loss of generality we can assume Imc≥0 (otherwise take a map, θ→−θ). For any θ∈(0,2π), ⇒⇒⇒1≥asin2θ+bsinθ≥2absin2θsinθab≤4sin2θsinθ1,θ∈(0,2π)ab≤θ∈(0,2π)min4sin2θsinθ1=4maxθ∈(0,2π)(sin2θsinθ)1=1633∣bc∣max=∣ab∣max≤1633.
An example of ∣bc∣=1633 is f(z)=82z2−46z−832,∣f(eiθ)∣2=1−83(cosθ−33)2≤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.