Thread: [SOLVED] Proof involving prime numbers

Prove that if p is a prime number and p does not equal 3, then 3 divides . I'm given a hint that says, "When p is divided by 3, the remainder is either 0, 1, or 2. That is, for some integer k, p=3k or p=3k+1 or p=3k+2. I understand the hint and the initial statement, I just don't know where to start.

First off, since that would mean p is divisible by something other than 1 and itself and we already said

So just go through the other two cases:
If then

If then ........... Finish it off.

That's where I got to, but I didn't think that was proof of the statement.

Why does ?

By definition, iff there exists an integer such that .

From our work, we can see that

Or in layman terms, we have 3 times something equal to . So obviously, 3 and that something iare a factor of it, i.e. 3 and that something divide .

Gotcha. Thanks for the help. I have one more question that is somewhat on topic.

We are proving things in class but only in the sense that we have to take the work someone else has done and assume it's true. At some point in a proof do you just have to use common sense. For example, "Let k be an integer. Then is even and is odd." What does the proof for either of those look like?

Originally Posted by Ryaη

Gotcha. Thanks for the help. I have one more question that is somewhat on topic.

We are proving things in class but only in the sense that we have to take the work someone else has done and assume it's true. At some point in a proof do you just have to use common sense. For example, "Let k be an integer. Then is even and is odd." What does the proof for either of those look like?

it is a definition. even numbers are those that are divisible by 2 and odd numbers are those that are not (meaning, when we divide them by 2, we have a remainder of 1). and the definitions follow immediately

Originally Posted by Ryaη

Gotcha. Thanks for the help. I have one more question that is somewhat on topic.

We are proving things in class but only in the sense that we have to take the work someone else has done and assume it's true. At some point in a proof do you just have to use common sense. For example, "Let k be an integer. Then is even and is odd." What does the proof for either of those look like?

As Jhevon has already pointed out, those facts follow from the definition of even and odd. Sometimes you will have to use axioms (e.g. two parallel lines never intersect), but that's about as close to "common sense" as a proof can get.