document.write( "Question 1183950: Show that x - y is a factor of x^n - y^n for all positive integers n, using mathematical induction. \n" ); document.write( "
Algebra.Com's Answer #814463 by math_helper(2461)\"\" \"About 
You can put this solution on YOUR website!
Show that x - y is a factor of x^n - y^n for all positive integers n, using mathematical induction.\r
\n" ); document.write( "\n" ); document.write( "----------
\n" ); document.write( "

\n" ); document.write( "NOTE: notatation \"a | b\" means \"a divides b\"\r
\n" ); document.write( "\n" ); document.write( "Base case: n=1: (x-y) | \"+%28+x%5E1-y%5E1+%29\" , base case holds\r
\n" ); document.write( "\n" ); document.write( "Hypothesis: assume (x-y) | \"+%28x%5Ek+-+y%5Ek%29\" (*) NOTE: k>1\r
\n" ); document.write( "\n" ); document.write( "Step case: let n=k+1:\r
\n" ); document.write( "\n" ); document.write( " RHS becomes \"x%5E%28k%2B1%29-y%5E%28k%2B1%29+\"\r
\n" ); document.write( "\n" ); document.write( "How do we apply (*)? By reworking this to something that has exponents less than or equal to k:\r
\n" ); document.write( "\n" ); document.write( " \"+x%5E%28k%2B1%29-y%5E%28k%2B1%29+\" =
\n" ); document.write( " \r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The left factor is of the form \"x%5Em-y%5Em+\" where \"m%3C=k\" (recall k>1) so we can apply (*) and say \"+%28x-y%29\" | ()\r
\n" ); document.write( "\n" ); document.write( "Since (x-y) divides one factor, it divides the entire product (if a|b then a|(bc)) .\r
\n" ); document.write( "\n" ); document.write( "Proof complete. \n" ); document.write( "
\n" );