Let and let be even.

Assume is not even. Therefore is odd. Therefore for some

So

But is an integer, so is an integer, so is an integer. Thefore for some

This is the definition of an odd number, so is odd. But we know is even. This is a contradiction and therefore the assumption that is not even is wrong. Therefore is even

Can you give the second part b try