Solution:
Let bk:=a9999−k for sake of brevity, so we wish to compute b1+b2+⋯+b200. Let pk be the sum of the k-th powers of ζm+ωn over all ordered pairs (m,n) with 0≤m<99 and 0≤n<101. Recall that Newton's sums tells us that
p1+b1p2+p1b1+2b2p3+p2b1+p1b2+3b3=0=0=0
and in general kbk+∑j=1kpjbk−j=0. The key idea is that pk is much simpler to compute than bk, and we can relate the two with Newton's sums.
The roots of unity filter identity tells us that if P(s,t) is a two-variable polynomial, then z(P):=99991∑P(ζm,ωn) over all 0≤m<99 and 0≤n<101 is exactly the sum of the coefficients of the terms s99at101b. Suppose that Pk(s,t)=(s+t)k. Then z(Pk) is precisely pk/9999. So one can check that
- if k=99,101,198,200, then (s+t)k has no terms of the form s99at101b and so pk=0.
- if k=99,101,198, then z(Pk)=1 and pk=9999.
- if k=200, then z(Pk)=(99200) and pk=9999(99200).
We can now compute bk using Newton's sums identities:
- we have bk=0 for k=99,101,198,200.
- since p99+99b99=0, we have b99=−101;
- since p101+101b101=0, we have b101=−99;
- since p198+p99b99+198b198=0, we have
b198=1981(−p198−p99b99)=1981(−9999+9999⋅101)=5050.
- since p200+p101b99+p99b101+200b200=0, we have
b200=2001(−p200−p101b99−p99b101)=2001(−9999(99200)+9999⋅101+9999⋅99)=9999−2009999(99200)
Hence, we have
b1+b2+⋯+b200=−101−99+5050+9999−2009999(99200)=14849−2009999(99200)