Determining if the statement is true

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

Homework Help Overview

The discussion revolves around the mathematical statement regarding divisibility: if a fixed positive integer \( n \) is divisible by 6, then is \( n^2 \) also divisible by 6? Participants explore the implications of this statement and the reasoning behind it.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Some participants attempt to express \( n \) in terms of \( k \) and explore the implications for \( n^2 \). Others question how to derive \( n^2 \) from \( n \) and whether certain manipulations are valid. There are discussions about the necessity of proving the converse statement regarding \( n^2 \) being divisible by 6 implying \( n \) is also divisible by 6.

Discussion Status

Participants are actively engaging with the problem, sharing their reasoning and questioning assumptions. Some guidance has been provided regarding the mathematical expressions and the nature of prime numbers in relation to divisibility. However, there is no explicit consensus on the converse statement, indicating ongoing exploration.

Contextual Notes

Participants note the importance of precision in mathematical proofs and the constraints of not using certain methods unless performing an indirect proof. There is also mention of the complexity involved in proving the converse of the original statement.

ver_mathstats
Messages
258
Reaction score
21

Homework Statement


Let n be fixed positive integer, is it true regardless of n?

(a) If n is divisible by 6, then n2 is divisible by 6.

Homework Equations

The Attempt at a Solution


For (a) so far I have n=6k and n2=6k, however I am unsure of where exactly I have to go from there?
I think this statement is true because I tested numbers in place of n so I think it is true, but I know that is not enough to determine if it really is true and I am having trouble figuring out the next step.

Thank you.
 
Physics news on Phys.org
ver_mathstats said:

Homework Statement


Let n be fixed positive integer, is it true regardless of n?

(a) If n is divisible by 6, then n2 is divisible by 6.

Homework Equations

The Attempt at a Solution


For (a) so far I have n=6k and n2=6k, however I am unsure of where exactly I have to go from there?
I think this statement is true because I tested numbers in place of n so I think it is true, but I know that is not enough to determine if it really is true and I am having trouble figuring out the next step.

Thank you.
If ##n=6k## then what is ##n^2?##
 
fresh_42 said:
If ##n=6k## then what is ##n^2?##

Would I have to take the square root of n2 and 6k? Which then would become n = √6k. Or would I have to do n2=62k2?
Or is n2 = √36k2?
 
It is always a good strategy to list what is given, and maybe to write down what has to be achieved. Maybe, because that can also be a distraction. Some students tend to use what they have to show, which of course is forbidden. At least as long you don't perform an indirect proof, in which case the opposite of what has to be shown is assumed to be true.

1. Here we have ##6\,|\,n## or as you correctly said: ##n=6\cdot k## for some ##k##.
2. We want the same for ##n^2##, i.e. ##6\,|\,n^2## resp. ##n^2=6 \cdot m## for some ##m##.

Now use what is given: ##n=6\cdot k##. Then ##n^2=n\cdot n= 6^2\cdot k^2## and the only thing left is to write it as ##n^2=6 \cdot m##.
 
fresh_42 said:
It is always a good strategy to list what is given, and maybe to write down what has to be achieved. Maybe, because that can also be a distraction. Some students tend to use what they have to show, which of course is forbidden. At least as long you don't perform an indirect proof, in which case the opposite of what has to be shown is assumed to be true.

1. Here we have ##6\,|\,n## or as you correctly said: ##n=6\cdot k## for some ##k##.
2. We want the same for ##n^2##, i.e. ##6\,|\,n^2## resp. ##n^2=6 \cdot m## for some ##m##.

Now use what is given: ##n=6\cdot k##. Then ##n^2=n\cdot n= 6^2\cdot k^2## and the only thing left is to write it as ##n^2=6 \cdot m##.

I am unsure of how to get to n2=6m but I thought that if nn=62m2 then it would also become (6m)(6m).
 
ver_mathstats said:
I am unsure of how to get to n2=6m but I thought that if nn=62m2 then it would also become (6m)(6m).
Sure. There is nothing more to do. It was an easy exercise. In such cases it is important to be precise, e.g. you can write ##n^2=n\cdot n=(6k)\cdot(6k)=6\cdot(6k^2)## and so ##6\,|\,n^2##.
 
fresh_42 said:
Sure. There is nothing more to do. It was an easy exercise. In such cases it is important to be precise, e.g. you can write ##n^2=n\cdot n=(6k)\cdot(6k)=6\cdot(6k^2)## and so ##6\,|\,n^2##.

Okay I understand now, thank you, also if n2 is divisible by 6, then n is divisible by 6 it would be the same as the other statement but just now we are working backwards?
 
ver_mathstats said:
Okay I understand now, thank you, also if n2 is divisible by 6, then n is divisible by 6 it would be the same as the other statement but just now we are working backwards?
It doesn't work backwards. Given ##n^2=6k##, how can we know that there is another factor ##6##? It is true, but the proof is a bit more complicated.

Say we have ##6\,|\,n^2## and ##n^2=6k=2\cdot 3\cdot k##. Now ##2\,|\,n^2=n\cdot n##. As ##2## is a prime number, it has to divide one of the factors, by the definition of a prime number. So ##2\,|\,n##. The same is true for ##3##, and if ##2\,|\,n## and ##3\,|\,n## then ##2\cdot 3 = 6 \,|\,n##.

But from ##6\,|\,n^2## alone it is not clear how ##6## is in ##n##; it could have been split. O.k. not in this case, but consider the following example: ##25\,|\,100=10^2## but ##25\,\nmid\,10##.

Do you see what makes the proof for ##6\,|\,n^2## different from the example ##25\,|\,100\,?## Why doesn't the proof work for ##25\,|\,100## although ##5## is a prime?
 
If n=6k , then ## n^2 =(6k
ver_mathstats said:
Okay I understand now, thank you, also if n2 is divisible by 6, then n is divisible by 6 it would be the same as the other statement but just now we are working backwards?
This has to see with the general concept of prime ( and not just for natural numbers) . P is a prime if p|ab implies p|a or p|b (p|x:= " p divides x " )
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K