January 21, 2017

Homework Help: discrete math

Posted by romulo on Wednesday, March 7, 2007 at 1:45am.

Prove by contradiction that for any even integer a and any odd integer b, 4 does not divide (a^2 + 2b^2).

Proposition: That 4k (k is any integer) = a^2 +2b^2, and a is even, and b is odd.
But 4k is even (product of any integer and 4), so a^2 must be even, as 2b^2 is even.
Dividing both sides by 4,
k=a^2/4 + 2b^2/4
but a is even, so a=2*n where n is an integer. a^2=4n^2
k= n^2 + b^2/2

But b is odd, so b^2/2 is not an integer.

Therefore, k cannot be an integer, so the proposition is contradicted.

Answer This Question

First Name:
School Subject:

Related Questions

More Related Questions