##n^2## is divided by 3, then n is also divided by 3.

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

Homework Help Overview

The discussion revolves around a proof concerning divisibility, specifically addressing the statement that if \( n^2 \) is divisible by 3, then \( n \) must also be divisible by 3. The subject area is number theory, focusing on properties of integers and divisibility.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants explore a proof by contradiction, with one suggesting that if \( n \) is divisible by 3, then \( n^2 \) must also be divisible by 3. Others question the validity of this approach and emphasize the need to prove the converse: that \( n^2 \) being divisible by 3 implies \( n \) is divisible by 3.

Discussion Status

The discussion is active, with participants providing feedback on each other's reasoning. Some guidance has been offered regarding the correct approach to the proof, specifically the need to start with the assumption that \( n \) is not divisible by 3. Multiple interpretations of the proof strategy are being explored.

Contextual Notes

Participants are navigating the constraints of proving a mathematical conjecture and are discussing the implications of different assumptions regarding divisibility by 3.

Dustinsfl
Messages
2,217
Reaction score
5

Homework Statement


Prove that if ##n^2## is divided by 3, then also n can also be divided by 3.

Homework Equations

The Attempt at a Solution



Is there anything wrong with this argument?

By contradiction, suppose ##3|n## and 3 doesn't divide ##n^2##.
Then ##3m = n##. Multiple both sides by ##n##
$$
3(mn) = n^2
$$
Thus, ##3|n^2## and we have reached a contradiction. Therefore, If ##3|n^2##, then ##3|n##.
 
Physics news on Phys.org
Right. If n=3m then n2=9m2 which is always divisible by 3.
 
Dustinsfl said:
By contradiction, suppose 3|n3|n and 3 doesn't divide n2n^2.
This is not right. Your prove that the conjecture 3|n Λ not 3|n^2 produces a contradiction, but that proves that 3|n ⇒ 3|n^2.
You need to prove that 3|n^2 ⇒ 3|n
 
What you have proved is that "if n is divisible by 3 then n^2 is divisible by 3. That's the "wrong way around"!
To give a proof by contradiction, you need to start "suppose n is NOT divisible by 3", not that is divisible by 3.

Do you see that if n is not divisible by 3, it must be of the form "3k+ 1" or "3k+ 2" for some integer k?
 

Similar threads

  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 12 ·
Replies
12
Views
7K
Replies
20
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K