Maths Olympiad Prep

Library / /3 of 4

Combinatorics Difficulty 5.5 AIME, harder Prove it Silk Road Mathematics Competition

In an infinite sequence {α}\{\alpha\}, {α2}\{\alpha^2\}, {α3}\{\alpha^3\}, ... there are only finitely many distinct values. Show that α\alpha is an integer. ({x}\{x\} denotes the fractional part of xx, i.e. {x}=x[x]\{x\} = x - [x], where [x][x] is the greatest integer not greater than xx.) (Golovanov A.S.)

Solution

Step 1. We show that there is a positive integer ll such that αl\alpha^l is rational. Say the sequence is of length k1k-1. For any positive integer nn the sequence {αnk}\{\alpha^{nk}\}, {αnk+1}\{\alpha^{nk+1}\}, ..., {αnk+k1}\{\alpha^{nk+k-1}\} contains two equal elements. Hence, there are infinitely many pairs i,ji, j, 0<ij<k0 < i - j < k, such that {αi}={αj}\{\alpha^i\} = \{\alpha^j\}, i.e. αj(αij1)\alpha^j(\alpha^{i-j} - 1) is an integer. Since there are finitely many possible values of iji-j, at least one of them occurs infinitely often. So we can find mm such that αj(αm1)\alpha^j(\alpha^m - 1) is an integer for infinitely many jj. We can divide two such numbers to get αl\alpha^l is rational for some positive integer ll.

Step 2. Conclusion. Now if αl\alpha^l is not an integer, say, is equal to ab\frac{a}{b} for b>1b > 1, gcd(a,b)=1\text{gcd}(a, b) = 1, then {αln}\{\alpha^{ln}\} is an irreducible fraction with denominator bnb^n. This is true for any nn so we get infinitely many values, contradiction. So αl\alpha^l is an integer. If α\alpha is irrational, then αnl+1=αnlα\alpha^{nl+1} = \alpha^{nl} \cdot \alpha is irrational for any natural nn and have distinct fractional parts (Indeed, αil+1αjl+1=α(αilαjl)\alpha^{il+1} - \alpha^{jl+1} = \alpha(\alpha^{il} - \alpha^{jl}) cannot be an integer). This contradicts finiteness as well. Thus α\alpha is rational, and similar to above we can conclude it is an integer.

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 and solution reproduced as published; topic and difficulty added by this site.