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 .