Pista $\ $ Ponga $ \rm\ :a_n = 1 = b_n\:$ en el resultado mucho más general que aparece a continuación.
Teorema $\ $ Si $ \rm\ :( \color {#c00}{b_n,\,f_n}) = 1\:$ y $ \rm\ :f_{n+1} = a_n f_n + b_n f_{n-1}\:$ entonces $ \rm\ :(f_{n+1},\,f_n) = (f_1,\,f_0).$
Prueba $\ $ Despeja si $ \rm\ :n = 0.\:$ Si no, por Euclides y la inducción tenemos
$$ \rm\ ,(f_{n+1},\,f_n) = (a_n f_n\! +\! \color {}{b_n} f_{n-1},\,f_n) = ( \color {#c00}{b_n} f_{n-1},\, \color {#c00}{f_n}) = (f_{n-1},\,f_n) = (f_1,\,f_0)\,$$
Observación $\ $ Del mismo modo se puede probar mucho más generalmente que los números de Fibonacci $ \rm\ :f_n\:$ comprenden un fuerte secuencia de divisibilidad: $ \rm\ :(f_m,f_n) = f_{(m,n)},\:$ es decir. $ \rm\ :gcd(f_m,f_n) = f_{ \gcd (m,n)}.\:$ El suyo es el caso especial $ \rm\ :m=n\!+\!1.\:$