I've asked for a lot in the questions that follow. I don't know how much. If you find that you are spending more time on this course than is reasonable given the shape of your life, skip some of it. But try to decide wisely which parts to skip - concentrate on what's most interesting to you.
Now that you know (because you proved it, or because you believe
Sethuraman) that gcd(an, an-1) = 1 you know
(From Theorem 1.6) that it is possible to find integers
x and y such that
x an + y an-1 = 1So do it.
Start small: fill in the table
n an an-1 x y 3 2 1 1 -1 4 3 2 1 -1 5 5 3 -1 2 6 8 5 2 -3 7 ...and look for a pattern you can prove.
See if you can show that two steps reduces one of the number to at most half its size. Conclude that the algorithm takes on the order of log2(a) steps - that's much less than a.
Google properly queried will probably find various analyses of the speed of the Euclidean algorithm. If you can't solve the problem yourself (or even if you can) you might want to look some up, and report on what you find. This kind of research is acceptable (unless I explicitly specify otherwise) under two conditions: