I can't seem to figure out this proof. I'm using weak induction and always get stuck during the inductive step.
Prove for n > 0: $$f_{2n+1} = f_{n+1}^2 + f_n^2$$
I can't seem to figure out this proof. I'm using weak induction and always get stuck during the inductive step.
Prove for n > 0: $$f_{2n+1} = f_{n+1}^2 + f_n^2$$