Geht wohl mit vollst. Induktion:
n=1 ggT(F2,F1) = ggT(1,1)=1
Wenn es für ein n gilt, also ggT(Fn+1,Fn) =1, dann folgt
für n+1 ggT(Fn+2,Fn+1) wegen der Rekursion
=ggT(Fn+1+Fn,Fn+1)
Nun ist ja ein gemeinsamer Teiler von a+b und a für alle
natürlichen Zahlen auch ein gemeinsamer Teiler von a und b,
also gilt hier .. =ggT(Fn,Fn+1) = 1 . q.e.d.