“Factoring Simple Trinomials” factored x² + bx + c by finding two numbers that multiply to c and add to b. That shortcut depends on the leading coefficient being 1. Once a ≠ 1, the constant term of the product is no longer the product of the two numbers you are looking for, because the a distributes into both binomials.
Definition · The AC methodTo factor ax² + bx + c with integer coefficients: compute ac; find integers m and n with mn = ac and m + n = b; rewrite bx as mx + nx; then factor the resulting four terms by grouping.
Theorem · The split is an identityIf m + n = b then ax² + mx + nx + c = ax² + (m + n)x + c = ax² + bx + c. The two expressions agree for every x, so one may be replaced by the other anywhere. Nothing is being done to an equation; a single expression is being rewritten.
This is the point worth holding on to. The method looks like a trick because the number ac appears from nowhere, but the only step that could possibly be illegal — replacing bx by mx + nx — is justified by one line of arithmetic that you control.
Example · 6x² + 11x + 3ac = 6 · 3 = 18. The factor pairs of 18 are 1·18, 2·9 and 3·6, with sums 19, 11 and 9. The pair is 9 and 2. Splitting: 6x² + 9x + 2x + 3 = 3x(2x + 3) + 1(2x + 3) = (3x + 1)(2x + 3).
The order of m and n does not matter. Splitting as 6x² + 2x + 9x + 3 gives 2x(3x + 1) + 3(3x + 1) = (2x + 3)(3x + 1) — the same two factors in the other order. If your grouping produces two brackets that are not identical, you have made an arithmetic slip, not discovered a second answer.
When there is no pair
Theorem · Why an empty pair list rules out integer bracketsIf ax² + bx + c = (rx + s)(tx + u) with integer coefficients, then a = rt, b = ru + st and c = su. The two middle products m = ru and n = st therefore satisfy mn = ac and m + n = b. Any integer-coefficient binomial factorisation must produce a pair on the ac list.
Example · 2x² + 3x + 4 has no integer-binomial factorisationac = 8. The positive pairs 1·8 and 2·4 give sums 9 and 6; the negative pairs (-1)(-8) and (-2)(-4) give -9 and -6. None is 3, and the theorem above shows why the completed list rules out every product of integer-coefficient binomials.
Take the common factor out first, always. 12x² + 22x + 6 has ac = 72 and a messier pair list, but 12x² + 22x + 6 = 2(6x² + 11x + 3) = 2(3x + 1)(2x + 3) reduces it to the example above. “Factoring Out the Greatest Common Factor” put the common factor at the top of the decision list for exactly this reason.