返回题库

AIME 2012 I · 第 10 题

AIME 2012 I — Problem 10

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Let S\mathcal{S} be the set of all perfect squares whose rightmost three digits in base 1010 are 256256. Let T\mathcal{T} be the set of all numbers of the form x2561000\frac{x-256}{1000}, where xx is in S\mathcal{S}. In other words, T\mathcal{T} is the set of numbers that result when the last three digits of each number in S\mathcal{S} are truncated. Find the remainder when the tenth smallest element of T\mathcal{T} is divided by 10001000.

解析

Solution 1

It is apparent that for a perfect square s2s^2 to satisfy the constraints, we must have s2256=1000ns^2 - 256 = 1000n or (s+16)(s16)=1000n.(s+16)(s-16) = 1000n. Now in order for (s+16)(s16)(s+16)(s-16) to be a multiple of 1000,1000, at least one of s+16s+16 and s16s-16 must be a multiple of 5,5, and since s+16≢s16(mod5),s+16 \not\equiv s-16 \pmod{5}, one term must have all the factors of 55 and thus must be a multiple of 125.125. Furthermore, each of s+16s+16 and s16s-16 must have at least two factors of 2,2, since otherwise (s+16)(s16)(s+16)(s-16) could not possibly be divisible by 8.8. So therefore the conditions are satisfied if either s+16s+16 or s16s-16 is divisible by 500,500, or equivalently if s=500n±16.s = 500n \pm 16. Counting up from n=0n=0 to n=5,n=5, we see that the tenth value of ss is 500516=2484500 \cdot 5 - 16 = 2484 and thus the corresponding element in T\mathcal{T} is 248422561000=6170170.\frac{2484^2 - 256}{1000} = 6170 \rightarrow \boxed{170.}

Solution 2

Notice that is 162=25616^2=256, 101621016^2 ends in 256256. In general, if x2x^2 ends in 256256, (x+1000)2=x2+2000x+1000000(x+1000)^2=x^2+2000x+1000000 ends in 256 because 10002000x1000|2000x and 100020000001000|2000000. It is clear that we want all numbers whose squares end in 256256 that are less than 10001000.

Firstly, we know the number has to end in a 44 or a 66. Let's look at the ones ending in 66.

Assume that the second digit of the three digit number is 00. We find that the last 33 digits of a062\overline{a06}^2 is in the form 12a100+310+612a \cdot 100 + 3 \cdot 10 + 6. However, the last two digits need to be a 5656. Thus, similarly trying all numbers from 00 to 1010, we see that only 1 for the middle digit works. Carrying out the multiplication, we see that the last 33 digits of a162\overline{a16}^2 is in the form (12a+2)100+510+6(12a + 2) \cdot 100 + 5 \cdot 10 + 6. We want (12a+2)(mod10)(12a + 2)\pmod{10} to be equal to 22. Thus, we see that a is 00 or 55. Thus, the numbers that work in this case are 016016 and 516516.

Next, let's look at the ones ending in 44. Carrying out a similar technique as above, we see that the last 33 digits of a842\overline{a84}^2 is in the form ((8a+10)100+510+6((8a+10) \cdot 100+ 5 \cdot 10 + 6. We want (8a+10)(mod10)(8a + 10)\pmod{10} to be equal to 22. We see that only 44 and 99 work. Thus, we see that only 484484 and 984984 work.

We order these numbers to get 1616, 484484, 516516, 984984... We want the 10th10th number in order which is 24842=61702562484^2 = 6\boxed{170}256.

Solution 3

The condition implies x2256(mod1000)x^2\equiv 256 \pmod{1000}. Rearranging and factoring,

(x16)(x+16)0(mod1000).(x-16)(x+16)\equiv 0\pmod {1000}. This can be expressed with the system of congruences

