Skip to main content
OlympiadHQ

Browse · MathNet

Print

China 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