费马商为完全平方数的素数分类
求所有满足“
是完全平方数”的素数 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
对奇素数先把 分成两个互素的相邻奇数因子。
由费马小定理,素数 恰好整除其中一个;除去 后的两个互素因子乘积是平方, 所以每个因子都必须是平方。问题由此归结为 为平方的两个初等方程。
当 时,
不是完全平方数,故 必为奇素数。令
由费马小定理,,而
两个因子都是奇数,且最大公因数为 ,所以 恰好整除其中一个。
若 ,则
是两个互素正整数的乘积,并且是完全平方数。因此 本身是完全平方数。 设 ,则 为奇数,且
故 都是 的幂。二者相差 、最大公因数为 ,只能是
于是 ,从而 。
若 ,同理可知 是完全平方数。设
若 ,则左式给出 ,而 为奇数, ,矛盾。因此 ,从而 。
直接检验:
所以全部所求素数为
因 ,素数 不可能同时整除两个因子; 除去 后的两个因子仍互素,所以“互素乘积为平方则各自为平方”的使用条件完整。 两个所得素数均已代回原式。
指数式减一遇到 为偶数时,优先作平方差分解。 把素因子 定位到互素因子中的一个后,平方性可逐因子传递; 用相邻因子分解, 用模 ,即可完成穷尽分类。
关键是拆成两个互素的相邻奇数,迫使未含p的因子单独为平方,然后分别用2的幂分解和模4排除。
已记下,谢谢!