返回题库

AIME 2008 II · 第 15 题

AIME 2008 II — Problem 15

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the largest integer nn satisfying the following conditions:

(i) n2n^2 can be expressed as the difference of two consecutive cubes;

(ii) 2n+792n + 79 is a perfect square.

解析

Solution

Solution 1

Write n2=(m+1)3m3=3m2+3m+1n^2 = (m + 1)^3 - m^3 = 3m^2 + 3m + 1, or equivalently, (2n+1)(2n1)=4n21=12m2+12m+3=3(2m+1)2(2n + 1)(2n - 1) = 4n^2 - 1 = 12m^2 + 12m + 3 = 3(2m + 1)^2.

Since 2n+12n + 1 and 2n12n - 1 are both odd and their difference is 22, they are relatively prime. But since their product is three times a square, one of them must be a square and the other three times a square. We cannot have 2n12n - 1 be three times a square, for then 2n+12n + 1 would be a square congruent to 22 modulo 33, which is impossible.

Thus 2n12n - 1 is a square, say b2b^2. But 2n+792n + 79 is also a square, say a2a^2. Then (a+b)(ab)=a2b2=80(a + b)(a - b) = a^2 - b^2 = 80. Since a+ba + b and aba - b have the same parity and their product is even, they are both even. To maximize nn, it suffices to maximize 2b=(a+b)(ab)2b = (a + b) - (a - b) and check that this yields an integral value for mm. This occurs when a+b=40a + b = 40 and ab=2a - b = 2, that is, when a=21a = 21 and b=19b = 19. This yields n=181n = 181 and m=104m = 104, so the answer is 181\boxed{181}.

Solution 2

Suppose that the consecutive cubes are mm and m+1m + 1. We can use completing the square and the first condition to get:

(2n)23(2m+1)2=1a23b2(2n)^2 - 3(2m + 1)^2 = 1\equiv a^2 - 3b^2 where aa and bb are non-negative integers. Now this is a Pell equation, with solutions in the form (2+3)k=ak+3bk,(2 + \sqrt {3})^k = a_k + \sqrt {3}b_k, k=0,1,2,3,...k = 0,1,2,3,.... However, aa is even and bb is odd. It is easy to see that the parity of aa and bb switch each time (by induction). Hence all solutions to the first condition are in the form:

(2+3)2k+1=ak+3bk(2 + \sqrt {3})^{2k + 1} = a_k + \sqrt {3}b_k where k=0,1,2,..k = 0,1,2,... So we can (with very little effort) obtain the following: (k,ak=2n)=(0,2),(1,26),(2,362),(3,5042)(k,a_k = 2n) = (0,2),(1,26),(2,362),(3,5042). It is an AIME problem so it is implicit that n<1000n < 1000, so 2n<20002n < 2000. It is easy to see that ana_n is strictly increasing by induction. Checking 2n=362    n=1812n = 362\implies n =\boxed{181} in the second condition works (we know bkb_k is odd so we don't need to find mm). So we're done.

Solution 3 (Big Bash)

Let us generate numbers 11 to 10001000 for the second condition, for squares. We know for NN to be integer, the squares must be odd. So we generate N=1,21,45,73,105,141,181,381,441,721,801N = 1, 21, 45, 73, 105, 141, 181, 381, 441, 721, 801. NN cannot exceed 10001000 since it is AIME problem. Now take the first criterion, let aa be the smaller consecutive cube. We then get:

N2=(A+1)3A3N^2 = (A + 1)^3 - A^3 N21=3A2+3AN^2 - 1 = 3A^2 + 3A (N+1)(N1)=3A(A+1)(N + 1)(N - 1) = 3A(A + 1)

Now we know either N+1N + 1 or N1N - 1 must be factor of 33, hence N=1(mod3)N = 1 \pmod 3 orN=2(mod3)N = 2 \pmod 3. Only 1,73,181,7211, 73, 181, 721 satisfy this criterion. Testing each of the numbers in the condition yields 181181 as the largest that fits both, thus answer =181= \boxed{181}.

Video Solution

2008 AIME II #15

MathProblemSolvingSkills.com