What causes the equating-the-coefficients method not to work? When searching here to find methods for solving quartic polynomials, I came across a question where one of the solutions (at the very end) mentions that the equating coefficients method can fail.
https://math.stackexchange.com/a/57688
The example given is $$x^4−x−1=0$$ and indeed when equating coefficients of $$x^4−x−1=(x^2+bx+c)(x^2+Bx+C)$$ the resulting system is inconsistent.
I've not been able to find a formal statement or proof of the equating the coefficients theorem to try to figure out if some assumption has been violated or why it doesn't work in this case.
I don't have the background yet to understand an explanation based on the Galois groups that are briefly mentioned in the link, so if someone could find another way to explain it, that would be appreciated. An additional explanation based on Galois groups may also help someone else though.
https://en.wikipedia.org/wiki/Equating_coefficients doesn't mention anything about where it might fail.
Thank you.
 A: (If you haven't heard of universal quantification, have a careful read of my answer here).
Over the real numbers, equating coefficients always works. For instance, the following is a genuine theorem of mathematics:

Theorem. Let $a,b,c$ and $a',b',c'$ denote real numbers. Then
$$\left[\left( \mathop{\forall}_{x\in \mathbb{R}} \right) ax^2+bx+c=a'x^2+b'x+c'\right] \rightarrow (a=a') \wedge (b=b') \wedge (c=c')$$

This never fails to work.
What can fail is the attempt write a polynomial as a product of polynomials of lower degree. For instance, let $a$ and $b$ denote real numbers. Then the statement $$\left(\mathop{\forall}_{x\in \mathbb{R}} \right) x^2+1 = (x-a)(x-b),$$ if assumed, implies a contradiction.
(The complex numbers solve this particular problem, but even over the complex numbers, many bivariate degree $2$ polynomials cannot be written as a product of degree $1$ polynomials.)
I'm not quite sure why you think that if $a,b$ and $A,B$ are real numbers, then the statement $$\left(\mathop{\forall}_{x\in \mathbb{R}}\right) x^4−x−1=(x^2+bx+c)(x^2+Bx+C),$$ if assumed, leads to a contradiction. In fact, I was under the impression that this doesn't lead to a contradiction! Can you offer a proof of your claim?
