Problem:
A natural number is given. Let be a bijection such that for any two integers and for which , it holds that . Prove that for all it holds that
Problem:
A natural number is given. Let be a bijection such that for any two integers and for which , it holds that . Prove that for all it holds that
Solution:
For the statement is trivial. So let . Call an interval of length a set of the form . Two integers and will be called consecutive if and only if there exist intervals and of length for which . However, by the condition of the problem and are also intervals of length , so since , it follows that and are also consecutive numbers. From this, for . Finally, using the injectivity of the mapping, by a simple induction on we obtain that .