Moving from $x^2+x+1=0$ to $x+1+\frac1x=0$ seems to introduce a solution, how is this possible?

In effect, you have taken the equation $$x^2+x+1=0,$$ divided by $x$ to get $$x+1+\frac1x=0$$ and then multiplied by $x-1$ to get $$x^2-\frac1x=0.$$ The extraneous root $1$ is the solution of $x-1=0$, and $x-1$ is the factor you multiplied by.


Another way to look at this.

  1. $$x^2 + x + 1 = 0, x \neq 0, \pm 1$$

  2. $$x + 1 + \frac{1}{x} = 0$$

  3. $$x^2 - \frac{1}{x} = 0$$

  4. $$x = 1$$

We're asking for 'the solutions' to 1. What does that mean? It means, find the set of numbers, $X \subset \mathbb{C}$ with

$$x \in X \iff 1.$$

We know that

  1. $\implies$ 2.

And clearly 2. $\implies$ 1.

So 1. $\iff$ 2.

We know that, together,

  1. and 2. $\implies$ 3.

BUT, it is not the case that

  1. $\implies$ 1.

This is an assumption that is implicit in the 'proof' given.

We also know that

  1. $\implies$ 3.

BUT, again, it is not the case that

  1. $\implies$ 4.

With these implications made explicit, it should be clear why this reasoning is unsound. We are effectively making the claim that 4. $\implies$ 1!

The particular fallacy is called Affirming the Consequent because we 'affirm' the right hand of an implication, and fallaciously deduce from that that the left hand must be true.

This kind of fallacy is particularly common when 'equational' reasoning is used without making the implications explicit.