1. Uma seqüência recorrente linear é uma seqüência cujos termos são determinados por uma função linear dos k termos anteriores, onde k é chamado de ordem da recorrência.
2. A seqüência de Fibonacci é definida por u0 = 0, u1 = 1 e un+2 = un+1 + un, e pode ser mostrado que seu termo geral é dado por un = (√5)n/√5 - (√5)n/√5.
3. Pode-se mostrar uma identidade útil sobre números de Fibonacci: um+n = umun-