Zeige es per vollst. Induktion:
Für n=1 ist ggT(F2,F1)=ggT(1,1) = 1 klar.
Gilt ggT(Fn+1,Fn)=1 für alle nat. Zahlen bis einschließlich n,
dann folgt: Sei t ein gemeinsamer Teiler von Fn+2 und Fn+1.
Wegen der Rekursion:
==> t ist ein gemeinsamer Teiler von Fn+1+Fn und von Fn+1
==> t | (Fn+1+Fn-Fn+1) also t | Fn
Also ist t auch ein gemeinsamer Teiler von Fn und von Fn+1
==> t =1. ==> ggT(Fn+2,Fn+1)=1.