Solution
Iterating F we get:
F(z)F(F(z))F(F(F(z)))=z−iz+i=z−iz+i−iz−iz+i+i=(z+i)−i(z−i)(z+i)+i(z−i)=z+i−zi−1z+i+zi+1=(z−1)(1−i)(z+1)(i+1)=(z−1)(12+12)(z+1)(i+1)2=(z−1)(2)(z+1)(2i)=z−1z+1i=z−1z+1i−iz−1z+1i+i=z−1z+1−1z−1z+1+1=(z+1)−(z−1)(z+1)+(z−1)=22z=z.
From this, it follows that zk+3=zk, for all k. Thus z2002=z3⋅667+1=z1=z0−iz0+i=(1371+i)−i(1371+i)+i=13711371+2i=1+274i.
Thus a+b=1+274=275.
Solution 2 (Very Risky, only attempt if you have very little time left)
Solving for z1, we have 13711371+2i=1+274i. Notice that when we solve for z2, the result is equal to some non-integral real and imaginary part, where the value of a+b for z2 is not equal to an integer. Because this is an AIME problem, the answer must be an integer, so there is most likely a pattern or cycle that zn goes through, and because out of the first 3 terms, only one of which has an integral value for a+b, you can guess that the answer is likely 1+274=275
~Voidling