返回题库

AIME 2014 II · 第 15 题

AIME 2014 II — Problem 15

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

For any integer k1k\geq 1, let p(k)p(k) be the smallest prime which does not divide k.k. Define the integer function X(k)X(k) to be the product of all primes less than p(k)p(k) if p(k)>2p(k)>2, and X(k)=1X(k)=1 if p(k)=2.p(k)=2. Let {xn}\{x_n\} be the sequence defined by x0=1x_0=1, and xn+1X(xn)=xnp(xn)x_{n+1}X(x_n)=x_np(x_n) for n0.n\geq 0. Find the smallest positive integer tt such that xt=2090.x_t=2090.

Remark

This problem is basically the same as IMO Shortlist 1995 Sequences Problem 3. As a matter of fact, having solved the IMO SL problem immediately allowed me to solve this problem. ~eevee9406

解析

Solution

Note that for any xix_i, for any prime pp, p2xip^2 \nmid x_i. This provides motivation to translate xix_i into a binary sequence yiy_i.

Let the prime factorization of xix_i be written as pa1pa2pa3p_{a_1} \cdot p_{a_2} \cdot p_{a_3} \cdots, where pip_i is the iith prime number. Then, for every pakp_{a_k} in the prime factorization of xix_i, place a 11 in the aka_kth digit of yiy_i. This will result in the conversion x1=2,x2=3,x3=23=6,x_1 = 2, x_{2} = 3, x_{3} = 2 * 3 = 6, \cdots.

Multiplication for the sequence xix_i will translate to addition for the sequence yiy_i. Thus, we see that xn+1X(xn)=xnp(xn)x_{n+1}X(x_n) = x_np(x_n) translates into yn+1=yn+1y_{n+1} = y_n+1. Since x0=1x_0=1, and y0=0y_0=0, xix_i corresponds to yiy_i, which is ii in binary. Since x100101012=251119=2090x_{10010101_2} = 2 \cdot 5 \cdot 11 \cdot 19 = 2090, t=100101012t = 10010101_2 = 149\boxed{149}.

Solution 2 DO NOT DO (Painful Bash)

We go through the terms and look for a pattern. We find that

x0=1x_0 = 1 x8=7x_8 = 7

x1=2x_1 = 2 x9=14x_9 = 14

x2=3x_2 = 3 x10=21x_{10} = 21

x3=6x_3 = 6 x11=42x_{11} = 42

x4=5x_4 = 5 x12=35x_{12} = 35

x5=10x_5 = 10 x13=70x_{13} = 70

x6=15x_6 = 15 x14=105x_{14} = 105

x7=30x_7 = 30 x15=210x_{15} = 210

Commit to the bash. Eventually, you will receive that x149=2090x_{149} = 2090, so 149\boxed{149} is the answer. Trust me, this is worth the 10 (20*) index points.

-RootThreeOverTwo\textbf{-RootThreeOverTwo}

NOTE: this only works for this problem because the answer is a low number like 149, and the numbers are small. DO NOT try this in a real problem unless it is your last one, as this is very risky. ~eqb5000

Solution 3 (induction)

Let PkP_k denote the kkth prime. Lemma: xn+2k1=Pkxnx_{n+2^{k-1}} = P_k \cdot x_{n} for all 0n2k11.0 \leq n \leq 2^{k-1} - 1.

Proof:\mathbf{\mathrm{Proof:}}

We can prove this using induction. Assume that x2k11=j=1k1Pj.x_{2^{k-1}-1} = \prod_{j=1}^{k-1} P_j. Then, using the given recursion xk+1=xnp(xn)X(xn)x_{k+1} = \frac{x_np(x_n)}{X(x_n)}, we would “start fresh” for x2k1=Pk.x_{2^{k-1}} = P_k. It is then easy to see that then xnPk\frac{x_n}{P_k} just cycles through the previous x2k1x_{2^{k-1}} terms of {xn},\{ x_n \}, since the recursion process is the same and PkP_k being a factor of xnx_n is not affected until n=22k1=2k,n = 2 \cdot {2^{k-1}} = 2^k, when given our assumption x2k1=j=1kPjx_{2^k - 1} = \prod_{j=1}^{k} P_j and n=2kn = 2^k is now the least nn such that

Pk+1=p(x2n1),P_{k+1} = p(x_{2^{n-1}}), in which Pa=p(xn)P_a = p(x_n) where a>ka > k is the only way that the aforementioned cycle would be affected. Specifically, by cancellation according to our recursion, x2k=Pk+1,x_{2^k} = P_{k+1}, and the values of xnx_n just starts cycling through the previous x2kx_{2^k} terms again until x2k+1x_{2^{k+1}} when a new prime shows up in the prime factorization of xn,x_n, when it starts cycling again, and so on. Using our base cases of x0x_0 and x1,x_1, our induction is complete. Now, it is easy to see that 2090=251119=P1P3P5P8,2090 = 2 \cdot 5 \cdot 11 \cdot 19 = P_1 \cdot P_3 \cdot P_5 \cdot P_8, and by Lemma #1, the least positive integer nn such that 19xn19 | x_n is 27.2^7. By repeatedly applying our obtained recursion from Lemma #1, it is easy to see that our answer is just 27+24+22+20,2^7 + 2^4 + 2^2 + 2^0, or 100101012=149.10010101_2 = \boxed{149}.

-fidgetboss_4000

Video Solution

https://youtu.be/SXZ01azDCGE?si=_lIcna68SgCcG3av

~MathProblemSolvingSkills.com