Friday, 18 December 2020

Primes Are The Building Blocks Of Numbers

We saw earlier that positive whole numbers have factors if they’re not a prime number. Let’s explore this a little further.



video: [youtube]

slides: [pdf]


Breaking A Number Into Its Factors

Let’s think about the number 12 and its factors. We can think of two combinations straight away.

12=2×612=3×4

Looking again at those factors we can see that 6 itself can be broken down into smaller factors 3 and 2. That 4 can also be broken down into factors 2 and 2.

12=2×(3×2)12=3×(2×2)

We can’t break these smaller factors down any further, which means they’re prime numbers. Both combinations now look very similar. If we put those factors in order of size, we can see they are in fact exactly the same.

12=2×2×312=2×2×3

Perhaps every number can be broken down into a list of prime factors that is unique to that number, much like DNA is unique to people. Let’s prove it.


Fundamental Theorem Of Arithmetic

We’ll split this proof into two steps.

  • First we’ll show that any positive whole number can be broken down into a list of factors that are all prime.
  • Second we’ll show this list of primes is unique to that number. 

Let’s imagine a number N and write it out as a product of factors.

N=f1f2f3fm

We can look at each of these factors fi in turn. If a factor is not prime, we can break it down into smaller factors. For example, the factor f1 might be broken down as f1=g1g2. If a factor is prime, f2=p1 for example, we leave it because we can’t break it into smaller factors.

N=(g1g2)p1(g3g4g5)(gxgy)

If we keep repeating this process, all the factors will eventually be prime. How can we be so sure? Well, if any number in the list isn’t prime, we can apply the process again, breaking that number down into smaller factors. The only thing that stops us applying the process again is when all the factors are eventually prime.

The following picture shows an example of this iterative process applied to the number 720. (Click to enlarge the picture)



We can now write N as a product of these primes.

N=p2p3p1p5p4p6p7pn

These primes won’t necessarily be in order of size. They may also repeat, for example p1 might be the same as p7. It doesn’t matter. We’ve shown that any positive whole number can be written as a product of primes.

Let’s now show that this list of primes is unique to that number N. For the moment, imagine this isn’t true and a number N can be written as a product of two different lists of primes.

N=p1p2p3paN=q1q2q3qaqbqcqd

These primes are not necessarily in order of size, and some might be repeated, so p2 could be the same as p4. Again, we won’t let that bother us. To keep our argument general, we’ll assume that the number of primes in the second list, d, is larger than the number of primes in the first list, a.

Now, we can see that p1 is a factor of N. That means it must also be a factor of the second list. That means p1 is one of the factors qi. Because we we didn’t assume any order in these primes, let’s say it is q1. That means we can divide both lists by p1=q1.

p1p2p3pa=q1q2q3...qaqbqcqd

We can apply the same logic again. The first list has a factor p2 which means it must also be a factor of the second list. We can say that p2=q2, and divide both lists by this factor.

p1p2p3pa=q1q2q3...qaqbqcqd

We can keep doing this until all the factors in the first list have been matched up with factors in the second list. It doesn’t matter if a prime repeats, for example if p1 is the same as p3, the factors will still be matched correctly, in this case p1=q1 and p3=q3.

p1p2p3pa=q1q2q3...qaqbqcqd

Let’s simplify the algebra.

1=qbqcqd

What we’ve just shown is that if a number N can be written as two separate lists of prime factors, their factors can be paired up as being equal, and if any are left over, they must equal 1. That is, the two lists are identical.

We’ve shown that any whole number N can be decomposed into a list of prime factors, and this list of primes is unique to that number. This is rather profound, and is called the Fundamental Theorem of Algebra


No comments:

Post a Comment