Number Theory
Number theory is a part of mathematics that examines the abstract properties of numbers.
Division Theorem
Division is one of the four basic mathematical operations which allows us to split numbers into equal amounts. The theorem that defines how division works is the division theorem. This theorem states: Let , be integers, . Then there are unique integers , such that and .
Theorem: The Division Theorem
Proof: In order to prove this theorem, we will prove existence first, then uniqueness.
To prove existence, we need to look at all non-negative integers of the form , where is an integer, and show that one of them is less than . Such integers do exist.
Take . Then, since , .
Let be the smallest such integer. Let be the value of for which it occurs, i.e. . To complete the proof, we show that .
Suppose, on the contrary, that then . Thus is a non-negative integer of the form .
But is the smallest such, and yet . This is a contradiction. Hence . That proves existence.
To prove uniqueness, we need to show that if there are two representations of , , , , then and .
Rearranging the above equations: .
Taking absolute values: .
But and , so meaning .
So due to , . Hence which means . Then due to , . That proves uniqueness.
General Theorem
The issue with the division theorem we stated above is that it only covers the cases where . The General Division Theorem states: Let , be integers, . Then there are unique integers , such that and .
Theorem: The General Division Theorem
Proof: We have proved the result in the case , so assume .
Then, since , the previous theorem tells us there are unique integers , such that and .
Let , . Then, since , we got , .
In the division theorem, The variable refers to the quotient of by , and is the remainder.
Also note this theorem does not work for because we cannot divide by zero.
Divisibility
If division of by produces a remainder , we say is divisible by . Hence, is divisible by iff there is an integer such that . For example, is divisible by because but is not divisible by because .
We denote divisibility by which means is divisible by . is not the same as because refers to the relationship between and which is either true or false. On the other hand denotes a rational number which is the result of dividing by .
We can redefine prime numbers in terms of divisibility. A prime number is an integer that is divisible by and .
We can better understand divisibility and use it for proofs by understanding its basic properties:
- , .
- iff .
- If and then .
- If and , then (for ).
- [ and ] iff .
- If and , then iff .
- If and , then for any integers , .
Fundemental Theorem of Arithmetic
Finally, the Fundemental Theorem of Arithmetic states that every natural number greater than is either prime or can be expressed as a product of primes in a way that is unique except for the order in which they are written. The expression of a number as a product of primes is called its prime decomposition.
In order to proof uniqueness for this theorem, we need Euclid's Lemma which states If a prime divides a product , then divides at least one of , .
Theorem: The Fundemental Theorem of Arithmetic
Proof: In order to prove this theorem, we will prove existence first, then uniqueness.
We will prove existence using proof by contradiction.
Suppose there were a composite number (i.e. non prime) that could not be written as a product of primes. Then there must be a smallest such number. Call it . Since is not prime, there are numbers , with such that .
If , are primes, then is a prime decomposition of and we have a contradiction.
If either of , is composite, then because it is less than , it must be a product of primes, so by replacing one or both , by its prime decomposition in , we get a prime decomposition of , and again we have a contradiction. That proves existence.
Now we can prove uniqueness. The prime decomposition of any natural number is unique not including the order the primes. We can prove this by contradiction.
Assume there is a number that has two (or more) different prime decompositions. Let be the smallest such number.
Let be two different prime decompositions of . Since divides , by Euclid's Lemma, either or .
Hence, either or else for some between and . But then we can delete and from , which gives us a number smaller than that has two different prime decompositions, contrary to the choice of as the smallest such. That proves uniqueness.