Skip to content
Miscellaneous Exercise · Q1

Q.If aa and bb are distinct integers, prove that a−ba - b is a factor of an−bna^n - b^n, whenever nn is a positive integer. [Hint: write an=(a−b+b)na^n = (a - b + b)^n and expand]

CBSENCERTSubjective· 3mImportance★★★★★est
30% · 19/64 Questions
✓ Free question

We prove by induction that an−bna^n - b^n is always divisible by a−ba - b for any positive integer nn, using the binomial expansion of (a−b+b)n(a - b + b)^n to show the difference telescopes into a multiple of a−ba - b.

The heart of this proof lies in recognizing that an−bna^n - b^n can be rewritten in a form that explicitly reveals a−ba - b as a factor. The hint suggests writing a=(a−b)+ba = (a - b) + b, which transforms ana^n into a binomial expansion where every term except one contains the factor a−ba - b.

Why does this work? When we expand (a−b+b)n(a - b + b)^n using the binomial theorem, we get a sum of terms. Most of these terms will contain at least one factor of (a−b)(a - b), and the only term without it is bnb^n. When we subtract bnb^n from both sides, everything that remains is divisible by a−ba - b.

Let me show you the formal induction proof.

Base case: n=1n = 1

For n=1n = 1, we have a1−b1=a−ba^1 - b^1 = a - b, which is trivially divisible by a−ba - b (quotient is 11). The base case holds.

Inductive hypothesis

Assume that for some positive integer kk, we have a−b∣ak−bka - b \mid a^k - b^k. This means we can write

ak−bk=(a−b)⋅Qka^k - b^k = (a - b) \cdot Q_k

for some integer QkQ_k.

Inductive step

We need to prove that a−b∣ak+1−bk+1a - b \mid a^{k+1} - b^{k+1}.

Following the hint, write a=(a−b)+ba = (a - b) + b. Then:

ak+1=[(a−b)+b]k+1a^{k+1} = [(a - b) + b]^{k+1}

Expanding by the binomial theorem:

ak+1=∑r=0k+1(k+1r)(a−b)rbk+1−ra^{k+1} = \sum_{r=0}^{k+1} \binom{k+1}{r} (a-b)^r b^{k+1-r}

=(k+10)(a−b)0bk+1+(k+11)(a−b)1bk+(k+12)(a−b)2bk−1+⋯+(k+1k+1)(a−b)k+1= \binom{k+1}{0}(a-b)^0 b^{k+1} + \binom{k+1}{1}(a-b)^1 b^k + \binom{k+1}{2}(a-b)^2 b^{k-1} + \cdots + \binom{k+1}{k+1}(a-b)^{k+1}

=bk+1+(k+11)(a−b)bk+(k+12)(a−b)2bk−1+⋯+(a−b)k+1= b^{k+1} + \binom{k+1}{1}(a-b) b^k + \binom{k+1}{2}(a-b)^2 b^{k-1} + \cdots + (a-b)^{k+1}

Notice that every term except the first contains at least one factor of (a−b)(a - b). Therefore:

ak+1−bk+1=(k+11)(a−b)bk+(k+12)(a−b)2bk−1+⋯+(a−b)k+1a^{k+1} - b^{k+1} = \binom{k+1}{1}(a-b) b^k + \binom{k+1}{2}(a-b)^2 b^{k-1} + \cdots + (a-b)^{k+1}

Factoring out (a−b)(a - b):

ak+1−bk+1=(a−b)[(k+11)bk+(k+12)(a−b)bk−1+⋯+(a−b)k]a^{k+1} - b^{k+1} = (a - b) \left[\binom{k+1}{1} b^k + \binom{k+1}{2}(a-b) b^{k-1} + \cdots + (a-b)^k\right]

The expression in brackets is an integer (since it's a sum of products of integers), so a−ba - b divides ak+1−bk+1a^{k+1} - b^{k+1}.

By the principle of mathematical induction, a−ba - b is a factor of an−bna^n - b^n for all positive integers nn.

Tip

An alternative way to see this: an−bn=(a−b)(an−1+an−2b+an−3b2+⋯+abn−2+bn−1)a^n - b^n = (a - b)(a^{n-1} + a^{n-2}b + a^{n-3}b^2 + \cdots + ab^{n-2} + b^{n-1}) is the standard factorization formula. The induction proof essentially reconstructs this identity.

✓Final answer

We have shown by induction that a−ba - b is a factor of an−bna^n - b^n for all positive integers nn.

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.