Maths Olympiad Prep

Library / /10 of 20

Algebra Difficulty 4.9 AIME Prove it United States

Problem:

Let 0<a0a1an0 < a_{0} \leq a_{1} \leq \cdots \leq a_{n}. If zz is a complex number such that a0zn+a1zn1++an=0a_{0} z^{n} + a_{1} z^{n-1} + \cdots + a_{n} = 0 prove that z1|z| \geq 1.

Solution

Solution:

Assume that z<1|z| < 1. If a0zn+a1zn1++an=0a_{0} z^{n} + a_{1} z^{n-1} + \cdots + a_{n} = 0 then a0zn+1+a1zn++anz=0a_{0} z^{n+1} + a_{1} z^{n} + \cdots + a_{n} z = 0 and subtracting these two equations leads to a0zn+1+(a1a0)zn++(anan1)zan=0a_{0} z^{n+1} + (a_{1} - a_{0}) z^{n} + \cdots + (a_{n} - a_{n-1}) z - a_{n} = 0, or equivalently an=a0zn+1+(a1a0)zn++(anan1)za_{n} = a_{0} z^{n+1} + (a_{1} - a_{0}) z^{n} + \cdots + (a_{n} - a_{n-1}) z hence

an=a0zn+1+(a1a0)zn++(anan1)za0zn+1+(a1a0)zn++(anan1)z<a0+(a1a0)++(anan1)=an, \begin{aligned} |a_{n}| & = \left| a_{0} z^{n+1} + (a_{1} - a_{0}) z^{n} + \cdots + (a_{n} - a_{n-1}) z \right| \\ & \leq a_{0} |z|^{n+1} + (a_{1} - a_{0}) |z|^{n} + \cdots + (a_{n} - a_{n-1}) |z| \\ & < a_{0} + (a_{1} - a_{0}) + \cdots + (a_{n} - a_{n-1}) = a_{n}, \end{aligned}

which is impossible. Thus z1|z| \geq 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 reproduced verbatim; metadata (topic, difficulty) added by this project.