Recitation 4: Practice with Proofs
Part One
Your TA will guide you through the following proofs using different techniques.
Proof by Contrapositive
If x and y are integers and x - y is odd, then x is odd or y is odd.
Proof by Contradiction
Among any group of 25 people, there must be at least three who are all born in the same month.
Proof by Cases
If x is an integer, then x² + 5x - 1 is odd.
Part Two: Exercises
You will work individually through the following proofs.
- There is no smallest integer.
- For every real number x, if x is irrational, then -x is also irrational.
- If x and y are real numbers, then max(x, y) + min(x, y) = x + y.
- Let x and y be two integers. If xy is not an integer multiple of 5, then neither x nor y is an integer multiple of 5.
- Every perfect square is either a multiple of 4 or a multiple of 4 plus 1.