指数型素数方程
求所有正整数 和质数 ,满足
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先把 单独表示。
偶数 可由奇偶性排除;奇数 则利用 模 的阶为 ,由 证明 。
移项得
若 为偶数,则式 (1) 右端为偶数。并且它大于 ,故不可能是质数。
若 为奇数,则 。因为 ,所以
由 (1) 得
故质数 只能等于 。当 时,原式确实给出 。当奇数 时,,由 (1) 有 ,与 矛盾。
综上,全部解为
代入 ,等式两边均为 。对偶数 ,式 (1) 为正偶数且远大于 ;奇数情形已包含 的情况,因为同余式仍成立。
指数型素数方程常按指数参数的奇偶拆分。看到底数 与 时,检查 模 的阶;奇数平方模 恒为 ,可把大指数稳定降幂。
需识别奇数n使n²固定为1 mod8,从而2^(n²)在模17固定为2并强迫p=17;偶数由奇偶排除,最后增长界消掉大n。
已记下,谢谢!