How many ordered pairs of integers satisfy the equation
- A)
- B)
- C)
- D)
- E)
Answer
D
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.
The trap
Forgetting that x = -1 also works (an even power of -1 is 1) and answering 3.
Concise solution
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)
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Bound the quantity above/below or estimate to pin it down