求最小的整数 ,使得存在两个正整数 ,满足: 都恰有 个正约数;若将 的正约数从小到大排列为
将 的正约数从小到大排列为
则存在一个整数 ,使得
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
约数个数公式 ,以及排序约数 ,是本题所需的初等数论工具。
想法从哪来:先从最少可能的约数个数试起,但逐个搜整数没有终点,应利用约数排序的固定配对结构。 偶数个约数时,首尾的符号条件与第二项、倒数第二项的符号条件互相冲突,因为对应约数的乘积就是原数。这一次排除覆盖所有偶数个数。 剩下小于9的候选只有5和7,约数个数为素数会迫使原数为素数幂,对应约数的大小方向无法产生要求的交错。于是首次可能是9;试两个不同的平方型半素数,让两组小素数和大素数交叉,列全九个约数后检查变号位置,才能确认构造。
约数按大小成对满足 。先用这一配对排除偶数 ;对质数 ,约数个数公式迫使整数为素数幂,所有对应约数的大小方向不可能中途改变。最后给出 的显式构造。
先证 均不可能。
若 为偶数,则因 ,题设在 处给出
即 。另一方面, 给出 ;又 且 为奇数,所以题设给出 。利用约数配对,
矛盾。因此 均不可能。
若 或 ,由于 是质数,恰有 个正约数的整数只能是 ,其约数依次为
由 可知 的底素数大于 的底素数,于是对所有 都有 。但题设的符号条件中必有某一项要求 ,矛盾。因此 也不可能。
下面构造 。取
它们的正约数依次为
取 。逐项比较可见 时 ,而 时 。故 可行。
综上,所求最小整数为
两构造数的约数个数均为 ,所列约数严格递增且没有遗漏。排除阶段穷尽了 的五个整数。
排序约数的核心结构是首尾配对乘积等于原数。约数总数为质数时,整数必为单个素数的相应幂;存在性部分则可从两个平方型半素数中寻找交错的九项约数序列。
排除偶数t需要联用首尾符号和互补约数乘积,排除素数t后仍需发现两组平方半素数的细致交错约数构造,使唯一变号位置符合全部排序限制。
已记下,谢谢!