On définit de façon formelle la suite de Fibonacci de la façon suivante : , et . le terme général de est donné par (se prouve aisément par récurrence). Cela explique pourquoi . On le vérifie après avoir constaté que comme , alors .