返回题库

AIME 2012 I · 第 11 题

AIME 2012 I — Problem 11

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

A frog begins at P0=(0,0)P_0 = (0,0) and makes a sequence of jumps according to the following rule: from Pn=(xn,yn),P_n = (x_n, y_n), the frog jumps to Pn+1,P_{n+1}, which may be any of the points (xn+7,yn+2),(x_n + 7, y_n + 2), (xn+2,yn+7),(x_n + 2, y_n + 7), (xn5,yn10),(x_n - 5, y_n - 10), or (xn10,yn5).(x_n - 10, y_n - 5). There are MM points (x,y)(x, y) with x+y100|x| + |y| \le 100 that can be reached by a sequence of such jumps. Find the remainder when MM is divided by 1000.1000.

解析

Solution

First of all, it is easy to see by induction that for any P(x,y)P(x,y) in the frog's jump sequence, x+yx+y will be a multiple of 33 and xyx-y will be a multiple of 5.5. The base case (x,y)=(0,0)(x,y) = (0,0) obviously satisfies the constraints and if x+y=3nx+y = 3n and xy=5m,x-y = 5m, any of the four transformations will sustain this property:

(x+7)+(y+2)=x+y+93(n+3) and (x+7)(y+2)=xy+55(m+1)(x+2)+(y+7)=x+y+93(n+3) and (x+2)(y+7)=xy55(m1)(x5)+(y10)=x+y153(n5) and (x5)(y10)=xy+55(m+1)(x10)+(y5)=x+y153(n5) and (x10)(y5)=xy55(m1).\begin{aligned} (x+7)+(y+2) = x+y+9 \rightarrow 3(n+3) &\text{ and } (x+7)-(y+2) = x-y+5 \rightarrow 5(m+1)\\ (x+2)+(y+7) = x+y+9 \rightarrow 3(n+3) &\text{ and } (x+2)-(y+7) = x-y-5 \rightarrow 5(m-1)\\ (x-5)+(y-10) = x+y-15 \rightarrow 3(n-5) &\text{ and } (x-5)-(y-10) = x-y+5 \rightarrow 5(m+1)\\ (x-10)+(y-5) = x+y-15 \rightarrow 3(n-5) &\text{ and } (x-10)-(y-5) = x-y-5 \rightarrow 5(m-1).\\ \end{aligned} So we know that any point the frog can reach will satisfy x+y=3nx+y = 3n and xy=5m.x-y = 5m.


Lemma:\textbf{Lemma:} Any point (x,y)(x,y) such that there exists 2 integers mm and nn that satisfy x+y=3nx+y = 3n and xy=5mx-y = 5m is reachable.

Proof:\textbf{Proof:} Denote the total amounts of each specific transformation in the frog's jump sequence to be a,a, b,b, c,c, and dd respectively. Then

x=7a+2b5c10dx=7a+2b-5c-10d,

y=2a+7b10c5dy=2a+7b-10c-5d,

x+y=9(a+b)15(c+d)=3nx+y = 9(a+b)-15(c+d) = 3n, and

xy=5(ab)+5(cd)=5mx-y = 5(a-b)+5(c-d) = 5m

together must have integral solutions. But

3(a+b)5(c+d)=n3(a+b)-5(c+d) = n implies

(c+d)nmod3(c+d) \equiv n \mod 3 and thus

(a+b)=n/3+2(c+d).(a+b) = \lfloor{n/3}\rfloor + 2(c+d).

Similarly, (ab)+(cd)=m(a-b)+(c-d) = m implies that (ab)(a-b) and (cd)(c-d) have the same parity. Now in order for an integral solution to exist, there must always be a way to ensure that the pairs (a+b)(a+b) and (ab)(a-b) and (c+d)(c+d) and (cd)(c-d) have identical parities. The parity of (a+b)(a+b) is completely dependent on n,n, so the parities of (ab)(a-b) and (cd)(c-d) must be chosen to match this value. But the parity of (c+d)(c+d) can then be adjusted by adding or subtracting 33 until it is identical to the parity of (cd)(c-d) as chosen before, so we conclude that it is always possible to find an integer solution for (a,b,c,d)(a,b,c,d) and thus any point that satisfies x+y=3nx+y = 3n and xy=5mx-y = 5m can be reached by the frog.


To count the number of such points in the region x+y100,|x| + |y| \le 100, we first note that any such point will lie on the intersection of one line of the form y=x5my=x-5m and another line of the form y=x+3n.y=-x+3n. The intersection of two such lines will yield the point (3n+5m2,3n5m2),\left(\frac{3n+5m}{2},\frac{3n-5m}{2}\right), which will be integral if and only if mm and nn have the same parity. Now since x+y=x±y,|x| + |y| = |x \pm y|, we find that

x+y=3n10033n33xy=5m10020m20.\begin{aligned} |x + y| = |3n| \le 100 &\rightarrow -33 \le n \le 33\\ |x - y| = |5m| \le 100 &\rightarrow -20 \le m \le 20. \end{aligned} So there are 3434 possible odd values and 3333 possible even values for n,n, and 2020 possible odd values and 2121 possible even values for m.m. Every pair of lines described above will yield a valid accessible point for all pairs of mm and nn with the same parity, and the number of points MM is thus 3420+3321=137337334 \cdot 20 + 33 \cdot 21 = 1373 \rightarrow \boxed{373}.

Video Solution by Richard Rusczyk

https://artofproblemsolving.com/videos/amc/2012aimei/351

~ dolphin7