Factor
Check the parity of the exponent first. A sum factors over the integers with as a factor exactly when is odd. Test it directly with the factor theorem: substituting gives
since is odd. So divides with no remainder.
Apply the sum-of-odd-powers identity. With , and :
Every power of equals , so the cofactor collapses to alternating powers of alone.
Write the factorisation.
The cofactor has terms of degrees down to , with signs alternating. Since the top degree is even, the leading sign is and — with an odd number of terms — the constant term is as well.
Verify numerically. Evaluating both sides in exact integer arithmetic at gives equality every time ✓. Degrees also check: ✓.
Note that this is not the complete factorisation. Since , further splitting is possible along every divisor. For instance also factors as . Fully factored over , breaks into cyclotomic polynomials for the divisors of that do not divide — the form above is just the first, most useful split.
Need to solve a different problem like this? Open the solver →