700 years of secrets of the Sum of Sums (paradoxical harmonic series)

Поділитися
Вставка
  • Опубліковано 15 тра 2024
  • Today's video is about the harmonic series 1+1/2+1/3+... . Apart from all the usual bits (done right and animated :) I've included a lot of the amazing properties of this prototypical infinite series that hardly anybody knows about. Enjoy, and if you are teaching this stuff, I hope you'll find something interesting to add to your repertoire!
    00:00 Intro
    01:00 Chapter 1: Balanced warm-up
    03:26 Chapter 2: The leaning tower of maths
    12:03 Chapter 3: Finite or infinite
    15:33 Chapter 4: Terrible aim
    20:44 Chapter 5: It gets better and better
    29:43 Chapter 6: Thinner and thinner
    42:54 Kempner's proof animation
    44:22 Credits
    Here are some references to get you started if you'd like to dig deeper into any of the stuff that I covered in this video. Most of these articles you can read for free on JSTOR.
    Chapter 2: Leaning tower of lire and crazy maximal overhang stacks
    Leaning Tower of Lire. Paul B. Johnson American Journal of Physics 23 (1955), 240
    Maximum overhang. Mike Paterson, Yuval Peres, Mikkel Thorup, Peter Winkler, Uri Zwick arxiv.org/abs/0707.0093
    Worm on a rubber band paradox: en.wikipedia.org/wiki/Ant_on_...
    Chapter 3: Proof of divergence
    Here is a nice collection of different proofs for the divergence of the harmonic series scipp.ucsc.edu/~haber/archives...
    Chapter 4: No integer partial sums
    A harmonikus sorrol, J. KUERSCHAK, Matematikai es fizikai lapok 27 (1918), 299-300
    Partial sums of series that cannot be an integer. Thomas J. Osler,
    The Mathematical Gazette 96 (2012), 515-519
    Representing positive rational numbers as finite sums of reciprocals of distinct positive integers www.math.ucsd.edu/~ronspubs/64...
    Chapter 5: Log formula for the partial sums and gamma
    Partial Sums of the Harmonic Series. R. P. Boas, Jr. and J. W. Wrench, Jr.
    The American Mathematical Monthly 78 (1971), 864-870
    Chapter 6: Kempner's no 9s series:
    Kempner in an online comic
    www.smbc-comics.com/comic/mat...
    A very nice list of different sums contained in the harmonic series en.wikipedia.org/wiki/List_of...
    Sums of Reciprocals of Integers Missing a Given Digit, Robert Baillie, The American Mathematical Monthly 86 (1979), 372-374
    A Curious Convergent Series. A. J. Kempner, The American Mathematical Monthly 21 (1914), 48-50
    Summing the curious series of Kempner and Irwin. Robert Baillie, arxiv.org/abs/0806.4410
    If you still know how to read :) I recommend you read the very good book Gamma by Julian Havil.
    Bug alert: Here • 700 years of secrets o... I say "at lest ten 9s series". That should be "at most ten 9s series"
    Today's music (as usual from the free UA-cam music library): Morning mandolin (Chris Haugen), Fresh fallen snow (Chris Haugen), Night snow (Asher Fulero), Believer (Silent Partner)
    Today's t-shirt: rocketfactorytshirts.com/are-...
    Enjoy!
    Burkard
    Two ways to support Mathologer
    Mathologer Patreon: / mathologer
    Mathologer PayPal: paypal.me/mathologer
    (see the Patreon page for details)

