If \(a\) and \(b\) are distinct integers, prove that \(a - b\) is a factor of \((a^n - b^n)\), whenever \(n\) is a positive integer.
Theory Used
Using the Binomial Theorem: \[ (x+y)^n = \sum_{r=0}^{n} {^nC_r} x^{n-r} y^r \]
Key idea:
Rewrite \(a\) as \(a = (a-b) + b\) so that expansion naturally produces factors of \((a-b)\).
Solution Roadmap
- Rewrite \(a = (a-b)+b\)
- Raise both sides to power \(n\)
- Apply binomial expansion
- Subtract \(b^n\)
- Factor out \((a-b)\)
Factorization Insight
Solution
Rewrite: \[ a = (a-b) + b \]
Raising both sides to power \(n\): \[ a^n = \left[(a-b)+b\right]^n \]
Using binomial expansion: \[ \begin{aligned} a^n &= b^n + {^nC_1}(a-b)b^{n-1} + {^nC_2}(a-b)^2 b^{n-2} + \cdots + (a-b)^n \end{aligned} \]
Subtracting \(b^n\): \[ \begin{aligned} a^n - b^n &= {^nC_1}(a-b)b^{n-1} + {^nC_2}(a-b)^2 b^{n-2} + \cdots + (a-b)^n \end{aligned} \]
Factoring out \((a-b)\): \[ a^n - b^n = (a-b)\left[{^nC_1}b^{n-1} + {^nC_2}(a-b)b^{n-2} + \cdots + (a-b)^{n-1}\right] \]
The bracketed expression is an integer.
\[ \Rightarrow (a-b) \mid (a^n - b^n) \]
Hence proved.
Exam Significance
- Boards: Standard proof question from binomial theorem.
- JEE/NEET: Foundation for:
- Factor theorem & algebraic identities
- Divisibility proofs
- Expression simplification
- Key Insight: Always rewrite cleverly to create a factor.
- Advanced Link: Leads to identity: \(a^n - b^n = (a-b)(a^{n-1} + a^{n-2}b + \cdots + b^{n-1})\)