Euclidean Algorithm/Demonstration
Example of use of Euclidean Algorithm
Using the Euclidean Algorithm, we can investigate in detail what happens when we apply the Division Theorem repeatedly to $a$ and $b$.
| \(\ds a\) | \(=\) | \(\ds q_1 b + r_1\) | ||||||||||||
| \(\ds b\) | \(=\) | \(\ds q_2 r_1 + r_2\) | ||||||||||||
| \(\ds r_1\) | \(=\) | \(\ds q_3 r_2 + r_3\) | ||||||||||||
| \(\ds \cdots\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds r_{n - 2}\) | \(=\) | \(\ds q_n r_{n - 1} + r_n\) | ||||||||||||
| \(\ds r_{n - 1}\) | \(=\) | \(\ds q_{n + 1} r_n + 0\) |
From the Division Theorem, we know that the remainder is always strictly less than the divisor.
That is, in $a = q b + r$:
- $0 \le r < \size b$
So we know that:
- $b > r_1 > r_2 > \ldots > r_{n - 2} > r_{n - 1} > r_n > 0$
So the algorithm has to terminate.
$\blacksquare$
Sources
- 1971: George E. Andrews: Number Theory ... (previous) ... (next): $\text {2-2}$ Divisibility: Theorem $\text {2-2}$
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 12$: Highest common factors and Euclid's algorithm
- 1980: David M. Burton: Elementary Number Theory (revised ed.) ... (previous) ... (next): Chapter $2$: Divisibility Theory in the Integers: $2.3$ The Euclidean Algorithm
- 1996: John F. Humphreys: A Course in Group Theory ... (previous) ... (next): $\text{A}.1$: Number theory