Proving n2 is Not Congruent to 2 (mod6) for All Integers: Discrete Math Help

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

Homework Help Overview

The problem involves proving that \( n^2 \neq 2 \mod 6 \) for all integers \( n \). The discussion centers around discrete mathematics and modular arithmetic.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore various methods, including proof by contradiction and proof by induction. Some suggest rewriting the statement in terms of multiples of 6 and examining the implications of \( n^2 - 2 \equiv 0 \mod 6 \).

Discussion Status

Participants are actively discussing different approaches to the problem. Some have offered hints and suggestions, while others express uncertainty about how to proceed. There is no explicit consensus on a single method, but multiple lines of reasoning are being explored.

Contextual Notes

Some participants mention a lack of clarity regarding the problem statement and the requirements for the proof. The original poster indicates confusion about the next steps after creating a table for mod 6.

mamma_mia66
Messages
51
Reaction score
0

Homework Statement


Show that n2 [tex]\neq[/tex]2 (mod6) for all n in Z



Homework Equations





The Attempt at a Solution



0 1 2 3 4 5
0 0 0 0 0 0 0
1 0 1 2 3 4 5
2 0 2 4 0 2 4
3 0 3 0 3 0 3
4 0 4 2 0 4 2
5 0 5 4 3 2 1

I did only the table for mod 6 and then I don't have an idea what to do.
I am not even sure if I understand what exactly I have to do with this problem.
Please help me if you can.
 
Last edited:
Physics news on Phys.org
Hmmm...have you tried proof by contradiction? That is, assume that [itex]n^2 \equiv 2 \pmod{6}[/itex]...what does that imply?
 
I did not attempt a solution but you might want to rewrite the statement.

n2 congruent to 2 mod 6 is the same as n2 - 2 is a multiple of 6. So you might want to define f(n) = n2 - 2 and show what happens when you divide f(n) by 6.
 
I think the only hint I get for this was the reminder needs to be [tex]\neq[/tex]2.

I am gessing that has something to do with division Algorithm. I will try the above ideas.
 
VeeEight said that "n[tex]^2[/tex] congruent to 2 mod 6 is the same as n[tex]^2[/tex] - 2 is a a multiple of 6."

That's also the same as saying that n[tex]^2 - 2 \equiv[/tex] 0 mod 6.

This one is ripe for a proof by induction.
 
I don't think I know how to do it by induction. Thank you. I will try and I will come back again.
 
Pick a value of n for which your statement is true, such as n = 2.

Assume that for n = k, your statement is true. IOW, assume that k^2 != 2 mod 6.
Now show that for n = k + 1, (k + 1)^2 != 2 mod 6, using the induction hypothesis (the thing you assumed in the previous step).
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K