>>441
>f(ω^k)＝Σ[r＝0〜d−1]Tr(ω^k)＝Σ[r＝0〜d−1]ω^(kr)Pr　…＊
>となるので、k＝0,1,…,d−1を＊に代入し、得られたd個の式を全て足し合わせることで
>Σ[k＝0〜d−1]f(ω^k)＝dP0となるので、

てくだりは
Σ[k＝0〜d−1]Σ[r＝0〜d−1]ω^(kr)P_r＝dP_0
てこと？ここがようわからんです。