单位根反演

单位根反演

$$[n|k]=\frac{1}{n}\sum _{i=0}^{n-1}{\omega }_n^{ki}$$

证明

当$n|k$时，设$k=np$，则
$$\frac{1}{n}\sum _{i=0}^{n-1}{\omega }_n^{npimodn}=\frac{1}{n}\sum _{i=0}^{n-1}{\omega }_n^0=1$$
当$n\nmid k$，根据等比数列求和公式，则
$$\frac{1}{n}\sum _{i=0}^{n-1}{\omega }_n^{ki}=\frac{1}{n}\frac{{\omega }_n^0(1-{\omega }_n^{kn})}{1-{\omega }_n^k}=0$$

原根

可以用原根代替单位根，因为单位根所具有的性质，原根也有。
设$g$是素数$p$的原根，则令$g_n=g^{\frac{p-1}{n}}$，那么有$g_n^i=g^{\frac{i(p-1)}{n}}$，就用$g_n^i$代替${\omega }_n^i$

例题

LJJ 学二项式定理