nを自然数とする。ある多項式F(x)について、xの次数がnの倍数である項の係数の和をf(n)とする。ただし定数項はxの次数が0である。
(0) F(x)=(1+x)^7 のとき f(2), f(3)の値を求めよ。また
(1) 素数pについて、
f(p)=(1/p)*{Σ[k=1→p] F(cos(2kπ/p)+isin(2kπ/p))}
で表されることを示し、
(2) f(n)=(1/n)*{Σ[k=1→n] F(cos(2kπ/n)+isin(2kπ/n))}
で表されることを示せ。