Maths Olympiad Prep

Library / /18 of 61

Algebra Difficulty 5.8 AIME, harder Prove it Belarus

Find all xx satisfying the equality
[x2][x2]8[x]+2=0. [x^2] - [-x^2] - 8[x] + 2 = 0.
(Here [x][x] stands for the greatest integer not exceeding xx.)

Solution

Answer: 3\sqrt{3}, 7\sqrt{7}, 11\sqrt{11}.
Since 8[x]8[x] is an integer number, we can rewrite the initial equation as
[x24[x]+1][x24[x]+1]=0[x^2 - 4[x] + 1] - [-x^2 - 4[x] + 1] = 0.
Set y=x24[x]+1y = x^2 - 4[x] + 1, then [y]=[y][y] = [-y].
It is easy to see that for y>0y > 0 we have 0[y]=[y]10 \le [y] = [-y] \le -1, which is impossible.
Similarly, for y<0y < 0 we have 1[y]=[y]0-1 \ge [y] = [-y] \ge 0.
So y=0y = 0, i.e. x24[x]+1=0x^2 - 4[x] + 1 = 0.
Note that for x<1x < 1 we have [x]0[x] \le 0, therefore x24[x]+11>0x^2 - 4[x] + 1 \ge 1 > 0.
Thus x1x \ge 1.
Let x=n+ax = n + a, where nNn \in \mathbb{N}, 0a<10 \le a < 1.
Then 0=x24[x]+1=n2+2na+a24n+1=n(n4)+2na+a2n(n4)0 = x^2 - 4[x] + 1 = n^2 + 2na + a^2 - 4n + 1 = n(n - 4) + 2na + a^2 \ge n(n - 4), so n4n \le 4.
Therefore, 1n41 \le n \le 4.
If [x]=n=1, then x24[x]+1=x24+1=x23=0, so x=3. \text{If } [x] = n = 1, \text{ then } x^2 - 4[x] + 1 = x^2 - 4 + 1 = x^2 - 3 = 0, \text{ so } x = \sqrt{3}.
If [x]=n=2, then x24[x]+1=x28+1=x27=0, so x=7. \text{If } [x] = n = 2, \text{ then } x^2 - 4[x] + 1 = x^2 - 8 + 1 = x^2 - 7 = 0, \text{ so } x = \sqrt{7}.
If [x]=n=3, then x24[x]+1=x212+1=x211=0, so x=11. \text{If } [x] = n = 3, \text{ then } x^2 - 4[x] + 1 = x^2 - 12 + 1 = x^2 - 11 = 0, \text{ so } x = \sqrt{11}.
If [x]=n=4, then x24[x]+1=x216+1=x215=0, so x=15<4, contrary to [x]=4. \text{If } [x] = n = 4, \text{ then } x^2 - 4[x] + 1 = x^2 - 16 + 1 = x^2 - 15 = 0, \text{ so } x = \sqrt{15} < 4, \text{ contrary to } [x] = 4.

Want a route through all this instead of 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.