Let {1,2,…,2009}⊇A={a1,…,ak}. Find all A sets such that 2009∣∑i=1kai. (proposed by B. Bayasgalan)
Solution
Those zi are odd numbered 2nth root of unity. In the figure regular n-gon. Consider following function's decomposition. f(x)=(1+x)(1+x2)…(1+xn). Then xk's coefficient is a set whose sum of elements. We need to find xk's sum of coefficients, which is denoted by An. Here n=2009. Now consider that sum f(ε)+f(ε2)+…+f(εn), here ε=cosn2π+isinn2π. We know that ε+ε2+…+εn=0 then we can easily see that ∑k=1nf(εk)=n⋅An. Now compute the f(εk), Assume d=(k,n). Then f(εd)=f(εk). Otherwise, numbers of all d such that d=(k,n) is φ(dn). Also, f(εd)=(1+εd)d(1+ε2d)d…(1+εn/d)d and easy calculation, we get f(εd)=[(1+εd)(1+ε2d)…(1+εdn⋅d)]d Because of xn−1=∏k=1n(x−εk) then substituting x=−1, we get (−1)n−1=(−1)nf(ε), In other word f(ε)=1+(−1)n+1. Observe that (εd)dn=1, we get f(εd)=(1+(−1)dn+1)d. Finally n⋅An=d∣n∑φ(dn)⋅(1+(−1)dn+1)d.
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.