Let x, y be a set of integers. Prove that if xy and x+y are even, then both x and y are even.
I know I should assume that x or y is odd. Lets assume x is odd.
Proof: Assume x is odd. x=(2k+1) for some integer x. Therefore, xy= (2k+1)y
and (2k+1) + y. Do I need to assume that y is also odd and plug into the equation along with x? For example, xy= 2k+1(2m+1)= 4km + 2k + 2m +1= 2(2km +k+m)+1 is this correct, it doesn't look so good to me.
I know I need to demonstrate that if two even pairs are added up then their are still two even pairs since every pair is two items added, thus each item has its own partner.