返回题库

AIME 2018 I · 第 11 题

AIME 2018 I — Problem 11

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the least positive integer nn such that when 3n3^n is written in base 143143, its two right-most digits in base 143143 are 0101.

解析

Solution 1

Note that the given condition is equivalent to 3n1(mod1432)3^n \equiv 1 \pmod{143^2} and 143=1113143=11\cdot 13. Because gcd(112,132)=1\gcd(11^2, 13^2) = 1, the desired condition is equivalent to 3n1(mod121)3^n \equiv 1 \pmod{121} and 3n1(mod169)3^n \equiv 1 \pmod{169}.

If 3n1(mod121)3^n \equiv 1 \pmod{121}, one can see the sequence 1,3,9,27,81,1,3,9...1, 3, 9, 27, 81, 1, 3, 9... so 5n5|n.

Now if 3n1(mod169)3^n \equiv 1 \pmod{169}, it is harder. But we do observe that 331(mod13)3^3 \equiv 1 \pmod{13}, therefore 33=13a+13^3 = 13a + 1 for some integer aa. So our goal is to find the first number p1p_1 such that (13a+1)p11(mod169)(13a+1)^ {p_1} \equiv 1 \pmod{169}. Then, p10(mod13),p_1 \equiv 0 \pmod{13}, which follows from the binomial theorem. It is not difficult to see that the smallest p1=13p_1=13, so ultimately 3391(mod169)3^{39} \equiv 1 \pmod{169}. Therefore, 39n39|n.

The first nn satisfying both criteria is thus 539=1955\cdot 39=\boxed{195}.

-expiLnCalc

Solution 2

Note that Euler's Totient Theorem would not necessarily lead to the smallest nn and that in this case that nn is greater than 10001000.

We wish to find the least nn such that 3n1(mod1432)3^n \equiv 1 \pmod{143^2}. This factors as 1432=112132143^2=11^{2}*13^{2}. Because gcd(121,169)=1\gcd(121, 169) = 1, we can simply find the least nn such that 3n1(mod121)3^n \equiv 1 \pmod{121} and 3n1(mod169)3^n \equiv 1 \pmod{169}.

Quick inspection yields 351(mod121)3^5 \equiv 1 \pmod{121} and 331(mod13)3^3 \equiv 1 \pmod{13}. Now we must find the smallest kk such that 33k1(mod169)3^{3k} \equiv 1 \pmod{169}. Euler's gives 31561(mod169)3^{156} \equiv 1 \pmod{169}. So 3k3k is a factor of 156156. This gives k=1,2,4,13,26,52k=1,2, 4, 13, 26, 52. Some more inspection yields k=13k=13 is the smallest valid kk. So 351(mod121)3^5 \equiv 1 \pmod{121} and 3391(mod169)3^{39} \equiv 1 \pmod{169}. The least nn satisfying both is lcm(5,39)=195lcm(5, 39)=\boxed{195}. (RegularHexagon)

Solution 3 (Big Bash)

Listing out the powers of 33, modulo 169169 and modulo 121121, we have:

n3nmod1693nmod12101113329932727481815741653715981399791068113512105131461410015131165517165181571913320612114224223126244025120262227662829298730923110732152331183416354836144379438113391\begin{array}{c|c|c} n & 3^n\mod{169} & 3^n\mod{121}\\ \hline 0 & 1 & 1\\ 1 & 3 & 3\\ 2 & 9 & 9\\ 3 & 27 & 27\\ 4 & 81 & 81\\ 5 & 74 & 1\\ 6 & 53\\ 7 & 159\\ 8 & 139\\ 9 & 79\\ 10 & 68\\ 11 & 35\\ 12 & 105\\ 13 & 146\\ 14 & 100\\ 15 & 131\\ 16 & 55\\ 17 & 165\\ 18 & 157\\ 19 & 133\\ 20 & 61\\ 21 & 14\\ 22 & 42\\ 23 & 126\\ 24 & 40\\ 25 & 120\\ 26 & 22\\ 27 & 66\\ 28 & 29\\ 29 & 87\\ 30 & 92\\ 31 & 107\\ 32 & 152\\ 33 & 118\\ 34 & 16\\ 35 & 48\\ 36 & 144\\ 37 & 94\\ 38 & 113\\ 39 & 1\\ \end{array} The powers of 33 repeat in cycles of 55 and 3939 in modulo 121121 and modulo 169169, respectively. The answer is lcm(5,39)=195\text{lcm}(5, 39) = \boxed{195}.

~Minor edit by Yiyj1

Solution 4 (Order+Bash)

We have that

