Discrete math - proof of divisibility question

Click For Summary

Homework Help Overview

The problem involves proving that for any integer n, the expression n^3 - n is divisible by 3. The subject area is discrete mathematics, specifically focusing on proofs and divisibility.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants discuss various methods of proof, including factoring the expression and using proof by cases. Some question the validity of the theorem based on specific examples, while others suggest considering the properties of consecutive integers.

Discussion Status

The discussion is active, with participants exploring different approaches to the proof. Some guidance has been offered regarding factoring and considering cases based on modular arithmetic. There is no explicit consensus on the best method yet.

Contextual Notes

Participants mention limitations in their current knowledge, specifically regarding the types of proofs they have learned, which include direct proof, contrapositive, and contradiction, but not induction.

automan13
Messages
3
Reaction score
0
1. For any integer n, prove that 3 divides n^3 -n

The Attempt at a Solution


I'm stuck. I understand that means that n^3 -n mod 3 =0.
or I can n^3 -n can be expressed as 3x.
But I don't know how to prove it.
Where do i go from here. Thanks
 
Last edited:
Physics news on Phys.org
Welcome to the forum, automan!

Um, this "theorem" looks false to me. For instance, 23 -1 = 7 and 53 -1 = 124 neither of which is divisible by 3...

Anyway, in general statements involving the positive integers can often be proved using induction.
 
Sorry, had a typo. 3 divides n^3 -n .
Also i can't use induction. All we've learned so far is proof by cases, direct proof, contrapositive and contradiction.
 
Ah, much better!

The first thing I would do is factor your expression. Next, a proof by cases would work using 3 cases, one for each of the 3 equivalence classes of [itex]\mathbb{Z}/3\mathbb{Z}[/itex]. So what are the 3 things an integer can be equivalent to mod 3?

Actually, a shorter proof can just include 2 cases. What are the 2 things n2 can be congruent to mod 3?
 
n^3 - n
nx(n^2 -1)
n x (n-1) x (n +1) let's say this = A


now consider (n+1)C3
ie the number of ways of choosing 3 objects from n+1
it wil always b an integer (n+1)C3 = integer
i can't chose half an object
(n+1)C3 = (n+1)x(n)x(n-1)/3
integer = A/3
hence A is divisible by 3
 
Thats more complicated than necessary. n-1, n, and n+1 are three consecutive integers. One of them must be a multiple of three.
 
TROGLIO thanks big time. I should have thought of factoring it. It becomes obvious from there.
Thanks Again:smile:
 
HallsofIvy said:
Thats more complicated than necessary. n-1, n, and n+1 are three consecutive integers. One of them must be a multiple of three.




nice 1 pure genius
i need some help with modulo theory
i dnt know a thing about it
any free e books or any material would do
 

Similar threads

Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K