\n" );
document.write( "They are illustrating proof by induction
\r
\n" );
document.write( "\n" );
document.write( "(1) 8-3 is divisible by 5 (should not have ^1)
\n" );
document.write( "(2) 8k-3k is divisible by 5 (this is the hypothesis)
\n" );
document.write( "(3) Let n=k+1; then...
\n" );
document.write( "8(k+1) - 3(k+1)
\n" );
document.write( "= 8k+8 - (3k+3)
\n" );
document.write( "= 8k+8 -3k-3
\n" );
document.write( "= (8k-3k)+5 \r
\n" );
document.write( "\n" );
document.write( "By hypothesis, 8k-3k is divisible by 5 (that was the n=k case)\r
\n" );
document.write( "\n" );
document.write( "so 8k-3k+5 is also divisible by 5 (if F is divisible by 5, so is F+5)\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "-----
\n" );
document.write( "This part:
\n" );
document.write( "\"III. we need to show that the statement is also true for the next integers n=k+1, i.e. 8k+1=3k+1 is divisible by 5.
\n" );
document.write( "consider: 8k+1-3k+1=8k*8-3k*3\"\r
\n" );
document.write( "\n" );
document.write( "should be:
\n" );
document.write( "\"III. we need to show that the statement is also true for the next integers n=k+1, i.e. 8(k+1)-3(k+1) is divisible by 5.
\n" );
document.write( "Consider: 8(k+1)-3(k+1) = 8k+8-3k-3\" \r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "=============================\r
\n" );
document.write( "\n" );
document.write( "While it seems they are trying to show how proof by induction works, note the original problem \"show 8n-3n is divisible by 5\" is much more easily proven directly: 8n-3n = 5n and 5*(any integer) is obviously divisible by 5. \r
\n" );
document.write( "\n" );
document.write( "=============================\r
\n" );
document.write( "\n" );
document.write( "IMO, a better problem is to show 1+2+...+n = (1/2)(n+1)(n) by induction, which is also easily shown by direct proof but not quite as obvious.\r
\n" );
document.write( "\n" );
document.write( "Prove S = 1+2+3+...+n = (1/2)(n+1)(n) by induction \r
\n" );
document.write( "\n" );
document.write( "n=1: S=1 and (1/2)(1+1)(1) = 2/2 = 1 (holds for n=1, this is the base case)
\n" );
document.write( "Assume true for n=k (*) (the hypothesis)\r
\n" );
document.write( "\n" );
document.write( "Let n=k+1: S = [ 1+2+...+k ] + (k+1) = [ (1/2)(k+1)(k) ] + (k+1)
\n" );
document.write( "where we applied the hypothesis (*) for bracketed [ ] items.\r
\n" );
document.write( "\n" );
document.write( "Factor out k+1: S = (k+1) ((1/2)(k) + 1)\r
\n" );
document.write( "\n" );
document.write( " since (1/2)k + 1 = k/2 + 2/2 = (k+2)/2 we end up with\r
\n" );
document.write( "\n" );
document.write( " S = (k+1)(k+2)/2 = (1/2)(k+1)(k+2)
\n" );
document.write( "( if you write this in terms of n you have S = (1/2)(n)(n+1) ) \r
\n" );
document.write( "\n" );
document.write( "thus we have shown the hypothesis holds true for n=k+1 and the proof is complete.\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "...and if you wish, by direct proof:\r
\n" );
document.write( "\n" );
document.write( " write the su S = 1 + 2 + 3 +...+ (n-1) + n
\n" );
document.write( " also write it S = n +(n-1)+(n-2) +... + 2 + 1
\n" );
document.write( " -----------------------------------
\n" );
document.write( " add both eqns 2S = (n+1)+(n+1)+(n+1)+...+(n+1)+(n+1)\r
\n" );
document.write( "\n" );
document.write( "The RHS has n terms of n+1, that's just n*(n+1):
\n" );
document.write( " 2S = n*(n+1)
\n" );
document.write( "
\n" );
document.write( " and finally S = (1/2)*n*(n+1)
\n" );
document.write( "
\n" );
document.write( "
\n" );
document.write( "