1
$\begingroup$

We want to factor $8x^4y^4-2y^8-4x^6+x^2y^4 = -2y^8 + (8x^4+x^2)y^4 -4x^6$. We substitute $x^4$ with $z$:

Now we want to compute this $8x^4z-2z^2-4x^6+x^2z = -(x^2-2z)(4x^4-z)$ by hand.

Therefore we transform it into $-(2z^2-(8x^4+x^4)z+4x^6z^0)$ and use the quadratic formula on the (inner) polynomial in $z$. The result is

$z = \frac 1 2 x^2 \lor z = 4x^4.$

So the result should be $(z-\frac 1 2 x^2)(z-4x^4)$. But the first factor appears only half? What is the reason for that? Is this a way to factor $8x^4y^4-2y^8-4x^6+x^2y^4$? The exercise is to use the recursive form $-2y^8 + (8x^4+x^2)y^4 -4x^6 \in \mathbb{Q}[y][x]$ (or alternatively $\mathbb{Q}[x][y]$).

2 Answers 2

4

If I understand your question correctly, the reason is because when you factor a polynomial using its roots or zeroes, you have to keep the main coefficient as a factor also. More explicitly, if you have a polynomial

$F(x) = a_n x^n + \cdots + a_1 x + a_0$

with zeroes $c_1, \dots , c_n$ then

$F(x) = a_n (x - c_1)\cdots (x - c_n)$

In your case, what happens is that you're using the quadratic formula to find the roots of the polynomial $F(z) = 2z^2 + \cdots$ so when you use the factorization with the roots you found, you're forgetting the $2$ that corresponds to the principal coefficient and when you multiply the term $(z - \frac{1}{2}x^2)$ by $2$ you get precisely $2z - x^2$ which is what you expected.

0

$8x^4y^4-2y^8-4x^6+x^2y^4 =(8x^4y^4-2y^8)-(4x^6-x^2y^4)=2y^4(4x^4-y^4)-x^2(4x^4-y^4)=$ $=(2y^4-x^2)(4x^4-y^4)=(2y^4-x^2)((2x^2)^2-(y^2)^2)=(2y^4-x^2)(2x^2-y^2)(2x^2+y^2)$