返回题库

AIME 2008 I · 第 6 题

AIME 2008 I — Problem 6

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

A triangular array of numbers has a first row consisting of the odd integers 1,3,5,,991,3,5,\ldots,99 in increasing order. Each row below the first has one fewer entry than the row above it, and the bottom row has a single entry. Each entry in any row after the top row equals the sum of the two entries diagonally above it in the row immediately above it. How many entries in the array are multiples of 6767?

解析

Solution 1

Let the kkth number in the nnth row be a(n,k)a(n,k). Writing out some numbers, we find that a(n,k)=2n1(n+2k2)a(n,k) = 2^{n-1}(n+2k-2).[1]

We wish to find all (n,k)(n,k) such that 67a(n,k)=2n1(n+2k2)67| a(n,k) = 2^{n-1} (n+2k-2). Since 2n12^{n-1} and 6767 are relatively prime, it follows that 67n+2k267|n+2k-2. Since every row has one less element than the previous row, 1k51n1 \le k \le 51-n (the first row has 5050 elements, the second 4949, and so forth; so kk can range from 11 to 5050 in the first row, and so forth). Hence

n+2k2n+2(51n)2=100n100,n+2k-2 \le n + 2(51-n) - 2 = 100 - n \le 100,

it follows that 67n2k+267| n - 2k + 2 implies that n2k+2=67n-2k+2 = 67 itself.

Now, note that we need nn to be odd, and also that n+2k2=67100nn33n+2k-2 = 67 \le 100-n \Longrightarrow n \le 33.

We can check that all rows with odd nn satisfying 1n331 \le n \le 33 indeed contains one entry that is a multiple of 6767, and so the answer is 33+12=017\frac{33+1}{2} = \boxed{017}.

^ Proof: Indeed, note that a(1,k)=211(1+2k2)=2k1a(1,k) = 2^{1-1}(1+2k-2)=2k-1, which is the correct formula for the first row. We claim the result by induction on nn. By definition of the array, a(n,k)=a(n1,k)+a(n1,k+1)a(n,k) = a(n-1,k)+a(n-1,k+1), and by our inductive hypothesis,

a(n,k)=a(n1,k)+a(n1,k+1)=2n2(n1+2k2)+2n2(n1+2(k+1)2)=2n2(2n+4k4)=2n1(n+2k2)\begin{aligned}a(n,k) &= a(n-1,k)+a(n-1,k+1)\\ &= 2^{n-2}(n-1+2k-2)+2^{n-2}(n-1+2(k+1)-2)\\&=2^{n-2}(2n+4k-4)\\&=2^{n-1}(n+2k-2)\end{aligned} thereby completing our induction.

Solution 2

The result above is fairly intuitive if we write out several rows and then divide all numbers in row rr by 2r12^{r-1} (we can do this because dividing by a power of 2 doesn't affect divisibility by 6767). The second row will be 2,4,6,,982, 4, 6, \cdots , 98, the third row will be 3,5,,973, 5, \cdots, 97, and so forth. Clearly, only the odd-numbered rows can have a term divisible by 6767. However, with each row the row will have one less element, and the 9967+1=3399-67+1 = 33rd row is the last time 6767 will appear. Therefore the number of multiples of 67 in the entire array is 33+12=017\frac{33+1}{2} = \boxed{017}.

Solution 3

135791113481216202412202836443248648080112144192256\begin{array}{ccccccccccccccc} \color{blue}1 & & \color{blue}3 & & \color{blue}5 & & \color{blue}7 & & \color{blue}9 & & \color{blue}11 & & \color{blue}13 & & \color{blue}\dots \\ & \color{red}4 & & \color{red}8 & & \color{red}12 & & \color{red}16 & & \color{red}20 & & \color{red}24 & & \color{red}\dots & \\ & & \color{blue}12 & & \color{blue}20 & & \color{blue}28 & & \color{blue}36 & & \color{blue}44 & & \color{blue}\dots & & \\ & & & \color{red}32 & & \color{red}48 & & \color{red}64 & & \color{red}80 & & \color{red}\dots & & & \\ & & & & \color{blue}80 & & \color{blue}112 & & \color{blue}144 & & \color{blue}\dots & & & & \\ & & & & & \color{red}192 & & \color{red}256 & & \color{red}\dots & & & & & \end{array} We begin by listing a smaller portion of the given triangular array, as shown in the diagram. Observe that for any term kk in the nnth row, the corresponding term in the (n+2)(n+2)th row is 4k4k, and that term is also one position closer to the edge of the triangle. Since 6767 is prime, the only way a term in the array can be a multiple of 6767 is if it originates from the 6767 in the first row. Next, note that there cannot be any multiples of 6767 in the even-numbered rows (rows 2,4,6,,502,4,6,\dots,50). In particular, the second row consists entirely of multiples of 44 up to 196196, none of which contain a factor of 6767. Since each even row is obtained by repeatedly multiplying by 44, no even row can contain a multiple of 6767. Now observe that 6767 is the 1717th term from the right edge of the triangle. Each time a term moves two rows down, it shifts one position closer to the edge. Once a term reaches the edge, it is no longer multiplied by 44, so it cannot produce any new multiples of 6767. Therefore, there are exactly 017\boxed{017} multiples of 6767 in the array.

~Voidling

Video Solution

2008 AIME I #6

MathProblemSolvingSkills.com