Maths Olympiad Prep

Library / National Math Olympiad - Final Round /4 of 9

National Math Olympiad - Final Round, 2013

Algebra Difficulty 5.4 AIME, harder Prove it Slovenia

For every real number aa, let [a][a] be the greatest integer that is not greater than aa. Find all integers yy for which there exists a real number xx such that [x+238]=[x]=y\left[\frac{x+23}{8}\right] = [\sqrt{x}] = y.

Solution

Let yy be such a number. Then x≥∣x∣=y\sqrt{x} \ge |\sqrt{x}| = y. Since x≥0\sqrt{x} \ge 0 we have y=[x]≥0y = [\sqrt{x}] \ge 0, so we may square the inequality to get x≥y2x \ge y^2. Also, x+238<[x+238]+1=y+1\frac{x+23}{8} < [\frac{x+23}{8}]+1 = y+1, or x<8y−15x < 8y-15. This implies y2<8y−15y^2 < 8y-15, or (y−3)(y−5)<0(y-3)(y-5) < 0, which means that 3<y<53 < y < 5. But yy is an integer, so y=4y=4. In this case there indeed exists a real number xx which satisfies the condition, for example x=16x=16.

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.