MA-410 Homework 1

Due at 4:59pm in my mailbox in SAS 3151, Monday, February 8, 2010

All solutions must be submitted in hardcopy either to me in class or placed in my mailbox.
Note my office hours on my schedule.

1. Prove by induction that for the Fibonacci number f_n, f_0 = f_1 = 1, f_{n+2} = f_{n+1} + f_n for all n ≥ 0 one has
   
   f_n ≥ ((1 + sqrt(5))/2)^n / sqrt(5) for all n ≥ 0.
   
2. Consider C_n from ENT, §1.2, Problem 10, page 12. Prove that C_n = binomial(2n,n) - binomial(2n,n-1) for all n ≥ 1, thus showing that the C_n are integers.
3. ENT, §2.2, Problem 15, page 25.
4. ENT, §2.3, Problem 2(c), page 31. Please compute the Bezout coefficients by the extended Euclidean algorithm presented in class, not the back-substitution given in the book.
5. Prove for the extended Euclidean algorithm described in class: s_k t_k+1 - s_k+1 t_k = (-1)^k+1 for all -1 ≤ k ≤ n