The Euclides algorithm

The highest common factor between two integers is the biggest number that divides both.

Nevertheless, calculating the highest common factor between two numbers can turn out to be much more complicated for very big numbers.

To do so, a method exists which is known as algorithm of Euclides, which, although at first it looks a little bit strange at first, after practiced, it turns out to be much simpler than other methods.

Furthermore, it is also useful for solving diophantine equations.

The Euclides algorithm is based on the definition of three sequences of numbers: the first one is called $$r_j$$, the second one will be called $$s_j$$ and the third one $$t_j$$.

The Euclides algorithm consists in doing the following steps:

• Two numbers are taken:$$a\geq 0$$, $$b>0$$. We want to calculate $$hcf (a, b)$$ (the highest common factor between $$a$$ and $$b$$). For example, we might take $$a= 10$$ and $$b = 5$$.

• We define:$$$\begin{array}{rclrcl} r_0 &=& a, &r_1&=&b \\ s_0 &=& 1, & s_1&=&0 \\ t_0&=&0 , &t_1&=&1\end{array}$$$ For example with $$a = 10$$ and $$b = 5$$, we would have: :$$$\begin{array}{rclrcl} r_0 &=&10, &r_1&=&5 \\ s_0 &=& 1, & s_1&=&0 \\ t_0&=&0 , &t_1&=&1\end{array}$$$

• For $$j\geq 2$$, we do the integer division of $$r_{j-a}$$ by $$r_{j-1}$$. We call the result $$q_{j-1}$$ and to the remainder $$r_j$$. In the previous example, if we want to calculate $$r_2$$ and $$q_1$$ (that is to say, $$j=2$$) it is necessary to do the integer division between $$r_0=10$$ and $$r_1=5$$. It is clear that the result of the divisón is $$2$$ with remainder $$0$$, and therefore we write $$q_1=2$$ and $$r_2=0$$.

• Now, we define:$$$\begin{array} {rcl} s_j& = &s_{j-2}-s_{j-1}\cdot q_{j-1} \\ t_j & = & t_{j-2}-t_{j-1}\cdot q_{j-1}\end{array}$$$ In the previous example we had: $$$\begin{array} {rcl} s_2& = & s_0-s_1\cdot q_1=1-0\cdot 1=1 \\ t_2 & = & t_0-t_1\cdot q_1=0-1\cdot 2=-2\end{array}$$$

• When there is one $$r_{n+1}=0$$, then we have $$hcf(a,b)=r_n$$ (that is to say, that of the previous step!). Furthermore, it is also satisfied that: $$hcf(a,b)=s_n\cdot a+t_n \cdot b$$ ($$s_n$$ and $$t_n$$ are also those of the previous step).

Returning to the example that we used on the previous steps, we have seen that for $$j = 2$$ it is already satisfied that $$r_2=0$$. Therefore, the highest common factor between $$10$$ and $$5$$ is $$r_1$$ (that of the previous step), that is to say, $$5$$.

Besides, the last equality says to us that: $$$hcf(10,5)=s_1 \cdot 10 + t_1 \cdot 5= 0 \cdot 10 +1 \cdot 5=0$$$