3n1(mod1432).3^n \equiv 1 \pmod{143^2}. Now, 31101(mod112)3^{110} \equiv 1 \pmod{11^2} so by the Fundamental Theorem of Orders, ord112(3)110\text{ord}_{11^2}(3)|110 and with some bashing, we get that it is 55. Similarly, we get that ord132(3)=39\text{ord}_{13^2}(3)=39. Now, lcm(39,5)=195\text{lcm}(39,5)=\boxed{195} which is our desired solution.

Solution 5 (Easy Binomial Theorem)

We wish to find the smallest nn such that 3n1(mod1432)3^n\equiv 1\pmod{143^2}, so we want n1(mod121)n\equiv 1\pmod{121} and n1(mod169)n\equiv 1\pmod{169}. Note that 351(mod121)3^5\equiv 1\pmod{121}, so 3n3^n repeats 121121 with a period of 55, so 5n5|n. Now, in order for n1(mod169)n\equiv 1\pmod{169}, then n1(mod13)n\equiv 1\pmod{13}. Because 331(mod13)3^3\equiv 1\pmod{13}, 3n3^n repeats with a period of 33, so 3n3|n. Hence, we have that for some positive integer pp, 3n(33)p(26+1)p(p0)26p+(p1)26p1....+(pp2)262+(pp1)26+(pp)26p+11(mod169)3^n\equiv (3^3)^p\equiv (26+1)^p\equiv \binom{p}{0}26^p+\binom{p}{1}26^{p-1}....+\binom{p}{p-2}26^2+\binom{p}{p-1}26+\binom{p}{p}\equiv 26p+1\equiv 1\pmod{169}, so 26p0(mod169)26p\equiv 0\pmod{169} and p0(mod13)p\equiv 0\pmod{13}. Thus, we have that 5n5|n, 3n3|n, and 13n13|n, so the smallest possible value of nn is 3×5×13=1953\times5\times13=\boxed{195}. -Stormersyle

Solution 6 (LTE)

We can see that 3n1=1432x3^n-1 = 143^2*x, which means that v11(3n1)2v_{11}(3^n-1) \geq 2, v13(3n1)2v_{13}(3^n-1) \geq 2. v11(3n1)=v11(242)+v11(n5)v_{11}(3^n-1) = v_{11}(242) + v_{11}(\frac{n}{5}), v13(3n1)=v13(26)+v13(n3)v_{13}(3^n-1) = v_{13}(26) + v_{13}(\frac{n}{3}) by the Lifting the Exponent lemma. From the first equation we gather that 5 divides n, while from the second equation we gather that both 13 and 3 divide n as v13(3n1)2v_{13}(3^n-1) \geq 2. Therefore the minimum possible value of n is 3×5×13=1953\times5\times13=\boxed{195}.

-bradleyguo

Solution 7 (LTE, more in-depth)

As with the above solution, we are given 3n1(mod1432).3^n \equiv 1 \pmod {143^2}. From CRT, we can separate these into. 3n1(mod112)3^n \equiv 1 \pmod {11^2} and 3n1(mod132).3^n \equiv 1 \pmod {13^2}.

(1) 3n1(mod112)3^n \equiv 1 \pmod {11^2} Notice that for all n0(mod5),n \equiv 0 \pmod 5, the given equivalency holds. Hence, 5n.5 \mid n.

(2) 3n1(mod132).3^n \equiv 1 \pmod {13^2}. It is not exactly clear what nn would be here. We turn to LTE.

First, note that 331(mod13)ν13(331)=1.3^3 \equiv 1 \pmod {13} \Rightarrow \nu_{13}(3^3-1)=1.

For LTE, if we use 3n1n,3^n-1^n, then we would need an odd prime to divide 31=2,3-1=2, absurd. If we instead use 33n13n3^{3n'}-1^{3n'} where n=3n    n0(mod3),n=3n' \iff n \equiv 0 \pmod 3, then we can apply LTE.

We have ν13((33)n(13)n)=ν13(n)+ν13(3313)=ν13(n)+1.\nu_{13}((3^3)^{n'}-(1^3)^{n'})=\nu_{13}(n')+\nu_{13}(3^3-1^3)=\nu_{13}(n')+1.

