Number Theory is the study of the properties of integers. A great part of these properties are concerning prime numbers. However, there are also studies about rational numbers, irrational numbers, transcendental numbers, Diophantine equations etc.
Since we have already talked about Fermats other works, we will just exemplarily show a few of his theorems and discoveries in number theory, and, wherever possible, the proofs for those theorems (most of them are copied down from other pages since they all look quite the same in general).
Diophantine Equations
Diophantine equations are equations with integral solutions.
Fermats Little Theorem is a famous example of this kind of equation:If p is prime and a is relatively prime to p,
then ap - 1 1 divisible by p,
i.e. ap 1 1 (mod p).
Proof (by Leonhard Euler):Start by listing the first p 1 positive multiples of a:
a, 2a, 3a, ... (p 1)a.
Suppose that ra and sa are the same modulo p, then we have
r s (mod p), so thep 1 multiples of a above are distinct and nonzero; i.e. they must be congruent to 1, 2, 3, ...,p 1 in some order.Multiply all these congruences together and we find
a.2a.3a. ... .(p 1)a 1.2.3. ... .(p 1) (mod p),
or better, a(p 1)(p 1)! (p 1)! (mod p).
Divide both sides by (p 1)! to complete the proof.
Fermats Little Theorem is equivalent to the following
Corollary
Let p be a prime and a any integer, then ap a (mod p).
Proof
The result is trival (both sides are zero) if p divides a. If p does not divide a, then we need only multiply the congruence in Fermats Little Theorem by a to complete the proof.
Note
Fermat found his Little Theorem through his investigations of Euclids theorem on perfect numbers, namely through his investigation of the primality of 2p 1.
The Method of Infinite Descent basically uses a contradiction argument. Suppose we want to show that there is no positive integer with certain properties. Now firstly, we assume there is such a number a. We then deduce that there exists a number b with b < a such that b also possesses these properties. Repeating this argument, we obtain an infinite descent in all the integers. This contradicts the fact that there must be a smallest integer with these properties.Note
Fermat found this method useful for many problems which were unsolved for many years. He actively used this method for proofs of his propositions. e.g. he used this method to prove the statement:
the area of a right triangle cannot be a square. (i.e. there are no integers x, y, z satisfying the equation x4 + y4 = z2. )
Proof
1. Assume there are such integers.
2. Then since x2, y2 and z2 are Pythagorean triples, we can write them as follows:
y2 = 2pq
x2 = p2 q2
z = p2 + q2
3. Since 2pq is a square then either p is even or q is even, so p2 can be written as a Pythagorean triple again:
x2 + q2 = p2
where x, p and q are the Pythagorean triples and can be written as follows:
q = 2rsx2 = r2 s2
p = r2 + s2
4. Since y2 = 2pq q = 2(u2) and
p = v2 2u2 = 2rs5. If this is true, then r = g2 and s = h2
6. Substituting r and s as above, and using p = v2, we get the derived equation
g4 + h4 = v2 where v < z.
7. this process is infinitely repeatable contradiction.
Examples
Below are some problems for which Fermat found the solution using the infinite descent method:
The sum of two cubes is never a cube.
(22)n + 1 is a prime number.
There is only one solution to the equation x2 + 2 = y3.
2(x2) 1 = p, 2(y2) 1 = p2 have only integral solutions for p = 1 or 7.
infinite descent
Fermat Numbers
Fermat Numbers are integers of the form:
Since F0 = 3, F1 = 5, F2 = 17, F3 = 257, and F4 = 65537, Fermat induced that all of these numbers are primes, but later Euler proved ingeniously that 641 divides F5. In fact, for n between 4 and 31, Fn is a composite number., where n is a non-negative integer.
A quick means of testing the primality of Fn is via Pepins Test:
Fn is prime 3/2.(Fn 1) 1 (mod Fn).
Fermat Polygonal Number Theorem
Every positive integer is a sum of at most 3 triangular numbers, 4 square numbers, 4 pentagonal numbers, and n N-gonal numbers.
Proofs
Here is a summary of progress made in the proof of this theorem.
Triangular case Gauss 1796
Identity Euler identity
Square case Lagrange 1772 (using Euler identity)
Jacobi
General case Cauchy 1813We do not show the proofs here, since they are quite complicated, but the interested reader can find them easily on the World Wide Web.
Index | Chapter I | Chapter II | Chapter III | Chapter IV | Chapter VI |