How many ordered pairs of integers satisfy the equation
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Complete the square: x^2020 + (y-1)^2 = 1, a sum of two nonnegative integers equal to 1, so one is 0 and the other 1.
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 .
Why this works
A huge even exponent is a signal, not an obstacle: behaves just like for integer solutions (it is at , at , and enormous otherwise). Completing the square converts the equation into "nonnegative pieces summing to a tiny constant," which leaves only a handful of cases.
The trap
Forgetting that x can be negative (x = -1 works because 2020 is even) and answering 3.
Common mistakes
- Forgetting that x can be negative (x = -1 works because 2020 is even) and answering 3.
- Not completing the square and trying to factor as , which does not bound cleanly.
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Bound the quantity above/below or estimate to pin it down