Sei z = √5, sowie x = (1 + z)/2 und y = (1 - z)/2. Dann ist x = 1 + 1/x und y = 1 + 1/y.
Behauptung: Fn = (xn - yn)/z.
Beweis per Induktion über n.
Induktionsanfang:
1 = F1 = (x1 - y1)/z = 1
1 = F2 = (x2 - y2)/z= 1.
Induktionsschritt: Die Behauptung gelte für ein n>1.
Zu zeigen ist Fn+1 = (xn+1 - yn+1)/z.
Nach Definition und Induktionsvoraussetzung ist
Fn+1 = Fn + Fn-1 = (xn - yn)/z + (xn-1 - yn-1)/z
= ((xn + xn-1) - (yn + yn-1))/z
=(xn·(1 + 1/x) - yn·(1 + 1/y))/z
=(xn·x - yn·y)/z = (xn+1 - yn+1)/z.