Show that x - y is a factor of x^n - y^n for all positive integers n, using mathematical induction.
----------
NOTE: notatation "a | b" means "a divides b"
Base case: n=1: (x-y) | , base case holds
Hypothesis: assume (x-y) | (*) NOTE: k>1
Step case: let n=k+1:
RHS becomes
How do we apply (*)? By reworking this to something that has exponents less than or equal to k:
=
The left factor is of the form where (recall k>1) so we can apply (*) and say | ()
Since (x-y) divides one factor, it divides the entire product (if a|b then a|(bc)) .
Proof complete.