返回题库

AIME 2007 II · 第 12 题

AIME 2007 II — Problem 12

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

The increasing geometric sequence x0,x1,x2,x_{0},x_{1},x_{2},\ldots consists entirely of integral powers of 3.3. Given that

n=07log3(xn)=308\sum_{n=0}^{7}\log_{3}(x_{n}) = 308 and 56log3(n=07xn)57,56 \leq \log_{3}\left ( \sum_{n=0}^{7}x_{n}\right ) \leq 57,

find log3(x14).\log_{3}(x_{14}).

解析

Solution

Suppose that x0=ax_0 = a, and that the common ratio between the terms is rr.

The first conditions tells us that log3a+log3ar++log3ar7=308\log_3 a + \log_3 ar + \ldots + \log_3 ar^7 = 308. Using the rules of logarithms, we can simplify that to log3a8r1+2++7=308\log_3 a^8r^{1 + 2 + \ldots + 7} = 308. Thus, a8r28=3308a^8r^{28} = 3^{308}. Since all of the terms of the geometric sequence are integral powers of 33, we know that both aa and rr must be powers of 3. Denote 3x=a3^x = a and 3y=r3^y = r. We find that 8x+28y=3088x + 28y = 308. The possible positive integral pairs of (x,y)(x,y) are (35,1), (28,3), (21,5), (14,7), (7,9), (0,11)(35,1),\ (28,3),\ (21,5),\ (14,7),\ (7,9),\ (0,11).

The second condition tells us that 56log3(a+ar+ar7)5756 \le \log_3 (a + ar + \ldots ar^7) \le 57. Using the sum formula for a geometric series and substituting xx and yy, this simplifies to 3563x38y13y13573^{56} \le 3^x \frac{3^{8y} - 1}{3^y-1} \le 3^{57}. The fractional part 38y3y=37y\approx \frac{3^{8y}}{3^y} = 3^{7y}. Thus, we need 56x+7y57\approx 56 \le x + 7y \le 57. Checking the pairs above, only (21,5)(21,5) is close.

Our solution is therefore log3(ar14)=log33x+log3314y=x+14y=091\log_3 (ar^{14}) = \log_3 3^x + \log_3 3^{14y} = x + 14y = \boxed{091}.

Solution 2

All these integral powers of 33 are all different, thus in base 33 the sum of these powers would consist of 11s and 00s. Thus the largest value x7x_7 must be 3563^{56} in order to preserve the givens. Then we find by the given that x7x6x5x0=3308x_7x_6x_5\dots x_0 = 3^{308}, and we know that the exponents of xix_i are in an arithmetic sequence. Thus 56+(56r)+(562r)++(567r)=30856+(56-r)+(56-2r)+\dots +(56-7r) = 308, and r=5r = 5. Thus log3(x14)=091\log_3 (x_{14}) = \boxed{091}.

Solution 3

Like above, we use logarithmic identities to convert the problem into workable equations. We begin by labelling the powers of 3. Call x0x_0, x1x_1, x2x_2..., as 3n3^n, 3n+m3^{n+m}, and 3n+2m3^{n+2m}... respectively. With this format we can rewrite the first given equation as n+n+m+n+2m+n+3m+...+n+7m=308n + n + m + n+2m + n+3m+...+n+7m = 308. Simplify to get 2n+7m=772n+7m=77. (1)

Now, rewrite the second given equation as 356(n=07xn)3573^{56} \leq \left( \sum_{n=0}^{7}x_{n} \right) \leq 3^{57}. Obviously, x7x_7, aka 3n+7m3^{n+7m} <357<3^{57} because there are some small fractional change that is left over. This means n+7mn+7m is 56\leq56. Thinking about the geometric sequence, it's clear each consecutive value of xix_i will be either a power of three times smaller or larger. In other words, the earliest values of xix_i will be negligible compared to the last values of xix_i. Even in the best case scenario, where the common ratio is 3, the values left of x7x_7 are not enough to sum to a value greater than 2 times x7x_7 (amount needed to raise the power of 3 by 1). This confirms that 3n+7m=3563^{n+7m} = 3^{56}. (2)

Use equations 1 and 2 to get m=5m=5 and n=21n=21. log3x14=log3321+145=21+145=091\log_{3}{x_{14}} = \log_{3}{3^{21+14*5}} = 21+14*5 = \boxed{091}

-jackshi2006

Solution 4 (dum)

Proceed as in Solution 3 for the first few steps. We have the sequence 3a,3a+n,3a+2n...3^{a},3^{a+n},3^{a+2n}.... As stated above, we then get that a+a+n+...+a+7n=308a+a+n+...+a+7n=308, from which we simplify to 2a+7n=772a+7n=77. From here, we just go brute force using the second statement (that 3563a+...+3a+7n3573^{56}\leq 3^{a}+...+3^{a+7n}\leq 3^{57}). Rearranging the equation from earlier, we get

n=112a7n=11-\frac{2a}{7} from which it is clear that aa is a multiple of 77. Testing the first few values of aa, we get: Case 1 (a=7,n=9a=7,n=9) The sequence is then 37+...+3703^{7}+...+3^{70}, which breaks the upper bound. Case 2 (a=14,n=7a=14,n=7) The sequence is then 314+...+3633^{14}+...+3^{63}, which also breaks the upper bound. Case 3 (a=21,n=5a=21,n=5) This is the first reasonable one, giving 321+...+3563^{21}+...+3^{56}. It seems like this would break the upper bound, but from some testing we get:

321+...+356<3573^{21}+...+3^{56}<3^{57} 1+...+335<3361+...+3^{35}<3^{36} 1+...+330<23351+...+3^{30}<2*3^{35} 35+...+330<233513^{5}+...+3^{30}<2*3^{35}-1 1+...+325<2330351+...+3^{25}<2*3^{30}-3^{-5} Repeating this process over and over, we eventually get (while ignoring the extremely small fractions left over)

1<2351<2*3^{5} which confirms that this satisfies our upper bound. Thus a=21,n=5a=21,n=5, so x14=3a+14n391x_14=3^{a+14n}\rightarrow3^{91}. We then get the requested answer, log3(391)=091\log_3(3^{91})=\boxed{091} ~ amcrunner

Solution 5

Let log3(xn)=an\log_3(x_n)=a_n. Our goal is to find a14a_{14}. Since the sequence consists of integral powers of 33, all ana_n are integers.

From the first given condition, we have

a0+a1+a2++a7=308.a_0+a_1+a_2+\cdots+a_7=308. From the second condition, we claim that a7=56a_7=56. Since all xnx_n are powers of 33, the largest possible values of the eight terms are 356,355,354,,3493^{56},3^{55},3^{54},\dots,3^{49}. Even if these formed an infinite geometric series with first term 3563^{56} and ratio 13\frac13, the sum would be 3572\frac{3^{57}}{2}, whose base-33 logarithm lies strictly between 5656 and 5757. Since

n=07xn<n=0356(13)n,\sum_{n=0}^{7} x_n < \sum_{n=0}^{\infty} 3^{56}\left(\frac13\right)^n, it follows that x7=356x_7=3^{56}, so a7=56a_7=56.

Let dd denote the common difference of the arithmetic sequence {an}\{a_n\}. Then the first condition can be rewritten as

56+(56d)+(562d)++(567d)=308.56+(56-d)+(56-2d)+\cdots+(56-7d)=308. Simplifying,

85628d=308,8\cdot 56 - 28d = 308, so

28d=140andd=5.-28d=-140 \quad \text{and} \quad d=5. Therefore, a14=56+75=091.a_{14}=56+7\cdot 5=\boxed{091}.

~Voidling