Proving n(n+1)(n+2) is Divisible by 6 Using Mathematical Induction

Click For Summary

Discussion Overview

The discussion revolves around proving that for all positive integers n, the expression n(n+1)(n+2) is divisible by 6 using mathematical induction. Participants explore the induction process, alternative methods, and express challenges in understanding the steps involved in such proofs.

Discussion Character

  • Mathematical reasoning
  • Homework-related
  • Debate/contested

Main Points Raised

  • GM presents an initial proof attempt using mathematical induction, starting with the base case and attempting to prove the inductive step.
  • Some participants suggest that induction may not be necessary, noting that among three consecutive integers, one is even and one is a multiple of 3, which implies divisibility by 6.
  • Another participant elaborates on the induction process, indicating that if k(k+1)(k+2) is divisible by 6, then the term 3(k+1)(k+2) can also be shown to be divisible by 6 through case analysis based on the parity of k.
  • GM expresses confusion about the necessity of certain steps in the induction process and compares it to other examples in the book that seem less straightforward.
  • GM questions whether the ability to recognize necessary steps in proofs is something that develops over time and practice.

Areas of Agreement / Disagreement

Participants generally agree on the validity of using mathematical induction for the proof, but there is disagreement on whether induction is the most efficient method. GM's concerns about the complexity of the proof process highlight a lack of consensus on the clarity of the steps involved.

Contextual Notes

GM mentions specific examples from the textbook that pose challenges, indicating that some proofs may not have clear or intuitive steps, which could lead to confusion about the application of basic algebraic concepts in induction.

Who May Find This Useful

This discussion may be useful for students learning mathematical induction, particularly those struggling with the application of induction in proofs and the recognition of necessary algebraic steps.

GeoMike
Messages
64
Reaction score
0
The following problem is given in my algebra book:
For all positive integers n, n(n+1)(n+2) is divisible by 6. Prove using mathematical induction.

First:
k=1, 1(1+1)(1+2) = 1(2)(3) = 6, which is obviously divisible by 6

Next:
k(k+1)(k+2)

And then:
(k+1)(k+2)(k+3)

From this I distributed the (k+3) to get:
k(k+1)(k+2) + 3(k+1)(k+2)

The first term is the assumed case (k, divisible by 6)
But 3(k+1)(k+2) doesn't appear to be a clear case of being divisible by 6.

So... I multiplied it out:
[tex]3(k+1)(k+2) = 3(k^2+3k+2) = 3k^2+9k+6[/tex]

From here I took [tex]3k^2+9k+6[/tex] and restarted the process, so:
For k=1, [tex]3(1)^2+9(1)+6 = 3+9+6 = 18[/tex], which is divisible by 6

The k case:
[tex]3k^2+9k+6[/tex]

And the k+1 case:
[tex]3(k+1)^2+9(k+1)+6 = 3(k^2+2k+1)+9k+9+6 = 3k^2+6k+3+9k+9+6[/tex]

Collecting terms:
[tex](3k^2+9k+6) + (6k+12)[/tex], The first part being the assumed case (k), and the second part is obviously divisible by 6

So I worked it and was able to prove it (I think, unless I did something wrong). What I want to know is: is there an easier way to do this (using just the basic mathematical induction that the book wants)? It seems like I took more steps than necessary/over-complicated the proof. Could I have made it more concise? Is it ok as is?

Thanks!
GM
 
Last edited:
Physics news on Phys.org
Do you need to use induction? You could simply observe that at least one of the three consecutive integers is even and at least one is multiple of 3.
 
As Tide pointed out, of three consecutive integers, at least one must be even and one must be a multiple of 3.

If you are required to use induction, then when you have
k(k+1)(k+2) + 3(k+1)(k+2) you can note that k(k+1)(k+2) is a multiple of 6 by the induction hypothesis and that one of the two consecutive integers k+1 and k+2 must be even so 3(k+1)(k+2) must be a multiple of 6 also. If you want to do that more formally, do it as two cases: if k is even- k= 2m, then k+ 2= 2m+ 2= 2(m+1) so 3(k+1)(k+2)= 6(2m+1)(m+1).
If k is odd- k= 2m+ 1 then k+ 1= 2m+ 1+ 1= 2m+ 2= 2(m+1) so 3(k+1)(k+2)= 6(m+1)(2m+3).
 
Thanks to both of you!
Yes, the section in the book is on mathematical induction and the exercises explicitly ask that I use mathematical induction.

Like you both pointed out, some of them are quite obvious as stated (#23 in the book is "x>1, prove [tex]x^n > 1[/tex] for all natural numbers n")

What is really holding me up are the examples where there are no straightforward ways to proceed (that I can see anyway).
Like with one example in the exercise set:

Prove that [tex]3^n-1[/tex] is divisible by 2 for all natural numbers n, use mathematical induction. I couldn't figure out what to do after the basic n=1, k, and k+1 part. I didn't come up with an answer.

In the back of the book they prove it by adding 0 (in the form of [tex]3^k - 3^k[/tex]) to [tex]3^{k+1}-1[/tex]. The worked out example in the back of the book made perfect sense to me, but I never would have thought to do it that way on my own. There are a few others in the book that have solutions involving steps that seem to "come out of the blue". All of the steps involve really basic algebraic concepts (like adding 0 to an equation using a number and its additive inverse as with the above problem) but there doesn't seem to be any clear indication of when to use what basic concepts and where. Is that knowledge something that comes with time and practice? Or am I dense? :-p

Thanks again,
GM
 
Last edited:

Similar threads

Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
8
Views
2K
Replies
7
Views
4K
  • · Replies 9 ·
Replies
9
Views
4K