SOLUTION: prove that if x^5=x^4+1, then x^3=x+1

Algebra.Com
Question 517660: prove that if x^5=x^4+1, then x^3=x+1
Answer by Edwin McCravy(20059)   (Show Source): You can put this solution on YOUR website!
We are to prove

if x5=x4+1, then x³=x+1

or

if x5-x4-1=0, then x³-x-1=0

or we are to prove:

if f(x) = x5 - x4 - 1 = 0  and g(x) = x³ - x - 1 = 0

then all zeros of f(x) are zeros of g(x).  

This is likely not true for all complex zeros of f(x), since a 5th degree
polynomial has 5 zeros (counting multiplicities) whereas a 3rd degree
polynomial has only 3.  However it may be true for x real.


Let's consider the case when x is a real number.

By Descartes' rule of signs, both f(x) and g(x) have 1 positive zero.  

f(x) has no negative solutions. g(x) either has 2 or no negative zeros.
They could have the same positive zero if g(x) were a factor of f(x).
So we see if this is the case by long division of f(x)÷g(x):
                                                                            
                                   x² -  x + 1
x³ + 0x² - x - 1)x5 -  x4 + 0x³ + 0x² - 0x - 1
                 x5 + 0x4 -  x³ -  x²
                      -x4 +  x³ +  x² - 0x
                      -x4 - 0x³ +  x² +  x
                             x³ + 0x² -  x - 1
                             x³ + 0x² -  x - 1
                                             0
Yes indeed we get a 0 remainder, so

x5-x4-1 = (x³-x-1)(x²-x+1)

f(x) = g(x)·(x²-x+1)

x²-x+1 has only conjugate complex imaginary zeros , so if
x = the one and only real zero of f(x), the right side is also 0, and x²-x+1 is
not 0 since it has only imaginary zeros  , so x must also
be the real zero of g(x).  So the proposition is true for x real.

However it is not true for x complex imaginary, for the zeros
 of x²-x+1 are zeros of f(x), but are not zeros of g(x).  

Edwin


RELATED QUESTIONS

1) Prove that if 3/5 x =-9, then x=-15. 2) Prove that if 3x-2=x-8, then x=-3. 3)... (answered by Alan3354)
if x+1/y=1 & y+1/z=1 then prove that... (answered by Fombitz)
Prove that if x^y=y^x then... (answered by ilana)
if x^y=y^x then prove that... (answered by venugopalramana)
Prove that if -1/2x=9,then... (answered by user_dude2008)
Prove that if 0≤x≤2 then... (answered by Fombitz)
If 10^x+10^-x=4. Prove that log base 10( 2+(3^1/2))=... (answered by htmentor)
if x<1, prove that (1+x)^1+x(1-x)^1-x >... (answered by venugopalramana)
if 'n' is odd, then prove that (x + 1) is a factor of x^n +... (answered by rothauserc)