Khrisstian said:
I don't think there was a hypothesis imposter. The hypothesis was that x^2-1=0. Why would that change?
Because we are interested in the
opposite direction. That means you read backwards: if you structured the proof vertically you now read bottom up. And you are trying to prove what you assumed at the start.
You seem to not to understand the problem itself. So I'll break it down. The OP started with an axiom, let's call it Statement A. Statement A says "##x^2-1=0##". He then uses Statement A to prove Statement B. Statement B says "##x(x^2-1) = 0##".
So we have ##A \implies B##. Up to here no problem. But two things happen. First, he realizes that Statement A is equivalent to another Statement A'. A' says ##x=\pm1##.
Secondly, Statement B is also equivalent...to Statement B', which says (you guessed it!) ##x = 0, \pm 1##.
And now OP asks us: why does B' contain 0, even though A' does not.
The reason? A is not equivalent to B. Equivalent means ##A \implies B##
and ##B \implies A##. We
know the first implication is correct, we already did that one! Nobody is complaining about that one. It's the second implication that causes the problem. OP is unconsciously assuming that A "should be" equivalent to B, because that's what he has previous experience with.
But in this example ##B \not\Longrightarrow A##. This is why I keep saying the hypothesis swapped. We assume B, and look at whether A can be proved from B. You can't assume what you are trying to prove.
Edit: PS
You might ask, why should we care? Well, it's actually the definition of "a solution to the equation..."
To see this consider
-3 is the solution to 2x +4 = -2
in symbols we get
##x=-3 \implies 2x+4=-2##
Notice the direction of the arrow. But when you solve the equation you do
##2x+4 = -2##
##\implies 2x = -6 ##
##\implies x = -3##
The arrows are the wrong way!
We have not "solved" the problem, actually what we did was show
##2x+4 = -2 \implies x=-3##, or in words, "if there is a solution, that solution is -3".
-3 is not (yet) the solution, it's a candidate to the solution. To complete the problem, "we check our answer":
##x=-3 \implies 2x = -6 \implies 2x+4 =-2##
and our arrows are all in the right direction. The "plug the answer back" is what makes the proof work.