Maths Olympiad Prep

Library / Ukrainian National Mathematical Olympiad /49 of 201

Ukrainian National Mathematical Olympiad

Algebra Difficulty 5.3 AIME, harder Prove it Ukraine

Determine all possible pairs of integers a,ba, b so that exactly one of them is even and so that there are non-integer x,yx, y, such that both x+yx+y and ax+byax+by are integer?

Solution

Since ax+by=a(x+y)+(b−a)yax+by = a(x+y) + (b-a)y, the value of (b−a)y(b-a)y is integer. If ∣a−b∣=1|a-b|=1, then yy has to be integer – contradiction.

For ∣a−b∣>1|a-b|>1 we can let y=1b−ay = \frac{1}{b-a} and x=−yx = -y. Then x+y=0x+y=0, (b−a)y(b-a)y is integer, hence ax+byax+by is also integer.

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.