0208132人目の素数さん垢版 | 大砲2019/12/21(土) 12:28:49.85ID:ucYznWes >>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)。