由于笔者学艺不精,下文写的东西就很 naive,如果您获得了不好的观看体验,或者觉得这东西不配放到 UOJ 里面,请在评论轻喷。
我们首先从一道数学题开始看起:
来源:2021年 AMC12 B卷 第25题
Let denote the number of positive integers that divide , including and . For example, , , and . Let
There is a unique positive integer such that for all positive integers . What is the sum of the digits of ?
(A) 5
(B) 6
(C) 7
(D) 8
(E) 9
参考译文如下:
令 表示正整数 的正约数(包括 和 )的个数。例如,, 以及 。令 。存在一个唯一的正整数 ,使得对于所有正整数 ,都有。问 的各位数字之和是多少?
是不是和标题很像?我们先考虑解决这个问题。
看到 觉得它不好处理,能不能把它转换成好看点的初等形式呢?
我们很容易发现,(即约数函数)是一个积性函数,也就是说,对于 ,若 ,那么 。这一点学 OI 的同学应该可以十分迅速地发现。
然后 是一个完全积性函数,即 ,都有 。
根据上述内容, 是一个积性函数。
我们对积性函数的性质稍作探索。我们将 分解成它的质因数的积,也就是说,让 ,其中所有 都两两不同, 是 的不同的质因数个数。那么 (根据积性函数的定义)。这个式子对于任意积性函数 都成立。
于是我们把考虑范围缩小为所有 。显然,,于是 。
显然,只有那些大于 的 才有讨论的意义,不然乘上这个 只会使最后结果的 变小。考虑范围进一步缩小,我们接下来来看看哪些 会大于 。
我们把上面的 再次变形成 。于是 当且仅当 ,也就是说 当且仅当 。
我们固定 来进行讨论。如果 ,手玩可得满足条件的 只有 ;否则,满足条件的 一定满足 。此时 一定在区间 内,于是满足条件的 只有 、 和 。
于是可能为 的数只能是那些质因数只有 、、、 的数。
其实接下来完全可以直接枚举指数就可以得出答案的,下面这一种方法只是用来娱乐一下各位的大脑的。
我们固定 来讨论 何时能使答案最大。令 ,那么 当且仅当 ,两边同时对 取对数可以得到上式等价于 。再令 ,我们偷个懒,使用导数来找极值。。容易发现它单调递减,于是 是凸的且有最大值,推出 有最大值。而使 最大的 的取值在 的导函数与 轴交点附近(因为 )。简单变形得极值点在 周围。
通过各种方法,我们可以算出来 ,其各位数之和为 。答案选择 E。
总体来说这道题并不是十分困难,我觉得任何一个有些数论功底和会一点点简单高数的高一学生(甚至初三学生)都能做出来。
可能你认为这些已经偏离了主题,但是不要忘记我们已经求出来了 在 时最大。我们经过计算,发现此时 约为 。于是,我们可以认为 是 级别的。
如果有错误或者疏漏之处,欢迎各位在评论区批评指正!Orz