THE ART AND SCIENCE OF MATHEMATICS
Wednesday, November 2, 2005
Some Number Theory

Number theory concerns the study of integers. It is over 2000 years old and is still being actively researched today. It is famous for simply stated conjectures that have eluded proof for hundreds of years, but the theory is also vital to various applications. For example, data encryption is based on theories, conjectures, and algorithms that arise from number theory; it is used every time you send your credit card number over the internet. It is not possible to understand how the data encryption algorithms work without knowing some number theory.

Typically in number theory, we use the phrase ``$b$ divides $a$'' to mean that $b$ divides $a$ without remainder. That is, there exists an integer $m$ with $b \times m = a$. The greatest common divisor of two positive integers $c$ and $d$ is the largest positive integer that divides both $c$ and $d$. For example, $gcd(8,12)=4$, $gcd(12,25)=1$, $gcd(a,a)=a$.

Exercise: Compute $gcd(45,75)$, $gcd(1,a)$, $gcd(a,2a)$.

One way to find greatest common divisors is to compute all the factors of each number, but that is very slow for large numbers. Much of the utility of number theory is derived from the fact that there is a simple and fast algorithm to find the greatest common divisor known as the Euclidean Algorithm. In general, for many large numbers, the Euclidean Algorithm is conjectured to be a million (or more) times faster than any algorithm that tries to find all the factors of each number individually. There are important data encryption algorithms that take advantage of this.

The Euclidean Algorithm:

Example: Find the greatest common divisor of $a=252$ and $b=198$:

Exercise: Use the Euclidean Algorithm to find $gcd(57,133)$ and $gcd(981,1234)$.


The Game of Euclid:

This is a game played by two people. Beginning with two positive integers, the players alternate turns making moves of the following type:

A player can move from the pair of positive integers $\{x,y\}$ to any of the pairs $\{x-ty,y\}$ where $t \geq 1$ is an integer and $x-ty \geq 0$. Thus, you can subtract any multiple of the smaller number from the larger number, provided you still have two nonnegative numbers.
The winner is the one that first makes one element zero.

Play the game of Euclid with a partner and for different starting pairs of integers $\{a,b\}$. Verify that you always end up with the pair $\{0,gcd(a,b)\}$ at the end of the game. Can you prove that this is always the case?

Can player 1 always win the game of Euclid? Can player 2 always win? What is the best strategy?


Further topics:



Other resources:




John E Mitchell and David Isaacson
2005-11-02