Maths Olympiad Prep

Library / /11 of 21

Number theory Difficulty 4.9 AIME Prove it Italy

Problem:

How many ordered pairs (x,y)(x, y) of integers satisfy the equation y48y2+7=8x22x2y2x4y^{4}-8 y^{2}+7=8 x^{2}-2 x^{2} y^{2}-x^{4}?

Solution

Solution:

The answer is 4. The given equation is equivalent to:
(x2+y21)(x2+y27)=0, \left(x^{2}+y^{2}-1\right)\left(x^{2}+y^{2}-7\right)=0,
whose solutions are given by the pairs (x,y)(x, y) of integers that satisfy x2+y2=1x^{2}+y^{2}=1 or x2+y2=7x^{2}+y^{2}=7. The latter equation, however, is impossible, since an integer that is a sum of two squares cannot have remainder 3 upon division by 4. It follows that all and only the solutions are (±1,0)(\pm 1,0) and (0,±1)(0, \pm 1).

(Alfieri)

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.