Simple Proof (Verification)

[NATURE.M]

Homework Statement

Let n be an integer. Prove that if n^3 is even, then n is even.

Homework Equations

The Attempt at a Solution

Suppose n is even. That is n=2m, for some mεZ.
Then, n^3=(2m)^3=8m^3=2(4m^3).
Since 4m^3 is an integer, n^3 will be even.

Now, i proved that if n is even, then n^3 is even. So would this be a valid proof in this context?

 

[Mark44]

Homework Statement

Let n be an integer. Prove that if n^3 is even, then n is even.

Homework Equations

The Attempt at a Solution

Suppose n is even. That is n=2m, for some mεZ.
Then, n^3=(2m)^3=8m^3=2(4m^3).
Since 4m^3 is an integer, n^3 will be even.

Now, i proved that if n is even, then n^3 is even. So would this be a valid proof in this context?

Looks fine.

Edit: I misread the problem statement as "if n is even then n³ is even." My mistake.

 

[Jufro]

Your proof is showing that if n is even then n^3 is even.

You want to show the converse that if n^3 is even then n is even.

It is semantics and may seem silly in this sort of proof but in more difficult proofs you have to be careful of what you are saying.

Edit: Take the factors of n^3 and see what that means to be even.

Spoiler

Assume n^3 is even and n is an integer. Well, n^3 = n* n* n. Since n^3 is even n*n*n is even which means that either n or n or n is divisible by two. Therefore, n is an integer divisible by two; n is even.

 

[LCKurtz]

Your proof is showing that if n is even then n^3 is even.

You want to show the converse that if n^3 is even then n is even.

It is semantics and may seem silly in this sort of proof but in more difficult proofs you have to be careful of what you are saying.

Assume n^3 is even and n is an integer. Well, n^3 = n* n* n. Since n^3 is even n*n*n is even which means that either n or n or n is divisible by two. Therefore, n is an integer divisible by two; n is even.

It's good to point out what he did wrong, but I presume you know you are not supposed to supply complete solutions.

 

[Jufro]

I just wanted to make sure that I wasn't missing something.

To comply better with PF rules I updated my post

 

[verty]

So many of these problems are made easier when you look at the contrapositive of the claim. Here it is just that if n is odd, then n^3 is odd.

 

[NATURE.M]

Your proof is showing that if n is even then n^3 is even.

You want to show the converse that if n^3 is even then n is even.

It is semantics and may seem silly in this sort of proof but in more difficult proofs you have to be careful of what you are saying.

Edit: Take the factors of n^3 and see what that means to be even.

Spoiler

Assume n^3 is even and n is an integer. Well, n^3 = n* n* n. Since n^3 is even n*n*n is even which means that either n or n or n is divisible by two. Therefore, n is an integer divisible by two; n is even.

Yeah, that's what I was really unsure about, but thanks for clarifying.

 

[NATURE.M]

So many of these problems are made easier when you look at the contrapositive of the claim. Here it is just that if n is odd, then n^3 is odd.

The solution to the actual problem uses the contrapositive method you described, where n is odd, then n^3 is odd. Though, I haven't studied contrapositive proofs yet, so I posted an alternative method above.

 

[Mark44]

What you proved was the converse, not the contrapositive.

If you're uncertain about these terms, maybe this will help.

Implication P => Q (if P then Q)
Converse: Q => P
Contrapositive: ~Q => ~P (if not Q, then not P)

There's another term for the converse of the contrapositive, but I forget what it is.

An implication and its contrapositive are always equivalent (i.e., they have exactly the same truth table values), but an implication and its converse are not equivalent.

Here are some examples.
Implication: If x = 2, then x² = 4

Converse of the implication: If x² = 4, then x = 2 (not necessarily true, as x could be -2)

Contrapositive of the implication: If x² ≠ 4, then x ≠ 2

 

[NATURE.M]

What you proved was the converse, not the contrapositive.

If you're uncertain about these terms, maybe this will help.

Implication P => Q (if P then Q)
Converse: Q => P
Contrapositive: ~Q => ~P (if not Q, then not P)

There's another term for the converse of the contrapositive, but I forget what it is.

An implication and its contrapositive are always equivalent (i.e., they have exactly the same truth table values), but an implication and its converse are not equivalent.

Here are some examples.
Implication: If x = 2, then x² = 4


Converse of the implication: If x² = 4, then x = 2 (not necessarily true, as x could be -2)

Contrapositive of the implication: If x² ≠ 4, then x ≠ 2

Thanks alot Mark44. It makes sense to me now why the solutions manual proved the statement, "if n^3 is even, then n is even" by giving a proof of " if n is odd, then n^3 is odd", which is the contrapositive statement. This would be valid as the implication statement is equivalent to its contrapositive statement, as you pointed out.