Maths Olympiad Prep

Library / Indian National Mathematical Olympiad /70 of 103

Indian National Mathematical Olympiad, 2004

Algebra Difficulty 6.4 National Olympiad Prove it India

Problem:

If α\alpha is a real root of the equation x5−x3+x−2=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+1≥2α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 x5−x3+x−2=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α2−5α+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α2−3α≥0\alpha^{5}-\alpha^{3}+2 \alpha^{2}-3 \alpha \geq 0 which is equivalent to 2α2−4α+2≥02 \alpha^{2}-4 \alpha+2 \geq 0. But this is 2(α−1)2≥02(\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,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.