讨论区题解
查看原帖
讨论区题解
107494
cecilia_sankta楼主2022/7/12 16:31

@GuidingLight 本题的题解有事实性错误,这里帮他更正一下。

考察式子 a[0,p1]a2c\sum\limits_{a\in [0, p-1]} a^{2c}, 不妨设 pp 的一个原根为 gg,由 a[0,p1]a\in [0, p-1] 知 a 遍历 0,g0,g1,g2,...gp20, g^0, g^1, g^2, ... g^{p-2},所以原式即 t=0p2g2ct=1g2c(p1)1g2c\sum\limits_{t=0}^{p-2} g^{2ct} = \frac{1-g^{2c(p-1)}}{1-g^{2c}},除非 g2c=1g^{2c} = 1 时原式等于 p1p-1,否则原式等于 0。而又 c+d=p1c+d = p-1,故只有 c=d=p12c=d=\frac{p-1}{2}xp1cd(p1c,d,p1cd)(a[0,p1]a2c)(b[0,p1]b2d)x^{p-1-c-d} \dbinom{p-1}{c, d, p-1-c-d} ( \sum\limits_{a\in [0, p-1]} a^{2c} ) ( \sum\limits_{b\in [0, p-1]} b^{2d} ) 不为 0。

我们注意到这一段中并没有讨论 2c=02c = 0 的情况。事实上此时会出现 000^0,而不是 1。补救也是简单的,多讨论 c=p1,d=0c = p-1, d=0d=p1,c=0d=p-1, c=0 的情况即可。

2022/7/12 16:31
加载中...