Browse · MathNet
PrintChina Girls' Mathematical Olympiad
China algebra
Problem
Let and be strictly increasing linear functions from to such that is an integer if and only if is an integer. Prove that for any real number , is an integer.
Solution
By symmetry, we may assume that . We claim that . Assume on the contrary that . Because , the ranges of and are both . There is a such that is an integer. Hence is also an integer. But then, and But this is impossible because we cannot have two integers and that have positive difference which is less than 1. Therefore, we can write and for some real numbers with . Then must be an integer, that is, is an integer. □
Techniques
Injectivity / surjectivityIntegers