19/12/21 12:28:49.85 ucYznWes.net
>>207
各nについてf(n)を多項式環からの写像と見なせば線形写像であるから単項式について示せば十分。
以下ζ=e^(2πi/n)とする。
F(x)=x^tとする。
tがnの倍数でないとき
(1/n)ΣF(ζ^k)=(1/n)(1-ζ^n)/(1-ζ)=0=f(n)。
tがnの倍数のとき
(1/n)ΣF(ζ^k)=(1/n)n=1=f(n)。
19/12/21 12:28:49.85 ucYznWes.net
>>207
各nについてf(n)を多項式環からの写像と見なせば線形写像であるから単項式について示せば十分。
以下ζ=e^(2πi/n)とする。
F(x)=x^tとする。
tがnの倍数でないとき
(1/n)ΣF(ζ^k)=(1/n)(1-ζ^n)/(1-ζ)=0=f(n)。
tがnの倍数のとき
(1/n)ΣF(ζ^k)=(1/n)n=1=f(n)。