2300
Roots of Unity Double Sum
Editorial
number theorybinomial theoremroots of unitycomplex numbers2-adic valuation
Let zz be a complex number with z1024=1z^{1024} = 1 and z512≠1z^{512} \ne 1. Compute
v2 ⁣( ∑k=01023∑m=01023(1+zk−m)1024),v_2\!\left(\,\sum_{k=0}^{1023}\sum_{m=0}^{1023}(1+z^{k-m})^{1024}\right),
where v2(n)v_2(n) denotes the 22-adic valuation of nn.

Sign in to submit your answer