If
and
are odd positive integers, they are one more than a non-negative even number, i.e. there exists
such that

So, the first expression become

Similarly, we have

Now, the parity of these expressions depend on those of
and
. We have four cases:
If both m and n are even:
is odd, since
is even, while
is even
If one of the two is odd and the other is even:
is even, since
is odd, while
is odd
If both are odd:
is odd, since
is even, while
is even
So, in all cases, one between (a+b)/2 and (a-b)/2 is odd, and the other is even.