КОМЕНТАРІ • 3,4 тис.

  • @daemos_magen
    @daemos_magen 3 роки тому +1027

    The most memorable part was when you giggle, and my wife in the other room says "You're watching that math guy again?" As always, thank you for expanding my knowledge base.

    • @piratesofphysics4100
      @piratesofphysics4100 3 роки тому +24

      😂😂😂

    • @douglasstrother6584
      @douglasstrother6584 3 роки тому +51

      When she hears all of the profanity, she knows you're watching Flammable Maths!

    • @christiaanbalke
      @christiaanbalke 3 роки тому +4

      Same over here :)

    • @teleny2
      @teleny2 3 роки тому +15

      His giggling always sounds like Dr. Strangelove to me. Man, Peter Sellers was a great actor.

    • @douglasstrother6584
      @douglasstrother6584 3 роки тому +4

      @@teleny2 Gen. Turgidson: "'Strangelove'? That ain't no kraut name."
      Aide: "His original name was 'Merkwürdigliebe'. He changed when he became a citizen."
      Gen. Turgidson: "Huh. Strange."

  • @shivambiswas5790
    @shivambiswas5790 3 роки тому +313

    Any divergent series: *exists*
    Ramanujan: Allow me to make it convergent.

    • @456MrPeople
      @456MrPeople 3 роки тому +24

      Ramanujan summation is powerful but it is also very picky. For example if I add 1+2+3+4+... and 0+1+2+3+4+... under Ramanujan summation they would have completely different values! Even if I add the numbers in a different order they would have different values. A small price to pay given the ability to sum divergent series.

    • @przemysawkwiatkowski2674
      @przemysawkwiatkowski2674 3 роки тому +23

      @@456MrPeople It's not so strange that order of summation changes the sum... It might happen even for convergent series. :-)
      Well... Actually it *does* happen for convergent series, except the absolutely convergent ones. :-)

    • @Noname-67
      @Noname-67 3 роки тому +9

      @@456MrPeople that's the normal problem of infinity

    • @sharpfang
      @sharpfang 3 роки тому

      ...to something that is not even close to where the series goes.

    • @EdoTimmermans
      @EdoTimmermans 3 роки тому +7

      It would like to see how TREE(1)+TREE(2)+TREE(3)+... can be made convergent. 😉

  • @bernyelpro1906
    @bernyelpro1906 3 роки тому +400

    Most memorable part: me losing my life after failing the “no nines sum converges”

  • @apbmes7690
    @apbmes7690 3 роки тому +251

    Most memorable part: In university Mathologer apparently came up with an original finiteness proof for Kempner's series, and the grader failed the homework because they couldn't be bothered to check a solution that was different from the one on the answer sheet.

    • @IoEstasCedonta
      @IoEstasCedonta 2 роки тому +26

      We've all had those graders.

    • @snowstarsparkle
      @snowstarsparkle 2 роки тому

      [i

    • @stopthephilosophicalzombie9017
      @stopthephilosophicalzombie9017 2 роки тому +24

      I had a similar experience in topology in undergrad. I did an unconventional proof and even my professor didn't understand it but he found another professor who said it was correct.

    • @jetzeschaafsma1211
      @jetzeschaafsma1211 2 роки тому +7

      How often do you imagine an answer different from the answer sheet is actually correct?

    • @Meta7
      @Meta7 2 роки тому +33

      @@jetzeschaafsma1211 In math, more often than you think.

  • @Fun_maths
    @Fun_maths 3 роки тому +453

    "Are we there yet?"
    "No just 1+1/2+1/3+1/4+... more minutes."

    • @Mathologer
      @Mathologer  3 роки тому +69

      :)

    • @johnchessant3012
      @johnchessant3012 3 роки тому +86

      In a similar vein, a mathematician advertises a lottery in which the prize is an infinite amount of money. Lots of people pay for tickets, but when the winning ticket is announced, the mathematician explains the mode of payment: "$1 this week, $1/2 next week, $1/3 the week after, ..."

    • @MGSchmahl
      @MGSchmahl 3 роки тому +24

      @@johnchessant3012 Given the common assumptions about compound interest and the time value of money, this prize can actually be funded with a finite amount of money. (The assumption is that $1 today is worth $e^(rt) at time t for some constant r.)
      A neat puzzle is to figure out how many "now dollars" that prize is worth.
      (Hint 1: If the prize was $1 every week, and assuming a realistically small interest rate like 1/52% per week, you would only need about $5200.50 to fund the prize.)
      (Hint 2: I don't know how to solve this by hand. I cheated and used WolframAlpha.)
      (Hint 3: It's surprisingly small! Less than $10.)

    • @leif1075
      @leif1075 3 роки тому +1

      @@Mathologer Why isn't this more widely known? And how can we learn this faster?

    • @Fun_maths
      @Fun_maths 3 роки тому +2

      i just realized that that means that they are pretty close to their destenation, about half a minute away

  • @jzieba0204
    @jzieba0204 3 роки тому +146

    The most suprising part for me was the "terrible aim" the fact that odd/even is never an integer is so simple yet i would have never thought about it

    • @PC_Simo
      @PC_Simo 7 місяців тому +1

      Yes. Simple, indeed: In order for a fraction to be an integer, the prime factors of the denominator must form a subset of the prime factors of the numerator; but, in odd/even, the denominator always has the prime factor: 2, which the numerator never does, in odd/even; thus, P(denominator)* is never a subset of P(numerator); and thus, odd/even can never be an integer, in disguise 😌.
      *P = Prime factors.

  • @sergeboisse
    @sergeboisse 3 роки тому +189

    Mathologer video series are definitely better than any Netflix series. They surprise me anytime.

    • @Achrononmaster
      @Achrononmaster Рік тому +5

      With a small amount of effort one could probably get Mathologer onto Netflix. It's just filling in forms and checking video quality and whatnot.

    • @BritishBeachcomber
      @BritishBeachcomber Рік тому +9

      Netflix? No comparison. Mathologer wins every time, and it's free.

    • @manelmanolo7195
      @manelmanolo7195 Рік тому +3

      Mathflix. The best series (Taylor, MacLaurin, armonic, ...)
      (Seen in his t-shirt)

    • @TravisTellsTruths
      @TravisTellsTruths Рік тому +2

      Exactly true 👍

  • @n0nam3given
    @n0nam3given 3 роки тому +19

    As an adult who barely survived "New Math" back in the 60s, I grew to *hate* math with a purple passion, though I loved it with an equal passion. I gave up, finally, in high school at algebra 1, with the only "C" I've ever received in all my school years. I guess they were trying to tell me that math is not my shtick. Today, that hatred has melted away and my love and curiosity shine again. I never miss any of your videos. I love your humor and your enthusiasm!! The most memorable part? The searching for and recognition of patterns. That is so delicious!

    • @Mathologer
      @Mathologer  3 роки тому +9

      That's great, your comment made my day :)

  • @Meepmows
    @Meepmows 3 роки тому +99

    The most memorable part for me might be the idea of that gamma value: especially the super quick visual proof that it had to be less than one by sliding over all the blue regions to the left

    • @chessnotchekrs
      @chessnotchekrs 3 роки тому +21

      Yeah that was really mind-blowing. Also, to answer Mathologer's question, Gamma is more than half because each time we slide over the blue part, there is a corresponding white part, but the blue part has a "belly", or it bulges into the white part, so they're not equally divided triangles. There are infinitely many blue-half/white-half pairs, and in each the blue part has a "belly" so adding the area of all the blue "halfs" should yield a sum slightly more than half. This is just a visual approximation though, I don't know how to prove how much more than half it is.

    • @atimholt
      @atimholt 3 роки тому +3

      @@chessnotchekrs Yeah, that was a fun one to just suddenly get (though, like he said, it was “obvious”).

  • @zacharystark5520
    @zacharystark5520 3 роки тому +147

    Most memorable: that the harmonic series narrowly misses all integers by ever shrinking margins

    • @TheM0JEC
      @TheM0JEC 3 роки тому +8

      I agree that an infinite number of non intergers is quite amazing.

    • @MasterHigure
      @MasterHigure 3 роки тому +3

      I mean, any diverging series with ever smaller terms will have ever shrinking margins (as long as it doesn't actually hit any integers).

    • @landsgevaer
      @landsgevaer 3 роки тому +8

      @@MasterHigure I don't think so. For example, consider the sequence x_0 = 9/4 and for all n > 0: x_n = 1+(1/3)^n; form a series by summing these terms. The terms are ever decreasing, the series is divergent, and never hits any integers. Yet the partial sums never come closer than 1/4 to any integer, which it hits at the very first element a_0 alone.

    • @MasterHigure
      @MasterHigure 3 роки тому +3

      @@landsgevaer You're right. The terms need to converge to 0. I done goofed.

    • @parkershaw8529
      @parkershaw8529 3 роки тому +3

      It also managed to miss infinitely more and infinitely denser all irrational numbers as well. THAT seems even more impressive!

  • @mattbox87
    @mattbox87 3 роки тому +90

    Most memorable: being invited to take a moment and post why it might be obvious that gamma is greater than 0.5 and then doing it.
    Hmm... why is it obvious that gamma is greater than 0.5? Well it didn't seem obvious...
    But imagine the blue bits were triangular; then there would be equal parts blue and white in the unit square on the left i.e. a gamma of 0.5.
    But the blue parts are convex, they each take up more than half of their rectangles and together take up more than half of the square.

    • @ffggddss
      @ffggddss 2 роки тому +4

      Exactly how I pictured it!
      It also makes it obvious that γ is much closer to ½ than it is to 1.
      Fred

  • @whatby101
    @whatby101 3 роки тому +22

    Undergraduate mathematician here. The better I get at math, the more I appreciate your videos. These videos give a great visual experience which is generally not taught in proof courses.
    My favorite chapter was probably Chapter 5, reminded me of some of the concepts discussed in my analysis course.

  • @thek3nger
    @thek3nger 3 роки тому +139

    I liked A LOT that the sum of the “exactly 100 zeros series” is greater than the “no 9s series”! It is almost unbelievable. I need to check the paper. 🤣

    • @imacds
      @imacds 3 роки тому +4

      It is intuitively plausible as the 100 zeros series includes "a lot" of terms with 9s that the no 9s series leaves out.

    • @jackw7714
      @jackw7714 3 роки тому +4

      @@imacds I can't say that's intuitive to me 😂

    • @stephenmcateer
      @stephenmcateer 3 роки тому +13

      First thought: Isn't the "exactly 100 zeros" series a subseries of the "no 9s" series?
      Second thought: No, what about the term 1/9e100?
      Third thought: So ... when you are dealing with *all* integers you thin out more by banning 9s than by *only* requiring 100 zeros. Mind blown.
      Fourth thought: Take a random billion-digit number. It will almost always have more than 100 zeros (you expect about 10 million of them, just 99 is very rare). So it's almost not a constraint at all. Although apparently enough to force convergence. On the other hand, almost no billion-digit numbers will have no nines (the probably is something like (9/10)^1e9 ~= 0 of randomly grabbing one). And almost all integers are bigger than just a billion digits. Mind now thoroughly blown.

    • @NoNameAtAll2
      @NoNameAtAll2 3 роки тому +4

      how was the paper?

    • @gregburnell8454
      @gregburnell8454 3 роки тому

      This blew my mind!

  • @dEntz88
    @dEntz88 3 роки тому +70

    The most memorable proof is the original proof of the harmonic series' divergence simply for the fact that this probably the only proof I could present to my year 10 math class and most of them would understand it.

    • @Mathologer
      @Mathologer  3 роки тому +18

      Would be interesting what your kids would make of the animation of this proof :)

    • @dEntz88
      @dEntz88 3 роки тому +1

      @@Mathologer Maybe I'll use it in my "Mathe AG". :)

    • @morodochable
      @morodochable 3 роки тому +1

      The fact that the number of fractions summing to one in that doubled every time hinted at the logarithmic relationship, although I was thinking log base 2.

  • @dennisbell9639
    @dennisbell9639 3 роки тому +26

    My wife viewed this lecture,I made her,and just called you the biggest nerd on the planet.But that is good for she has been calling me the biggest one for 37 years I gladly pass the title over to you.I thoroughly enjoyed it and love your enthusiasm.I'm self-studying figurate numbers and would enjoy any lectures on this subject matter.Thank you

  • @danield1303
    @danield1303 3 роки тому +97

    For me, the "no integers" part was the most memorable, but honestly the whole video was of great quality (as expected).

  • @plienair
    @plienair 3 роки тому +62

    Most memorable moment was the cat going "μ".

    • @teleny2
      @teleny2 3 роки тому

      Has a cat the hacker-nature? "Mew...."

  • @anon6514
    @anon6514 3 роки тому +112

    They should have called it the 'Barely Divergent Series'

    • @takyc7883
      @takyc7883 3 роки тому +1

      is t the slowest diverging series?

    • @yazeed0ps3
      @yazeed0ps3 3 роки тому +3

      @@takyc7883 I remember that there is no such thing as a slowest diverging series. for example 1/n diverges, 1/(n*ln(n)) diverges, 1/(n*ln(n)*ln(ln(n))) diverges, and so on.
      As always, there's a math stack exchange thread talking about this topic: math.stackexchange.com/questions/452053/is-there-a-slowest-rate-of-divergence-of-a-series

    • @tracyh5751
      @tracyh5751 3 роки тому

      @@takyc7883 No. Using the ideas from chapter 6, you can actually show there is a subseries of the harmonic series that diverges as slowly as you would like. Simply take a function f(x) that diverges at a rate slower than the natural logarithm. At each integer, we will choose an entry from the harmonic series which is smaller than the one we had chosen previously. First, choose the largest entry of the harmonic series that is smaller than f(1). If this is not possible, choose the smallest entry of the harmonic series with is larger. Next, choose the largest entry possible so that the partial sum so far (just the first term and this one) is less than f(2). Again, if this is not possible, choose the smallest entry possible so that the partial sum is larger than f(2). Continue in this way and you will make a series whose rate of divergence is the same as f(x).

  • @bagochips1208
    @bagochips1208 3 роки тому +14

    Most memorable part: all
    I’m just constantly being mind blown throughout the whole video

    • @sadkritx6200
      @sadkritx6200 3 роки тому

      Same bro. The whole video was magnificent 👌

  • @I_like_math
    @I_like_math 3 роки тому +28

    Most memorable part: the 100 zeros sum being larger than the no nines sum.

  • @karateoscar
    @karateoscar 3 роки тому +100

    Most memorable: The harmonic series misses all integers up to infinity

  • @neomew
    @neomew 3 роки тому +100

    Math: '*exists*
    Euler: "First!"

    • @ashtonsmith1730
      @ashtonsmith1730 3 роки тому +4

      so how did math work before euler?

    • @neomew
      @neomew 3 роки тому +7

      @@ashtonsmith1730 The same way it always did - just in a dark room. Euler just turned on the lights to a lot of rooms.

    • @raphaelreichmannrolim25
      @raphaelreichmannrolim25 3 роки тому +3

      When you're investigating maths, if you inspect close, there are really small notes all over the place. "Euler has been here"!

    • @andrewxc1335
      @andrewxc1335 3 роки тому

      @@ashtonsmith1730 Lots of wordy descriptions and cobbled-together notations from dozens of different people.

    • @davidrheault7896
      @davidrheault7896 3 роки тому

      @@neomew you'll never kill the real Dumbledore hehe

  • @anselmobd
    @anselmobd 3 роки тому +3

    Most memorable: “No nines sum... converges!” 8^O´´´

  • @aegirson2899
    @aegirson2899 3 роки тому +17

    Most memorable: The most efficient overhanging structure being the weird configuration instead of an apparently more ordered one.

    • @naimulhaq9626
      @naimulhaq9626 3 роки тому

      Most memorable: An overhanging structure with n=google bricks.

  • @jean-francoistremblay7744
    @jean-francoistremblay7744 3 роки тому +63

    Clearly, the highlight of the Euler-Mascheroni constant is a splendid part of the video...the sum of no 9's animation is very impressive.

  • @davidgustavsson4000
    @davidgustavsson4000 3 роки тому +93

    I liked your evil mathematician back story, with the teacher refusing to grade the "wrong" proof.

    • @amadeus1940
      @amadeus1940 3 роки тому +3

      I didn't like it. Second hand annoyance. grrr

    • @ummerfarooq5383
      @ummerfarooq5383 3 роки тому

      When you get to that age when you want your students to tell you a bedtime story of the old days via math proofs. It would be gracious of us to do so just like when we were little kids asking mommy for a bed time story.
      Hmm are tests care work?
      👋🕊️

    • @moroccangeographer8993
      @moroccangeographer8993 3 роки тому

      I relate to that experience.

    • @rexwhitehead8346
      @rexwhitehead8346 3 роки тому +2

      Peter Ustinov relates that his teacher gave him zero marks when he answered "Rimsky-Korsakov" to the question "Name one Russian composer." The correct answer was Tchaikovsky.

  • @valeriobertoncello1809
    @valeriobertoncello1809 3 роки тому +11

    24:40 the sum of all the triangles that lower-approximate the blue areas is:
    1/2*(1*(1 - 1/2) + 1*(1/2 - 1/3 )+ 1*(1/3 -... =
    = 1/2*(1 - 1/2 + 1/2 - 1/3 + 1/3 -... = 1/2*(1)= 1/2

    • @vik24oct1991
      @vik24oct1991 3 роки тому +1

      you have to also prove that the left over portion is greater than area of triangle.

    • @sadkritx6200
      @sadkritx6200 3 роки тому

      @@vik24oct1991 yes, that's why he said lower approximate. The left over portions are convex. So thinking of them as triangles, there's some area left. That's why the total area is greater than 1/2.

    • @vik24oct1991
      @vik24oct1991 3 роки тому

      @@sadkritx6200 That was my point , you don't need to calculate the sum of the area , if you prove that in each part the curves are convex then that implies that at the sum of the leftover is greater than half, no matter how the parts are divided.

  • @trueriver1950
    @trueriver1950 3 роки тому +2

    The rapidity of the harmonic series converging to infinity makes the tortoise in the fable seem rather rapid

  • @justsomeguy5628
    @justsomeguy5628 3 роки тому +110

    The weirdest thing you showed is definitely the unusual optimal brick stacking pattern.

    • @Igneous01
      @Igneous01 3 роки тому +8

      I wonder if we could train a machine learning model to see if there exist further optimizations to this question. This solution looks similar to something a model would come up with.

    • @maze7474
      @maze7474 3 роки тому

      Why is that optimal stack optimal? Those 3 bricks on the top right look like you could extend them more to the left and thereby push the whole center of gravity to the left and thereby the tower to the right

    • @ramenandvitamins
      @ramenandvitamins 3 роки тому +3

      ​@@maze7474 ​moving a few bricks would necessarily shift the entire stack's center of gravity by a smaller distance. Since the blocks you're proposing to shift include the rightmost one, you'd lose more overhang than you'd gain.

    • @maze7474
      @maze7474 3 роки тому +1

      @@ramenandvitamins sorry, typo from my side.I meant top left, those 3 that are stacked exactly over each other

    • @ramenandvitamins
      @ramenandvitamins 3 роки тому

      @@maze7474 I suspect they'd no longer suffice to hold down the second-rightmost block if they were moved any further left.

  • @_kapy_
    @_kapy_ 3 роки тому +172

    The most memorable thing is how ugly the optimal leaning tower is

    • @Sn0wjunk1e
      @Sn0wjunk1e 3 роки тому +11

      you mean beautiful

    • @EdoTimmermans
      @EdoTimmermans 3 роки тому +1

      Some people say warthogs are ugly.
      To me they are stunningly beautiful, with their faces resembling the Mandelbrot fractal.

    • @tim40gabby25
      @tim40gabby25 3 роки тому +4

      If extended hugely, I guess that patterns of absent blocks will create pleasing curves.. I recall doing this with kids bored of 'Jehinga'. old uk duffer here :)

    • @naimulhaq9626
      @naimulhaq9626 3 роки тому +1

      It was the most beautiful leaning tower.

    • @ammaleslie509
      @ammaleslie509 2 роки тому +1

      i thought it was beautiful also. Glad I'm not alone. Modern concepts of "beauty" are overfocused on symmetry. Observe more natural structures to appreciate the beauty in the "misshapen" and the perfection in the "imperfect"

  • @eruwa1550
    @eruwa1550 3 роки тому +11

    The fact that the harmonic series misses all the integers is beautiful to me!

  • @royalninja2823
    @royalninja2823 3 роки тому +14

    A bit late on the lower bound for gamma, but...
    You can take every blue piece, place it into a rectangle of dimensions 1 x 1/(2^n), and split that rectangle in half with a diagonal from the top left to the bottom right. If you were to take the upper triangle from every one of these divided rectangles, you would get an area of one half of the square.
    Because every piece has a convex curve, it will stick slightly outside of the upper half of its rectangle. This means that every piece has an area greater than half of the rectangle, and the sum of all the pieces is greater than one half of the square. Because the square is 1x1, the area of the blue pieces is greater than 1/2.

    • @Mathologer
      @Mathologer  3 роки тому +3

      That's it. Never too late to have a great AHA moment :)

    • @peteneville698
      @peteneville698 2 роки тому +1

      @@Mathologer - Is it true to say that in the "No 'n's" series where we intuit that the sum converges, the sum of all the removed terms containing 'n' must itself be infinite? You have a series summing to infinity minus another series. If the thing you subtract is itself finite then you would still have an infinite series left over, ergo the subtracted series must itself sum to infinity for the remaining series to converge. Not sure if that's simply obvious or if it's also an "AHA" moment.

  • @johnchessant3012
    @johnchessant3012 3 роки тому +45

    24:30 It's "obvious" because 1/x is concave, meaning between any two points the graph is below the secant line connecting those two points. Dividing the 1x1 square into rectangles in the obvious way, the blue areas include more than half of each rectangle and hence more than half of the 1x1 square.

    • @Mathologer
      @Mathologer  3 роки тому +9

      Exactly :)

    • @MonsieurBiga
      @MonsieurBiga 3 роки тому +9

      Finally something I had seen myself with my very low level of maths

    • @anthonycousins853
      @anthonycousins853 3 роки тому +1

      That makes sense! Good explanation, I got it without any visuals! Haha.

    • @jisyang8781
      @jisyang8781 3 роки тому +6

      You mean convex. You triggered one of my pet peeves.

    • @moritzalshuth7239
      @moritzalshuth7239 3 роки тому +2

      The secant lines partition blue triangles as a lower bound for gamma, triangles add up as a telescoping sum 1/2*((1/1-1/2)+(1/2-1/3)+...-1/n) = 1/2*(1-1/n) = 1/2 in the limit

  • @alexgreer878
    @alexgreer878 3 роки тому +84

    Most memorable: If my life depended on knowing if the sum of no nines series is finite I would not be alive

  • @dragifire
    @dragifire 3 роки тому +39

    Your teaching style is just so good! I think it's a combination of the interesting topics, your smooth as heck animations, giggles, and the quick glances you give at the end of each chapter to summarize (it's especially nice for note-taking!). Not even to mention the fact that you don't give direct answers to questions you bring up, but instead direct the viewer to introductory terms and topics to look up and gain knowledge themselves. I wish I could attend one of your lectures, but until then this will have to do!

  • @SeanBask
    @SeanBask 3 роки тому +5

    Most memorable part: the visualization of the "no nines sum convergence"
    What an awesome way to look at it.

  • @conoroneill8067
    @conoroneill8067 3 роки тому +22

    The variations on the Harmonic series were definitely my favourite - who even thought to ask such a strange question as "What's the Harmonic Series, but if you remove all the terms with a nine in them?" It would never have occurred to me to ask a question like that.

    • @TheGrenvil
      @TheGrenvil 3 роки тому +3

      It's like the "Bee movie, but without bees" type of memes, I guess it's just the human nature

  • @lc7269
    @lc7269 3 роки тому +18

    The most memorable was the optimal towers, as I always thought that the leaning tower of lire was the best way to stack overhangs. It looked so perfect that I never questioned if there was a better way to do it!

  • @elasiduo108
    @elasiduo108 3 роки тому +8

    This is the reason why I'm getting a PHD in mathematics: the infinite beauty of the numbers.

  • @GopikrishnaC-nj3sy
    @GopikrishnaC-nj3sy 3 роки тому +25

    24:30 (γ>1/2 :)
    It is equal to proving that the blue region is strictly greater than white region in that 1square unit box...
    since 1/x is concave up in (0,oo)..
    (Means a line formed by joining any two points on the curve (chord) will lie above the curve in that region)
    In those each small rectangles inside the 1unit box , the curve of each blue region (which is part of 1/x graph) will lie below the chord (here diagonol of that rectangle)
    As blue area crosses diagonals of each of these small rectangles (whose area is actually 1/(n) -1/(n+1) ) , it is greater than half the area of these rectangle...
    And adding up all thsoe rectangle gives area 1...and adding up all these small blue region is our "γ"
    So it is greater than half the area of 1.
    ie: γ>1/2.
    -----------------------------------------------

    • @supercell6691
      @supercell6691 3 роки тому +6

      Thanks

    • @randombanana640
      @randombanana640 Рік тому +1

      basically their area is greater than their triangle counterparts and the triangle area is ½

  • @peter_p_r_zhang
    @peter_p_r_zhang 3 роки тому +83

    Most memorable part: derivation of γ. As in high school we learn about the approximation of the area under the 1/x curve but not many actually focus on the 'negligible part of the area' which in fact adds up to something trivial to the whole field of number series.
    24:23 Sinple proof for γ>0.5:
    All the tiny little bits of that blue areas are a curved shape. By connecting the two ends of that curve line we can see each part is made up of a triangle and a curved shape. The total area of those infinitely many triangles equals to 0.5 so the total area of the blue sharpest be greater than 0.5.

    • @Mathologer
      @Mathologer  3 роки тому +17

      That's it:)

    • @youssefm1
      @youssefm1 2 роки тому

      Why is the total area of those triangles 0.5?

    • @Ohhelmno
      @Ohhelmno 2 роки тому +2

      @@youssefm1 it’s basically because the largest non-integer in the series is 1/2 and every subsequent one is half again, so the first few get you very close .5 and every one after that is less and less and therefor as the sum gets closer to infinity the area above the curve gets closer to .5 but never over. This is mainly because there are an even more infinite set of fractions between 1/2 and 1/∞ than integers between 1 and ∞

    • @youssefm1
      @youssefm1 2 роки тому +2

      @@Ohhelmno , thanks. My son made me realise that the sum of the vertical lines (heights) of all the triangles = 1 so the areas of the triangles (being half the area of the rectangle of that height) = 0.5 and since the blue part was larger than the triangle, its area > 0.5.

    • @williamrutiser1485
      @williamrutiser1485 2 роки тому

      Don

  • @gaelservignat2810
    @gaelservignat2810 3 роки тому +24

    The most memorable part was Tristan's fractal. Fractals are beautiful and they always show up when you expect them the least.

  • @danicorrales1592
    @danicorrales1592 3 роки тому +17

    Most memorable moment: the posture problems due to excessive obsession with mathematics

  • @randyhavard6084
    @randyhavard6084 2 роки тому +3

    My new favorite maths channel

  • @zswu31416
    @zswu31416 3 роки тому +58

    "Is the no 9 series finite? You life depends on this!"
    Me: suspicious, has to be finite!
    "Believe it or not, it is finite!"
    Me: YAY

    • @zswu31416
      @zswu31416 3 роки тому +3

      PS this comment is a joke, I have heard about the no 9s series a long time ago

    • @JM-us3fr
      @JM-us3fr 3 роки тому +1

      Survival squad for the win!

    • @shotgun3628
      @shotgun3628 3 роки тому

      @@JM-us3fr i would reply to you but ive been executed since i got it wrong

  • @alejandronasifsalum8201
    @alejandronasifsalum8201 3 роки тому +18

    I was already... not comfortable, but let's say "resigned"... to the fact that there exist very slowly divergent series; but the fact that there are very slowly CONVERGENT series, whose sum is impossible to approximate computationally within a reasonable margin of error, like the no nines series... was a shock!

  • @HyperFocusMarshmallow
    @HyperFocusMarshmallow 2 роки тому +6

    You’re so good at starting simple and yet including stuff that’s interesting for the fully initiated! Great work!

  • @rohitjoshi2953
    @rohitjoshi2953 3 роки тому +10

    Most Memorable : Every seconds of this video. I couldn't choose a single thing. I am sure that this is the best video I have ever watched in my life related to anything. Thank you so much Mathologer.

  • @akaisekai143
    @akaisekai143 3 роки тому +33

    Most Memorable: getting the Mathologer seal of approval

  • @PapaFlammy69
    @PapaFlammy69 3 роки тому +522

    Good Stuff Burkard! :)

  • @davutkavranoglu6959
    @davutkavranoglu6959 3 роки тому +9

    Thank you very much for another excellent demonstration of the amazing beauty of mathematics! I love the 700 years old divergence proof. Also, the unbelievably slow pace of divergence is absolutely amazing.

  • @leastsignificantbit5069
    @leastsignificantbit5069 3 роки тому +6

    Definitely the most impressive part is the animated Kempner's proof, I've expected something extremely complicated and yet the whole thing was "nice and smooth".

  • @techdecker51
    @techdecker51 3 роки тому +12

    The most memorable for me has to be Kempner's proof, just due to how counterintuitive it is after seeing so many divergent series, but how intuitive the proof is.

  • @PeterFreese
    @PeterFreese 3 роки тому +59

    Most memorable: the fact that gamma is the Ramanujan summation of the harmonic series.

  • @shaunsawyer8298
    @shaunsawyer8298 3 роки тому +4

    So much great content packed into 45 minutes! Something I’ll always remember will be that the no nines series converges, and how simple the proof was!

  • @takeguess
    @takeguess Рік тому +1

    I have to say you are one of my favorite UA-camrs! And that is saying something.... Most youtubers shy away from the math, but not you. Your visual proofs are brilliant and will span through the ages, I thank you because I have genuinely been looking for this content for years. Out of the bottom of my heart thank you, I needed this...

  • @windturbine6796
    @windturbine6796 3 роки тому +40

    The most memorable part was me dying because I didn't know the no 9's series was convergent

    • @MrTiti
      @MrTiti 3 роки тому

      yeah, i just went for the odds and said: well it is finite, because maybe something will happen, that i cannot see now, so in contradiction i am still alive :)
      But... just to ask for clarity: if that grid exists with 9s, wouldt it exist with all other numbers >0 ?
      what about the 0 ?

    • @jimmyh2137
      @jimmyh2137 3 роки тому +1

      ​@@MrTiti The grid is the "same" with every digit, including 0.
      In the first 10 numbers, 1/10 contain a (insert digit) or 10%
      In the first 100 numbers, 1/10 for every "ten" + 9/100 (the ones starting with your digit, like 31 32 33...), or 19% containing your digit.
      In the first 1000 numbers we have 19 every 100, + the ones with the first digit (300, 301, 302...), or 271/1000 or 27.1% total.
      And so on...
      Every time the % of numbers containing the chosen digit keeps increasing, reaching almost 100%. Works for all 10 digits (0, 1, 2... 9).

  • @SzanyiAtti
    @SzanyiAtti 3 роки тому +13

    Exactly what I needed today
    EDIT: My favourite part was the no 9-s proof. It is just simply elegant.

  • @citizenscientistsworkshop1948
    @citizenscientistsworkshop1948 3 роки тому +14

    Most memorable: Tristin’s visual proof of the finiteness of the no-9 series.

  • @sebastiansimon7557
    @sebastiansimon7557 3 роки тому +7

    I liked the crazy optimal overhang tower the most. Didn’t expect that at all.

    • @richardatkinson4710
      @richardatkinson4710 11 місяців тому

      Me too. The untidy structure called to mind Sabine Hossenfelder’s “Lost in Math: How Beauty Leads Physics Astray”. Physicists are addicted to symmetries. Dirac thought beauty was the most important (and convincing) feature of any formula in mathematical physics.

  • @mitchkovacs1396
    @mitchkovacs1396 3 роки тому +12

    24:35 You can construct a right triangles out of the corners of each blue region. The base of each is 1 unit while the height is 1/n - 1/(n+1). The sum of the areas of these triangles yields a lower bound for γ. We can see that this area is (1/2)*(1 - 1/2) + (1/2)*(1/2 - 1/3) + (1/2)*(1/3 - 1/4) + ... which is a telescoping series so we can cancel everything except 1/2*1, so 1/2 is a lower bound for γ

    • @Mathologer
      @Mathologer  3 роки тому +2

      That's it. Of course, you can also just skip the algebra :) Having said that it's nice in itself that all this corresponds to a telescoping sum when you turn it into algebra.

  • @gromburt
    @gromburt 3 роки тому +10

    Wonderful video as always. The more videos I watch the more I'm convinced that Euler must've been a time-travelling Mathologer viewer who really wanted to look smart by appearing in every video

  • @diadochokinetic3290
    @diadochokinetic3290 3 роки тому +2

    Great stuff. It's always amazing how you manage to find such intuitive explanations. Most memorable is probably the "no 9s" visualization.

  • @doctortrouserpants1387
    @doctortrouserpants1387 2 роки тому

    Thanks for another amazing, informative, extremely clear and well made presentation. The fact that the series explodes to infinity is one thing, how slow it happens and how many terms are needed for just a tiny increase makes my head spin.

  • @AdityaSharma-qi8nu
    @AdityaSharma-qi8nu 3 роки тому +10

    Most Memorable: The fact that it is possible to *arrange* the bricks on the table such that the last brick can be as far as the size of *observable universe* from the table, and yet be perfectly balanced!!!🤯🤯🤯

    • @channalbert
      @channalbert 3 роки тому +1

      Pretty amazing, but don’t get the table from IKEA, they are bad quality.

    • @AdityaSharma-qi8nu
      @AdityaSharma-qi8nu 3 роки тому

      Lol

    • @Fun_maths
      @Fun_maths 3 роки тому

      @@channalbert they mess with the physics of balance

    • @Noname-67
      @Noname-67 3 роки тому

      Imagine making a mistake and it all fall down

    • @eefaaf
      @eefaaf 3 роки тому +1

      Wouldn't that mean that you would need a stack higher than the universe? Even if each layer was just one atom thick.

  • @maxinator2002
    @maxinator2002 3 роки тому +16

    Most memorable: the optimized leaning tower! Although it was very messy, I think there's a lot of beauty in the fact that the most optimal arrangement of bricks is such a mess. It reminds me of how an extremely simple physical system (like a double pendulum) can result in chaos!

    • @oliverave1234
      @oliverave1234 2 роки тому

      Good point. The problem with I have that solution is perhaps that the original concept stipulated or assumed that the tower would lean only in one direction (which is what towers do). The recent innovative solution doesn't involve a "tower" at all. This is the problem with the "thinking outside the box" cliche. I tell you to connect the dots within a box using 2 lines and then you connect them by drawing lines outside the box. Wow, that's impressive. It's like telling your boss you can solve a problem by spending 10X the given budget.

  • @AndreaArturoGiuseppeGrossi
    @AndreaArturoGiuseppeGrossi 3 роки тому +1

    I have to say, your channel is one of the best I am following about Math! Thank you very much for all these years of excellent work! :-D

  • @cheyennesadeghi
    @cheyennesadeghi 3 роки тому +4

    My favorite part was when you revealed that the sum of the 100 zeroes series is greater than the sum of the no 9 series. Absolutely mind-blowing. In truth, my favorite part was the entire video you just made me pick :) Thank you!!!

  • @EntertainmentBooster
    @EntertainmentBooster 3 роки тому +47

    His T-Shirt is always Unique... 👕

    • @lebeccthecomputer6158
      @lebeccthecomputer6158 3 роки тому +1

      I was about to comment on it; that’s an awesome shirt!

    • @ahcuah9526
      @ahcuah9526 3 роки тому +2

      And "infinitely" interesting.

    • @kwinvdv
      @kwinvdv 3 роки тому +2

      And in the video also seem to show some kind of Moiré pattern behavior.

    • @gcewing
      @gcewing 3 роки тому +1

      You can leave any time you like, but you'll never arrive...

  • @levmarchuk998
    @levmarchuk998 3 роки тому +14

    Most memorable: fractal visualization of no-9's series being finite

    • @pixels_
      @pixels_ 3 роки тому

      Agreed! Simple and thus memorable

  • @ryandvyn
    @ryandvyn 3 роки тому +4

    Most memorable: every positive number having its own infinite sum. It’s very obvious afterwards, but I would never believe it without your explanation. Thank you for all the interesting videos!

  • @jacobparish8134
    @jacobparish8134 3 роки тому +6

    Most memorable: that cool proof that gamma < 1 by sliding all the blue regions into the unit square

    • @davidrheault7896
      @davidrheault7896 3 роки тому +2

      Of course I have done a proof and a computation of the digamma function and the Euler's constant gamma. For low values of n (harmonic series partial sum), use the Bernoulli numbers in association with gamma and you get the true value to an amazing precision

  • @milan0234
    @milan0234 3 роки тому +7

    Most memorable: The proof that the bishop came up with, beautiful simplicity

  • @Richardstureborg
    @Richardstureborg 3 роки тому +25

    solution to there bricks with overhang of 2 units: place one brick with overhang of 1. then place another bring on top of this one all the way to the right with its own overhang of 1 unit. clearly this will fall. now place the third brick to the left of the second, making the top layer 4 units (2 bricks) long, and the bottom layer centered around it. Done.

    • @canaDavid1
      @canaDavid1 3 роки тому +2

      Summary:
      Cliff edge is x=0. Bricks are measured at the middle.
      Layer 0: a brick at x=0
      Layer 1: two bricks, at -1 and 1

    • @l3p3
      @l3p3 3 роки тому +1

      Idea: Put the left upper coin before the overhanging one. It will not fall.

  • @christosgolsouzidis1286
    @christosgolsouzidis1286 3 роки тому +6

    The most memorable part is the connection of the 'γ' and the log() function to the harmonic series! Really amazing!!

  • @tammylynn8632
    @tammylynn8632 3 роки тому +1

    The most memorable is your voice... the giggle you make when telling us wonderful facts. Have a wonderful life. Stay safe... ✌️

  • @zanedobler
    @zanedobler 3 роки тому +9

    For me, the most memorable part was the optimal setup for 20 bricks because it made me glad I'm not an architectural engineer.

  • @pedrobress1072
    @pedrobress1072 3 роки тому +11

    My vote definetely goes to Kempner's proof, it is extremely elegant, since the concepts used are individualy simple, such as the calculation of numbers without nine or geometric series, but when cleverly combined they form this amazing result.
    Besides that, great video as always.
    Edit: typo

  • @jacoboppenheim2385
    @jacoboppenheim2385 3 роки тому +1

    Most Memorable: Kempner's proof at the end. Remarkable video!

  • @jeewanjotsingh3088
    @jeewanjotsingh3088 3 роки тому +1

    This was probably one of the best video that I have seen on this topic. And the geometric limit of Gamma between 1/2 and 1 and the no-nine series proof was something I learnt for the first time.

  • @michaellucas7177
    @michaellucas7177 3 роки тому +10

    Marble: Most memorable Idea: No integers among the partial sums. Your excitement is always a great feature not your presentations. And why you're my favorite Mathematics UA-camr!

  • @prabesh321
    @prabesh321 3 роки тому +9

    Most memorable: Sad looking portrait of Nicole Oresme along with the Leaning Tower of Lire

  • @urmi-e-azar1776
    @urmi-e-azar1776 3 роки тому

    The curious convergent series made my day! Baillie's paper was amazing. I'm now going to look at your presentation of Kempner's proof

  • @Stev386
    @Stev386 2 роки тому

    Beautiful work you put into each and every episode!

  • @inakidesantos9209
    @inakidesantos9209 3 роки тому +33

    Most memorable: The 700 year old proof by a bishop

    • @davidrheault7896
      @davidrheault7896 3 роки тому +4

      11 views , let's make it prime ;p I also enjoyed the 700 year-old proof

    • @jksmusicstudio1439
      @jksmusicstudio1439 2 роки тому +1

      First time I saw that proof I was like "oh come on, that's pure hacking" XD

    • @Perririri
      @Perririri 2 роки тому

      A rook is still better, though! 😂

  • @etiennnelacroix4653
    @etiennnelacroix4653 2 роки тому +2

    Danke für diese wundervollen Videos!

  •  3 роки тому +3

    The most impressive part in my opinion was the fact that the 100 zeros sequence converges to a bigger sum than the no 9s sequence. Greetings from Germany by the way and keep up that great work. It is always a pleasure diving into your mathematical discoveries!

  • @angstony459
    @angstony459 3 роки тому +5

    Most memorable: Chapter 1: "Let's assume that the grey bar does not weigh anything - thought experiment - we can do this - hehe" Top notch video!

    • @davidrheault7896
      @davidrheault7896 3 роки тому

      It (the likes) was prime, I clicked and it remained prime ;p

  • @elainechegwinhall52
    @elainechegwinhall52 3 роки тому +39

    The most memorable is the fact of the partial sums being non integer.

    • @onomatopoesi
      @onomatopoesi 3 роки тому +2

      I agree, that is really fascinating.

  • @rubyjohn
    @rubyjohn 3 роки тому +1

    Awesome video! Your excitement is truly contagious through the video :D

  • @rokaq5163
    @rokaq5163 3 роки тому +7

    11:50
    Arrange the bricks in a two layer formation where, on the bottom layer, you place a single block with its center of mass on the cliff's edge (akin to a single-block maximum overhang position). Then, on the second layer, place both remaining blocks with their centers of mass aligned with each of the bottom block's edges. If done correctly, the block placed over the cliff should create precisely a 2 unit overhang (assuming all blocks are 2 units long), with the other brick on the same layer acting as a counterweight. We would need to assume all blocks weight exactly the same, have perfectly equal shapes and there are no external forces aside from gravity acting on the system. Below I'll try to make a small ASCII schematic to illustrate the formation
    ________ ________
    ________
    -------------|
    Cliff |

  • @pummelfee9093
    @pummelfee9093 3 роки тому +8

    Wow, ich hätte nie geglaubt, dass etwas das mit Analysis zu tun hat auch Spaß machen kann... :) Sehr cool!

  • @bryanbischof4351
    @bryanbischof4351 3 роки тому +12

    When he put the stack leaning over Oresme I lost it.

  • @johncanfield1177
    @johncanfield1177 2 роки тому +2

    Dear Mathologer,
    I am so pleased whenever I run across one of your videos.
    As for my vote for the portion that impressed me the most, it would have to be the leaning tower of Lire. There is something so lovely in its orderliness, that I sense my head bowing, much like the old Frenchman, Oresme. Thank you for another interesting and entertaining video on the beauties of math.

  • @Omni-Kriss
    @Omni-Kriss 3 роки тому

    I love the little chuckles you have, your joy is contagious :)

  • @MohammedAbdullah-mx1vg
    @MohammedAbdullah-mx1vg 3 роки тому +4

    I have to vote for the Kempner's proof animation, it was simply stunning to see such a seemingly complex problem; being broken down into techniques that a school student could understand 👏

  • @user-bj1rb6km1f
    @user-bj1rb6km1f 3 роки тому +5

    I really enjoyed it. I guessed no 9s has finite sum by thinking about binary numbers with no 0s. that's 1/1 + 1/11 + 1/111 + 1/1111 + .... < 1 + 1/10 + 1/100 + 1/1000 + ... = 10 (=2).
    I most enjoyed the Leaning Tower of Liire, because they didn't teach it in my calculus course and it's simple and beautiful.
    Thank you
    Bar

    • @nicolascalandruccio6069
      @nicolascalandruccio6069 3 роки тому

      I thought the same kind of thing. What happens with the values if we change the basis. Is it possible to find an expression to link the values?

  • @jindagi_ka_safar
    @jindagi_ka_safar 3 роки тому

    I explode into laughter several times, watching your videos, you have a superb sense of humor.

  • @aleksitjvladica.
    @aleksitjvladica. 3 роки тому

    I love you! Always smiling, wonderful and clean animation and explanation. Such composition inspires a person to work on mathematics immediately. Much of the work and love you put there. And My new co-worker looks so much like you. Also, balanced warm-up shocked Me, I am so excited to think about it and to continue the video.

  • @EssexJames65
    @EssexJames65 3 роки тому +8

    Most memorable: Kempner's Proof. Just pipping the 100 zeros weirdness.