易混 2024 年江苏预赛 · P006539
两题都把算术函数方程转到素数幂层,再以有限约束恢复原整数;但因数个数与欧拉函数对素数本身的依赖不同。不能把只看指数的计数公式,套到还含素数减一因子的条件里。
一题比较指数项与原素数幂的增长,另一题从函数值的约数反向限制可能出现的素数,再核幂次。
平方的因数个数等于平方根的整数
求所有满足
的正整数 的和,其中 表示正整数 的正因数的个数。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
若 ,正因数个数为 ,因为每个素数指数可独立从零选到 。比较 时,可用相邻比值证明它随正整数指数增长。
想法从哪来:先用整性和奇偶性压缩原整数:因数个数是整数,平方根就必须为整数;平方的因数个数又是奇数,便排除偶的平方根。写成奇素数的偶指数分解后,题目转成若干素数幂的乘积等于对应线性指数因子的乘积。 逐项比较指数增长与线性增长,会发现只有极少数小素数、小指数的比值不超过一,其他因子都必须由这些例外来补偿。于是按不同素因数个数分类:一个因子直接求解,两个因子检查补偿,更多因子利用最小可能素数的乘积给出矛盾。三个因子的临界情形还需单列,不能用大致的增长判断跳过。最后把每个候选代回因数公式,连同一这个空分解情况一起检查。
右端必须为整数,先把 写成平方的素因数分解。方程随后变成
比较每个素数幂与对应线性因子, 按不同素因子个数分类,并对三个因子的临界情形单独收口。
显然符合条件。以下设 。因 为整数, 也是整数, 故 为完全平方数。又 为奇数,所以 为奇数, 也为奇数。 写成
题设等价于
先记录几个简单比较:
而当 时,对所有 都有
这些结论从 直接核对后即可归纳,因为指数项此后增长更快。
若 ,式(1)为
由上述比较只可能有
分别得到
若 ,令
因 ,有 。要使 ,只需检查
当 时,,故必须 ,得到
当 时,,由式(2)知不可能。 当 时,式(1)化为
若 ,则 ,与 矛盾;若 ,则
直接检查 ,并对 比较增长率,均不成立。
最后设 。由式(2)及 ,式(1)要成立必须有
若 ,则
其余因子也大于 ,矛盾。因此只需考察 。 若 ,则
若 ,则
所以只能有 。此时式(1)要求
显然不可能。故 时无解。
综上,全部解为
它们的和为
逐一代入:,,, 。分类已覆盖所有不同素因子个数。
因数个数等于平方根时,先由整性迫使原数成为平方,再比较素因数幂 与线性项 。少数比值不超过 的小素数、小指数是唯一 可能抵消其余严格大于 因子的情形,应逐一检查。
先把约数个数等式变为指数乘积,需控制唯一可小于1的比值,并穷尽不同素因子个数及指数。
易混 2024 年江苏预赛 · P006539
两题都把算术函数方程转到素数幂层,再以有限约束恢复原整数;但因数个数与欧拉函数对素数本身的依赖不同。不能把只看指数的计数公式,套到还含素数减一因子的条件里。
一题比较指数项与原素数幂的增长,另一题从函数值的约数反向限制可能出现的素数,再核幂次。
易混 2024 年甘肃预赛 · P006468
两题都通过素数幂分解检查“原数是平方”带来的奇偶信息,但奇偶结论属于不同算术函数。先明确数的是因子个数还是因子之和,再决定平方条件能够排除什么。
因子成对只留下一个未配对平方根,与每个素数幂几何和的奇偶性是两种论证;不能因都谈因子就互换公式。
已记下,谢谢!