Maths Olympiad Prep

Library / /13 of 17

, 2007

Algebra Difficulty 6.5 National olympiad Prove it Japan

Let [r][r] be the largest integer not exceeding real number rr. For real positive numbers xx, the set A(x)A(x) is defined by
A(x)={[nx]n:positive integer}. A(x) = \{[nx] \mid n: \text{positive integer}\}.
Find all irrational numbers α>1\alpha > 1 satisfying the following condition.
Condition: If a positive real number β\beta satisfies A(α)A(β)A(\alpha) \supset A(\beta), then βα\frac{\beta}{\alpha} is an integer.

Solution

First, we prove that any irrational number α>2\alpha > 2 satisfies the condition. Let A(α)A(β)A(\alpha) \supset A(\beta), [β]=[mα][\beta] = [m\alpha] (mm: positive integer). We can prove this by proving that [kβ]=[kmα][k\beta] = [km\alpha] for any positive integer kk. We are going to prove this by induction on kk. Assume that [kβ]=[kmα][k\beta] = [km\alpha], and [(k+1)β]=[lα][(k+1)\beta] = [l\alpha] (ll: positive integer). Then we only have to prove that l=(k+1)ml = (k+1)m.
From [mα]+[kmα]β+kβ<[mα]+[kmα]+2[m\alpha] + [km\alpha] \le \beta + k\beta < [m\alpha] + [km\alpha] + 2, [lα](k+1)β<[lα]+1[l\alpha] \le (k+1)\beta < [l\alpha] + 1, we get
[lα]<[mα]+[kmα]+2<[lα]+3. [l\alpha] < [m\alpha] + [km\alpha] + 2 < [l\alpha] + 3.
Note that all the terms are integers. We get [lα]1[mα]+[kmα][lα][l\alpha] - 1 \le [m\alpha] + [km\alpha] \le [l\alpha]. Hence,
(k+1)mα2<[mα]+[kmα][lα]lα<[lα]+1[mα]+[kmα]+2(k+1)mα+2 (k+1)m\alpha - 2 < [m\alpha] + [km\alpha] \le [l\alpha] \le l\alpha \\ < [l\alpha] + 1 \le [m\alpha] + [km\alpha] + 2 \le (k+1)m\alpha + 2
So, 2<(l(k+1)m)α<2-2 < (l - (k + 1)m)\alpha < 2. Since α>2\alpha > 2, we get l=(k+1)ml = (k + 1)m. With that the induction is completed.
Second, we prove that any irrational number α>2\alpha > 2 doesn't satisfy the condition. Let β=α2α\beta = \frac{\alpha}{2-\alpha}. Then βα=12α\frac{\beta}{\alpha} = \frac{1}{2-\alpha} is not integer, because 12α\frac{1}{2-\alpha} is an irrational number.
Let m=[nβ]A(β)m = [n\beta] \in A(\beta) (nn is positive integer). Then mnβ<m+12mmαnα<(2m+2)(m+1)αm \le n\beta < m + 1 \Leftrightarrow 2m - m\alpha \le n\alpha < (2m + 2) - (m + 1)\alpha. We get the following inequality.
mn+m2α<n+m+12α<m+1 m \le \frac{n+m}{2} \alpha < \frac{n+m+1}{2} \alpha < m+1
Since either n+mn+m or n+m+1n+m+1 is even, we get mA(α)m \in A(\alpha), and A(α)A(β)A(\alpha) \supset A(\beta). With that, the answer is α<2\alpha < 2.

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.