<s>[INST] The implication: $x+\frac{1}{x}=1 \implies x^7+\frac{1}{x^7}=1$ $$x+\frac{1}{x}=1 \implies x^7+\frac{1}{x^7}=1$$
The graphs/range: $\quad y_1(x)=x+\frac{1}{x}, \quad y_7(x)=x^7+\frac{1}{x^7} \quad$
and do not touch the line $\quad y=1\quad$.  The relation $\quad x+\frac 1 x=1 \quad$ appears to only be true for certain complex values
Yet the reasoning for the implication itself is
\begin{align}
x+\frac {1}{x}&=1 \\
\color {green}{x^2}&=\color {green}{x-1 }\\
x^3&=\color {green}{x^2}-x \\
&=(\color {green}{x-1})-x \\
&=-1.
\end{align}
Hence $x^6=1$, which implies $x^7=x$.
I had just started reading this book when it was presented, asking you to prove the implication without finding the roots first.
So my question: is this implication really justified?   Should the author have said to only prove it for an implicit (complex) specific value of $x$?  If I didn't know any better, I'd say he presented it like it was true for some range of values...he couldn't of...
 [/INST] Define two propositions: $p:= x+\frac{1}{x}−1=0$ and $q:=x^7+\frac{1}{x^7}−1=0$. You are trying to find the values of $x$ for which $p \wedge q$ is true. The actual question is 'prove that $p \Rightarrow q$ is true'. These two propositions are different.
If you try to solve $x+\frac{1}{x}=1$ you end up with $x = e^{i\frac{\pi}{3}}$ and $x = e^{-i\frac{\pi}{3}}$. Now, in both cases
$$x^7+\frac{1}{x^7} = 2\cos \frac{7\pi}{3} = 2\cos \frac{\pi}{3} = 1.$$
</s>