Maths Olympiad Prep

Library / /30 of 65

Algebra Difficulty 6.1 National Olympiad Prove it Bulgaria

Problem:
Consider the equations
[x]3+x2=x3+[x]2 and [x3]+x2=x3+[x2] [x]^3 + x^2 = x^3 + [x]^2 \text{ and } \left[x^3\right] + x^2 = x^3 + \left[x^2\right]
where [t][t] is the greatest integer that does not exceed tt. Prove that:
a) any solution of the first equation is an integer;
b) the second equation has a non-integer solution.

Solution

Solution:
a) Let xx satisfy the equality [x]3+x2=x3+[x]2[x]^3 + x^2 = x^3 + [x]^2. Then setting t=[x]t = [x] and α=xt[0,1)\alpha = x - t \in [0,1) one has that
t3t2=(t+α)3(t+α)2α(α2+(3t1)α+3t22t)=0 t^3 - t^2 = (t + \alpha)^3 - (t + \alpha)^2 \Longleftrightarrow \alpha\left(\alpha^2 + (3t - 1)\alpha + 3t^2 - 2t\right) = 0
Hence either α=0\alpha = 0, or α\alpha is a root of the equation in the brackets. In the second case the discriminant (3t+1)(1t)(3t + 1)(1 - t) of this equation must be non-negative. Since tt is an integer, it follows that t=0t = 0 or t=1t = 1. Then either α=0\alpha = 0, α=1\alpha = 1 or α=1\alpha = -1. Now α[0,1)\alpha \in [0,1) implies that α=0\alpha = 0, i.e., xx is an integer.

b) The degree of the polynomial y3y21y^3 - y^2 - 1 is odd. Hence this polynomial has a real zero α\alpha. Obviously, α\alpha is not an integer (in fact, α\alpha is unique and α(1,2)\alpha \in (1,2)). Then [α3]=[α2+1]=[α2]+1\left[\alpha^3\right] = \left[\alpha^2 + 1\right] = \left[\alpha^2\right] + 1 and hence [α3][α2]=1=α3α2\left[\alpha^3\right] - \left[\alpha^2\right] = 1 = \alpha^3 - \alpha^2.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.