Technique
Write an odd number as
Arithmetic • Number System • Divisibility
Statement
Every even integer can be written as and every odd integer as for some integer ; substituting these forms turns a claim about all odd or all even numbers into an algebraic identity.
How to use it
- 1Use a different letter for each number: and , never twice.
- 2Expand, then collect the multiples of the modulus you care about so that the remainder is left visible.
- 3To refute a universal claim one counterexample suffices; to establish one, the general form is required.
Worked example
Show that the product of two consecutive integers is always even.
Step-by-step
- 1Let the integers be and .
Why: Consecutive integers have opposite parity, so a case split on is exhaustive.
- 2If , the product is ; if , it is .
Why: Both cases carry an explicit factor of .
- 3So the product is a multiple of in either case.
Answer
The product is always even
Watch out
An odd square is more than a multiple of , so a sum of two odd squares is more than a multiple of : even, but never a multiple of . Reading the leading multiple of in an expression of the form as making the whole thing divisible by is the usual slip.