# [SOLVED] Proving a theorem without using contradiction

• November 16th 2009, 03:30 PM
racewithferrari
[SOLVED] Proving a theorem without using contradiction
Delete...
• November 16th 2009, 03:41 PM
Plato
Quote:

Originally Posted by racewithferrari
The following theorem has the form of an implication.
If n is an integer and 3n+2 is even, then n is even.

Suppose that $3n+2=2k$ then $3n=2k-2$.
What does that tell you?
• November 16th 2009, 03:42 PM
Drexel28
Quote:

Originally Posted by racewithferrari
The following theorem has the form of an implication.

If n is an integer and 3n+2 is even, then n is even.

Give a direct proof of this theorem without using contradiction.

Since $3n+2$ is even we may state WLOG that $3n+2=2z\implies 3n=2(z-1)$ and since $2\nmid 3$ it must be true that $2\mid n$. The conclusion follows.