1.2 Proof by deduction — Practise
Work through these on your own. Begin each proof from the assumption, use a general letter throughout, and finish with a sentence in words. Write your working out in full: the reader should be able to follow every step.
Both the questions and the answers below come from a set that is checked by computer every time the book is built.
- The sum of any two even numbers is even. Show that is a multiple of .
- Show that the sum of two odd numbers is even.
- Show that the sum of two consecutive whole numbers is odd.
- Show that .
- Show that is even for every whole number .
- Write in the form .
- Show that is positive for every real number .
- Show that .
- Show that the product of two consecutive even numbers is a multiple of .
- Show that the square of an odd number is odd.
Answers and concise solutions
1. Show the sum is a multiple of
Answer: Let the two even numbers be and . Their sum is . The number is a whole number, so the sum has a factor : it is even.
2. Show the sum is even
Answer: Write the odd numbers as and . Their sum is . This is a multiple of , so the sum is even.
3. Show the sum is odd
Answer: Let the consecutive whole numbers be and . Their sum is . This is one more than a multiple of , so it is odd.
4. Show the identity
Answer: Expand the bracket: . The terms cancel, leaving .
5. Show is even
Answer: Factorise: . These are two consecutive whole numbers. One of any two consecutive numbers is even, so the product has a factor and is even.
6. Complete the square
Answer: Half of is , and . So .
7. Show the expression is always positive
Answer: Complete the square: . A square is never negative, so . Adding gives at least , which is positive.
8. Show the identity
Answer: Expand: .
9. Show the product is a multiple of
Answer: Write the consecutive even numbers as and . Their product is . This has a factor , so it is a multiple of .
10. Show the square is odd
Answer: Write the odd number as . Its square is . This is one more than a multiple of , so it is odd.