< Return to Video

Euler’s Pi Prime Product and Riemann’s Zeta Function

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

more » « less
Video Language:
English
Duration:
15:23

English subtitles

Revisions