{(x16)(x+16)0(mod125)(x16)(x+16)0(mod8)\begin{cases} (x-16)(x+16)\equiv 0\pmod{125} \\ (x-16)(x+16)\equiv 0\pmod{8} \end{cases} Observe that x109(mod125)x\equiv {109} \pmod {125} or x16(mod125)x\equiv{16}\pmod {125}. Similarly, it can be seen that x0(mod8)x\equiv{0}\pmod{8} or x4(mod8)x\equiv{4}\pmod{8}. By CRT, there are four solutions to this modulo 10001000 (one for each case e.g. x109x\equiv{109} and x0x\equiv{0} or x125x\equiv{125} and x4x\equiv{4}. These solutions are (working modulo 10001000)

{x=16x=484x=516x=984\begin{cases} x=16 \\ x=484 \\ x= 516 \\ x=984 \end{cases} The tenth solution is x=2484,x=2484, which gives an answer of 170\boxed{170}.

Solution 4

An element in S can be represented by y2=1000a+256y^2 = 1000a + 256, where y2y^2 is the element in S. Since the right hand side must be even, we let y=2y1y = 2y_1 and substitute to get y12=250a+64y_1^2 = 250a + 64. However, the right hand side is still even, so we make the substitution y1=2y2y_1 = 2y_2 to get y22=125a/2+16y_2^2 = 125a/2 + 16. Because both sides must be an integer, we know that a=2a1a = 2a_1 for some integer a1a_1. Our equation then becomes y22=125a1+16y_2^2 = 125a_1 + 16, and we can simplify no further.

Rearranging terms, we get y2216=125a1y_2^2 - 16 = 125a_1, whence difference of squares gives (y2+4)(y24)=125a1(y_2 + 4)(y_2 - 4) = 125a_1. Note that this equation tells us that one of y2+4y_2 + 4 and y24y_2 - 4 contains a nonnegative multiple of 125125. Hence, listing out the smallest possible values of y2y_2, we have y2=4,121,129,,621y_2 = 4, 121, 129, \cdots, 621. The tenth term is 621621, whence y=4y2=2484y = 4y_2 = 2484. The desired result can then be calculated to be 170\boxed{170}. - Spacesam

Solution 5 (Similar to Solution 4)

From the conditions, we can let every element in S\mathcal{S} be written as y2=1000x+256y^2=1000x+256, where xx and yy are integers. Since there are no restrictions on yy, we let y1y_1 be equal to y+16y+16 (y16y-16 works as well). Then the 256256 cancels out and we're left with

y12+32y1=1000xy_1^2+32y_1=1000x which can be factored as

y1(y1+32)=1000xy_1(y_1+32)=1000x Since the RHS is even, y1y_1 must be even, so we let y1=2y2y_1=2y_2, to get

y2(y2+16)=250xy_2(y_2+16)=250x Again, because the RHS is even, the LHS must be even too, so substituting y3=12y2y_3=\frac{1}{2}y_2 we have

y3(y3+8)=12512xy_3(y_3+8)=125\cdot\frac{1}{2}x Since the LHS is an integer, the RHS must thus be an integer, so substituting x=2x1x=2x_1 we get

y3(y3+8)=125x1y_3(y_3+8)=125x_1 Then we can do casework on the values of y3y_3, as only one of y3y_3 and y3+8y_3+8 can be multiples of 125125

Case 1: 125y3125|y_3

Since we're trying to find the values of x1x_1, we can let y4=1125y3y_4=\frac{1}{125}y_3, to get

x1=y4(125y4+8)x_1=y_4(125y_4+8) or

x=2y4(125y4+8)x=2y_4(125y_4+8) Case 2: 125y3+8125|y_3+8

Similar to Case 1, only the equation is

x=2y4(125y48)x=2y_4(125y_4-8) In whole, the values of xx (i.e. the elements in T\mathcal{T}) are of the form

x=2k(125k±8)x=2k(125k\pm8) where kk is any integer. It can easily be seen that if k<0k<0, then xx is negative, thus k0k\geq0. Also, note that when k=0k=0, there is only one value, because one of the factors is 00 (kk). Thus the 10th10^{th} smallest number in the set T\mathcal{T} is when the ±\pm sign takes the minus side and k=5k=5, giving 61706170, so the answer is 170\boxed{170}

Video Solution by Richard Rusczyk

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

~ dolphin7

Video Solution

https://www.youtube.com/watch?v=caCELHibbIE&list=PLOaAlyCEsUTbA2v1gRyEAB_gxk7NiWG3v&index=6&t=0s

~Shreyas S