Maths Olympiad Prep

Library / Slovenia — National Math Olympiad /34 of 122

Slovenia — National Math Olympiad, 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 x−yx - y take?

Solution

The equality gives us x(1+y)=1−y2=(1+y)(1−y)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 x≤−5x \le -5. Hence x−y=x+1≤−4x - y = x + 1 \le -4.

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

The expression x−yx - 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.