Hello John,
- Short Answer: You have it right. A bit more generally speaking, for integers, an odd minus an odd is always even, and an even is always divisible by 2.
- Long Answer: If you're really interested in the mechanics of it, keep reading. :-)
- The below is also instructive as there are any number of questions the ACT Math can ask about even and odd integers.
Let k be an integer. That is, let
k ∈ {... -3, -2, -1, 0, 1, 2, 3 ...}. Then doubling any value chosen for k yields,
2k ∈ {...-6, -4, -2, 0, 2, 4, 6...}, which creates a list of EVEN integers. Now, if you add 1 to 2k, we get
2k + 1 ∈ {... -5, -3, -1, 1, 3, 5, 7 ...}, a list of ODD integers.
So, let's pick two integers, m and n.
Then 2m + 1 and 2n + 1 are odd integers ( in our case 7 and x, where we are letting x be an odd integer).
Subtracting them, we have
(2m + 1) - (2n + 1)
= 2m + 1 - 2n -1
= 2m - 2n
= 2 (m - n).
Since m and n are integers, and the set of integers is closed under subtraction,
m - n is an integer,
→ 2 (m - n) is an even integer,
which will always be divisible by 2.