A polynomial identity gives the same result on both sides for every , so matching coefficients connects the numbers in its factored and expanded forms. When those numbers must be integers, their possible factor pairs matter. Use a Desmos regression on valid factorizations to test tempting claims, then check every possible case. An example can disprove a claim, but it cannot prove what must happen.
Hints
- Hint 1
In a polynomial identity, terms with the same power of must match. The term comes from multiplying the two terms containing . What does matching those terms tell you about and ?
- Hint 2
An odd product of integers requires both factors to be odd. Match the constant terms, then use that fact to work out whether and are odd or even.
- Hint 3
The remainder modulo is what is left after dividing by . If both and are even and their product is , what remainders can the two products making up have?
Step-by-step
Match coefficients and check integer cases
Step 1Match the coefficients
The term on the right comes from . The two forms are equal for every , so their coefficients match:
- Step 2
Match the constants
The constant term on the right is , so match it with : . Multiply by : . Since and are integers and their product is odd, both are odd.
- Step 3
Find the products that make
The two products containing one are and . Their sum must match , so the coefficient of is . The question is now about what this difference can be when and are odd.
- Step 4
Test a factorization with an odd coefficient
Choose , , , and . These integers satisfy and . Type for five inputs, then type . The tells Desmos to fit ; under PARAMETERS it shows . So does not have to be even.
- Step 5
Test a factorization with an even coefficient
Keep those lines and add a second fit using , , , and . Type . Desmos shows under PARAMETERS. So does not have to be odd or a multiple of . Examples rule out claims, but you still need to prove what always happens.
- Step 6
Handle the case with an odd factor of
If one of is odd, the other is even because . Since are odd, one of is odd and the other is even. Their difference is odd, so it cannot be divisible by .
- Step 7
Handle the case with two even factors
If both and are even, means their absolute values are and . Because are odd, one of leaves remainder when divided by ; the other leaves remainder . Their difference leaves remainder , whichever comes first. Together with the odd case, this covers every allowed factor pair. Test examples to reject claims, but check every case to prove a claim must hold. So is not a multiple of . Choice C.