Due Tuesday (Aug 31) 6pm. 2 points each.
1. Someone claims that he has found a smallest positive rational number, but would not tell you which number it is, can you prove that this is impossible? (Optional extra question: can you prove that there is no smallest rational number among all rational numbers that are larger than ?)
2. Prove that, if is a non-zero rational number, is an irrational number, then and are irrational. (UPDATE: if , of course )
3. Prove that there is no rational number whose square is .
4. Read Ross Section 1.2 about mathematical induction, and prove that is divisible by for all .
1. Say this number is , and for some co-prime , then would be a smaller rational than and still is positive. (One can also use other method to get a smaller prime, say ).
For the optional problem, following Rudin, we can let , then one can check that .
2. If is rational, say , then . However, we know arithemetic operations preserves rational numbers, so is rational, contradicting with being irrational. Thus is irrational. Similarly, if is rational, then would be rational, contradicting with being irrational.
3. Suppose , then . We claim that there is no rational number whose square is . The proof is similar to that of no rational's square is , as in Rudin.
4. Let be the statement that is divisible by . Then is true, since . Suppose is true for , we now prove that is true for . We have Hence is equivalent to (since we know by induction), and is equivalent to and is equivalent to . Now, one can either use the binomial formula and get . Or, one can use induction again to prove that for all positive . Let be the statement that , then is true. Suppose is true, ie., , then is divisible by , hence , that is, is true. Thus is true for all positive integer .