@GuidingLight 本题的题解有事实性错误,这里帮他更正一下。
考察式子 a∈[0,p−1]∑a2c, 不妨设 p 的一个原根为 g,由 a∈[0,p−1] 知 a 遍历 0,g0,g1,g2,...gp−2,所以原式即 t=0∑p−2g2ct=1−g2c1−g2c(p−1),除非 g2c=1 时原式等于 p−1,否则原式等于 0。而又 c+d=p−1,故只有 c=d=2p−1 时 xp−1−c−d(c,d,p−1−c−dp−1)(a∈[0,p−1]∑a2c)(b∈[0,p−1]∑b2d) 不为 0。
我们注意到这一段中并没有讨论 2c=0 的情况。事实上此时会出现 00,而不是 1。补救也是简单的,多讨论 c=p−1,d=0 和 d=p−1,c=0 的情况即可。