1. ## Contrapositive Method

Plz help solving these:

(a) Assume that $m$ and $n$ are positive integers and that $m \le n$. Prove that if $m^2 = n^2$, then $m=n$ using contrapositive method.

(b) Using direct proof show that the negative of any even integer is even.

2. Originally Posted by cu4mail
Plz help solving these:

(a) Assume that $m$ and $n$ are positive integers and that $m \le n$. Prove that if $m^2 = n^2$, then $m=n$ using contrapositive method.
to prove using the contrapositive method means the following.

by the contrapositive method, we prove a statement $P \implies Q$ by showing $\neg Q \implies \neg P$

so start by assuming $m \ne n$, where does this get you? how does this cause $m^2$ to relate to $n^2$? will they be equal?

(b) Using direct proof show that the negative of any even integer is even.
Hint: we say an integer is even if it can be expressed as $2n$ for $n \in \mathbb{Z}$. now note that $-2n = 2(-n)$

3. Originally Posted by Jhevon
to prove using the contrapositive method means the following.
by the contrapositive method, we prove a statement $P \implies Q$ by showing $\neg P \implies \neg Q$
Shouldn't that read "by the contrapositive method, we prove a statement $P \implies Q$ by showing $\neg Q \implies \neg P$"

4. Originally Posted by Isomorphism
Shouldn't that read "by the contrapositive method, we prove a statement $P \implies Q$ by showing $\neg Q \implies \neg P$"
yes, indeedy! thanks. i'll fix it (hehe, i must be dyslexic or something, i had to read what you wrote like three times before i saw the difference between what i wrote and what you wrote)

5. Originally Posted by Jhevon
to prove using the contrapositive method means the following.

by the contrapositive method, we prove a statement $P \implies Q$ by showing $\neg Q \implies \neg P$

so start by assuming $m \ne n$, where does this get you? how does this cause $m^2$ to relate to $n^2$? will they be equal?

Hint: we say an integer is even if it can be expressed as $2n$ for $n \in \mathbb{Z}$. now note that $-2n = 2(-n)$

6. and are positive integers and that . Prove that if , then using contrapositive method.

7. and are positive integers and that . Prove that if , then using contrapositive method.