Zeigen Sie im Induktionsanfang, dass die Aussage für \( n=1 \) und \( n=2 \) wahr ist.
\( F_{m+n}=F_{m-1} F_{n}+F_{m} F_{n+1} \) gibt also
\( F_{m+1}=F_{m-1} F_{1}+F_{m} F_{2} = F_{m-1}+F_{m} \)
stimmt also. Und
\( F_{m+2}=F_{m-1} F_{2}+F_{m} F_{3} = F_{m-1}+2F_{m} \)
\( = F_{m-1}+F_{m}+F_{m}= F_{m+1}+F_{m}\)
stimmt also auch.
Nehmen Sie in der Induktionsbehauptung die Aussage für ein beliebiges \( n \geq 1 \) und für \( n+1 \) an und folgern Sie im Induktionsschluss die Aussage für \( n+2 \).
Sei also \( F_{m+n}=F_{m-1} F_{n}+F_{m} F_{n+1} \)
und \( F_{m+n+1}=F_{m-1} F_{n+1}+F_{m} F_{n+2} \)
==> \( F_{m+n+2}=F_{m+n+1}+ F_{m+n} \)
\(=F_{m-1} F_{n+1}+F_{m} F_{n+2} +F_{m-1} F_{n}+F_{m} F_{n+1} \)
Das müsste dann ergeben \( F_{m-1} F_{n+2}+F_{m} F_{n+3} \)
Tut es auch, denn
\(F_{m-1} F_{n+1}+F_{m} F_{n+2} +F_{m-1} F_{n}+F_{m} F_{n+1} \)
\(=F_{m-1} F_{n+1}+F_{m-1} F_{n}+F_{m} F_{n+2} +F_{m} F_{n+1} \)
\(=F_{m-1}( F_{n+1}+ F_{n}) +F_{m} (F_{n+2} + F_{n+1}) \)
\( = F_{m-1} F_{n+2}+F_{m} F_{n+3} \)