Exercise 2.7.2: Proofs by cases - even/odd integers and divisibility.
Prove each statement.
(c) If integers x and y where x < y are consecutive, then they have opposite parity.
(e) If x and y are integers such that x³ (y + 5) is odd, then x is odd and y is even.
(g) If x and y are two numbers such that xy and x+y are both even, then x and y are both even.
Exercise 2.7.3: Proofs by cases - absolute value.
Prove each statement.
(e) For any real number x, |x - 6| + x > 3.