We need ν13((33)n(13)n)2ν13(n)1.\nu_{13}((3^3)^{n'}-(1^3)^{n'}) \geq 2 \Rightarrow \nu_{13}(n') \geq 1. Hence, 13n.13 \mid n.

All in all, we need 3,5,13n,3, 5, 13 \mid n, and the minimum such value is 195.195.

~mathboy282

Solution 8

Note that the problem is basically asking for the least positive integer nn such that 1121323n1.11^2 \cdot 13^2 | 3^n - 1. It is easy to see that n=lcm (a,b),n = \text{lcm } (a, b), where aa is the least positive integer satisfying 1123a111^2 | 3^a - 1 and bb the least positive integer satisfying 1323b113^2 | 3^b - 1. Luckily, finding aa is a relatively trivial task, as one can simply notice that 35=2431mod1213^5 = 243 \equiv 1 \mod 121. However, finding bb is slightly more nontrivial. The order of 3k3^k modulo 1313 (which is 33) is trivial to find, as one can either bash out a pattern of remainders upon dividing powers of 33 by 1313, or one can notice that 33=271mod133^3 = 27 \equiv 1 \mod 13 (the latter which is the definition of period/orders by FLT). We can thus rewrite 333^3 as (213+1)mod132(2 \cdot 13 + 1) \mod 13^2. Now suppose that

33k(13n+1)mod132.3^{3k} \equiv (13n + 1) \mod 13^2. I claim that 33(k+1)(13(n+2)+1)mod132.3^{3(k+1)} \equiv (13(n+2) + 1) \mod 13^2.

Proof: To find 33(k+1),3^{3(k+1)}, we can simply multiply 33k3^{3k} by 33,3^3, which is congruent to 213+12 \cdot 13 + 1 modulo 13213^2. By expanding the product out, we obtain

33(k+1)(13n+1)(213+1)=1322n+13n+213+1mod132,3^{3(k+1)} \equiv (13n + 1)(2 \cdot 13 + 1) = 13^2 \cdot 2n + 13n + 2 \cdot 13 + 1 \mod 13^2, and since the 13213^2 on the LHS cancels out, we're left with

13n+213+1mod132    13(n+2)+1mod13213n + 2 \cdot 13 + 1 \mod 13^2 \implies 13(n+2) + 1 \mod 13^2 . Thus, our claim is proven. Let f(n)f(n) be the second to last digit when 33k3^{3k} is written in base 13213^2. Using our proof, it is easy to see that f(n)f(n) satisfies the recurrence f(1)=2f(1) = 2 and f(n+1)=f(n)+2f(n+1) = f(n) + 2. Since this implies f(n)=2n,f(n) = 2n, we just have to find the least positive integer nn such that 2n2n is a multiple of 1313, which is trivially obtained as 1313. The least integer nn such that 3n13^n - 1 is divisible by 13213^2 is 313=39,3 \cdot 13 = 39, so our final answer is lcm (5,39)=195.\text{lcm } (5, 39) = \boxed{195}.

-fidgetboss_4000 -minor edits made by srisainandan6

Solution 9 (Official MAA)

The requested positive integer is the least value of n>0n>0 such that 3n1(mod1432).3^n\equiv 1\pmod{143^2}. Note that 143=1113.143=11\cdot 13. The least power of 33 that is congruent to 11 modulo 11211^2 is 35=243=2112+1.3^5=243=2\cdot 11^2+1. It follows that. 3n1(mod112)3^n\equiv 1\pmod {11^2} if and only if n=5jn=5j for some positive integer jj.

The least power of 33 that is congruent to 11 modulo 1313 is 33=27=213+1.3^3=27=2\cdot 13+1. It follows that 3n1(mod13)3^n\equiv 1\pmod{13} if and only if n=3kn=3k for some positive integer kk. Additionally, for some positive integer kk, the Binomial Theorem shows that 33k=(26+1)k=26k+1(mod132)3^{3k}=(26+1)^k=26\cdot k+1 \pmod{13^2}. In particular, 3n=33k1(mod132)3^n=3^{3k}\equiv 1\pmod {13^2} if and only if k=13mk=13m for some positive integer mm, that is, if and only if n=39m.n=39m.

Because 11211^2 and 13213^2 are relatively prime, 3n1(mod1432)3^n\equiv 1\pmod {143^2} if and only if 3n1(mod112)3^n\equiv 1\pmod{11^2} and 3n1(mod132)3^n \equiv 1\pmod {13^2}. This occurs if and only if nn is a multiple of both of the relatively prime integers 55 and 3939, so the least possible value of nn is 539=195.5\cdot 39=\boxed{195}.

Solution 10 (Motivation and LTE)

We first note that we wish to find 3n1(mod112)3^n \equiv 1 \pmod{11^2} and 3n1(mod132).3^n \equiv 1 \pmod{13^2}. Not thinking of anything else, we try a few numbers for the first condition to get that 5n.5 \mid n. For the second condition, upon testing up to 729, we find that it doesn't yield a solution readily, so we use Lifting the Exponent from our toolkit to get that

v13(27m1m)=v13(26)+v(m)=1+v(m),3m=nv_{13}(27^m-1^m)=v_{13}(26)+v(m)=1+v(m), 3m = n which clearly implies m=13m=13 and 39n.39 | n. Our answer is then obviously 395=195.39 \cdot 5 = \boxed{195}.

~Dhillonr25