Maths Olympiad Prep

Library / /46 of 62

, 2020

Algebra Difficulty 5.9 AIME, harder Find the answer United States

Problem:

For some positive real α\alpha, the set SS of positive real numbers xx with {x}>αx\{x\} > \alpha x consists of the union of several intervals, with total length 20.220.2. The value of α\alpha can be expressed as ab\frac{a}{b}, where a,ba, b are relatively prime positive integers. Compute 100a+b100 a + b. (Here, {x}=xx\{x\} = x - \lfloor x \rfloor is the fractional part of xx.)

Proposed by: Daniel Zhu

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:

If we note that x={x}+xx = \{x\} + \lfloor x \rfloor, then we can rewrite our given inequality as {x}>α1αx\{x\} > \frac{\alpha}{1-\alpha} \lfloor x \rfloor. However, since {x}<1\{x\} < 1, we know that we must have α1αx<{x}<1\frac{\alpha}{1-\alpha} \lfloor x \rfloor < \{x\} < 1, so each interval is of the form (n+α1αn,n+1)\left(n + \frac{\alpha}{1-\alpha} n, n+1\right) for some integer nn, which has length 1(n+1)α1α\frac{1 - (n+1) \alpha}{1-\alpha}. If we let kk be the smallest integer such that 1(k+1)α1α<0\frac{1 - (k+1) \alpha}{1-\alpha} < 0, then the total length of all our intervals is the sum
n=0k11(n+1)α1α=kk(k+1)2α1α \sum_{n=0}^{k-1} \frac{1 - (n+1) \alpha}{1-\alpha} = \frac{k - \frac{k(k+1)}{2} \alpha}{1-\alpha}
If we set this to 20.220.2, we can solve for α\alpha to get
α=k20.2k(k+1)220.2. \alpha = \frac{k - 20.2}{\frac{k(k+1)}{2} - 20.2}.
Since we defined kk to be the smallest integer such that 1(k+1)α<01 - (k+1) \alpha < 0, we know that kk is the largest integer such that kα<1k \alpha < 1. If we plug in our value for α\alpha, we get that this is equivalent to
k220.2kk(k+1)220.2<1k<40.4 \frac{k^2 - 20.2 k}{\frac{k(k+1)}{2} - 20.2} < 1 \Longrightarrow k < 40.4
Thus, we have k=40k = 40, and plugging this in for our formula for α\alpha gives us
α=4020.24041220.2=331333. \alpha = \frac{40 - 20.2}{\frac{40 \cdot 41}{2} - 20.2} = \frac{33}{1333}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.