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. [Hint: write a^n=(a-b+b)^n and expand]
Hint. Write a as (a-b)+b and expand by the Binomial Theorem -- every term except the very last one carries a positive power of (a-b).
Write a = (a-b)+b, so a^n = [(a-b)+b]^n = sum_(r=0)^n nCr.(a-b)^r.b^(n-r), by the Binomial Theorem with first term (a-b) and second term b. Every term with r>=1 has a factor of (a-b); the single r=0 term is nC0.b^n=b^n. So a^n = (a-b).[nC1.b^(n-1) + nC2(a-b)b^(n-2) + ... + nCn(a-b)^(n-1)] + b^n. Rearranging, a^n-b^n = (a-b).[that same bracket], which is (a-b) times an integer.
✦ Working through each part gives: proved: a^n - b^n = (a-b) x (an integer), so a-b is always a factor of a^n-b^n.
