Maths Olympiad Prep

Library / /60 of 68

Algebra Difficulty 6.6 National Olympiad Prove it Estonia

Gandalf the Wizard added to his arsenal of magic a new trick in which he simultaneously turns each integer into some integer different from it. Call an integer a reflecting if, for every integer xx, the numbers xx and axa - x are turned into integers equal to each other. Is it possible that:

a. Numbers 10011001 and 10031003 are both reflecting;

b. Numbers 10001000, 10031003 and 10081008 are all reflecting;

c. Numbers 10021002, 10041004 and 10061006 are all reflecting?

Solution

For every integer xx, denote by G(x)G(x) the number into which Gandalf turns the number xx.

a. Suppose that both 10011001 and 10031003 are reflecting. Then, for every integer xx, we have G(x+2)=G(1003(x+2))=G(1001x)=G(x)G(x+2) = G(1003 - (x+2)) = G(1001 - x) = G(x). Hence Gandalf turns all even numbers into one and the same integer cc and all odd numbers into one and the same integer cc'. But c=G(500)=G(501)=cc = G(500) = G(501) = c', implying that all integers are turned into one and the same integer. This contradicts the assumption that Gandalf turns each integer into some other integer.

b. Suppose that numbers 10001000, 10031003 and 10081008 are all reflecting. Then, for every integer xx,
G(x+3)=G(1003(x+3))=G(1000x)=G(x), G(x+3) = G(1003 - (x+3)) = G(1000 - x) = G(x),
G(x+5)=G(1008(x+5))=G(1003x)=G(x). G(x+5) = G(1008 - (x+5)) = G(1003 - x) = G(x).
So G(x+1)=G(x+4)=G(x+7)=G(x+10)=G(x+5)=G(x)G(x+1) = G(x+4) = G(x+7) = G(x+10) = G(x+5) = G(x) for every integer xx. Consequently, Gandalf again turns all integers into equal integers, contradicting the condition of the problem.

c. Suppose Gandalf turns all even numbers into 11 and all odd numbers into 22. Then no integer is left unchanged. For every even number aa, including 10021002, 10041004 and 10061006, the numbers xx and axa-x are either both even or both odd, whence they are turned into equal numbers.

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.