Lecture 20We finished our study of Book IX
of Euclid's elements. To be precise we discussed the following two propositions:
The first proposition sounds a little misterious, but (in plain English)
it says that if a sequence of numbers
a_{1}, a_{2}, a_{3}, ...,
a_{n}, a_{n+1}
is in continued proportion, i.e.,
a_{1}:a_{2} =
a_{2}:a_{3} = ... =
a_{n}:a_{n+1}
then a_{2} – a_{1}) : a_{1} =
(a_{n+1} – a_{1}) :
(a_{1} + a_{2} + ... + a_{n}).
This conclusion gives a way of computing the sum of the terms in the continued proportion as
If we denote the first term by
What does this have to do with our discussion on prime numbers? That's where Proposition 36 comes into the picture. This final proposition is about (even) perfect numbers. It says that if the sum of the first p powers of 2 s = 1 + 2 + 2^{2} + ... + 2^{p-1} (= 2^{p}-1)
is a prime number, then the number p=2 then s=1+2 = 3...thus M=2*3=6 is perfect
(that is the sum of its proper divisors: 6=1+2+3). Similarly,
if p=3, then s=1+2+2 is a prime so that ^{2}=7M=7*4=28
is also perfect (indeed, 28=1+2+4+7+14). Please read carefully the commentaries:
the prime numbers of the form 2 are called
Mersenne primes.
Thus far only 43 of these numbers are known. Are the finite or infinite?
Euler showed that all even perfect numbers are of this form. What about the odd
perfect numbers? Do they exists? ^{p}-1Two other famous conjectures we discussed in class related to prime numbers are: Goldback Conjecture and the Twin Primes Conjecture. Click on the above links to go directly to the proofs and commentaries of the results. |