Mathematica Mastering Mathematical Proofs: Solving the Universe's Integers with a-3b and a+b

[CollectiveRocker]

We are given the following statement: The universe is all integers. If a-3b is even, then a+b is even. I began off with saying that 3 cases exist: a is odd and b is even, a is even and b is odd, both a and b are odd, and both a and b are even. After this point I got really confused and lost. Can someone please point me in the right direction?

 

[MathStudent]

hint, if a number is even, then it can be written as 2k where k is an integer.

since they tell you that a - 3b is even, then that means

a - 3b = 2k

for some integer k.

 

[StatusX]

think about the difference between those two expressions

 

[CollectiveRocker]

I don't understand what you mean when you say a-3b=2k. How does that help you?

 

[MathStudent]

try to manipulate that equation, so you have a + b on one side, and on the other you have 2* some integer.



edit: I edited the above post, to try to make it more clear

 

[CollectiveRocker]

I realize that I just sound really stupid right now; but it's been a while since I've really done any math per say. I don't think any way exists to end up with a+b on one side with 2* something on the other side. The problem exists because of the 3, no matter what happens, there is no way to separate the 3 from the b, and still end up with a+b. Is there?

 

[MathStudent]

start by trying to obtain a + b on the left side. Remeber, anything you do on the left side you also have to do on the right side.

you can do this by adding 4b to both sides, and simplifying

 

[Mathechyst]

Why worry about a-3b=2k? Why not just remember that the sum of two even numbers is an even number?

Doug

 

[CollectiveRocker]

Do you mean a+b = 2(k+2b)?

 

[MathStudent]

Why worry about a-3b=2k? Why not just remember that the sum of two even numbers is an even number?

Doug

where does it say that a and b are both even?

 

[MathStudent]

Do you mean a+b = 2(k+2b)?

yep... since k + 2b is an integer, then 2(k + 2b) is even, therefore, a + b is even. The trickiest part of this proof, is just knowing that if a number is even then it can be written as 2 * an integer.

 

[CollectiveRocker]

It doesn't. It just says that if a-3b is even, then a+b is even. Then we are supposed to prove that statement any way possible which makes logical sense.

 

[Mathechyst]

where does it say that a and b are both even?

It doesn't but (a-3b)+c is even if a-3b and c are both even.

Doug

 

[CollectiveRocker]

Thank you so much guys, for sticking with me.

 

[learningphysics]

Why worry about a-3b=2k? Why not just remember that the sum of two even numbers is an even number?

Doug

Yes. This is what I was thinking too:

a+b = (a-3b) + (4b)

Since a-3b is given as even, and since 4b is even... and since the sum of two even numbers is even we know that a+b is even.

 

[MathStudent]

It doesn't but (a-3b)+c is even if a-3b and c are both even.

Doug

I see what you mean ... doesn't seem like either way is faster, but its good to know both .


edit: Actually I take that back, your method is a little faster, in that you don't have any manipulating to do.