• Support PF! Buy your school textbooks, materials and every day products Here!

Proof by contrapositive; if (m^2+n^2) div by 4, then m,n are even numbers

  • Thread starter jeszo
  • Start date
  • #1
6
0

Homework Statement



Let m and n be two integers. Prove that if m^2 + n^2 is divisible by 4, then both m and n are even numbers

Homework Equations





The Attempt at a Solution



Proof by Contrapositive. Assume m, n are odd numbers, showing that m^2 + n^2 is not divisible by 4.

let:
m= 2a + 1 (a,b are integers)
n=2b+1

m^2+n^2 = (2a+1)^2 + (2b+1)^2 = 4a^2 +4a + 1 + 4b^2 + 4b +1

let: 4(a^2 + a + b^2 + b) = 4q (q an integer)

m^2 + n^2 = 4q + 2

with 4q + 2 not divisible by 4 since 4 divides 4q + 2 with a remainder of 2.
==> if m and n are odd numbers, m^2 + n^2 is not divisible 4, which by contrapositive reasoning proves that if m^2 + n^2 is divisible by 4, then m and n are odd numbers.

----------------------------------

I finished my proof there, but had a note underneath that said that it was incomplete, since I was missing "other cases". Does this mean I have to also show that m and n cant be of opposite parity either? I've been under the impression that the negation of "m and n are even numbers" was "m and n are odd numbers". Is this logic wrong?

Homework Statement





Homework Equations





The Attempt at a Solution

 

Answers and Replies

  • #2
537
0
Thenegation of "both m and n are even" is "at least 1 of m or n is odd".
 

Related Threads for: Proof by contrapositive; if (m^2+n^2) div by 4, then m,n are even numbers

Replies
7
Views
16K
Replies
5
Views
4K
Replies
5
Views
2K
Replies
11
Views
2K
Replies
11
Views
3K
Replies
2
Views
1K
  • Last Post
Replies
5
Views
2K
Replies
10
Views
4K
Top