Maths Olympiad Prep

Library / /82 of 121

, 2004

Algebra Difficulty 6.4 National Olympiad Prove it India

Problem:

If α\alpha is a real root of the equation x5x3+x2=0x^{5}-x^{3}+x-2=0, prove that [α6]=3\left[\alpha^{6}\right]=3. (For any real number aa, we denote by [a][a] the greatest integer not exceeding aa.)

Solution

Solution:

Suppose α\alpha is a real root of the given equation. Then
α5α3+α2=0 \alpha^{5}-\alpha^{3}+\alpha-2=0
This gives α5α3+α1=1\alpha^{5}-\alpha^{3}+\alpha-1=1 and hence (α1)(α4+α3+1)=1(\alpha-1)\left(\alpha^{4}+\alpha^{3}+1\right)=1.

Observe that α4+α3+12α2+α3=α2(α+2)\alpha^{4}+\alpha^{3}+1 \geq 2 \alpha^{2}+\alpha^{3}=\alpha^{2}(\alpha+2). If 1α<0-1 \leq \alpha<0, then α+2>0\alpha+2>0, giving α2(α+2)>0\alpha^{2}(\alpha+2)>0 and hence (α1)(α4+α3+1)<0(\alpha-1)\left(\alpha^{4}+\alpha^{3}+1\right)<0. If α<1\alpha<-1, then α4+α3=α3(α+1)>0\alpha^{4}+\alpha^{3}=\alpha^{3}(\alpha+1)>0 and hence α4+α3+1>0\alpha^{4}+\alpha^{3}+1>0. This again gives (α1)(α4+α3+1)<0(\alpha-1)\left(\alpha^{4}+\alpha^{3}+1\right)<0.

The above reasoning shows that for α<0\alpha<0, we have α5α3+α1<0\alpha^{5}-\alpha^{3}+\alpha-1<0 and hence cannot be equal to 11. We conclude that a real root α\alpha of x5x3+x2=0x^{5}-x^{3}+x-2=0 is positive (obviously α0\alpha \neq 0).

Now using α5α3+α2=0\alpha^{5}-\alpha^{3}+\alpha-2=0, we get
α6=α4α2+2α \alpha^{6}=\alpha^{4}-\alpha^{2}+2 \alpha
The statement [α6]=3\left[\alpha^{6}\right]=3 is equivalent to 3α6<43 \leq \alpha^{6}<4.

Consider α4α2+2α<4\alpha^{4}-\alpha^{2}+2 \alpha<4. Since α>0\alpha>0, this is equivalent to α5α3+2α2<4α\alpha^{5}-\alpha^{3}+2 \alpha^{2}<4 \alpha. Using the relation (1), we can write 2α2α+2<4α2 \alpha^{2}-\alpha+2<4 \alpha or 2α25α+2<02 \alpha^{2}-5 \alpha+2<0. Treating this as a quadratic, we get this is equivalent to 12<α<2\frac{1}{2}<\alpha<2.

Now observe that if α2\alpha \geq 2 then 1=(α1)(α4+α3+1)251=(\alpha-1)\left(\alpha^{4}+\alpha^{3}+1\right) \geq 25 which is impossible. If 0<α120<\alpha \leq \frac{1}{2}, then 1=(α1)(α4+α3+1)<01=(\alpha-1)\left(\alpha^{4}+\alpha^{3}+1\right)<0 which again is impossible. We conclude that 12<α<2\frac{1}{2}<\alpha<2.

Similarly α4α2+2α3\alpha^{4}-\alpha^{2}+2 \alpha \geq 3 is equivalent to α5α3+2α23α0\alpha^{5}-\alpha^{3}+2 \alpha^{2}-3 \alpha \geq 0 which is equivalent to 2α24α+202 \alpha^{2}-4 \alpha+2 \geq 0. But this is 2(α1)202(\alpha-1)^{2} \geq 0 which is valid. Hence 3α6<43 \leq \alpha^{6}<4 and we get [α6]=3\left[\alpha^{6}\right]=3.

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.