Maths Olympiad Prep

Library / /5 of 16

Algebra Difficulty 5.6 AIME, harder Prove it Bulgaria

Problem:
Find all complex numbers a0a \neq 0 and bb such that for every complex root ww of the equation z4az3bz1=0z^{4}-a z^{3}-b z-1=0 the inequality aww|a-w| \geq|w| holds.

Solution

Solution:
Let zk,1k4z_{k}, 1 \leq k \leq 4, be the roots of the given equation. Using Vieta's formulas we obtain
z1+z2+z3+z4=a and z12+z22+z32+z42=a2 z_{1}+z_{2}+z_{3}+z_{4}=a \text{ and } z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+z_{4}^{2}=a^{2}
Set uk=2zka=xk+iyk,1k4u_{k}=\frac{2 z_{k}}{a}=x_{k}+i y_{k}, 1 \leq k \leq 4, where xk,ykRx_{k}, y_{k} \in \mathbb{R}. Then uk2=xk2yk2+2ixkyku_{k}^{2}=x_{k}^{2}-y_{k}^{2}+2 i x_{k} y_{k} and we get
x1+x2+x3+x4=2x12+x22+x32+x42=4+y12+y22+y32+y424 \begin{aligned} & x_{1}+x_{2}+x_{3}+x_{4}=2 \\ & x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}=4+y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2} \geq 4 \end{aligned}
On the other hand,
azkzk2ukuk(2xk)2+yk2xk2+yk2xk1 \left|a-z_{k}\right| \geq\left|z_{k}\right| \Longleftrightarrow\left|2-u_{k}\right| \geq\left|u_{k}\right| \Longleftrightarrow\left(2-x_{k}\right)^{2}+y_{k}^{2} \geq x_{k}^{2}+y_{k}^{2} \Longleftrightarrow x_{k} \leq 1
Now (1) implies xk1x_{k} \geq-1, i.e. xk21x_{k}^{2} \leq 1, which together with (2) gives xk=±1x_{k}= \pm 1, yk=0y_{k}=0.
Hence (1) shows that three of the numbers xkx_{k} are equal to 1 and the fourth one is 1-1. We can assume that z1=z2=z3=z4z_{1}=z_{2}=z_{3}=-z_{4}. Then z1z2z3z4=1z_{1} z_{2} z_{3} z_{4}=-1 implies z1=±1,±iz_{1}= \pm 1, \pm i, which gives
(a,b)=(2,2),(2,2),(2i,2i),(2i,2i) (a, b)=(2,-2),(-2,2),(2 i, 2 i),(-2 i,-2 i)

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.