Professional Documents
Culture Documents
February 2, 2021
Note: I made a mistake in Session 2 when I said you can easily prove strong induction is equivalent to
induction. The proof is not super technical but it is also quite difficult to do without a lot of exposure to
proofs, particularly inductive ones. We will postpone this to a later time. You do not need this fact for these
questions.
1. Prove the equation 3x2 − 7x + 1 = 0 has no rational solutions. To do this by contradiction, assume x is
rational: x = m/n. Then consider cases where m and n are odd/even numbers. You should find some
of the proofs we did in Session 2 helpful.
2. A checkerboard alternates black and white squares. Prove that one cannot cover a regular checkboard
(8 by 8 squares) with dominoes. The dominoes can be placed either horizontally or vertically, and each
domino covers 2 adjacent squares. (Hint: a domino must cover a white and a black square, no matter
how you put it)
3. Prove a natural number is divisible by 9 if and only if its sum of digits is divisible by 9
4. Using induction, prove the sum of the first n odd natural numbers is n2
5. Using induction, can you now do question 7 from Problem set 1?
6. One of my favorite induction proofs. Let n be a natural number, and suppose we have a 2n × 2n grid.
Prove that if we remove a square, any square, we can tile the remaining grid with L-pieces that occupy
3 squares each. Note this does not require strong induction, but the ideas in the chocolate bar splitting
example may be helpful...
1
9. I place 10 points on the circumference of a circle of diameter 5. Prove that there are at least 2 points
whose distance to each other are less than 2. Try to imagine placing 9 points on the circle and argue
that putting one more would force at least 1 pair to be closer than 2. You will have to do some trig work
(think sin/cos laws).
Page 2