Olympiad Maths Prep

Library / /9 of 10

Algebra Difficulty 6.6 National olympiad Prove it Czech Republic

Let aba \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)=(ba)(1x). f(x) - g(x) = (a x + b) - (b x + a) = (b - a)(1 - x).

Figure 1
Fig. 3

Let t=a+bt = \lfloor a + b \rfloor and consider x11<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=tabx_1 = \frac{t - a}{b} and x2=t+1abx_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(x2x1), 1 = (t + 1) - t = b x_2 + a - (b x_1 + a) = b(x_2 - x_1),
and thus x2x1=1/b=1/max{a,b}x_2 - x_1 = 1 / b = 1 / \max\{a, b\} and the interval has the desired length.

Looking for a route rather than 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.