AMC 10 Step by Step

2020 AMC 10B Problem 9

P1-10~3 minPrint

How many ordered pairs of integers (x,y)(x,y) satisfy the equation x2020+y2=2y?x^{2020} + y^2 = 2y?

Log in to save your progress.
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, 2y2y, suggests completing the square in yy. Move 2y2y to the left and add 11 to both sides:
x2020+y2−2y+1=1,that isx2020+(y−1)2=1.x^{2020} + y^2 - 2y + 1 = 1, \quad\text{that is}\quad x^{2020} + (y - 1)^2 = 1.
2. Both pieces on the left are whole numbers that are never negative. The power 20202020 is even, so x2020x^{2020} is never negative, and a square is never negative.
3. Two such numbers adding to 11 must be 00 and 11 in some order. So there are two cases.
4. Case 1: x2020=0x^{2020} = 0 and (y−1)2=1(y - 1)^2 = 1. Then x=0x = 0, and y−1=1y - 1 = 1 or −1-1, so y=2y = 2 or y=0y = 0. Pairs: (0,2)(0, 2) and (0,0)(0, 0).
5. Case 2: x2020=1x^{2020} = 1 and (y−1)2=0(y - 1)^2 = 0. Then y=1y = 1, and x=1x = 1 or x=−1x = -1 (an even power of −1-1 is 11). Pairs: (1,1)(1, 1) and (−1,1)(-1, 1).
6. Any other integer xx, such as x=2x = 2, makes x2020x^{2020} far bigger than 11, so there are no more solutions.

That makes 44 ordered pairs.

The answer is (D) 4\boxed{\textbf{(D)}\ 4}.

Why this works

A big even exponent acts just like squaring for whole numbers: it gives 00 at x=0x = 0, 11 at x=1x = 1 and x=−1x = -1, 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 2y2y to the left and complete the square in yy:
x2020+y2−2y+1=1⟹x2020+(y−1)2=1.x^{2020} + y^2 - 2y + 1 = 1 \quad\Longrightarrow\quad x^{2020} + (y-1)^2 = 1.
Both terms are nonnegative integers (the exponent 20202020 is even), and they add to 11, so one term is 00 and the other is 11.

  • x2020=0x^{2020} = 0, (y−1)2=1(y-1)^2 = 1: x=0x = 0 and y=0y = 0 or y=2y = 2. Two pairs.
  • x2020=1x^{2020} = 1, (y−1)2=0(y-1)^2 = 0: x=±1x = \pm 1 and y=1y = 1. Two pairs.

That gives (0,0),(0,2),(1,1),(−1,1)(0,0), (0,2), (1,1), (-1,1), four ordered pairs.

The answer is (D) 4\boxed{\textbf{(D)}\ 4}.

Review in the AoPS books

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.