Euler’s Pi Prime Product and Riemann’s Zeta Function
-
0:05 - 0:10Welcome to another Mathologer video. Last time I showed you how the mathematical
-
0:10 - 0:16superstar Euler discovered this stunning
identity up there: PI squared over 6 is -
0:16 - 0:21equal to the sum of the reciprocals of
the squares. Today I'll introduce you to -
0:21 - 0:25the mathematical magic that allowed him
to morph this infinite sum into an -
0:25 - 0:30infinite product. And this infinite
product established as a connection -
0:30 - 0:33between PI and all the prime numbers
there on the right. -
0:33 - 0:38In fact, we'll see that this identity is
just a special case of the main bridge -
0:38 - 0:41that connects the famous Riemann
zeta function -
0:41 - 0:46to the prime numbers. Along the way we'll
come across many other beautiful -
0:46 - 0:50identities involving pi, a seriously
crazy way to calculate pi using random -
0:50 - 0:55numbers, wait for it, and a couple of
nifty ways to prove some mathematical -
0:55 - 0:59all-time classics. So buckle your
mathematical seat belts, it's going to be -
0:59 - 1:05a wild ride. We'll warm up by
tricking Euler's identity into giving us -
1:05 - 1:09a couple of other beautiful identities
involving pi. First we make a copy, -
1:09 - 1:16here we go. Now we'll line up things
like this and multiply everything at the -
1:16 - 1:25bottom by 1/2 squared. Expand term
by term and so we get 1/2 squared -
1:25 - 1:30times 1/1 squared equals well, of
course, 1/2 squared, 1/2 squared -
1:30 - 1:36times 1/2 squared equals 1/4
squared, and so on. Now we'll subtract the -
1:36 - 1:41bottom from the top. On the right side,
notice how nicely things line up there. -
1:41 - 1:47Beautiful! Anyway so when we subtract
every second term on the top gets wiped -
1:47 - 1:53out. On the left, we have 1 times the
fraction minus 1/2 squared times -
1:53 - 1:59the fraction and so we get this. And there
you have it -- two more beautiful identities for -
1:59 - 2:04pi pretty much for free. There's one more
very important identity hiding here -
2:04 - 2:09which we'll need later. So let's just
step back to the previous slide and -
2:09 - 2:16let's subtract the bottom from the top
one more time. On the right, that fills -
2:16 - 2:20the gaps on top with the
negatives of what was there originally. -
2:20 - 2:29There and there, etc. And on the left side
we get this which we -
2:29 - 2:34can also write like that. Okay, three new
PI identities just around the corner -
2:34 - 2:39from the original one. To be able to
go further let's switch back to the -
2:39 - 2:46unsimplified left sides. Now, at the top,
if we replace the 2s in the exponents -
2:46 - 2:51by an arbitrary number z we're now
looking at a function in the variable -
2:51 - 2:57z, the famous Riemann zeta function. The
extra three identities that we derived -
2:57 - 3:02for the special case z=2
actually work in general and to get -
3:02 - 3:09these zeta function identities we'll just
replace the PI fraction by zetas and all -
3:09 - 3:14the 2 exponents by z's. There you go.
And you can convince yourself that these -
3:14 - 3:19new identities hold in exactly the same
way as I showed you in the special case -
3:19 - 3:22z=2. Really quite
straightforward, so maybe give it a try. -
3:22 - 3:28Now as a first application of these
identities let's evaluate zeta at 1, -
3:28 - 3:35that's a special value. The resulting
infinite sum at the top is called the -
3:35 - 3:41harmonic series and is one of the most
important infinite sums ever. Of course -
3:41 - 3:45quite a few of you will know a lot about
this infinite sum but bear with me, -
3:45 - 3:50there's some nice stuff coming up here.
As usual, to evaluate this infinite sum -
3:50 - 3:56we just start adding: so 1 plus 1/2
plus 1/3, and so on. -
3:56 - 4:03Since the terms we add are all positive,
we get larger and larger partial sums, right? -
4:03 - 4:07This means that either our
partial sums explore to positive -
4:07 - 4:14infinity, in which case it makes sense to
say that the sum is plus infinity, or the -
4:14 - 4:20partial sums sneak up to a finite overall
sum. So which one is it? Do we get a -
4:20 - 4:25finite sum like in the case of zeta at
2 where the infinite sum adds to PI -
4:25 - 4:30squared over 6, or do we get an infinite
sum? Well, let's -
4:30 - 4:37first assume that the sum at the top is
finite. If this is the case, then we can -
4:37 - 4:41be absolutely sure that everything we
did to get these additional identities -
4:41 - 4:46stays valid. Okay
now let's compare those identities: one -
4:46 - 4:52at the top is greater than 1/2 at
the bottom 1/3 is greater than 1/4 -
4:52 - 4:58at the bottom, and so on. The top is
always greater than the bottom and this -
4:58 - 5:05means that the sum at the top is greater
than the sum at the bottom, right? However -
5:05 - 5:11this contradicts what we get out of the
left sides. Here we've got 1 minus 1/2 -
5:11 - 5:16which is 1/2 which means that the sums
should be equal. So what that means is -
5:16 - 5:22that our assumption that our original
sum is finite implies a contradiction -
5:22 - 5:29and this means the assumption was wrong
and therefore the sum has to be infinite. -
5:29 - 5:33In fact, from what we just said it
follows that all 3 sums have to be -
5:33 - 5:42infinite. Anyway, for later just remember
that zeta evaluated at 1 equals infinity. Now -
5:42 - 5:48what's important about the zeta function
is first and foremost its connection to -
5:48 - 5:53the prime numbers. Euler managed to pin
down this connection by pushing the -
5:53 - 5:59simple trick that got us this second
odd power identity here to its absolute -
5:59 - 6:05limit. You'll see what I mean by this.
Here's what he did ok. As earlier, we -
6:05 - 6:13start by making a copy. Then we multiply
the bottom by 1/3^z. Okay, so let's -
6:13 - 6:20just do it, here we go.
Subtract the bottom for the top and then -
6:20 - 6:24on the right all the fractions on the
top that have denominators divisible by -
6:24 - 6:313 get wiped out. And, on the left,
well what have we got, we've got 1 times -
6:31 - 6:35something minus 1/3 to the power of
z times the same something which -
6:35 - 6:42gives this guy here. Now just rinse and
repeat. So we make a copy, times the -
6:42 - 6:45second term on the right and subtract the bottom
-
6:45 - 6:49from the top which wipes out what? Well
all the terms with denominators -
6:49 - 6:56divisible by 5 this time. And we just
keep repeating this and in the limit we -
6:56 - 7:01get this. So all the terms on the right
except for the first one have been wiped -
7:01 - 7:06out and the numbers in the denominators
on the left are exactly the prime numbers. -
7:06 - 7:11Now, just in case you know a little bit
more, can you see the famous prime number -
7:11 - 7:19sieve of Eratosthenes in action in this
derivation? Now the right side, well -
7:19 - 7:26that's just 1. So now we can solve
for zeta and that gives Euler's famous -
7:26 - 7:31product formula for the Riemann zeta
function. Now this identity is one of the -
7:31 - 7:35biggest deals in mathematics and it's
the point of departure for the famous -
7:35 - 7:42paper in which Bernhard Riemann states
the Riemann hypothesis. So let's have a -
7:42 - 7:47quick look at this. There it is, all in
German. Let's zoom in a bit. There -
7:47 - 7:50it is, alright, that's exactly what we
have there, just written in a little bit -
7:50 - 7:57more compact way. So what is this paper
about? Well the title says it all, if you -
7:57 - 8:03happen to speak German: "Ueber die Anzahl der Primzahlen under einer gegebenen Groesse."
-
8:03 - 8:08(That was perfect :) which translates to
"About the number of primes less than a -
8:08 - 8:13given value". Now what Riemann manages to do in this paper is to derive a formula
-
8:13 - 8:19that allows to calculate the number of
primes less than a given value without -
8:19 - 8:23actually having to calculate all those
primes. That sounds like magic, right? -
8:23 - 8:27For example, recently mathematicians used this formula to figure out the exact
-
8:27 - 8:33number of primes less than 10 to the
power of 25 which pans out to be this -
8:33 - 8:40monster number here and Riemann's magic
formula would be extra magical and the -
8:40 - 8:45prime numbers would be distributed in
the nicest imaginable way if the famous -
8:45 - 8:49Riemann hypothesis that's also part of
this paper was true. So that's what the -
8:49 - 8:55big deal is all about. Ok now I won't
prove Riemann's heavy-duty prime number -
8:55 - 8:58results for you
but what I would really like to do is to -
8:58 - 9:03show you some really amazing and
accessible results about prime numbers -
9:03 - 9:08that follow from Euler's product formula.
Okay, -
9:08 - 9:13so let's just go for this special value
again z is equal to 1. Then we know that -
9:13 - 9:19the left side is infinity. Now wait for
it... -
9:19 - 9:24This actually implies that there are
infinitely many prime numbers! Why? -
9:24 - 9:29Because if there was only finitely many
prime numbers, right, maybe just up to 7, -
9:29 - 9:34then the product on the right would
evaluate to the finite number. But that's -
9:34 - 9:39not possible. I'm pretty sure you didn't
see that one coming, right? Okay -
9:39 - 9:44next trick. Set z equal
to 2. Then we're back to where we started -
9:44 - 9:47from on the left there and actually this
-
9:47 - 9:53shows again that there must be
infinitely many primes. Why because if -
9:53 - 9:58there were only finitely many the
expression on the right would be a -
9:58 - 10:03rational number. But this is impossible
because pi squared divided by 6 is -
10:03 - 10:06irrational. Well, of course, proving that PI squared
-
10:06 - 10:10over 6 is irrational is much much much
harder and took more than 2,000 years -
10:10 - 10:13longer than proving that there's
infinitely many primes. -
10:13 - 10:18So our second proof of the infinitude of
the prime numbers is really similar to -
10:18 - 10:23killing a fly with a bazooka. Still a lot
of fun, of course, for people who are wired -
10:23 - 10:28like me, both the killing of the fly and
proving this. Now let's look at the -
10:28 - 10:34reciprocal of this identity. This is Euler's product connecting the primes with pi that I promised
-
10:34 - 10:39you at the beginning. Now this stunning
identity also amounts to a proof of the -
10:39 - 10:44following very curious fact: What we
do is we pick two natural numbers -
10:44 - 10:50randomly. Then the probability that these
two numbers are relatively prime, so have -
10:50 - 10:56no common factors except for
1, that probability is equal to 6 over -
10:56 - 11:03PI squared which is about 61%. So how on
earth is this identity a proof of this -
11:03 - 11:08fact? Well let's have a look. The
probability of a randomly picked natural number -
11:08 - 11:16to be even is what? Well 1/2, obviously.
What about the probability of two -
11:16 - 11:21randomly picked numbers to be both
divisible by two? Well, they don't have -
11:21 - 11:25anything to do with each other. So
it's just 1/2 times 1/2 which is equal -
11:25 - 11:32to 1 over 2 squared. How about the
probability that not both are divisible -
11:32 - 11:37by 2? Well, that's simply 1 minus 1/2
-
11:37 - 11:40squared and you can see something
happening, right? It's just our first -
11:40 - 11:46factor up there. Great, now we can play
the same game for all the other prime -
11:46 - 11:50numbers. So, for example, the
probability that not both numbers are -
11:50 - 11:56divisible by 3 is just 1-1/3^2 which is equal to the
-
11:56 - 12:02second factor, and so on, which shows that
the probability of both numbers to have -
12:02 - 12:07no common prime factors is equal to the
infinite product. And this implies that -
12:07 - 12:13the probability of both numbers to be
relatively prime is equal to 6 over PI -
12:13 - 12:18squared. Well, actually, at least two of
the ingredients of this proof need a -
12:18 - 12:23little bit more justification and, well,
can you tell which? In any case, this -
12:23 - 12:28result really is true and can be turned
into a very very strange way to -
12:28 - 12:33approximate pi. What you do is you
randomly pick say a million pairs of -
12:33 - 12:39natural numbers and calculate how many
of these pairs are relatively prime. And -
12:39 - 12:43I've actually run a simulation on
Mathematica and that spat out -
12:43 - 12:49six hundred and eight thousand
three hundred twenty three and then the -
12:49 - 12:55probability is approximately, well, just
this fraction here, which means that pi -
12:55 - 13:00is approximately this expression here
which pans out to be 3.1405 -
13:00 - 13:05Well, it's not great, but
it's not bad either. Now a number of -
13:05 - 13:09people actually got quite a bit of
mileage out of this insight by choosing -
13:09 - 13:14the random numbers from fun data set.
For example, astronomical data (sort of -
13:14 - 13:20pi in the sky), the digits of pi (sort of
pi from pi) chop pi into blocks and -
13:20 - 13:24interpret these as
random numbers, or license-plate numbers -
13:24 - 13:29that you come across on your way to work
(sort of pi from (pi)les of cars). Lame -
13:29 - 13:34joke but had to be done :)
Okay, so here's another way of writing -
13:34 - 13:40this formula. 1/zeta(2) is equal to this probability and
-
13:40 - 13:43this actually does generalise in a
very straightforward way. Just change 2 -
13:43 - 13:48to 3 and you get the
probability that three randomly chosen -
13:48 - 13:53numbers are relatively prime. And you can
play this game for any natural number. -
13:53 - 13:58Here's another fun question for you to
puzzle over. How good an approximation to -
13:58 - 14:03pi do you get if you use this identity
not indirectly, as we've just done, but -
14:03 - 14:10directly say by truncating the product
at the factor featuring 97, the largest -
14:10 - 14:14prime less than 100? Leave your
answers to this and all the other -
14:14 - 14:18teasers that I mentioned along the way
in the comments. And that's it for today. -
14:18 - 14:23Now how did this work for you? Hope you
all liked it. Well, actually, let me give -
14:23 - 14:27you a bit of a preview of what I'd like
to do next time (unless I get sidetracked -
14:27 - 14:34again). The point of departure for the
next video will be this third beautiful -
14:34 - 14:39identity that I derived for you at the
beginning of this video. It amounts to a -
14:39 - 14:45second way of defining the Riemann zeta
function. The plus/minus alternating sum -
14:45 - 14:49at the core of this definition is in
many ways much much better behaved than -
14:49 - 14:55the original pluses only one. I'll use
it and some of Euler's other ingenious -
14:55 - 14:59ideas to give a really accessible
description of the mysterious analytic -
14:59 - 15:03continuation of the zeta function that
many of you will have heard of. And this -
15:03 - 15:07will include a new take on the whole 1+2+3+...=-1/12
-
15:07 - 15:13business, as well as chasing
down those elusive zeros that the -
15:13 - 15:20Riemann hypothesis is all about. Stay tuned.
- Title:
- Euler’s Pi Prime Product and Riemann’s Zeta Function
- Description:
-
What has pi to do with the prime numbers, how can you calculate pi from the licence plate numbers you encounter on your way to work, and what does all this have to do with Riemann's zeta function and the most important unsolved problem in math? Well, Euler knew most of the answers, long before Riemann was born.
I got this week's pi t-shirt from here: https://shirt.woot.com/offers/beautiful-pi
As usual thank you very much to Marty and Danil for their feedback on an earlier version of this video.
Here are a few interesting references to check out if you can handle more maths: J.E. Nymann, On the probability that k positive integers are relatively prime, Journal of number theory 4, 469--473 (1972) http://www.sciencedirect.com/science/article/pii/0022314X72900388 (contains a link to a pdf file of the article).
Enjoy!
Burkard
- Video Language:
- English
- Duration:
- 15:23
![]() |
SciTech Guru edited English subtitles for Euler’s Pi Prime Product and Riemann’s Zeta Function |