Algebra · real student question

Factor x^2 - 4xy + 4y, or explain why it cannot be factored over the integers.

Question

Factor

x24xy+4yx^2-4xy+4y

or explain why no factorisation over the integers exists.

Step-by-step solution

  1. Check for a common factor. The three terms are x2x^2, 4xy-4xy and 4y4y. The first has no yy and the last has no xx, so there is no common variable factor, and x2x^2 has no factor of 44. Nothing can be pulled out.

  2. Test the perfect-square pattern and see it fail. The pattern a22ab+b2a^2-2ab+b^2 would need the last term to be a square. But 4y4y is not a square: its exponent on yy is odd. The familiar identity applies to

    x24xy+4y2=(x2y)2x^2-4xy+4y^2=(x-2y)^2

    and the missing exponent on the final yy is the whole difference.

  3. Treat it as a quadratic in xx and compute the discriminant. Writing it as x2(4y)x+4yx^2-(4y)x+4y:

    Δ=(4y)24(1)(4y)=16y216y=16y(y1)\Delta=(4y)^2-4(1)(4y)=16y^2-16y=16y(y-1)

  4. Draw the conclusion. A quadratic in xx with polynomial coefficients factors over Z[y]\mathbb{Z}[y] only when its discriminant is the square of a polynomial. Here 16y(y1)16y(y-1) is 1616 times a product of two distinct linear factors, which is not a perfect square in Z[y]\mathbb{Z}[y]. Hence x24xy+4yx^2-4xy+4y is irreducible.

  5. Sanity-check by partial grouping. The best that can be done is

    x24y(x1)x^2-4y(x-1)

    which is a valid rewriting but not a factorisation, since the two remaining pieces share nothing. If the intended problem was x24xy+4y2x^2-4xy+4y^2, the answer is (x2y)2(x-2y)^2.

Answer

x24xy+4y does not factor over Z; its discriminant in x is 16y(y1)x^2-4xy+4y\text{ does not factor over }\mathbb{Z}\text{; its discriminant in }x\text{ is }16y(y-1)

Need to solve a different problem like this? Open the solver →