Is 7^n-1 Divisible by 6 for All Non-Negative Integers n? Prove with Induction

  • Thread starter Thread starter jonroberts74
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving that \(7^n - 1\) is divisible by 6 for all non-negative integers \(n\) using mathematical induction. Participants explore the properties of exponents and divisibility in the context of this problem.

Discussion Character

  • Exploratory, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the base case and the inductive step, with one suggesting a generalization of the difference of powers formula. Others consider how to express \(7^{k+1} - 1\) in terms of \(7^k - 1\) and question the necessity of a lengthy summation in the proof.

Discussion Status

The discussion is active, with participants sharing insights and confirming each other's reasoning. Some have suggested that the proof may not require the full induction approach, while others are clarifying the steps involved in the induction process.

Contextual Notes

Participants are working under the constraints of a homework assignment that requires the use of induction, which influences their approach to the problem.

jonroberts74
Messages
189
Reaction score
0
prove (induction) [tex]6|7^{n}-1; \forall n \ge 0[/tex]






P(0)

[tex]6|7^0 -1[/tex]

6|0

P(k)


[tex]6|7^k-1[/tex]


what I want to show: [tex]6|7^{k+1}-1[/tex]




I know I'll kick myself but this one isn't jumping out at me.

[tex]7 \cdot 7^k-1[/tex]

maybe something with [tex](6+1)^k(6+1)-1[/tex]
 
Physics news on Phys.org
You undoubtly know the formulas ##x^2 - a^2 = (x-a)(x+a)## and ##x^3 - a^3 = (x-a)(a^2 + ax+ x^2)##. Do you know how it generalizes to ##x^n - a^n##?
 
[tex]x^n−a^n=(x−a)(x^{n−1}+x^{n−2}a+x^{n−3}a^2+…+xa^{n−2}+a^{n−1})[/tex]

so

replace x with 7 and a with 1??
 
Last edited:
jonroberts74 said:
[tex]x^n−a^n=(x−a)(x^{n−1}+x^{n−2}a+x^{n−3}a^2+…+xa^{n−2}+a^{n−1})[/tex]

so

replace x with 7 and a with 1??

Yep!
 
[tex]7^{k+1}−1^{k+1}=(7−1)(x^{k}+7^{k−1}1+7^{k−2}1^2+…+(7)1^{k−1}+1^{k})[/tex]

I had to alter it cause its k+1, correct?
 
jonroberts74 said:
[tex]7^{k+1}−1^{k+1}=(7−1)(x^{k}+7^{k−1}1+7^{k−2}1^2+…+(7)1^{k−1}+1^{k})[/tex]

I had to alter it cause its k+1, correct?

Sure, this is correct. Notice that you don't really need induction for this!
 
  • Like
Likes   Reactions: 1 person
thanks!
 
With induction you don't really need that long sum:
If [itex]7^k- 1[/itex] is a multiple of 6 then [itex]7^k- 1= 6m[/itex] for some integer m so that [itex]7^k= 6m+ 1[/itex].

[tex]7^{k+1}- 1= 7(7^k)- 1= 7(6m+1)- 1= 6(7m)+ 7- 1= 6(7m)+ 6= 6(7m+1)[/tex]
 
Last edited by a moderator:
HallsofIvy said:
With induction you don't really need that long sum:
Is [itex]7^k- 1[/itex] is a multiple of 6 then [itex]7^k- 1= 6m[/itex] for some integer m so that [itex]7^k= 6m+ 1[/itex].

[tex]7^{k+1}- 1= 7(7^k)- 1= 7(6m+1)- 1= 6(7m)+ 7- 1= 6(7m)+ 6= 6(7m+1)[/tex]

Yes. If you were told to use induction this seems to be more like what they wanted you to do.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
5K