Maths Olympiad Prep

Library / /257 of 348

Algebra Difficulty 5.0 AIME, harder Find the answer

Given complex number zz, define sequence z0,z1,z2,z_{0}, z_{1}, z_{2}, \ldots as z0=zz_{0}=z and zn+1=2zn2+2znz_{n+1}=2 z_{n}^{2}+2 z_{n} for n0n \geq 0. Given that z10=2017z_{10}=2017, find the minimum possible value of z|z|.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Define wn=zn+12w_{n}=z_{n}+\frac{1}{2}, so zn=wn12z_{n}=w_{n}-\frac{1}{2}, and the original equation becomes wn+112=2(wn12)2+2(wn12)=2wn212w_{n+1}-\frac{1}{2}=2\left(w_{n}-\frac{1}{2}\right)^{2}+2\left(w_{n}-\frac{1}{2}\right)=2 w_{n}^{2}-\frac{1}{2} which reduces to wn+1=2wn2w_{n+1}=2 w_{n}^{2}. it is not difficult to show that z10+12=2017+12=40352=w10=21023w01024z_{10}+\frac{1}{2}=2017+\frac{1}{2}=\frac{4035}{2}=w_{10}=2^{1023} w_{0}^{1024} and thus w0=403510242ω1024w_{0}=\frac{\sqrt[1024]{4035}}{2} \omega_{1024}, where ω1024\omega_{1024} is one of the 1024th 1024^{\text {th }} roots of unity. Since w0=403510242>12\left|w_{0}\right|=\frac{\sqrt[1024]{4035}}{2}>\frac{1}{2}, to minimize the magnitude of z=w012z=w_{0}-\frac{1}{2}, we need ω1024=1\omega_{1024}=-1, which gives z=4035102412|z|=\frac{\sqrt[1024]{4035}-1}{2}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.