Maths Olympiad Prep

Library / /39 of 129

, 2012

Number theory Difficulty 4.7 AIME Prove it Slovenia

The integers xx and yy are such that x+xy+y2=1x + xy + y^2 = 1 and y(5+x)0y(5 + x) \ge 0. What integer values can the expression xyx - y take?

Solution

The equality gives us x(1+y)=1y2=(1+y)(1y)x(1+y) = 1 - y^2 = (1+y)(1-y). If y=1y = -1, the equality holds, and from the inequality we derive (5+x)0-(5+x) \ge 0 or x5x \le -5. Hence xy=x+14x - y = x + 1 \le -4.

If, on the other hand, y1y \ne -1, the equality reduces to x=1yx = 1 - y. Using the last relation in the inequality we derive y(6y)0y(6-y) \ge 0, and hence 0y60 \le y \le 6. We conclude xy=12y{1,1,3,5,7,9,11}x - y = 1 - 2y \in \{1, -1, -3, -5, -7, -9, -11\}.

The expression xyx - y can take all values smaller or equal to 4-4 as well as values 3-3, 1-1 and 11.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.