Hello, Please consider the following.
Fibonacci numbers are defined as
[tex]u_0=1\\\\u_1=1\\\\u_{n+2}=u_{n+1}+u_{n} \ for \ n\geq 0[/tex]
Step 1 - The proposition is true for n = 1
[tex]GCD(u_2,u_1) ?\\[/tex]
Let's apply Euclidean algorithm
[tex]u_1=1, u_2=2\\\\u_2=2\times u_1+0 = 2 \times 1 +0[/tex]
This is exactly 1 step and [tex]GCD(u_2,u_1) =1[/tex]
Step 2 - We assume that this is true for k, meaning that the Euclidean algorithm takes precisely k steps to prove that [tex]GCD(u_{k+1},u_{k})=1[/tex]
[tex]u_{k+2}=u_{k+1}+u_k \ and \ 0 < u_k < u_{k+1}[/tex]
So, the first step of the algorithm is
[tex]u_{k+2}=u_{k+1}\times 1 +u_{k}[/tex]
And from now, we need to find [tex]GCD(u_{k+1},u_k)[/tex] which is 1 and takes k steps, by induction Hypothesis. Therefore, it takes k + 1 steps to find [tex]GCD(u_{k+2},u_{k+1})=1[/tex]
Step 3 - Conclusion
We have just proved that the Euclidean algorithm takes precisely n steps to prove that [tex]GCD(u_{n+1},u_{n})=1[/tex]
Thanks