19/07/24 07:35:19.55 br6alVJ1.net
>>570
k_max = [ (n-t)/p ], (t=0,1,…,p-1)
定義から
(1+α^s)^n = Σ[t=0,p-1] f_t(n) α^(st), (s=0,1,…,p-1)
α≠1 は１のp乗根だから
Σ[s=0,p-1] α^s = 0,
(1/p)Σ[s=0,p-1] α^{s(t-t')} = δ_{t,t'}
これを使うと
f_t(n) = (1/p)Σ(s=0,p-1) α^(-st) (1+α^s)^n,
本問では p=5.