2020 AMC 10B Problem 9
How many ordered pairs of integers satisfy the equation
Show solution without answering
Key insight
Rewrite it as x to the 2020th power plus (y - 1) squared equals 1. Two never-negative whole numbers adding to 1 must be 0 and 1.
Solution
1. The huge power looks scary, but the right side, , suggests completing the square in . Move to the left and add to both sides:
2. Both pieces on the left are whole numbers that are never negative. The power is even, so is never negative, and a square is never negative.
3. Two such numbers adding to must be and in some order. So there are two cases.
4. Case 1: and . Then , and or , so or . Pairs: and .
5. Case 2: and . Then , and or (an even power of is ). Pairs: and .
6. Any other integer , such as , makes far bigger than , so there are no more solutions.
That makes ordered pairs.
The answer is .
Why this works
A big even exponent acts just like squaring for whole numbers: it gives at , at and , and something huge for anything else. Completing the square turns the equation into "numbers that are never negative add up to something small", and that leaves only a few cases to check.
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
Move to the left and complete the square in :
Both terms are nonnegative integers (the exponent is even), and they add to , so one term is and the other is .
- , : and or . Two pairs.
- , : and . Two pairs.
That gives , four ordered pairs.
The answer is .
Review in the AoPS books
- Introduction to Number Theory, Chapter 7: Algebra With Integers
- Introduction to Number Theory, Chapter 1: Integers: The Basics
- Introduction to Algebra, Chapter 11: Special Factorizations
- Introduction to Algebra, Chapter 20: Special Functions (§20.3)
Similar problems
Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site.