Browse · MathNet
PrintXXI SILK ROAD MATHEMATICAL COMPETITION
counting and probability
Problem
In an infinite sequence , , , ... there are only finitely many distinct values. Show that is an integer. ( denotes the fractional part of , i.e. , where is the greatest integer not greater than .) (Golovanov A.S.)
Solution
Step 1. We show that there is a positive integer such that is rational. Say the sequence is of length . For any positive integer the sequence , , ..., contains two equal elements. Hence, there are infinitely many pairs , , such that , i.e. is an integer. Since there are finitely many possible values of , at least one of them occurs infinitely often. So we can find such that is an integer for infinitely many . We can divide two such numbers to get is rational for some positive integer .
Step 2. Conclusion. Now if is not an integer, say, is equal to for , , then is an irreducible fraction with denominator . This is true for any so we get infinitely many values, contradiction. So is an integer. If is irrational, then is irrational for any natural and have distinct fractional parts (Indeed, cannot be an integer). This contradicts finiteness as well. Thus is rational, and similar to above we can conclude it is an integer.
Step 2. Conclusion. Now if is not an integer, say, is equal to for , , then is an irreducible fraction with denominator . This is true for any so we get infinitely many values, contradiction. So is an integer. If is irrational, then is irrational for any natural and have distinct fractional parts (Indeed, cannot be an integer). This contradicts finiteness as well. Thus is rational, and similar to above we can conclude it is an integer.
Techniques
Pigeonhole principleFloors and ceilingsOther