FP0007 Pure Mathematics - Week 2 Tutorials
Dr. Bui Ngoc Mai
September 25, 2025
Question 1. Consider the following propositions.
(i) For all whole numbers n, there is a whole number m for which n ≥ m.
(ii) For all whole numbers n, there is a whole number m for which n > m.
(iii) There is a whole number m such that, for all whole numbers n, n ≥ m.
(iv) There is a whole number m such that, for all whole numbers n, n > m.
Decide whether these propositions are true or false and then prove or disprove them as appropriate.
Question 2. Use the method of direct proof, or by contraposition, or by contradiction to prove the following
statements.
1. Suppose that n ∈ Z. If n is odd, then n2 is odd.
2. Suppose that n ∈ Z. If n2 is odd, then n is odd.
3. If a, b ∈ Z, then a2 − 4b − 2 6= 0.
4. Suppose that a, b, c ∈ Z. If a2 + b2 = c2 , then a or b is even.
5. Suppose a, b ∈ R. If a is rational and b is rational, then a + b is rational.
6. Suppose a, b ∈ R. If a is rational and ab is irrational, then b is irrational.
7. There exist no integers a and b for which 21a + 30b = 1.
8. For every positive rational number x, there is a positive rational number y for which y < x.
9. Let m and n be integers. Prove that mn is even if and only if m is even or n is even.
10. Prove that, if x is a real number such that 0 < x < 1, then x(1 − x) ≤ 1/4.
11. Let m and n be positive integers that mn is divisible by 3. Prove that m is divisible by 3, or n is divisible
by 3.