How to Prove by Mathematical Induction that 6 Divides (k^2+5)k for All k>=1?

  • Context: Undergrad 
  • Thread starter Thread starter Xyius
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around proving by mathematical induction that 6 divides the expression (k^2 + 5)k for all k ≥ 1. Participants explore various approaches to establish this divisibility, including direct calculations and alternative methods.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant expresses difficulty in transitioning from the k'th term to the (k+1)'th term in the induction proof.
  • Another suggests restating the expression as k^3 + 5k to clarify divisibility by 2 and 3, which would imply divisibility by 6.
  • A participant provides a modular arithmetic breakdown for k values from 0 to 5 mod 6, showing that (k^2 + 5)k is 0 mod 6 for each case.
  • One participant derives the (k+1) case, showing that the expression can be expanded and includes a term that is a multiple of 6, suggesting that the induction step holds.
  • Another participant proposes a non-inductive proof, expressing the original equation in a different form that demonstrates divisibility by 6 directly.
  • There is a reiteration of the modular arithmetic approach, with a question about generalizing this method for polynomial Diophantine equations.
  • A participant reiterates the need for a proper induction step, suggesting that expanding the equation for k+1 and showing divisibility by 6 is crucial.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the best method for proving the statement. Multiple approaches are discussed, and while some methods are proposed as valid, there is no agreement on a singular approach or resolution to the proof.

Contextual Notes

Some participants express uncertainty about the induction step and the necessity of showing that the transition from k to k+1 maintains divisibility by 6. There are also discussions about the applicability of modular arithmetic and its generalization to other equations.

Xyius
Messages
501
Reaction score
4
I need to prove by mathematical induction that 6 divides (k^2+5)k for all k>=1. It works for 1 but I am having trouble obtaining the k+1'st term from the k'th term. Can anyone help? Thanks!
 
Physics news on Phys.org
Hi Xyius! :smile:

(try using the X2 icon just above the Reply box :wink:)

show us what you've tried, and where you're stuck, and then we'll know how to help! :smile:
 
It might be helpful if you restate as k^3 + 5k. Immediately it will be apparent that 2 will divide all values. If 3 also divides all values, then you've got your divisibility by 6.
 
Last edited by a moderator:
if k=0 mod 6, k^2+5 = 5 mod 6, (k^2+5)k = 0 mod 6
if k=1 mod 6, k^2+5 = 0 mod 6, (k^2+5)k = 0 mod 6
if k=2 mod 6, k^2+5 = 3 mod 6, (k^2+5)k = 0 mod 6
if k=3 mod 6, k^2+5 = 2 mod 6, (k^2+5)k = 0 mod 6
if k=4 mod 6, k^2+5 = 3 mod 6, (k^2+5)k = 0 mod 6
if k=5 mod 6, k^2+5 = 0 mod 6, (k^2+5)k = 0 mod 6
 
(k^2+5)k=k^3+5k
((k+1)^2+5)(k+1)=(k^2+2k+6)(k+1)=k^3+3k^2+8k+6=(k^2+5)k + 3(k^2+k)+6.
3(k^2+k) is a multiple of 6 since k^2+k is even.
 
You can prove it without mathematical induction, too

[tex]k\left(k^2 +5\right) =k\left[(k+1)(k+2)-3k+3\right]= k(k+1)(k+2)-3k(k-1)[/tex]

which is obviously divisible by 6.
 
alphachapmtl said:
if k=0 mod 6, k^2+5 = 5 mod 6, (k^2+5)k = 0 mod 6
if k=1 mod 6, k^2+5 = 0 mod 6, (k^2+5)k = 0 mod 6
if k=2 mod 6, k^2+5 = 3 mod 6, (k^2+5)k = 0 mod 6
if k=3 mod 6, k^2+5 = 2 mod 6, (k^2+5)k = 0 mod 6
if k=4 mod 6, k^2+5 = 3 mod 6, (k^2+5)k = 0 mod 6
if k=5 mod 6, k^2+5 = 0 mod 6, (k^2+5)k = 0 mod 6

can this method be generalized for the POlynomial diophantine equation

[tex]f(x)=0mod(n)[/tex]

so you try the ansatz [tex]x=imod(n)[/tex] ehere 'i' runs over i=0,1,2,3,4,5,,...,n-1
 
Xyius said:
I need to prove by mathematical induction that 6 divides (k^2+5)k for all k>=1. It works for 1 but I am having trouble obtaining the k+1'st term from the k'th term. Can anyone help? Thanks!
See Cubzar's posr. The other proofs don't seem to be using induction. You showed it for k = 1. I think that to prove by induction you, you would have to write k+1 where ever k appears in the equation and expand the equation, then show that the fact that the new equation is divisible by 6 follows directly from the fact that the original equation is divisible by 6. Maybe you might get something like

[tex]K(K^{2} + 5) = = K(K^{2} -1) + 6[/tex]
= [tex](K-1)*K*(K+1) + 6[/tex] from which you could deduce that if it is true for k = n then it is obviously true for k = n + 1.

or otherwise show as Cubzar did that F(K+1)-F(K) [ i.e. 3K^2 + 3K + 6] is always divisible by 6 regardless of the value of K mod 6.

[tex](K +1)^{3) +5(K+1) == K^3 + 3K^2 + 8K + 6[/tex]
 
Last edited:

Similar threads

  • · Replies 40 ·
2
Replies
40
Views
5K
Replies
8
Views
5K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K