Browse · MathNet
Print67th Czech and Slovak Mathematical Olympiad
Czech Republic algebra
Problem
Let be positive real numbers. Consider the equation where denotes the largest integer not exceeding . Prove that the set of real solutions to this equation contains an interval of length at least

Solution
Consider linear functions , . Since are distinct and positive, their graphs are two distinct lines with positive slope. As , point is the intersection of these lines (Fig. 3).
Without loss of generality, assume (i.e. the line determined by is the “steeper” one). Then for , whereas for : indeed,
Fig. 3
Let and consider such that and (that is, and ). We claim that the interval has all the desired properties.
First, for any we have and thus is a solution to the equation.
Second, and thus and the interval has the desired length.
Without loss of generality, assume (i.e. the line determined by is the “steeper” one). Then for , whereas for : indeed,
Fig. 3
Let and consider such that and (that is, and ). We claim that the interval has all the desired properties.
First, for any we have and thus is a solution to the equation.
Second, and thus and the interval has the desired length.
Techniques
Floors and ceilingsLinear and quadratic inequalities