No I don’t think that is induction. I am stuck with the same problem but I figured it out while I was making this post. My computations are as follows:
Question:
prove n^3 - n is divisible by 6 for all n's that are natural numbers
My Attempt:
Step 1) Base Case:: n = 2
(I chose this as the base case because n = 1 results in 0 and so does 0, and although 0/6 is 0 with remainder 0, I didn’t think this was useful information.)Step 2) Induction Hyp#1:: n = k; k ^ 3 - k is divisible by 6
(2)^3 - 2 = 6; 6 is divisible by 6 so the base case works.Step 3) If I can show that (k + 1) ^ 3 - (k +1) is divisible by 6 then I will have solved the problem.
(k + 1) ^ 3 - (k +1) expanding this yields
(k + 1) (k + 1) (k + 1) - (k +1)
k ^3 + 3k^2 + 3k + 1 - k - 1 rearranging the expression yields
k^ 3 - k + 3k^2 + 3k + 1 - 1 by the induction hypothesis k^3 - k is divisible by 6 and the 1's cancel so all that is left is the rest of the equation...
3k^2 +3k I attempt further induction on what's left...
Step 4) Base case #2:: k = 1
Step 5) Induction Hyp #2::
k = x
3(x)^2 + 3(x) is divisible by 6
3(1)^2 + 3(1) = 6; 6 is divisible by itself so the base case works...
Step 6) If I can show that
3(x + 1)^2 + 3(x+1) results in a number divisible by 6 then I am done expanding the expression results in
3x^2 + 9x + 6 the answer was revealed to me after staring at this expression for hours similar to those 3D illusions.
My final hint is that it uses the 2nd induction hyp. like in the first half of the problem. A helpful site on induction is
http://www.cpax.org.uk/maths/induction.php