Complex Induction/Strong Induction Proofs

Trumbone

New member
Joined
Oct 5, 2009
Messages
24
I have 2 induction proofs that relate to eachother that I was wondering fi anyone could help with.

1. F_m+n = (F_m-1)(F_n) + (F_m)(F_n+1) for m?1 and n?0.

I started this problem using regular induction but I think I might need to use strong induction?

and 2. Prove that for all m?1 and n?1, F_m divides F_(m*n). I am to do induction on n and use what I found in part 1 to help.


Thank you
 
Top