# discrete math

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.

1. 👍 0
2. 👎 0
3. 👁 200

## Similar Questions

1. ### discrete math

prove that if n is an integer and 3n+2 is even, then n is even using a)a proof by contraposition b)a proof by contradiction I'll try part b, you'll have to refresh me on what contraposition means here. Here is the claim we start

asked by audryana on September 27, 2006
2. ### Discrete Math

1. Assume that n is a positive integer. Use the proof by contradiction method to prove: If 7n + 4 is an even integer then n is an even integer. 2. Prove: n is an even integer iff 7n + 4 is an even integer. (Note this is an if and

asked by Math help on February 21, 2008
3. ### Algebra 1 Polynomials

Suppose n is an integer. Select all statements below that are true: (choose 3) A) n^2 + n is always an even integer*** B) n^2 + n is always an even integer when n is even*** C) n^2 + n is always an even integer when n is odd*** D)

asked by Gerard Way on March 8, 2017
4. ### Algebra

The sum of two consecutive odd integers is 56. A. Define a variable for the smaller integer. B. What must you add to an odd integer to get the next greater odd integer? C. Write an expression for the second integer. D. Write and

asked by Bri on October 14, 2011
5. ### Math

Let a, b, and m be integers, and m ≥ 2. Prove that: ab ≡ [ (a mod m) · (b mod m) ] (mod m). So I tried proof by cases: Assume ab ≡ [(a mod m) ∙ (b mod m)] mod m is true. Then ab mod m = [(a mod m) ∙ (b mod m)] mod m,

asked by Kid on November 9, 2018
6. ### DISCRETE MATHS

We need to show that 4 divides 1-n2 whenever n is an odd positive integer. If n is an odd positive integer then by definition n = 2k+1 for some non negative integer, k. Now 1 - n2 = 1 - (2k+1)2 = -4k2-4k = 4 (-k2-4k). k is a

7. ### maths

prove that any odd positive integer of 8q+1,where q is any integer?

asked by sandra on April 17, 2012
8. ### Algebra

Find two consecutive odd integers such that 5 times the first integer is 12 more than 3 times the second. I've gotten this far but confused as to what the two intergers are. 5x=3(x+2)=12 5x=3x+2+12 5x=3x+14 2x=14 2x/2x=14/2 x=7

asked by Amanda on April 22, 2007
9. ### algebra

Find the two consecutive odd integers such that 5 times the first integer is 12 more than 3 times the second. can some explain to me how to get this i was thinking the formula would be ' 5x+12=3x No, that's not it. The second

asked by laura on March 29, 2007
10. ### Algebra Word Problem

Solve algebraically using one variable: Find three consecutive odd integers such that the product of the first integer and the third integer is equal to nine more than twelve times the middle integer.

asked by Tony on February 20, 2017

More Similar Questions