## Section 4.2 Factoring the Greatest Common Factor

¶Factoring a polynomial is the reverse action to expanding the product of two or more polynomials. For example, using the FOIL expansion we know thatThe process used to determine the factored form of a given polynomial is dependent upon the nature of the polynomial. For example, the strategies used for trinomials (polynomials with three terms) are completely different than the strategies used for binomials (polynomials with two terms).

One thing that is common to all factorizations is that the first step is to identify the Greatest Common Factor (GCF) of the terms in the polynomial and if the GCF is not \(1\) proceed to factor out the GCF.

For example, we can see that \(2\) is a factor of both terms of the expression \(2x+10\text{,}\) so the first step in factoring \(2x+10\) is to "take out" the factor of \(2\text{.}\) (Side note: the author prefers the phrase "take out the factor" over the phrase "factor out the factor"; using the word "factor" as both a verb and a noun in the same sentence just seems wrong.) Back to factoring:

Determining the GCF for variable factors is fairly straight forward. A strategy follows.

- Any variable that appears in every term is in the GCF and only variables that occur in every term are in the GCF.
- The exponent on any given variable in the GCF is the smallest exponent that occurs on the variable in any given term. When making this determination, we need to recognize that an expression such as "\(x\)" can be regarded as having an exponent of \(1\text{.}\)

###### Example 4.2.1.

Determine the greatest common factor of the expressions

The greatest common factor (also called the greatest common divisor) of \(12\text{,}\) \(30\text{,}\) and \(24\) is \(6\text{.}\)

The variable \(x\) appears in all three expressions, so it appears in the GCF. The smallest exponent that occurs on \(x\) is \(5\text{,}\) so that is its exponent in the GCF.

The variable \(y\) appears in all three expressions, so it appears in the GCF. The smallest exponent that occurs on \(y\) is \(1\text{,}\) so that is its exponent in the GCF.

The variable \(z\) does not appear in at least one of the expressions, so it does not appear in the GCF.

In summary, the GCF is \(6x^5y\text{.}\)

You can use Figure 4.2.2 to get some practice at determining the greatest common factor of several expressions.

Let's determine and take out the GCF of the expression

The variables that occur in all three terms are \(x\) and \(y\text{.}\) The smallest exponent on \(x\) is \(3\) and the smallest exponent on \(y\) is (the hidden) \(1\text{,}\) so the GCF is \(x^3y\text{.}\) Taking out the GCF we have

The thought process I used to determine the factor \((y^2z^7+x-x^4z)\) is outlined below.

- I took out three factors of \(x\) and one factor of \(y\) from the first term, \(x^3y^3z^7\text{.}\) So what was left behind were no factors of \(x\text{,}\) two factors of \(y\text{,}\) and all seven factors of \(z\text{.}\)
- I took out three factors of \(x\) and one factor of \(y\) from the middle term, \(x^4y\text{,}\) so all that was left behind was a single factor of \(x\text{.}\)
- I took out three factors of \(x\) and one factor of \(y\) from the last term, \(x^7yz\text{,}\) so I left behind four factors \(x\) and the lone factor of \(z\text{.}\)

One of the great things about factor problems is that you can always check your answer by expansion. That is, you can confirm the equality

When it comes to determining the GCF of the coefficients of the terms, the numbers are usually small enough that you can just "figure it out." Remember that your goal is to determine the greatest integer that evenly divides into each coefficient. When we say "evenly divide" we mean that there is no remainder after the division is performed. Once you think you have determined the GCF, take it out (along with relevant variable factors) and make sure that there are no remaining common factors to each of the coefficients.

There are some tools you can use to help you determine if certain integers evenly divide into a given integer.

Each of the following statements are "if and only if" statements which I find easier to remember if they are simply stated in the affirmative. For example, instead of saying "an integer is evenly divisible by \(2\) if and only if ends in an even digit" I say "any integer that ends in an even digit is evenly divisible by \(2\text{.}\)" In addition to that rule, we have the following.

- If \(3\) evenly divides into the sum of the digits, then \(3\) evenly divides into the original number. For example, I know that \(3\) evenly divides into \(11,874\) because \(1+1+8+7+4=21\) and \(3\) evenly divides into \(21\text{.}\) Conversely, I know that \(3\) does not evenly divide into \(2,437\) because \(2+4+3+7=16\) and \(3\) does not evenly divide into \(16\text{.}\)
- If \(4\) evenly divides into the the last two digits of the number, then it evenly divides into the entire number. For example, \(4\) evenly divides in \(1,302,824\) but \(4\) does not evenly divide into \(226,734\text{.}\)
- Numbers that end in \(0\) or \(5\) are evenly divisible by \(5\text{.}\)
- If \(9\) evenly divides into the sum of the digits, then \(9\) evenly divides into the original number. For example, I know that \(9\) evenly divides into \(41,274\) because \(4+1+2+7+4=18\) and \(9\) evenly divides into \(18\text{.}\) Conversely, I know that \(9\) does not evenly divide into \(11,874\) because \(1+1+8+7+4=21\) and \(9\) does not evenly divide into \(21\text{.}\)

While there are tricks for other numbers, most people find them too cumbersome to remember. If you're good at remembering rules, you might try searching for them online.

When the first term of the polynomial has a negative coefficient, we tend to factor the negative sign along with the GCF. For example, it would be standard to factor \(-12x^2y+24x^2+18x^3\) as follows.

One final note. A very common mistake is to write out too few terms when factoring an expression where the GCF happens to be a term of the original expression. For example, consider the polynomial \(6x^3+8x^2+2x\text{.}\) Hopefully you recognize that the GCF of the terms is \(2x\text{.}\) With that, a common error is to write

One way to recognize that can't be correct is to expand the proposed factorization.

Uh oh - we're missing a term - where's "\(+2x\)"? We forgot to save a place for it! Whenever you take out the GCF, the expression left behind in parentheses needs to have as many terms as the original polynomial. In this case, we forgot a term of \(+1\) so that the last term in the expansion is \(+2x\text{.}\) That is:

You can use Figure 4.2.3 to generate random factoring exercises.