Maths Olympiad Prep

Library / Czech and Slovak Mathematical Olympiad /54 of 70

Czech and Slovak Mathematical Olympiad

Algebra Difficulty 6.6 National Olympiad Prove it Czech Republic

Let a≠ba \neq b be positive real numbers. Consider the equation
⌊ax+b⌋=⌊bx+a⌋ \lfloor a x + b \rfloor = \lfloor b x + a \rfloor
where ⌊y⌋\lfloor y \rfloor denotes the largest integer not exceeding yy. Prove that the set of real solutions xx to this equation contains an interval of length at least
1max⁡{a,b}(Patrik Bak) \frac{1}{\max\{a, b\}} \qquad (\text{Patrik Bak})

Solution

Consider linear functions f(x)=ax+bf(x) = a x + b, g(x)=bx+ag(x) = b x + a. Since a,ba, b are distinct and positive, their graphs are two distinct lines with positive slope. As f(1)=g(1)=a+bf(1) = g(1) = a + b, point P=[1,a+b]P = [1, a + b] is the intersection of these lines (Fig. 3).

Without loss of generality, assume b>ab > a (i.e. the line determined by gg is the “steeper” one). Then f(x)>g(x)f(x) > g(x) for x<1x < 1, whereas f(x)<g(x)f(x) < g(x) for x>1x > 1: indeed,
f(x)−g(x)=(ax+b)−(bx+a)=(b−a)(1−x). f(x) - g(x) = (a x + b) - (b x + a) = (b - a)(1 - x).

Figure 1
Fig. 3

Let t=⌊a+b⌋t = \lfloor a + b \rfloor and consider x1≤1<x2x_1 \le 1 < x_2 such that g(x1)=tg(x_1) = t and g(x2)=t+1g(x_2) = t + 1 (that is, x1=t−abx_1 = \frac{t - a}{b} and x2=t+1−abx_2 = \frac{t + 1 - a}{b}). We claim that the interval [x1,x2][x_1, x_2] has all the desired properties.

First, for any x∈[x1,x2)x \in [x_1, x_2) we have
t=g(x1)≤min⁡{f(x),g(x)}≤max⁡{f(x),g(x)}<g(x2)=t+1, t = g(x_1) \le \min\{f(x), g(x)\} \le \max\{f(x), g(x)\} < g(x_2) = t + 1,
and thus xx is a solution to the equation.

Second,
1=(t+1)−t=bx2+a−(bx1+a)=b(x2−x1), 1 = (t + 1) - t = b x_2 + a - (b x_1 + a) = b(x_2 - x_1),
and thus x2−x1=1/b=1/max⁡{a,b}x_2 - x_1 = 1 / b = 1 / \max\{a, b\} and the interval has the desired length.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.