Prova por indução em n, fixando o m:
I) n=2 => [tex]u_{m+2} = u_{1}u_{m}+u_{2}u_{m+1}[/tex]
E isso é verdade para todo m, pela definição da sequência.
II) Supondo que seja verdade pra n=k: [tex]u_{m+k} = u_{k-1}u_{m}+u_{k}u_{m+1}[/tex]
Verificando pra n=k+1:
[tex]u_{m+k+1} = u_{k} u_{m} + u_{k+1}u_{m+1} [/tex]
E somando as duas igualdades membro a membro:
[tex]u_{m+k} + u_{m+k+1}=u_{k-1}u_{m}+u_{k}u_{m+1}+u_{k}u_{m}+u_{k+1}u_{m+1}[/tex]
[tex]u_{m+k+2}=u_{m}(u_{k-1}+u_{k})+u_{m+1}(u_{k}+u_{k+1})[/tex]
[tex]u_{m+k+2}=u_{m}u_{k+1}+u_{m+1}u_{k+2}[/tex]
Que era o resultado esperado, logo aquela relação sempre vale para todo n>1. Pra provar pra m é a mesma coisa, só trocar as letras.
