Difference between revisions of "2008 AIME I Problems/Problem 4"
m (→Solution 2: cmath) |
m |
||
(11 intermediate revisions by 7 users not shown) | |||
Line 1: | Line 1: | ||
+ | __TOC__ | ||
+ | |||
== Problem == | == Problem == | ||
There exist unique positive integers <math>x</math> and <math>y</math> that satisfy the equation <math>x^2 + 84x + 2008 = y^2</math>. Find <math>x + y</math>. | There exist unique positive integers <math>x</math> and <math>y</math> that satisfy the equation <math>x^2 + 84x + 2008 = y^2</math>. Find <math>x + y</math>. | ||
− | + | ==Solution 1== | |
− | |||
− | |||
[[Completing the square]], <math>y^2 = x^2 + 84x + 2008 = (x+42)^2 + 244</math>. Thus <math>244 = y^2 - (x+42)^2 = (y - x - 42)(y + x + 42)</math> by [[difference of squares]]. | [[Completing the square]], <math>y^2 = x^2 + 84x + 2008 = (x+42)^2 + 244</math>. Thus <math>244 = y^2 - (x+42)^2 = (y - x - 42)(y + x + 42)</math> by [[difference of squares]]. | ||
− | Since <math>244</math> is even, one of the factors is even. A [[parity]] check shows that if one of them is even, then both must be even. | + | Since <math>244</math> is even, one of the factors is even. A [[parity]] check shows that if one of them is even, then both must be even. Since <math>244 = 2^2 \cdot 61</math>, the factors must be <math>2</math> and <math>122</math>. Since <math>x,y > 0</math>, we have <math>y - x - 42 = 2</math> and <math>y + x + 42 = 122</math>; the latter equation implies that <math>x + y = \boxed{080}</math>. |
Indeed, by solving, we find <math>(x,y) = (18,62)</math> is the unique solution. | Indeed, by solving, we find <math>(x,y) = (18,62)</math> is the unique solution. | ||
− | + | ==Solution 2== | |
We complete the square like in the first solution: <math>y^2 = (x+42)^2 + 244</math>. Since consecutive squares differ by the consecutive odd numbers, we note that <math>y</math> and <math>x+42</math> must differ by an even number. We can use casework with the even numbers, starting with <math>y-(x+42)=2</math>. | We complete the square like in the first solution: <math>y^2 = (x+42)^2 + 244</math>. Since consecutive squares differ by the consecutive odd numbers, we note that <math>y</math> and <math>x+42</math> must differ by an even number. We can use casework with the even numbers, starting with <math>y-(x+42)=2</math>. | ||
+ | <cmath>\begin{align*}2(x+42)+1+2(x+42)+3&=244\\ | ||
+ | \Leftrightarrow x&=18\end{align*}</cmath> | ||
+ | |||
+ | Thus, <math>y=62</math> and the answer is <math>\boxed{080}</math>. | ||
+ | |||
+ | ==Solution 3== | ||
+ | We see that <math>y^2 \equiv x^2 + 4 \pmod{6}</math>. By [[quadratic residue]]s, we find that either <math>x \equiv 0, 3 \pmod{6}</math>. Also, <math>y^2 \equiv (x+42)^2 + 244 \equiv (x+2)^2 \pmod{4}</math>, so <math>x \equiv 0, 2 \mod{4}</math>. Combining, we see that <math>x \equiv 0 \mod{6}</math>. | ||
+ | |||
+ | Testing <math>x = 6</math> and other multiples of <math>6</math>, we quickly find that <math>x = 18, y = 62</math> is the solution. <math>18+62=\boxed{080}</math> | ||
+ | |||
+ | ==Solution 4== | ||
+ | We solve for x: <math>x^2 + 84x + 2008-y^2 = 0</math> | ||
+ | |||
+ | <math>x=\dfrac{-84+\sqrt{84^2-4\cdot 2008+4y^2}}{2}=-42+\sqrt{y^2-244}</math> | ||
+ | |||
+ | So <math>y^2-244</math> is a perfect square. Since 244 is even, the difference <math>\sqrt{y^2-244} -y^2</math> is even, so we try <math>y^2-244=(y-2)^2</math>: <math>-244=-4y+4</math>, <math>y=62</math>. | ||
+ | |||
+ | Plugging into our equation, we find that <math>x=18</math>, and <math>(x,y)=(18,62)</math> indeed satisfies the original equation. <math>x+y=\boxed{080}</math> | ||
+ | |||
+ | ==Solution 5== | ||
+ | |||
+ | Let <math>y=x+d</math> for some <math>d>0</math>, substitute into the original equation to get <math>84x + 2008 = 2xd + d^2</math>. | ||
+ | |||
+ | All terms except for the last one are even, hence <math>d^2</math> must be even, hence let <math>d=2e</math>. We obtain <math>21x + 502 = xe + e^2</math>. Rearrange to <math>502-e^2 = x(e-21)</math>. | ||
+ | |||
+ | Obviously for <math>0<e<21</math> the right hand side is negative and the left hand side is positive. Hence <math>e\geq 21</math>. Let <math>e=21+f</math>, then <math>f\geq 0</math>. | ||
+ | |||
+ | We have <math>502 - (21+f)^2 = xf</math>. Left hand side simplifies to <math>61 - 42f + f^2</math>. As <math>x</math> must be an integer, <math>f</math> must divide the left hand side. But <math>61</math> is a prime, which only leaves two options: <math>f=1</math> and <math>f=61</math>. | ||
+ | |||
+ | Option <math>f=61</math> gives us a negative <math>x</math>. Option <math>f=1</math> gives us <math>x=61/f - 42 + f = 18</math>, and <math>y = x + d= x + 2e = x + 2(21+f) = 18 + 44 = 62</math>, hence <math>x+y=\boxed{080}</math>. | ||
+ | |||
+ | |||
+ | ==Solution 6== | ||
+ | First complete the square to get <math>y^2 = (x+42)^2 + 244</math>. Remember that squares are the sums of consecutive odd integers, so when the difference between the two squares is 244, the two squares must be an even number of odd integers apart. However, there is only one distinct solution, as the problem states, and very quickly you will realize that only two odd integers work. When there are four, then the numbers are not odd, and when it is any other even integer it does not divide. So we need two consecutive odd integers that sum to 244. Easily we find 121 and 123. 121 is the 61st odd integer and 123 is the 62nd odd integer, so <math>(x+42)^2</math> is the sum of the first 60 odd integers, or <math>(60)^2</math>, while <math>y^2</math> is <math>62^2</math> for the same reasons. That way we get <math>x=12</math>, <math>y=62</math>, hence <math>x+y=\boxed{080}</math>. | ||
− | |||
− | |||
− | + | -jackshi2006 | |
− | == | + | == Video Solution by OmegaLearn == |
− | + | https://youtu.be/euz1azVKUYs?t=424 | |
− | + | ~ pi_is_3.14 | |
== See also == | == See also == | ||
Line 28: | Line 60: | ||
[[Category:Intermediate Algebra Problems]] | [[Category:Intermediate Algebra Problems]] | ||
+ | {{MAA Notice}} |
Latest revision as of 21:17, 28 November 2023
Contents
Problem
There exist unique positive integers and that satisfy the equation . Find .
Solution 1
Completing the square, . Thus by difference of squares.
Since is even, one of the factors is even. A parity check shows that if one of them is even, then both must be even. Since , the factors must be and . Since , we have and ; the latter equation implies that .
Indeed, by solving, we find is the unique solution.
Solution 2
We complete the square like in the first solution: . Since consecutive squares differ by the consecutive odd numbers, we note that and must differ by an even number. We can use casework with the even numbers, starting with .
Thus, and the answer is .
Solution 3
We see that . By quadratic residues, we find that either . Also, , so . Combining, we see that .
Testing and other multiples of , we quickly find that is the solution.
Solution 4
We solve for x:
So is a perfect square. Since 244 is even, the difference is even, so we try : , .
Plugging into our equation, we find that , and indeed satisfies the original equation.
Solution 5
Let for some , substitute into the original equation to get .
All terms except for the last one are even, hence must be even, hence let . We obtain . Rearrange to .
Obviously for the right hand side is negative and the left hand side is positive. Hence . Let , then .
We have . Left hand side simplifies to . As must be an integer, must divide the left hand side. But is a prime, which only leaves two options: and .
Option gives us a negative . Option gives us , and , hence .
Solution 6
First complete the square to get . Remember that squares are the sums of consecutive odd integers, so when the difference between the two squares is 244, the two squares must be an even number of odd integers apart. However, there is only one distinct solution, as the problem states, and very quickly you will realize that only two odd integers work. When there are four, then the numbers are not odd, and when it is any other even integer it does not divide. So we need two consecutive odd integers that sum to 244. Easily we find 121 and 123. 121 is the 61st odd integer and 123 is the 62nd odd integer, so is the sum of the first 60 odd integers, or , while is for the same reasons. That way we get , , hence .
-jackshi2006
Video Solution by OmegaLearn
https://youtu.be/euz1azVKUYs?t=424
~ pi_is_3.14
See also
2008 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 3 |
Followed by Problem 5 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.