Page 312 - HOW TO PROVE IT: A Structured Approach, Second Edition
P. 312

P1: Oyk/
                   0521861241c06  CB996/Velleman  October 20, 2005  1:8  0 521 86124 1  Char Count= 0






                                   298                  Mathematical Induction
                                       Find a formula for a n and prove that your formula is correct. (Hint:
                                       Imitate exercise 8.)
                                   11. A sequence a 0 , a 1 , a 2 , ... is defined recursively as follows:
                                                 a 0 = 0;
                                                 a 1 = 1;
                                                 a 2 = 1;
                                                                   1       3      1
                                                 for every n ≥ 3, a n =  a n−3 + a n−2 + a n−1 .
                                                                   2       2      2
                                                                      th
                                       Prove that for all n ∈ N, a n = F n , the n Fibonacci number.
                                   12. For each positive integer n, let A n ={1, 2,..., n}, and let P n =
                                       {X ∈ P (A n )| X does not contain two consecutive integers}. For exam-
                                       ple, P 3 ={∅, {1}, {2}, {3}, {1, 3}}; P 3 does not contain the sets {1, 2},
                                       {2, 3}, and {1, 2, 3} because each contains at least one pair of consecutive
                                       integers. Prove that for every n, the number of elements in P n is F n+2 , the
                                             th
                                       (n + 2) Fibonacci number. (For example, the number of elements in P 3 is
                                       5 = F 5 . Hint: Which elements of P n contain n? Which don’t? The answers
                                       to both questions are related to the elements of P m , for certain m < n.)
                                   13. Suppose n and m are integers and m > 0.
                                       (a) Prove that there are integers q and r such that n = mq + r and
                                          0 ≤ r < m. (Hint: If n ≥ 0, then this follows from Theorem 6.4.1.
                                          If n < 0, then start by applying Theorem 6.4.1 to −n and m.)
                                       (b) Prove that the integers q and r in part (a) are unique. In other




                                          words, show that if q and r are integers such that n = mq + r and


                                          0 ≤ r < m, then q = q and r = r .

                                       (c) Prove that, as claimed in Section 3.4, every integer is either even or
                                          odd but not both.
                                   14. Suppose k is a positive integer. Prove that there is some positive integer
                                   ∗
                                                                  k
                                                              n
                                       a such that for all n > a,2 ≥ n . (In the language of exercise 16 of
                                                                       k
                                                                                   n
                                       Section 5.1, this means that if f (n) = n and g(n) = 2 then f ∈ O(g).
                                       Hint: By the division algorithm, for any natural number n there are nat-
                                       ural numbers q and r such that n = kq + r and 0 ≤ r < k. Therefore
                                        n
                                                  q k
                                       2 ≥ 2 kq  = (2 ) . To choose a, figure out how large q has to be to guar-
                                                q
                                       antee that 2 ≥ n. You may find Example 6.1.3 useful.)
                                   15. (a) Suppose k is a positive integer, a 1 , a 2 ,. . . , a k are real numbers, and
                                                                               +
                                          f 1 , f 2 , ... , f k , and g are all functions from Z to R. Also, suppose
                                          that f 1 , f 2 , ... , f k are all elements of O(g). (See exercise 16 of
                                          Section 5.1 for the meaning of the notation used here.) Define f :
                                          Z → R by the formula f (n) = a 1 f 1 (n) + a 2 f 2 (n) +· · · + a k f k (n).
                                           +
                                          Prove that f ∈ O(g). (Hint: Use induction on k, and exercise 16(c) of
                                          Section 5.1.)
   307   308   309   310   311   312   313   314   315   316   317