Olympiad Maths Prep

Library / /3 of 22

Algebra Difficulty 4.9 AIME Prove it Ukraine

Solve the following equation:
[x]=[x], |[x]| = |[x]|,
where [a][a] stands for the greatest integer that does not exceed aa.

Solution

Answer: All non-negative reals and negative integers.

Consider 3 cases.

1) x0x \ge 0. Then x=x|x| = x, [x]0[x] \ge 0, and so [x]=[x]=[x]|[x]| = [x] = [|x|], which means that any non-negative xx is a solution of our equation.

2) xx is a negative integer. Then [x]=x[x] = x, [x]=x[-x] = -x, x=x|x| = -x, and so [x]=[x]=(x=x=[x])|[x]| = [-x] = (-x = |x| = [x]|), proving that these values of xx are also solutions.

3) xx is negative, but not an integer. In this case x=x|x| = -x, [x]<x|[x]| < -x. On the other hand, [x]<x<0[x] < x < 0, [x]>x|[x]| > -x, and the equality is not satisfied.

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.