The hidden link between Prime Numbers and Euler's Number

Поделиться
HTML-код
  • Опубликовано: 11 дек 2020
  • We will discuss how miraculously Euler's Number appears when asking how many factors a number has on average, which is closely related to the distribution of prime numbers. I still remember how amazed I was, when I first learned about this fact, so I had to share it with the world.
  • НаукаНаука

Комментарии • 205

  • @drippyeuler
    @drippyeuler 2 года назад +88

    Another way to arrive at the same answer is to think that on average, n/1=n numbers are divisible by 1, n/2 are divisible by 2, n/3 by 3 etc. So the average number of divisors is (n+n/2+n/3+ ... + n/(n-1) + n/n)/n = 1+1/2+1/3+...+1/(n-1)+1/n which is the sum of the harmonic series up to n. With the same trick of the area under a hyperbole, it turns out this sum approaches ln(n) for large n.

    • @debblez
      @debblez Год назад +3

      thats exactly what we did in the video

    • @xnick_uy
      @xnick_uy Год назад +15

      @@debblez Maybe you watched another video? Read the comment again and compare with the video: not the same!

  • @yarno8086
    @yarno8086 2 года назад +263

    Great video, the sound should be a little louder as the volume of this video is low compared to other videos :)

    • @TemporalOnline
      @TemporalOnline Год назад +11

      Agree wholeheartedly

    • @deananderson7714
      @deananderson7714 Год назад +6

      Indeed

    • @comic4relief
      @comic4relief Год назад +4

      It is a bit muddled. This does not help to hear through the accent.

    • @user-pr6ed3ri2k
      @user-pr6ed3ri2k Год назад

      112ndtlkr

    • @TheHarmonicOscillator
      @TheHarmonicOscillator Год назад +11

      Excellent content, but the background music makes it hard to follow, which is annoying. Not sure why so many RUclipsrs feel the need for background music when doing voiceovers. You should edit it out and repost without losing views. There is of course a YT video for that.

  • @josephyoung6749
    @josephyoung6749 Год назад +30

    Even though the error reduces gradually, it always looks like the averages are a constant distance from the logarithm curve, no matter how big the number. I noticed a comment below added, "A better average is log(x)+2c-1, where c is the Euler-Masceroni constant"

  • @merrickdodge9760
    @merrickdodge9760 Год назад +17

    I’ve been hunting for an intuitive explanation for why e shows up in the distribution of primes. Your video has at long last given me what I’ve been searching for. Thank you!

  • @JM-us3fr
    @JM-us3fr Год назад +110

    Awesome video. A better average is log(x)+2c-1, where c is the Euler-Masceroni constant. You get this if you only integrate your curve up to sqrt(x), account for the symmetry of the curve, and use a better estimate for the harmonic sum. It gives you a much smaller error.

    • @jmiki89
      @jmiki89 Год назад +22

      Thanks. When I saw the graph, my thought was immediately that it must be a contant to improve that estimation but I didn't know its value.

    • @dannygjk
      @dannygjk Год назад +2

      When you write log with no indication as to the base then the base is conventionally assumed to be 10. If the base is e then it is conventional to write ln. That has been conventional since before I was born, (I am a grandfather). Example I had an instructor who had a PhD in physics who followed that convention. It is also more efficient to follow that convention when writing.

    • @JM-us3fr
      @JM-us3fr Год назад +9

      @@dannygjk It depends on the field. For example, in computer science with big O notation, it’s convention to leave off the base with an understanding that it can be taken to be base 2. I imagine in most science classes or research they might make the distinction more clear, but they tend to use log to refer to base 10. However, in number theory (as this approximation is widely used in number theory) it’s common for log to mean ln, since that’s the most common logarithm we talk about.
      When there are multiple conflicting bases, then we write the base or use ln. It’s all about clarity 😄

    • @dannygjk
      @dannygjk Год назад +1

      @@JM-us3fr I studied comp sci it could be any base if you only write log. Only in specific circumstances can you safely assume it's base 2. Comp sci is universal as far as bases is concerned just like math. In comp sci I typically used base 2, 10, and 16 ocassionally I used base e or 8. Even base 256 can be useful depending on what you are doing.

    • @JM-us3fr
      @JM-us3fr Год назад +3

      @@dannygjk Oh I'm sure you're right, I'm just giving my experience with notation when I learned computer science. It was an algorithms class, so because of the big O, the base of the logarithm often didn't matter. Either way, if you ever see Terence Tao right his natural logs, it's always log, and this is common in number theory.

  • @killymxi
    @killymxi Год назад +17

    Discarding one part of area and taking the other felt rather hand-wavy. Together with slowly converging numbers at the end it leaves to think there might be more accurate approximation.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Год назад +10

      I agree. That was bad maths. At least, they should have indicated that a rigorous proof does exist, but that it is outside the scope of this video to discuss it (though, it logically makes no sense for it to be outside the scope of the video, since it is literally the crux of the entire video).

  • @qulaeygaming5202
    @qulaeygaming5202 2 года назад +65

    Wow. I've never thought about the exp function like this before. They should teach this explanation in schools so people can actually understand what the exp and ln functions are.

    • @12-343
      @12-343 Год назад +11

      You were never taught that e^x is the solution to the differential equation y = y' ? Even though that's the whole point of the function?

    • @KirbyZhang
      @KirbyZhang Год назад +3

      @@12-343 maybe it was introduced in such a way that you had no idea why that would be important or interesting, at the time it was introduced, lol.
      once you had enough knowledge it know it was important and interesting, the nature of e has been forgotten.

    • @readjordan2257
      @readjordan2257 2 месяца назад

      ​@@12-343in middle and high school the goal is merely spreading the awareness that e and pi exist. Most people dont respect math and respect less numbers that arent intuitive or can be obviously and directly used on the farm, or in daily conversation. In this climate, spreading awareness of e is the main goal, and showing some of its magic. The most in-depth the typical high school experience gets is in banking and continuous interest. Seriously. Which makes sense, given most people wont respect math, science, or anything outside of local cultural norms unless they themselves are gonna use it. the question of maximizing compound investment to its limit spawns a natural placement for e. Basically, theyre trying to introduce it to where the characters in the . movie of mathematics arent speaking in the language of exposition. That instead its closer to how the original thinkers came up with this stuff, step by step, and often thinking about real world applications. (Yes not always, but it was rather necessary for comfortable income.) Anyway. Literally nothing about calculus, limits, derivatives were taught in the high school setting until at least 2015 or so, started with AP and (sometimes) gifted programs. Then trickled into the typical classroom. Remember teaching is a grand strategy, like a large-scale war. The thinkers at the state level have to reveal the strategy over time like playing chess. Except, its much more hostile. No matter how well you play the game, parents hate tf out of you always and the masses blame you for everything, and in yhe classroom and school level, theres so much breakdown of the vision that its all rent like a bunker after being hit by a bunker buster FAB. I mean, in 2009-2012, we literally had EVERY SINGLE Georgia performance standard in mathematics itemized down to every objective of every lesson and every angle of each objective on posters on the walls. For every year at the same time. They were THE opening of each lesson and chapter. The literal clear and simple performance standard and clarification of the objective in every possible corner more than ads in a news outlet webpage today, and there was still total chaos in implementation. In my school, the dude who wrote the state curriculum visited my gifted class and after 90 minutes said he himself had no idea what the teacher was teaching. And hes a master mathematician.
      So to answer your question. No, and really, why would you expect anyone to know that unless they are a math enthusiast? They may know continuous interest, and thats it.

  • @stanleydodds9
    @stanleydodds9 Год назад +13

    You can get a better bound on the error than assymptotic correctness by using the Euler-Mascheroni constant; the limiting difference between the harmonic sum and the natural logarithm (and it's not too hard to show that this limit exists).

  • @j.vonhogen9650
    @j.vonhogen9650 2 года назад +4

    This is an excellent video. Please, make many more of these!
    Thanks a lot!

  • @omerelhagahmed551
    @omerelhagahmed551 Год назад

    Appreciation to you. This should be one of the most suggested videos

  • @joseville
    @joseville Год назад +31

    7:30 and 7:40 I know it's beyond the scope, but would be cool to see a proof of how this error goes to 0.

    • @azfarahsan
      @azfarahsan Год назад +2

      i second this

    • @jcsjcs2
      @jcsjcs2 Год назад +5

      From the graph on the screen it certainly didn't appear to go anywhere near zero. Seemed to be off by a constant. Of course if you look at the relative error, a constant divided by a larger and larger number goes to zero, while you still have a constant absolute error.

    • @TheGuyCalledX
      @TheGuyCalledX Год назад +6

      The error doesn't approach zero, only the percent error

    • @ferudunatakan
      @ferudunatakan 5 месяцев назад

      Error goes to γ (Gamma). It's the percent error that goes to zero. Percent error is:
      100*(Real value-Approximation)/Approximation
      Our approximation in ln(x), so we can rewrite this as:
      100*(Real value-ln(x))/ln(x)
      Since ln(x) approaches infinity as x goes to infinity, 100*(Real value-ln(x))/ln(x) goes to 0.

    • @ferudunatakan
      @ferudunatakan 5 месяцев назад +1

      @@azfarahsan"i second this" what? Say it correctly. Not surprised to see only 2 likes.

  • @rotemperi-glass4825
    @rotemperi-glass4825 Год назад

    amazing. you choose the best topics, and explain them beautifully.

  • @EPMTUNES
    @EPMTUNES Год назад

    Great video. I have never quite grasped intuition for why the ln function and primes are linked. The lattice points and the n/x function made it simple to understand! Thank you.

  • @antoniorose2461
    @antoniorose2461 Год назад

    Just ran into this video. Amazed by the thought! Thanks!

  • @elephantdinosaur2284
    @elephantdinosaur2284 Год назад +1

    Nice intro video that uses only basic highschool calc to derive the main term in the asymptotic expansion in an accessible and visual way. The content was engaging and got me into looking for more details about the finer points on the next order terms. Keep up the great work :)

  • @AFastidiousCuber
    @AFastidiousCuber 3 года назад +6

    Gorgeous video. Bravo!

  • @Vito-jr9wl
    @Vito-jr9wl 3 года назад +2

    Great Video and pleasant voice and background music!

  • @PeterParker-gt3xl
    @PeterParker-gt3xl Год назад +1

    This reminds me of what Prof. Dunham wrote about in "Euler the Master of Us All", the relationship between ln and harmonic series, he worked on sum of 1/k, Mascheroni did introduce the symbol gamma, though he allegedly miscalculated it, then came the famous sum of 1/k^2, where the Bernoulli were stumped. Love the beautiful graphics, very educational.

  • @Astromath
    @Astromath Год назад

    What?! I thought you must have like 100k subscribers before I saw you only had 2 videos. Please post videos more regularly, they are really good!

  • @kodirovsshik
    @kodirovsshik Год назад

    Said thing this video was recommended to me only now
    Great video, very informative
    Hope to see some more from you in future

  • @VIL4IN
    @VIL4IN Год назад

    This is so beautiful, thank you so much for this.

  • @smiley_1000
    @smiley_1000 Год назад +1

    Wow, connecting the sum of divisors to the integral of the reciprocal is very intuitive but I never thought about it that way.

  • @Papajagameing004
    @Papajagameing004 2 года назад +1

    Great video! Thank you
    The video was uploaded a year ago, I hope that you’ll eventually upload more of them! I’ll be definitely waiting

  • @igrant
    @igrant 2 года назад +6

    How does this only have 3000 views? This is extremely well done and underrated

    • @NostraDavid2
      @NostraDavid2 Год назад +2

      Is 100k views enough? Looks like the algorithm picked it up after your comment!

    • @igrant
      @igrant Год назад +1

      Ayo that’s awesome congrats lol, glad to see this got more attention

  • @JonathanMandrake
    @JonathanMandrake Год назад +3

    My first idea after seeing the curve was that it looked like the natural logarithm. Funny how intuition can guide us to the solution

  • @juanroldan529
    @juanroldan529 2 года назад

    What a nice video, I hope you can make more in the future, it's a shame it didnt take off when you published it.

  • @AkamiChannel
    @AkamiChannel 10 месяцев назад

    Incredible! Bravo!

  • @YodaWhat
    @YodaWhat Год назад

    Beautiful!

  • @123man123man1
    @123man123man1 2 года назад

    Superb explaination!

  • @WhattheHectogon
    @WhattheHectogon Год назад

    Excellently done, subscribing for sure!

  • @anirudhbadri2535
    @anirudhbadri2535 3 года назад +1

    Great video, keep it up !!

  • @Adityarm.08
    @Adityarm.08 Год назад

    Amazing content. Thank you.

  • @linoarenz548
    @linoarenz548 Год назад +2

    The picture also shows that when you want to check if n is a prime you just have to check divisors up to n^(1/2)
    Cool :)

  • @gustavocortico1681
    @gustavocortico1681 Год назад +4

    6:36 so you could define primes as integers "a" such that the function a/x only intersects with the integer lattice at a,1 and 1,a?

  • @disasterarea9341
    @disasterarea9341 Год назад

    this was lovely. is it related to hardy-littlewood?

  • @ThanassisTsiodras
    @ThanassisTsiodras Год назад

    Beautiful.

  • @makethisgowhoosh
    @makethisgowhoosh Год назад +3

    So this mentions primes at the beginning, but goes on to only talk about counting divisors. What did I miss?

  • @debblez
    @debblez Год назад +2

    the constant difference between ln(x) and the graph appears to approach -0.1544313298...
    or 1+2𝛾 where 𝛾=-0.5772156649... is the Euler-Mascheroni Constant

  • @TheZenytram
    @TheZenytram Год назад

    i finaly learned wft the slope number means, thankyou

  • @suvrotica
    @suvrotica 2 года назад

    This was awesome 👌

  • @Icenri
    @Icenri Год назад

    More videos! Please! ❤️

  • @outsync4399
    @outsync4399 Год назад +1

    Really impressive visualizations! And clearly explained as well, love it!

    • @chriswebster24
      @chriswebster24 11 месяцев назад

      I had to turn on the captions to understand what he was saying, because of his strange accent. I think he might be a foreigner or something, unfortunately, but the video was pretty decent, though, other than that. I just hope he’s legal, at least, since I supported his content, by watching the video

  • @debdeepmajumder9136
    @debdeepmajumder9136 Год назад

    Superb.

  • @briankleinschmidt3664
    @briankleinschmidt3664 Год назад +2

    I keep forgetting it's "Oiler", not "Youler".

  • @soulsand4287
    @soulsand4287 24 дня назад

    I wasn't expecting the 2.7 so early

  • @davidstokar887
    @davidstokar887 Год назад

    Terrific video

  • @FishSticker
    @FishSticker Год назад +6

    There is another graph with the property of all derivatives and integrals being the same, it’s Y=Sin(x)^2 + Cos(x)^2 - 1

  • @Marcus-jf4hu
    @Marcus-jf4hu 2 года назад

    Really great video! I like the background music, though the overall volume of the video is a bit low

  • @alaechoulli6111
    @alaechoulli6111 2 года назад +1

    Post more! Great one though ❤

  • @griffinwright4071
    @griffinwright4071 2 года назад

    Great vid!

  • @lubomazan319
    @lubomazan319 4 дня назад

    When calculating an error in % he should use a base for percentage the 'true avarage' not 'ln(n)' . In such case the error would be much smaller.

  • @opheliaslastsurf
    @opheliaslastsurf 8 месяцев назад

    Can someone explain (or suggest a reference to read) regarding the relationship between average number of factors and the primes?

  • @obsolesced
    @obsolesced Месяц назад

    Somehow it wasn't obvious that an integer point can always be captured by a hyperbola with an integer numerator until I thought more about it. Also that all integer points below a hyperbola will be captured by hyperbolas with smaller integer numerators..

  • @mz1rek
    @mz1rek Год назад

    Congratulations, well done. The explanation is amazingly simple. I'll critic one thing (not very important;): the sound volume is low.

  • @Vannishn
    @Vannishn 2 года назад +4

    Good video ! But don’t we have some multiple of the Euler mascenori constant as the limit of the difference ? 7:50

    • @Papajagameing004
      @Papajagameing004 2 года назад +2

      We do, that’s why there’s ~ sign. He used percentage error - as ln(n) grows to infinity, the percentage error indeed tends to 0

    • @gradozero8140
      @gradozero8140 10 месяцев назад

      I think the percentage goes to 0 but the average tends exactly to H(n) (nth harmonic number)

  • @asmithgames5926
    @asmithgames5926 Год назад

    Amazing video! Why is the average number of divisors equal to the number of primes?

  • @dlbattle100
    @dlbattle100 Год назад +2

    Music too distracting.

  • @Darkstar2342
    @Darkstar2342 Год назад +1

    8:00 why exactly does the error not matter in this case? I feel that this is not immediately obvious and needs to be proven

  • @dashmirmejdi38fu3ue8
    @dashmirmejdi38fu3ue8 Год назад

    If a(x) was the sum of averages of divisors. Then a(x) / x where x is total numbers is equal to ln(x) does it mean that this function a(x) equals to ln(x)*x

  • @romanski5811
    @romanski5811 Год назад +2

    Why does the percent error go to zero? How do you know that?

  • @bozydarziemniak1853
    @bozydarziemniak1853 8 месяцев назад

    Function for prime number check if natural number N is prime number is:
    Π [j=2 to j=(N-1)] sin(π*N/j)=a
    a=0 for not prime
    a≠0 for a prime
    if you know isin(x)+cos(x)=e^(ix) so that means that sin(x)=-i*(e^(ix)-cos(x))
    so here you have link between euler number and prime numbers.

  • @4115steve
    @4115steve Месяц назад

    does this mean there is an absolute infinity like there is an absolute 0 degrees? if 1 can be infinitly divided does that mean that 1 is infinity

  • @gplgomes
    @gplgomes 3 дня назад +1

    But the relationsheep is between to the dividers and not to the prime numbers.

  • @toniokettner4821
    @toniokettner4821 Год назад

    i also like the clash of clans music in the background

  • @MrRyanroberson1
    @MrRyanroberson1 Год назад

    one question to ask: what is the difference between the number of factors and the approximation? i'm thinking this difference itself doesn't tend to 0, but tends to some other function

    • @bjornfeuerbacher5514
      @bjornfeuerbacher5514 Год назад

      See several other comments - you can describe this difference by using the Euler Mascheroni constant.

  • @willemesterhuyse2547
    @willemesterhuyse2547 Год назад

    Slope of ln (n) as n tends to infinity is zero. Doesn't this imply ln (n) is bounded above?

  • @pogenonexist
    @pogenonexist 10 месяцев назад

    Great and interesting video. But why the area of left side equals the upper side area? Didn’t get explained l.😂

  • @konstantinrebrov675
    @konstantinrebrov675 Год назад

    Ah Hexagon, the most perfect shape in the universe.

  • @john-ic5pz
    @john-ic5pz 11 месяцев назад

    9:33 how cool. i never thought of inverse functions as swapping the axes.
    (9:33 lol perfect-square timestamp)

  • @nycoshouse
    @nycoshouse Год назад

    3:26 p[n]%floor(sqrt(n)) has the same kind of silhouette

  • @damnstupidoldidiot8776
    @damnstupidoldidiot8776 Год назад

    This felt like a light theme 3blue1brown video.

  • @antoniomamone4674
    @antoniomamone4674 Год назад +2

    i don't unsterstood the link with prime number

  • @alterherrentspannt
    @alterherrentspannt Год назад +1

    The audio is so low that I had to put the headphones on, then the music didn't help because it would cover up your words. I want to watch, but it is hard to understand the audio.

  • @vivada2667
    @vivada2667 2 года назад +4

    7:39 I don't really understand this step. How do you know the first column ends up filling in the cracks of the area under the curve?

    • @zildijannorbs5889
      @zildijannorbs5889 2 года назад +2

      The integral would diverge without removing that column. That hyperbola goes up forever when approaching zero, as you take reciprocals of tiny numbers. It had to be done to avoid that inconvenience. And with filling up the spaces - the integral itself includes those, that’s how it works, but I think the area of those extra bits become insignificant compared to the squares as n increases.

    • @ipudisciple
      @ipudisciple Год назад +1

      It doesn’t fill in the cracks, or if it does that’s irrelevant. Both the first column and the cracks have an area which as a of the % of the total area tends to 0.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Год назад

      @@zildijannorbs5889 That's not how that works. First of all, there is nothing that even justifies taking the integral here.

    • @zildijannorbs5889
      @zildijannorbs5889 Год назад +1

      @@angelmendez-rivera351 but there's clearly an integral in the video, right? I thought what I said makes sense.

  • @parth_06
    @parth_06 8 месяцев назад

    nice 😊

  • @VynceMontgomery
    @VynceMontgomery Год назад

    tahnks for the video. Your audio is mixed way too quiet, though.

  • @dieterbaecher2975
    @dieterbaecher2975 4 месяца назад

    I missed the link to prime numbers. Maybe because its hidden?

  • @JynxSp0ck
    @JynxSp0ck Год назад

    I'm sure what's being said is very interesting. I have to assume since I can't actually hear anything.

  • @peterolbrisch8970
    @peterolbrisch8970 Год назад +1

    I knew it. It's, like an onion, the deeper you peel it, the more it stinks.

  • @masicbemester
    @masicbemester 2 года назад

    that's a nice video, but the volume is low even at maximum

  • @joseville
    @joseville Год назад

    e^x is like the identity element of the derivative operation.
    I just derived* e^x an infinite number of times in 0 seconds.
    *or maybe I should say "derivated"

    • @angelmendez-rivera351
      @angelmendez-rivera351 Год назад +3

      That is not how identity elements work. When we talk about identity elements, we are talking about binary operators, not unary operators. It is more accurate to say that the exponential function is the fixed point of the derivative operator, up to a constant multiple.

  • @theskinegg9168
    @theskinegg9168 Год назад +1

    how I would approach is:
    instead of counting the amount of factors a specific number has up to n, count the amount of times a specific number would be a factor of a number up to n, so for two every other number would have it as a factor and you would add n/2, for 3 every third number would have it as a factor etc, then the sum of all the factors up to n would be n/2 + n/3 + n/4… n/n, which will approach n ln n, which over n equals n
    that’s also where the Euler Macheroni constant comes in, from the transition from the harmonic series to the natural logarithm (the difference between the natural logarithm of x and the sum of the harmonic series up to x approaches this fabled Euler Macheroni constant)

  • @minimath5882
    @minimath5882 Год назад

    you should coprimes next!

  • @aby_aby_aby_aby
    @aby_aby_aby_aby Год назад

    The slope of constant zero function is also always equal to its value, namely, zero. So it is false that exp is the only function with this property.

  • @ulamss5
    @ulamss5 Год назад +2

    wait... how did this link back to prime numbers?

    • @bjornfeuerbacher5514
      @bjornfeuerbacher5514 Год назад +1

      Actually, it didn't really. Or only in a _very_ vague way... we get the average number of divisors, and the prime numbers are the special case with precisely two divisors.

  • @FrKevinPJCoffey
    @FrKevinPJCoffey 11 месяцев назад

    Please either change the title for this video or explain much more clearly the connection between Euler's number and prime numbers. I watched this twice, and enjoyed it, but I don't see what your title promised.

  • @comic4relief
    @comic4relief Год назад

    Very Interesting. However, it seems that by 1:20 you leave prime numbers behind. I am not seeing the "link".

  • @aweebthatlovesmath4220
    @aweebthatlovesmath4220 Год назад

    Before playing i guessed it grows like O(ln(n)) 😂 ln is everywhere in analytic number theory...

  • @Ardalambdion
    @Ardalambdion Год назад

    Can someone fix the audio in this video? Can barely hear a thing with max on.

  • @miro.s
    @miro.s Год назад

    I would propose to reupload the video with much louder sound and delete this one. Anyway, the explanation is very clear and interesting.

  • @johnkent8972
    @johnkent8972 Год назад

    is anyone else having trouble hearing the audio?

  • @sdnarain5364
    @sdnarain5364 Год назад

    Volume please

  • @christopheremmanuel1615
    @christopheremmanuel1615 Год назад

    Man e shows up so much

  • @YorangeJuice
    @YorangeJuice Год назад

    woah

  • @shanemcinally7092
    @shanemcinally7092 Год назад

    oh god

  • @markwrede8878
    @markwrede8878 Год назад

    Approximating erroneous assumptions.

  • @user-iu3iu1ln8d
    @user-iu3iu1ln8d Год назад

    Prime number constant......ㅎ

  • @drottercat
    @drottercat Год назад

    I can hardly hear anything.

  • @chrisayad0
    @chrisayad0 Год назад

    redo this plz

  • @Luizabf
    @Luizabf Год назад

    Uau