This algorithm helps us determine the GCD of larger numbers efficiently.
Method (Euclidean Algorithm)
We can best do this by example. Consider
So, we have that
which is when it terminates. Thus, the is . We essentially reuse the GCD lemma. This leads us to the following:
Example 1
How many divisions do we need until we see a remainder of when we use the algorithm to compute
So,
So, total divisions. Our .
Bezout’s Identity
Using the Euclidean Algorithm, we see that such that
Example 2
Find for
So,
So, the is . Now, working backwards from our work for GCD,
So then,
and so our .
Example 3
Find Bezout coefficients for .
So, from Example 1, we have
Then,
and so .