Algebra · real student question

Factor x^105 - 1.

Question

Factor

x1051x^{105}-1

Step-by-step solution

  1. Note that parity is irrelevant here. Unlike a sum of powers, a difference xn1x^{n}-1 always has x1x-1 as a factor, for every positive integer nn. The factor theorem shows why in one line: substituting x=1x=1 gives 11051=01^{105}-1=0 ✓ regardless of the exponent.

  2. Apply the difference-of-powers identity. With a=xa=x, b=1b=1 and n=105n=105:

    anbn=(ab)(an1+an2b++abn2+bn1)a^{n}-b^{n}=(a-b)\left(a^{n-1}+a^{n-2}b+\cdots+ab^{n-2}+b^{n-1}\right)

    All signs in the cofactor are positive — this is the structural difference from the sum case, where they alternate.

  3. Write the factorisation.

    x1051=(x1)(x104+x103+x102++x+1)x^{105}-1=(x-1)\left(x^{104}+x^{103}+x^{102}+\cdots+x+1\right)

    The cofactor is the finite geometric sum k=0104xk\displaystyle\sum_{k=0}^{104}x^{k}, which is exactly why the identity is equivalent to the geometric series formula k=0n1xk=xn1x1\displaystyle\sum_{k=0}^{n-1}x^{k}=\frac{x^{n}-1}{x-1} for x1x\neq1.

  4. Verify by telescoping and numerically. Multiplying out, xxkx\cdot\sum x^{k} gives degrees 11 to 105105 and 1xk-1\cdot\sum x^{k} gives degrees 00 to 104104; every degree from 11 to 104104 cancels, leaving x1051x^{105}-1 ✓. Exact integer evaluation at x=2,3,5,2,3x=2,3,5,-2,-3 agrees in all cases ✓.

  5. Push further using the divisors of 105. Because 105=3×5×7105=3\times5\times7, the expression also splits along each divisor — for example

    x1051=(x5)211=(x51)(x100+x95++1)x^{105}-1=\left(x^{5}\right)^{21}-1=\left(x^{5}-1\right)\left(x^{100}+x^{95}+\cdots+1\right)

    In general xd1x^{d}-1 divides x1051x^{105}-1 for every divisor dd of 105105, namely 1,3,5,7,15,21,35,1051,3,5,7,15,21,35,105. The complete factorisation over Q\mathbb{Q} is the product of the cyclotomic polynomials Φd(x)\Phi_{d}(x) over exactly those eight divisors.

Answer

x1051=(x1)(x104+x103++x+1)x^{105}-1=(x-1)\left(x^{104}+x^{103}+\cdots+x+1\right)

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