AMC12 2012 B
AMC12 2012 B · Q24
AMC12 2012 B · Q24. It mainly tests Primes & prime factorization, Counting divisors.
Define the function $f_1$ on the positive integers by setting $f_1(1)=1$ and if $n=p_1^{e_1}p_2^{e_2}\cdots p_k^{e_k}$ is the prime factorization of $n>1$, then \[f_1(n)=(p_1+1)^{e_1-1}(p_2+1)^{e_2-1}\cdots (p_k+1)^{e_k-1}.\]
For every $m\ge 2$, let $f_m(n)=f_1(f_{m-1}(n))$. For how many $N$s in the range $1\le N\le 400$ is the sequence $(f_1(N),f_2(N),f_3(N),\dots )$ unbounded?
Note: A sequence of positive numbers is unbounded if for every integer $B$, there is a member of the sequence greater than $B$.
定义函数 $f_1$ 于正整数,令 $f_1(1)=1$,若 $n=p_1^{e_1}p_2^{e_2}\cdots p_k^{e_k}$ 是 $n>1$ 的质因数分解,则
\[f_1(n)=(p_1+1)^{e_1-1}(p_2+1)^{e_2-1}\cdots (p_k+1)^{e_k-1}.\]
对每个 $m\ge 2$,令 $f_m(n)=f_1(f_{m-1}(n))$。在范围 $1\le N\le 400$ 中,有多少个 $N$ 使得序列 $(f_1(N),f_2(N),f_3(N),\dots )$ 无界?
注:若对每个整数 $B$,序列中存在大于 $B$ 的项,则称正数序列无界。
(A)
15
15
(B)
16
16
(C)
17
17
(D)
18
18
(E)
19
19
Answer
Correct choice: (D)
正确答案:(D)
Solution
First of all, notice that for any odd prime $p$, the largest prime that divides $p+1$ is no larger than $\frac{p+1}{2}$, therefore eventually the factorization of $f_k(N)$ does not contain any prime larger than $3$. Also, note that $f_2(2^m) = f_1(3^{m-1})=2^{2m-4}$, when $m=4$ it stays the same but when $m\geq 5$ it grows indefinitely. Therefore any number $N$ that is divisible by $2^5$ or any number $N$ such that $f_k(N)$ is divisible by $2^5$ makes the sequence $(f_1(N),f_2(N),f_3(N),\dots )$ unbounded. There are $12$ multiples of $2^5$ within $400$. $2^4 5^2=400$ also works: $f_2(2^4 5^2) = f_1(3^4 \cdot 2) = 2^6$.
Now let's look at the other cases. Any first power of prime in a prime factorization will not contribute the unboundedness because $f_1(p^1)=(p+1)^0=1$. At least a square of prime is to contribute. So we test primes that are less than $\sqrt{400}=20$:
$f_1(3^4)=4^3=2^6$ works, therefore any number $\leq 400$ that are divisible by $3^4$ works: there are $4$ of them.
$3^3 \cdot Q^2$ could also work if $Q^2$ satisfies $2~|~f_1(Q^2)$, but $3^3 \cdot 5^2 > 400$.
$f_1(5^3)=6^2 = 2^2 3^2$ does not work.
$f_1(7^3)=8^2=2^6$ works. There are no other multiples of $7^3$ within $400$.
$7^2 \cdot Q^2$ could also work if $4~|~f_1(Q^2)$, but $7^2 \cdot 3^2 > 400$ already.
For number that are only divisible by $p=11, 13, 17, 19$, they don't work because none of these primes are such that $p+1$ could be a multiple of $2^5$ nor a multiple of $3^4$.
In conclusion, there are $12+1+4+1=18$ number of $N$'s ... $\framebox{D}$.
首先注意,对于任意奇素数 $p$,整除 $p+1$ 的最大素数不超过 $\frac{p+1}{2}$,因此最终 $f_k(N)$ 的分解中不会包含大于 $3$ 的素数。另注意 $f_2(2^m)=f_1(3^{m-1})=2^{2m-4}$:当 $m=4$ 时它保持不变,但当 $m\ge 5$ 时它会无限增长。因此,任何能被 $2^5$ 整除的数 $N$,或任何使得某个 $f_k(N)$ 能被 $2^5$ 整除的数 $N$,都会使序列 $(f_1(N),f_2(N),f_3(N),\dots )$ 无界。在 $400$ 以内有 $12$ 个 $2^5$ 的倍数。$2^4 5^2=400$ 也满足:$f_2(2^4 5^2)=f_1(3^4\cdot 2)=2^6$。
现在看其他情形。质因数分解中某个素数的一次幂不会对无界性有贡献,因为 $f_1(p^1)=(p+1)^0=1$。至少需要某个素数的平方才会有贡献。因此我们测试小于 $\sqrt{400}=20$ 的素数:
$f_1(3^4)=4^3=2^6$ 可行,因此所有 $\le 400$ 且能被 $3^4$ 整除的数都可行:共有 $4$ 个。
若 $3^3\cdot Q^2$ 也可能可行,当且仅当 $Q^2$ 满足 $2~|~f_1(Q^2)$,但 $3^3\cdot 5^2>400$。
$f_1(5^3)=6^2=2^2 3^2$ 不可行。
$f_1(7^3)=8^2=2^6$ 可行。在 $400$ 以内没有其他 $7^3$ 的倍数。
若 $7^2\cdot Q^2$ 也可能可行,当且仅当 $4~|~f_1(Q^2)$,但 $7^2\cdot 3^2>400$ 已经超过。
对于只含 $p=11,13,17,19$ 的情形,它们都不可行,因为这些素数都不满足 $p+1$ 能被 $2^5$ 或 $3^4$ 整除。
综上,共有 $12+1+4+1=18$ 个 $N$……$\framebox{D}$。
Topics
Related Questions
Practice full AMC exams on amcdrill.
Try full-length practice and diagnostics at www.amcdrill.com.