Тёмный

The hardest "What comes next?" (Euler's pentagonal formula) 

Mathologer
Подписаться 930 тыс.
Просмотров 748 тыс.
50% 1

Looks like I just cannot do short videos anymore. Another long one :) In fact, a new record in terms of the slideshow: 547 slides!
This video is about one or my all-time favourite theorems in math(s): Euler's amazing pentagonal number theorem, it's unexpected connection to a prime number detector, the crazy infinite refinement of the Fibonacci growth rule into a growth rule for the partition numbers, etc. All math(s) mega star material, featuring guest appearances by Ramanujan, Hardy and Rademacher, and the "first substantial" American theorem by Fabian Franklin.
00:00 Intro
02:39 Chapter 1: Warmup
05:29 Chapter 2: Partition numbers can be deceiving
16:19 Chapter 3: Euler's twisted machine
20:19 Chapter 4: Triangular, square and pentagonal numbers
24:35 Chapter 5: The Ramanujan-Hardy-Rademacher formula
29:27 Chapter 6: Euler's pentagonal number theorem (proof part 1)
42:00 Chapter 7: Euler's machine (proof part 2)
50:00 Credits
Here are some links and other references if you interested in digging deeper.
This is the paper by Bjorn Poonen and Michael Rubenstein about the 1 2 4 8 16 30 sequence: www-math.mit.edu/~poonen/paper...
The nicest introduction to integer partitions I know of is this book by George E. Andrews and Kimmo Eriksson - Integer Partitions (2004, Cambridge University Press) The generating function free visual proofs in the last two chapters of this vides were inspired by the chapter on the pentagonal number theorem in this book and the set of exercises following it.
Some very nice online write-ups featuring the usual generating function magic:
Dick Koch (uni Oregon) tinyurl.com/yxe3nch3
James Tanton (MAA) tinyurl.com/y5xj2dmb
A timeline of Euler's discovery of all the maths that I touch upon in this video:
imgur.com/a/Ko3mnDi
Check out the translation of one of Euler's papers (about the "modified" machine):
tinyurl.com/y5wlmtgb
Euler's paper talks about the "modified machine" as does Tanton in the last part of his write-up.
Another nice insight about the tweaked machine: a positive integer is called “perfect” if all its factors sum except for the largest factor sum to the number (6, 28, 496, ...). This means that we can also use the tweaked machine as a perfect number detector :)
Enjoy!
Burkard
Today's bug report:
I got the formula for the number of regions slightly wrong in the video. It needs to be adjusted by +n. In their paper Poonen and Rubenstein count the number of regions that a regular n-gon is divided into by their diagonals. So this formula misses out on the n regions that have a circle segment as one of their boundaries.
The two pieces of music that I've used in this video are 'Tis the season and First time experience by Nate Blaze, both from the free RU-vid audio library.
As I said in the video, today's t-shirt is brand new. I put it in the t-shirt shop. Also happy for you to print your own if that works out cheaper for you: imgur.com/a/ry6dwJy
All the best,
burkard
Two ways to support Mathologer
Mathologer Patreon: / mathologer
Mathologer PayPal: paypal.me/mathologer
(see the Patreon page for details)

Опубликовано:

 

1 июн 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 2,4 тыс.   
@Tubluer
@Tubluer 3 года назад
Mathologer: What does a partition have to do with a pentagon (aside from beginning with "p"). Me: *blinding flash of insight* They both end in "n"!!!
@Mathologer
@Mathologer 3 года назад
:)
@vitriolicAmaranth
@vitriolicAmaranth 3 года назад
Mind absolutely blown
@debblez
@debblez 3 года назад
They are both p _ _ t ____ on
@finxy3500
@finxy3500 3 года назад
@@debblez not quite
@ciarfah
@ciarfah 3 года назад
@@finxy3500 they mean p followed by 2 letters then t followed any number of letters then on
@numcrun
@numcrun 3 года назад
"We do real math, which means we prove things" *squashes pentagon into a house shape"
@sodiboo
@sodiboo 3 года назад
29:51 *squashes house into a cube and a half* (along the diagonal)
@mattbox87
@mattbox87 3 года назад
Yeah this got me for a bit, but: The nth triangular number is (n(n+1))/2 and the nth pentagonal number is (3n^2 - n)/2. This can be written as (3/2)n^2 - n/2 -> n^2 + n^2/2 - n/2 -> n^2 + (n^2 - n)/2 -> n^2 + (n(n-1))/2 Let m = n-1 so we have n^2 + (m(m+1))/2 So the nth pentagonal number is the nth square number plus the (n-1)th triangular number.
@captainchaos3667
@captainchaos3667 3 года назад
The geometry doesn't change though. It still has five sides and the same number of dots and you can see visually that the number of points increases in the same way when lengthening the sides of the pentagon.
@boxfox2945
@boxfox2945 2 года назад
Odd man out, syndrome.
@DendrocnideMoroides
@DendrocnideMoroides Год назад
@@sodiboo it is a square not a cube
@BillGreenAZ
@BillGreenAZ Год назад
I like how this guy laughs at his own presentation. It tells me he is really enjoying himself and I like to see people who are.
@nurdyguy
@nurdyguy 3 года назад
Best part of this was realizing how I can use the logic to solve 3 of my yet unsolved ProjectEuler problems! Awesome video!
@alexandertownsend3291
@alexandertownsend3291 2 года назад
Project Euler? What is that?
@decks4818
@decks4818 2 года назад
It's a very popular (and difficult) library/ competitive coding platform. I haven't got to the point that this is useful yet, but some problems are just crazy.
@gardenmenuuu
@gardenmenuuu 3 года назад
3 b 1b and mathologer are the gifts of gods to all the math lovers around the globe
@joyboricua3721
@joyboricua3721 3 года назад
Don't forget Matt Parker & James Grime.
@sergiokorochinsky49
@sergiokorochinsky49 3 года назад
@@joyboricua3721 you are confusing quantity with quality.
@timbeaton5045
@timbeaton5045 3 года назад
Even as a person with low mathematical knowledge (i.e most of it forgotten a long time ago!) they are fascinating to watch, and they both are able to kick my poor old brain into some semblance of action.
@hybmnzz2658
@hybmnzz2658 3 года назад
@@sergiokorochinsky49 no they are quality just to a simpler audience.
@dexmadden1201
@dexmadden1201 3 года назад
agreed, and they both translate the "chalkdust magic" of proofs well to the modern media, smooth yet thorough animated steps
@TheOneSevenNine
@TheOneSevenNine 3 года назад
mathologer, coloring numbers green and orange: "and now the pattern should be really obvious to you!" me, extraordinarily colorblind: oh my god am I bad at math what's going on
@durian7551
@durian7551 3 года назад
"What comes next?" Me: Almighty Lagrange's interpolation
@Mathologer
@Mathologer 3 года назад
:)
@user-md5nv6pg3y
@user-md5nv6pg3y 3 года назад
For the first time I see a person with a Klein bottle on their profile picture
@Fire_Axus
@Fire_Axus 24 дня назад
real
@davidmeijer1645
@davidmeijer1645 3 года назад
Pure magic Burkhard. I went though this video in detail with my gr. 9 students this week. Curriculum be damned..! It’s so fun to see them light up when understanding. I hope they appreciate that very intense math concepts are made accessible to math neophytes thanks to your phenomenal animations and eloquence. Very Much appreciated by me at the very least.
@chriscox8237
@chriscox8237 3 года назад
As a 50 year old man, I may have done better in maths if I had teachers like you! Thank you for your simplification of complex maths. :-)
@Mathologer
@Mathologer 3 года назад
You are welcome :)
@jamesmyers5136
@jamesmyers5136 2 года назад
aint that the truth brother.....
@MrADRyo
@MrADRyo Год назад
00ll
@leif1075
@leif1075 Год назад
@@Mathologer isn't it somewhat surprising the partition formula is complicated..since they are all integers right, you would think it would be easy or o ly invovle integers roght..thst it logically valid..
@PC_Simo
@PC_Simo 7 месяцев назад
@@leif1075 That’s an even bigger curveball, than the general formula for factorials. Because, here, at least, you’re only dealing with natural numbers. With the factorial-thing, you already go beyond the intended range, if you include negative numbers; and, as you might expect; if you actually look at the graph of the function for any real number, it’s complete pizdec 🤯. It really looks like some sort of an overflow-bug you’d trigger by going beyond the intended range: It’s a complete mess.
@faastex
@faastex 3 года назад
This is literally magic, the video kept getting more and more interesting (and complicated) and I more and more amazed
@otakuribo
@otakuribo 3 года назад
*sees that your icon is a deviantart emoticon * :iconexcitedplz:
@average-osrs-enjoyer
@average-osrs-enjoyer 3 года назад
D:
@Someone-cr8cj
@Someone-cr8cj 3 года назад
D colon
@redpepper74
@redpepper74 3 года назад
@@Someone-cr8cj ooh, rate my colon
@leomoran142
@leomoran142 3 года назад
That would explain why, when I'm guessing he's saying "mathematician", I keep hearing "mathemagician"
@theadoenixes3611
@theadoenixes3611 3 года назад
Ramanujan and Euler is everywhere ... And I love it ... ❤️
@lapk78
@lapk78 3 года назад
YES! The guy with the towel hat!! I've always always wondered about this image of Euler, and what he was wearing on top of his head! Lol!!
@tinkmarshino
@tinkmarshino 3 года назад
I am so blown away.. I was never a big math guy though I did use a lot of geometry and right angle trig in my construction life.. But now here in my old age (68) I see the amazement of math laid out before me. The wonder that a few of my fiends had talked about but I could not see.. Oh to take this knowledge back 50 years and do it all over again... What fun it would have been.. Thank you my friend for giving me a taste of the fun and joy my old friends had in their day.. They are gone now but I remember.. thank you!
@reeson5727
@reeson5727 3 года назад
Wanna be you once I'm old
@tinkmarshino
@tinkmarshino 3 года назад
@@reeson5727 no worries there.. you will be... given time and you live that long.. who know the way this world turns..
@reeson5727
@reeson5727 3 года назад
@@tinkmarshino very wise
@aarav7851
@aarav7851 2 года назад
@@tinkmarshino your words are too hopeful, now it seems hard for human race to even get past 2050
@tinkmarshino
@tinkmarshino 2 года назад
@@aarav7851 We have to many distractions my friend.. A simple life is an honest life...
@RussellSubedi
@RussellSubedi 3 года назад
"I made it to the very end."
@M-F-H
@M-F-H 3 года назад
But did you answer the question partitionNumber(666) = ?
@RussellSubedi
@RussellSubedi 3 года назад
@@M-F-H No.
@M-F-H
@M-F-H 3 года назад
@Mason Leo No but as mathematicians we should be somewhat precise on the meaning of "making it"... ;-) BTW did you also find that the digit sum of that partition number is a Mersenne prime?
@llamamusicchannel7688
@llamamusicchannel7688 3 года назад
@@M-F-H nerd
@themichaelconnor42
@themichaelconnor42 3 года назад
"Me too."
@David92031
@David92031 3 года назад
I like when this guy laughs, he sounds like he really loves what he does and gives good vibes
@Imselllikefish
@Imselllikefish Год назад
If there is ever a mathematical hall of fame; I sure hope you and your entire shirt collection is inducted. Thank you for your contribution to math, and sharing the knowledge!
@PlayTheMind
@PlayTheMind 3 года назад
The hardest "What comes next?" is the year 2020
@Mathologer
@Mathologer 3 года назад
:)
@Alamin-ge6ck
@Alamin-ge6ck 3 года назад
@@Mathologer please make a video about group theory.
@msclrhd
@msclrhd 3 года назад
2021
@rogerkearns8094
@rogerkearns8094 3 года назад
@@msclrhd Touchingly optimistic. ;)
@tobiaswilhelmi4819
@tobiaswilhelmi4819 3 года назад
I think we can all agree that if Trump is re-elected we can close the case and end this year instantly and just make 2021 longer.
@dhoyt902
@dhoyt902 3 года назад
Dear Mathologer, Seeing your video this morning has brightened my day so incredibly much. Your videos allow me to transcend my body(have pain) and live in a world of pure mathematics. Please never stop. - Your fan and student.
@joemichelson9579
@joemichelson9579 3 года назад
Love the video, Partition numbers are what got me so interested in OEIS. I was hoping you were going to go into A008284 which is kind of a transformation of Pascal's triangle but spits out the partition numbers.
@Tyrnn
@Tyrnn 3 года назад
I made it to the very end. Can't say I fully understand Euler's Pentagonal Formula, but I'm happy to know it exists and that you have visually given me enough to feel I've discovered a new facet of the universe today. Thank you!
@otakuribo
@otakuribo 3 года назад
Ramanujan may have been The Man Who Knew Infinity, but Mathologer is the Man Who Made Infinity Long Videos About Them :)
@Mathologer
@Mathologer 3 года назад
:)
@MarceloGondaStangler
@MarceloGondaStangler 3 года назад
Haushaushahs
@mohammadazad8350
@mohammadazad8350 3 года назад
you should have said : Mathologer is the Man who made Math Infinitely fun
@Fire_Axus
@Fire_Axus 24 дня назад
no
@nightingale2628
@nightingale2628 3 года назад
What a mathematician! Whatever problem you approach on math, Euler has done something there.
@unvergebeneid
@unvergebeneid 3 года назад
Indeed. For Einstein we at least have pieces of his brain in formaldehyde. I wish Euler had lost a toe in a glacier or something. We need to clone that guy somehow!
@LeventK
@LeventK 3 года назад
Are you here?
@manuellafond1365
@manuellafond1365 3 года назад
I love you Mathologer. Really. Few other channels dare to dive into such a level of details. And even when it gets too complicated for a video, we at least get the main intuition. Love it!
@SeyseDK
@SeyseDK 3 года назад
i always wanted to dig into partitions but never got around to it. Thank you for outlying it and making it so easy to follow! Euler used to be my favourite as well, that dude was amazing. Good job Mathologer, keep it up
@wibble132
@wibble132 3 года назад
16:08 - Challenge Accepted: Firstly, by 666th partition number, do you count the first 1 (from 0) as the first? If so: 11393868451739000294452939 If 666th is the one associated with 666 then: 11956824258286445517629485
@thelatestartosrs
@thelatestartosrs 3 года назад
Everyone computed the wrong series, we have the same solution
@nicholasbohlsen8442
@nicholasbohlsen8442 3 года назад
confirmed, I got the same thing
@ehsan_kia
@ehsan_kia 3 года назад
@@nicholasbohlsen8442 Yep I got 11393868451739000294452939, here's my code import itertools def generate_indices(n): x = 1 counters = zip(itertools.count(1), itertools.count(3, 2)) iterator = itertools.chain.from_iterable(counters) while x
@jetison333
@jetison333 3 года назад
Got the same thing, but my code was a lot longer than @Ehsan Kia lol. pastebin.com/yQnHrckg
@greatgamegal
@greatgamegal 3 года назад
Wait, were we meant to be computing the easier series to compute?
@Supremebubble
@Supremebubble 3 года назад
I just watched the first 5 minutes and have to really compliment the way you present you material. It's inspiring how you structure it in a way that makes it engaging. The "tricking" shows how important it is to really check what's going and that's what math is all about :)
@Mathologer
@Mathologer 3 года назад
:)
@leylag1466
@leylag1466 2 года назад
Interesting story. I have severe anxiety and ones I get an anxiety attack there is no way for me to take my mind off it. Until I discovered math. When I feel my anxiety sneaking up on me I watch math problems. Hours later I realize not only have I forgotten about my anxiety but I am also getting better in math and even enjoying it. Weird how my brain works.
@chayarubin7991
@chayarubin7991 Год назад
i suffer horribly as well and i love that u shared that:) gives me something to try next time....tomorrow:/ i seem to get frustrated tho if i cannot understand formulas, but ill try it out
@thrushenmari8601
@thrushenmari8601 Год назад
I am very similar to you Leyla. Math calms one down, its the search for the truth and your own unique approach to solve a problem
@zakariah_altibi
@zakariah_altibi 2 месяца назад
Your channel is life changing, no other way to put it, how come no one in the education system explained these formula like you do
@whycantiremainanonymous8091
@whycantiremainanonymous8091 3 года назад
Those "complete the sequence" questions are my pet peave. The thing is, *any* number can continue *any* sequence, and there will be a formula (a polynomial; actually, infinitely many polynomials) to produce the resulting new sequence. That type of question is routinely used in school tests and intelligence tests, but what it really tests for is a kind of learned bias toward small integers.
@tetraedri_1834
@tetraedri_1834 3 года назад
Well, there is a sense in which "complete the sequence" questions are somewhat well defined, although it makes checking your solution VERY difficult. We may require you to find a sequence with the smallest possible Kolmogorov complexity which starts by the numbers given to you. To those not familiar, Kolmogorov complexity of a sequence is the length of shortest algorithm (in terms of length of its description in a given formal language) generating it, so requiring minimal Kolmogorov complexity is analogous to giving algorithmically most simple sequence. EDIT: Actually, maybe better requirement would be to give a sequence whose description in a given formal language is the shortest. The description should specify a unique sequence, but doesn't need to tell how to actually compute the sequence.
@whycantiremainanonymous8091
@whycantiremainanonymous8091 3 года назад
@@tetraedri_1834 Possible (though could depend on the specifics of the language used; also, if the sequence gives the values of a polynomial function f(x), so that the nth item in the sequence equals f(n), would the Kolmogorov complexity increase with the degree of the polynomial, or would any polynomial count as one line of code?) But now imagine the instruction "Complete the following sequence so as to create the sequence with the smallest possible Kolmogorov complexity" in an elementery school math test...
@tetraedri_1834
@tetraedri_1834 3 года назад
@@whycantiremainanonymous8091 It really depends of the polynomial how complex it is to describe. If e.g. coefficients of the polynomial follow some compressible pattern, then Kolmogorov complexity may very well be much smaller than the degree of polynomial (as an example, think of a polynomial of degree 100^100 with coefficient of every term being 1). That being said, I think for any infinite sequence with finite description and any formal language there exists N such that given first N elements of the sequence, that sequence has smallest Kolmogorov complexity. In particular, polynomial isn't the shortest description for such N, unless the sequence originated from a polynomial in the first place. If you are interested in my reasoning, I can give it to you ;). And yeah, in elementary school math test this formulation wouldn't be a good idea :D. But in high school or uni, it would be quite fun idea to have some sequence, and make a competition who can come up with a shortest description of said sequence.
@axetroll
@axetroll 3 года назад
@mister kluge they are very stupid. Imagine what I'm thinking
@Idran
@Idran 3 года назад
Characterizing it in Kolmogorov complexity like the other replier did is...okay, but I think it's better to keep in mind that these questions are presumably asked _in good faith_ rather than with a goal of tricking the person being asked. Which means that it's more than likely that they're going to be simple in a way that isn't formal per se, but that they're going to be something the asker expects you to figure out. It's like those murder mysteries that are like "the person was found dead and there was a puddle of water in the room; how did they die?" Formalizing the structure is missing the mark when you're talking about riddles or brain teasers or tests; it seems like approaching it _qualitatively_ from the perspective that _it's meant to be solvable without much difficulty_ is a better way to go. Though on the same hand, if someone does answer it with an unexpected solution and can justify it, that should also be accepted as an answer by whoever poses the brain teaser or gives the test or whatever. :P
@ABruckner8
@ABruckner8 3 года назад
I made it to the very end! And I actually followed everything you presented, cuz by the time you got to the p(n)(O-E) setup, I bursted aloud: "Some are zero, and the others will be pentagonal exceptions alternating between 1 and -1!!!" I felt sheepishly proud, but really, it was only obvious because the previous 47 minutes were presented so masterfully by you!
@Mathologer
@Mathologer 3 года назад
That's great :)
@LetsLearnNemo
@LetsLearnNemo 3 года назад
Excellent exploration of an extremely fascinating number sequence (or rather sequence of sequences). A pleasure to watch as always!
@theseal126
@theseal126 3 года назад
probably the best and most mindblowing maths video ive ever watched Really excited to try to read about it on my own thx for the links in the description :D
@Sam_on_YouTube
@Sam_on_YouTube 3 года назад
I said the first pattern should continue with 31. I didn't expect you to add the "evenly spaced" criterion.
@Mathologer
@Mathologer 3 года назад
Yes, thought I had to try to trick all the people who are familiar with the 31 as the "answer" :)
@dijkztrakuzunoha3239
@dijkztrakuzunoha3239 3 года назад
Can you explain why it is 30?
@Sam_on_YouTube
@Sam_on_YouTube 3 года назад
@@dijkztrakuzunoha3239 When the points are evenly spaced, you don't get that 31st space in the middle.
@iamdigory
@iamdigory 3 года назад
Thank you, I knew that seemed off but I didn't know why
@normanstevens4924
@normanstevens4924 2 месяца назад
I was waiting for this to be mentioned. "According to the Strong Law of Small Numbers: 'There aren't enough small numbers to meet the many demands made of them'. Small examples tend to possess many elegant patterns that do not persist once they grow in size."
@landsgevaer
@landsgevaer 3 года назад
I made it to the very end... ...and I liked it. I know a decent bit of recreational math and most Mathologer videos contain "something old, something new, something borrowed, something blue". But this one - apart from the concept of the partition numbers - open a new part of the math world. Thanks Burkard for coming up with these amazing and very followable adventures! 👍
@Mathologer
@Mathologer 3 года назад
Mission accomplished as far as you are concerned then :)
@AttilaAsztalos
@AttilaAsztalos 3 года назад
I made it to the very end... ;) and thanks for always making me smile whenever I see one of your videos pop up in my subscriptions!
@RFVisionary
@RFVisionary 2 года назад
❤️ I admire your "ease" of presentation on all videos and topics (and the great visualizations)...
@jagatiello6900
@jagatiello6900 3 года назад
«Whoever has trouble with this pattern should change channels now»...hahaha. Mathologer, you always manage to make Maths fun and funny at the same time
@gordonhayes8138
@gordonhayes8138 2 года назад
Was that the 1,2,3,4,5,.... pattern? Yeah, what the hell was that?
@drpeyam
@drpeyam 3 года назад
Wow, I’m not even a number theory fan in general, but this was incredible! Thank you so much for this video, really appreciate it!
@Mathologer
@Mathologer 3 года назад
Greetings fellow math(s) RU-vidr :)
@koenth2359
@koenth2359 3 года назад
Dr πM !!!
@ingridfelicia7220
@ingridfelicia7220 3 года назад
very nice
@jamesgoacher1606
@jamesgoacher1606 2 года назад
I am enjoying this very much - since you ask. I have needed to rewind very often and sometimes play at half speed and am bewildered for most of the time but eventually it comes across. I could never get on with Real Math, still don't in very many ways but your methods are enjoyable and interesting. Thank you.
@evank3718
@evank3718 3 года назад
You’re so much fun and it’s so fun to see you have fun with your presentations!
@JaquesCastello
@JaquesCastello 3 года назад
11:54 “It’s always 2 pluses, followed by 2 minuses, followed by 2 pluses and so on” How do you just expect me to know where this sequence is going? Hahaha
@dlevi67
@dlevi67 3 года назад
Grandi says "to unity"
@jamesgarvey3895
@jamesgarvey3895 3 года назад
I had this issue too. he actually talks about it directly, but for some reason I found it really missible on the first watch.
@mohammadazad8350
@mohammadazad8350 3 года назад
he cannot give all the details of such a devilish puzzle so he just says how it turns out to be!
@maxnotwell7853
@maxnotwell7853 3 года назад
Haha, was just wondering why you didn't cover partitions and then seen this. Very interesting and an intriguing topic with the contributions of several important people like Euler and of course Ramanujan .
@albinobadger8535
@albinobadger8535 11 месяцев назад
To the very end. Thank you for the many gifts you have given me and many others in your videos. You see the intuition and are able to help others like me see. Thank You
@WadelDee
@WadelDee 3 года назад
25:08 "Where does he enter the picture?" Right there, on the left!
@juttagut3695
@juttagut3695 3 года назад
The pentagonal numbers for negative n are also the numbers of cards you need to build a n-story house of cards.
@jadegrace1312
@jadegrace1312 3 года назад
That makes sense, because each story would have 3 times the number of the story cards, except the bottom one wouldn't have ones of the bottom, so it would be (sum [k=1,n] 3k)-n=3/2*n(n+1)-n=n(3/2*n+1/2)=1/2*n(3n+1), and then if you set n=-S, you get 1/2*(-S)(3(-S)-1)=1/2*S(3S-1). I can't think of an actual "reason" why they would be equal.
@koraptd6085
@koraptd6085 3 года назад
I just have watched 50 minutes straight of man taking about various partitions in math. That has to be magic of some sort.
@Mathologer
@Mathologer 3 года назад
Mathemagic :)
@zgazdag1
@zgazdag1 10 месяцев назад
Absolutely marvellest mathologer video... I am returning to watch this from time to time and always find myself lerning something more...
@coronerl
@coronerl Год назад
I made it to the very end ! I'm so hooked to your channel and 3Blue1Brown, then there is that Matefacil one in Spanish with tons of exercises detailed as never seen before, I think that the three channels complement each other very well. Who would say 20 years ago that math was going to be my Hobby. Thanks a lot.
@Fircasice
@Fircasice 3 года назад
This video is a prime example of how maths is like a never ending rabbit hole that you can keep going down, never running out of new things to discover. Marvelous. Also I made it to the very end.
@yf-n7710
@yf-n7710 3 года назад
13:46 I was so annoyed that the pattern was that simple. I had worked out a completely different, more complicated pattern. The sums of the differences were always factors of the double position number they surrounded. (e.g. the position numbers surrounding 2 were 1 and 3, which sum to 4, which is double the original position number). Furthermore, the number needed to multiply the sum to get to double the position number went 1, 1, 2, 2, 3, 3, 4, 4, 5, 5, etc. It was a pattern, just a way more complicated one. Now I'm going to have to try to prove that they are equivalent patterns, which may be quite difficult.
@talastra
@talastra 3 года назад
How it going?
@mgainsbury
@mgainsbury 2 года назад
Found it ?
@dpk6756
@dpk6756 2 года назад
@@mgainsbury I found a recursion relation to calculate the total partitions using any function for example the amount of partitions of a number using only odd numbers or prime numbers,etc. I have also found a recursion relation to find the total number partitions of a given length using a given function. So for example the total partitions of length 2 using odd numbers. Once I'm finished exploiting all my results for what their worth I will try to publish a paper on it. I'm not the original poster but since you have an interest in partition numbers I think you may find this interesting. Sorry for not providing specific examples but I would rather not have my work being potentially stolen and published by someone else. Once I have finished working with this incredible function and its cousin I will update this comment with links to the paper(if it gets published) and an explanation of the results. I hope I don't sound like a loon or attention seeker lol, thanks for reading. Oh and 1 more thing I think i may be able to use this idea to solve the Goldbach conjecture.
@lookupverazhou8599
@lookupverazhou8599 2 года назад
Doing something in a more complicated way is technically the only way progress is ever achieved. Don't feel bad. Embrace the thought process more than the result itself.
@lnofzero
@lnofzero 3 года назад
THIS is what I love about mathematics. The puzzles may seem impossible, but a shift in point of view brings everything into focus... or perhaps bring much (but mot everything) into focus. There is beauty in it. It is beguiling and can lead a person on as far as they are willing to follow.
@wafelsen
@wafelsen 3 года назад
I am so pleased I could follow the maths all the way through. Usually I am very lost and give up about halfway into increasingly complex Margologer videos.
@nathanisbored
@nathanisbored 3 года назад
just wanna compliment the pacing of this video. first time i didnt have to pause/rewind to absorb, except when you prompted me to for the last chapter, which was when i was planning to take a break anyway lol
@deepanshu_choudhary_
@deepanshu_choudhary_ 3 года назад
Everyone: maths is boring :( Mathsloger : let me take care of it. ;) Btw your videos are very interesting and full of knowledge...... Love from india 🇮🇳❤❤
@em_zon2643
@em_zon2643 2 года назад
As I watch your videos I feel more and more amazed! I already thought that maths is beautiful..., but now I am sure of it. Thank you!
@fawzibriedj4441
@fawzibriedj4441 3 года назад
I finished the video! The reasoning is so beautiful! Thank you for that :) Can't wait your video on Galois Theory :D
@shyrealist
@shyrealist 3 года назад
I couldn't concentrate after chapter 3 because all I could think about was that amazing modified machine!
@Bigandrewm
@Bigandrewm 3 года назад
I enjoy partitions as one of the many studies in mathematics that can get mind-numbingly complicated, but starts from a place an elementary school student can understand. Amazing.
@kktech04
@kktech04 2 года назад
Awesome content as always. He is as good communicator to Mathematics as Richard Feynman was to Physics. I've just applied for admission to a master's in Mathematics, in good part inspired by this channel.
@ManavMSanger
@ManavMSanger 2 года назад
This is the first video I am seeing on this channel. I am really passionate about coding(c++) and maths and I like to combine the two to get some not so useful results, but its fun. This is like a dream come true channel for me. Thank you mr. Mathologer.
@davidgibson3962
@davidgibson3962 2 года назад
Greetings I am King David 13 =4 (3/5/1967) is when I resurrected in Babylon after fighting the 6 day war in Jerusalem (6/5-6/11,1967) I have just come to the end of another 6 day war (54years)🤔 if you truly have the passion for coding I can assist you in a project that will change your life forever. I would like to bless you with the blueprint of the spirit/ DNA codes of the Royal family of King David I am... 🙏🏿💥
@mathyland4632
@mathyland4632 3 года назад
I had somehow never heard of partitions before the other day when I watched “The Man Who Knew Infinity.” Now it’s seems like I’m seeing them everywhere! This video’s release had good timing!
@peon17
@peon17 3 года назад
I made it to the very end. Partitions are amazing. My first introduction to them was through Ferrer diagrams and then later again with generating functions. It was nice to see yet another connection with pentagonal numbers. That one was new to me.
@miguelvillalobos6973
@miguelvillalobos6973 3 года назад
Dear Mathologer all cuadratic numbers are the sum of Two triangular numbers, for example: 4=3+1, 9=3+6, 16=6+10, in general C(n)=T(n-1) + T(n) AND we may to Write the penthagonal numbers how the sum: P(n) = 2 T(n-1) + T(n). So 35 = 2(10)+15...etc.
@Nodeoergosum
@Nodeoergosum 2 года назад
This gave me goosebumps and a dizzy head - but I made it to the end - thank you for opening this up for us.
@sayantansantra2332
@sayantansantra2332 3 года назад
27:05 When Mathologer became a physicist.
@rupam6645
@rupam6645 3 года назад
Teacher math test will be easy. Math test: 2:14
@noahtaul
@noahtaul 3 года назад
For anyone who’s interested, the Delta_12(n) is just 0 if n is not divisible by 12, and 1 if it is, and similarly for the others. So this is really just a bunch of different polynomials based on what n is mod 2520. It looks scary, but it can be conquered!
@enderyu
@enderyu 3 года назад
Math test: 26:13
@pierrecurie
@pierrecurie 3 года назад
@@noahtaul I was expecting it to be a polynomial, but wasn't expecting the polynomial to depend on mod 2520...
@SherlockSage
@SherlockSage 2 года назад
I made it to the very end! I'm glad I did and learned lots and lots and lots of interesting number theory. Thanks Mathologer team!
@ozzyeyre
@ozzyeyre 3 месяца назад
I made it to the very end. I had my last formal maths lesson around 50 years ago - all I can say is if maths teachers had been as engaging as you in the 60s and 70s, lessons would have been more understandable and much more enjoyable. With your help, I'm beginning to plug some of the gaping chasms in my mathematical knowledge. Thank you.
@xenon5066
@xenon5066 3 года назад
"Where does Ramanujan fit into the picture?" Everywhere...
@angelowentzler9961
@angelowentzler9961 3 года назад
"I made it to the very end and this is really it for today until next time"
@grumpyparsnip
@grumpyparsnip 3 года назад
Lovely mathematics being expounded here! This is perhaps my favorite Mathologer video yet.
@victoryforvictims3522
@victoryforvictims3522 2 года назад
I made it to the very end. Oh it would have been so much fun to be Euler working out these patterns. The computer loves the patterns even without putting it to formula or proving it, so much of the extra heavy lifting is necessarily satisfying only to mathematicians and hardcore mental gymnasts such as Ramanujan. It is such hard work they went through to prove their observations. Thank you for retelling and showing it.
@robertbetz8461
@robertbetz8461 3 года назад
This has blown my mind. This is now my favorite Mathologer video, as I can actually follow along with it to the end.
@johnchessant3012
@johnchessant3012 3 года назад
This is an awesome video! I didn't know this version of the pentagonal number theorem, and it's a lot more intuitive than multiplying out lots of generating functions. Really enjoyed every minute of it.
@iuhh
@iuhh 2 года назад
I made it to the very end! After woke up from a deep slumber for the 7th time. The formula for the partition number serie at the halfway mark is the killer. I lasted no more than a minute after seeing that. Had to rewind and start again, and then the next time I lasted 2 minutes past it. Truely magical.
@invisibules
@invisibules 2 года назад
Brilliant video - best @mathologer one I've seen to date!
@vs-cw1wc
@vs-cw1wc 3 года назад
I made it to the very end! Love the visual proof as always. My first guess at the second "what comes next" is 1, 3, 8, 21, 55, 144, just the Fib numbers.
@publiconions6313
@publiconions6313 2 года назад
Oh yah.. every other Fib!.. heh, I guessed 55 as well -- but way less elegantly than yours. I was thinking 2[p(n)+p(n-1)]-[p(n-2)] ... double the sum of the last 2 numbers and subtract the 3rd last number. Works out to the same thing -- but honestly I cant figure out *why* it's the same... I gotta ponder that for a bit
@douglasrodenbach8000
@douglasrodenbach8000 Год назад
I call em Pingala numbers
@WaltherSolis
@WaltherSolis 3 года назад
Excelent video! For the last problem (here I call it PPS partition product sum) you can show that the x number in the sequence is: PPS(x)=1*PPS(x-1)+2*PPS(x-2)+...+(x-1)*PPS(1)+x*PPS(0) We take that PPS(0)=1 to make the formula simetric instead of adding a fixed x So the sequence is 1, 3, 8, 21, 55, 144, 377, 987
@lexyeevee
@lexyeevee 3 года назад
in other words, PPS(n) = 3 PPS(n - 1) - PPS(n - 2), or of course, every other element from the fibonacci series. so looks weren't deceiving after all?
@WaltherSolis
@WaltherSolis 3 года назад
@@lexyeevee yeah you are right! I made the recursive formula by looking that for a number, lets call it "N" a partition can start with a number between a "N" and 1 for every starting number k you can see that the follow up numbers in the partitions are the same as the partitions in number N-k so they add up k*PPS(N-k). This only works because we are saying that 3=1+2 is a diferent partition than 3=2+1 (as we see at 49:42 ) .
@nichonifroa1
@nichonifroa1 3 года назад
Thanks a lot for this video. I don't recall another Mathologer video that so baffled me in its underlying relations.
@rockstarplayer7323
@rockstarplayer7323 3 года назад
Thank you so much for sharing the knowledge & explaining it with everyone.
@donutman4020
@donutman4020 3 года назад
that machine in chapter 3 can also find perfects (if black=red, then red=perfect). this proves that there are no perfect primes. thank you for coming to my ted talk
@mathranger1013
@mathranger1013 3 года назад
Taking a shot at the "Multiplication Partition" problem at the end... Empirically, the numbers seem to follow the pattern F(2n), where F(n) is the Fibonacci function. So the pattern is every-other Fibonacci number, henceforth called the "Skiponacci sequence". I will prove the hypothesis that the sum of products generated from partitions of the number n follows the Skiponacci sequence. Here, S(n) is the Skiponacci function, and P(n) is the partition-product-sum function. Firstly, analizing the stacks of equations, we can utilize the "recursion" mentioned early in the video. Looking at the example given for n=4, we see that the products are: 4 3 * 1 1 * 3 2 * 2 2 * 1 * 1 1 * 2 * 1 1 * 1 * 2 1 * 1 * 1 * 1 We focus on the products ending with "1", and removing the "* 1" we see: 3 2 * 1 1 * 2 1 * 1 * 1 Oh look, its the products for n=3 ! Looking at the products ending with "2" and removing it: 2 1 * 1 Its the products for n=2. The pattern is becoming clearer. Looking at the remaining products: 4 1 * 3 The "1 * 3" clearly follows the pattern, being 3 times the n=1 product. The 4 sticks out, but for now its easy to write it off as just "n". The final formula for this pattern is: P(n) = P(n-1) + 2P(n-2) + ... + (n-1)P(1) + n The reason for this formula makes sense. The "recursion" is because the partition products that are multiplied by 2 are made from partitions that are 2 less than n. Hence the "+2" in the partition list becoming a "*2", giving us the 2*P(n-2) part of the equation. Now how does this fit into the Skiponacci sequence? It becomes clearer if we write the terms out into a pyramid. For instance, for n=5, the answer is the sum of these numbers. Each row has n copies of P(n-1), except the last row, which is written as n "1"s, for the "+n" term. 21 8 8 3 3 3 1 1 1 1 1 1 1 1 1 To aid in making sense of this, here is the pyramid for n=4: 8 3 3 1 1 1 1 1 1 1 Notice the recursion? The n=5 pyramid contains the n=4, just with the extra diagonal. This makes sense, since every time n increases by 1, each P(n-k) factor's coefficient increases by 1 (and the "+n" term increases by 1, naturally). All this means that this equation holds: P(n) - P(n-1) = P(n-1) + P(n-2) + ... + P(1) + 1. This gives us a neater equation for P(n) if you add P(n-1) to both sides, but for now lets test our hypothesis and replace P(n) with S(n). S(n) - S(n-1) = S(n-1) + S(n-2) + ... + S(1) + 1 The left side is easy to simplify, because S(n) = F(2n) S(n) - S(n-1) F(2n) - F(2n-2) F(2n-1) For the right side, we can recursively replace the two right-most elements with another fibonacci number, until we are left with F(2n-1) S(n-1) + S(n-2) + ... + S(1) + 1 F(2n-2) + F(2n-4) + ... + F(4) + F(2) + F(1) F(2n-2) + F(2n-4) + ... + F(6) + F(4) + F(3) F(2n-2) + F(2n-4) + ... + F(8) + F(6) + F(5) ... F(2n-2) + F(2n-4) + F(2n-5) F(2n-2) + F(2n-3) F(2n-1) This leaves us with this equation, which is obviously true: F(2n-1) = F(2n-1) Therefore, because we were able to replace P(n) with S(n) in our equation, we showed that P(n) = S(n). QED. Also I did the math and found that the general equation for S(n) and P(n): S(n) = 2/sqrt(5) * sinh(2 * ln((1+sqrt(5))/2) * n) This is a long way of saying I think the next number is 55 :)
@Mathologer
@Mathologer 3 года назад
Very nice solution. Also, "Skiponacci function", love it :)
@Idran
@Idran 3 года назад
Oooh, nice :D What's great is you can use that same recursion idea to come up with the 2^n value for partitions with ordering too! With the same logic you can show that, for A(n) being the number of partitions with ordering of n, A(n) = 1 + A(1) + ... + A(n-1). And since A(1) = 1, that quickly resolves to the closed form A(n) = 2^n. That was actually how I picked up the formula when thinking over it before the moving-holes explanation was shown in the video, though that explanation is far more straight-forward. :P
@TomerBoyarski
@TomerBoyarski 2 года назад
Amazing Video, as usual. I love how you delve into the details of the proof. Some further motivation on "why partitions are interesting" would be welcome at the beginning of the video, especially for viewers (like myself) whose training is more in applied mathematic, physics, engineering, and computer science. In spite of not understanding the significance of partitions, I followed your reasoning with delight. "If the journey is enjoyable, the destination may be less important"
@Adityarm.08
@Adityarm.08 3 года назад
Love your work!! Beautiful & Inspiring stuff :)
@HiddenTerminal
@HiddenTerminal 3 года назад
Every video is so damn interesting and explained incredibly well. Words can't explain how thankful I am to have found a channel like yours.
@chadschweitzer9144
@chadschweitzer9144 Год назад
Hey Donna its chad I thought I sent you a message yesterday but I guess I didn't im sorry I dropped the ball on this one but I'll have rent tomorrow when my check hits my account sorry for the inconvenience
@AbhimanyuKumar_hello
@AbhimanyuKumar_hello 3 года назад
The problem at the end is extremely interesting. Changing the sum to product is called "norm of a partition" (Sills-Schneider 2019). There are very few papers on this very subject. Thus, the sum of norms is quite intriguing to ponder upon.
@mikep3226
@mikep3226 6 месяцев назад
When I was in High School, I was very much into math; including being rated #1 in the state Math Team League. Unfortunately, the guidance counselors claimed that the only job path in math was being an accountant which was not the math that interested me, so I was side tracked. They did direct me to MIT, but because of their guidance (or mis-guidance) I didn't really get into math at MIT and ended up in my second choice CS (at the time I was there, the 1970s, the saying was "no matter what degree you get from MIT, you'll probably work in computers"). I would like to thank you for rekindling my earlier obsession. I'm now too old to really concentrate enough to follow everything, but watching your videos and seeing the results and your incredible enthusiasm for it reminds me of what it was like. I did actually get the next number from the thumbnail right, but my pattern didn't continue beyond that. But then I saw your final comment and realized I was actually almost on the right path, just needed one more tweak.
@green-sd2nn
@green-sd2nn 3 месяца назад
This has to be one of the most beautiful videos I've watched on the internet.
@MrSigmaSharp
@MrSigmaSharp 3 года назад
Every Mathologer video is a path like I know this... I can understand this... This is interesting... What do you mean by that... Wtf
@moikkis65
@moikkis65 3 года назад
14:23 i always fail these "pause and figure out" so it was amazingly satisfying to finally get one right! Great video as always.
@akanegally
@akanegally 3 года назад
Best channel for discovering math beauty. J'adore.
@peppermann
@peppermann 2 года назад
Unbelievably good video ! My mind is genuinely blown 😊👍
@Vaaaaadim
@Vaaaaadim 3 года назад
I made it to the very end As for what comes next in the 1,3,8,21,... series. My immediate guess is that it looks like the Fibonacci series, except you omit every other term. By that logic the next one would be 55. *(edit, I think I've solved it, this comment and its reply shows my solution, don't look at it if you don't want to spoil it for yourself)* Now as for actually giving it some thought... We could go by the opening and closing gaps idea at 4:00 in the video. Appending a new block, we can get the partitions plus a disconnected block at the far right, or with a connected block at the far right. In other words, adding an additional x1 or alternatively increasing the last factor by 1. How can we account for how this? We could track the sums of the products whose last factor are specific values. i.e., 1 -> [1: 1], 2 -> [1: 1, 2: 2], 3 -> [1: 3, 2: 2, 3: 3] 4 -> [1: 8, 2: 6, 3: 3, 4: 4] Which is kind of easier to reason about. - The 1: value of the next iteration is always going to be the total sum of the previous iteration. - The 2: value of the next iteration is always going to be the 1: value of the previous iteration, times 2. - The k: value of the next iteration is always going to be the (k-1): value of the previous iteration, times k/(k-1) Hm. Well this is what I thought of so far anyways. On that front. Supposing the pattern is every other fibonnaci number, given the last two values in the sequence p,q the next one should be 3q - p. Which you can derive without too much difficulty. p = a, b, q = a+b, a+2b, 2a+3b ==> 2a+3b = 3q - p. So somehow it has to be tied in with that recurrence to get an inductive proof. (assuming that it does fit the pattern).
@Vaaaaadim
@Vaaaaadim 3 года назад
Okay. From that actually. We can make a sort of recurrence. Specifically, I'm thinking of a function f(k,n) which has the recurrence f(k,n) = f(1,n-1) + ((k+1)/k)f(k+1,n-1) which kind of essentially says, how much the function "contributes" to the 1: value thing after n steps. And we can say f(1,0) = 1, f(k,0) = 0 for k > 1. In the end, the 1: value actually tells us what the value of the series is after some number of steps, since it just records the total sum of the previous iteration. So f(1,n) = the (n-1)th term in the sequence. So can this plausibly fit the recurrence that f(1,n) = 3f(1,n-1) - f(1,n-2)? Which would be required if this is indeed every other fibonnaci number. By our definition, f(1,n) = f(1,n-1) + 2f(2,n-1) we set this equal to 3f(1,n-1) - f(1,n-2). f(1,n-1) + 2f(2,n-1) = 3f(1,n-1) - f(1,n-2) ==> f(1,n-2) + 2f(2,n-1) = 2f(1,n-1) ==> f(1,n-2) + (2f(1,n-2) + 3f(3,n-2)) = (2f(1,n-2) + 4f(2,n-2)) ==> f(1,n-2) + 3f(3,n-2) = 4f(2,n-2) hm, changing out the representation once again... say representing [1: x, 2: y, 3: z] as (x,y,z) we're essentially comparing (1,0,3) to (0,4) From here I'll say instead of comparing (...) to (...) I'll write (...) ? (...) (4,2,0,4) ? (4,0,6) (essentially I'm just showing the coefficients of f(k,n) and ensuring they always have the same remaining step amount to go through on either side) canceling out ==> (0,2,0,4) ? (0,0,6) apply rule ==> (6, 0, 3, 0, 5) ? (6, 0, 0, 8) canceling out ==> (0, 0, 3, 0, 5) ? (0, 0, 0, 8) apply rule ==> (8, 0, 0, 4, 0, 6) ? (8, 0, 0, 0, 10) canceling out ==> (0, 0, 0, 4, 0, 6) ? (0, 0, 0, 0, 10) ... Eventually we'll run out of steps we need to carry out. And everything not in the start of the list gets evaluated to 0. That is.. (V, x1, x2, x3, x4, ...) ==> V when we finally evaluate the results. It looks like this iterating of applying the rule and canceling coefficients out will always result in a leftover of 0 in the first coefficient, so eventually they evaluate to the same thing. This works out because the left hand side of the coefficient list were were comparing has both entries always increasing by 1, since they're both the same value as their index. And the right hand side always has the entry increase by 2, since it's twice the value of it's index. Every application of the recursive rule sets the first coefficient of both lists to the same thing, and gets canceled out. In other words. I think that this does fit the recurrence required. So *looks are not deceiving, this is the pattern that it appears to be* . Once again, f(1,n) = the (n-1)th term in the sequence. The logic here shows that indeed f(1,n) = 3f(1,n-1) - f(1,n-2) which is the recurrence relation of that every other fibonnaci number sequence. And we also see that the base cases match already, so ya.
@merathi
@merathi 3 года назад
Amazing as always. Love it when you can start with a concept which is easy to formulate like ways of summing to an integer and end up needing e, pi, infinity and derivatives to express a general solution. Makes you appreciate how interconnected maths really are.
@jaredwhite4934
@jaredwhite4934 3 года назад
Truly excellent video as always. Very enjoyable.
@Aldrasio
@Aldrasio 3 года назад
The chapters on this video are incredibly helpful. Sometimes you need to rewatch just a small segment before moving on.
@yanmich
@yanmich 3 года назад
I made it up to the end due to your amazing sense of humor!!!
@emilioparini3249
@emilioparini3249 3 года назад
I found interesting about the first seaquence that if we delete the condition that the n points has to be equally distancied on the circle then we have the Moser's circle problem then with n=6 we found the sequence 1,2,4,8,16,31 and not 30. Moreover the formula is much more simply with an apparently more diffcult problem since it is given by binom(n,4) + binom(n,2) + 1 = max #{ number of region created by the edges}.
@jjed88
@jjed88 Год назад
"I made it to the very end". Thank you for the presentation. I enjoyed it thoroughly.
@malignusvonbottershnike563
@malignusvonbottershnike563 3 года назад
For the question at 24:10; I started with function f(n) = (n(3n-1))/2. From there, I found the values of f(-k) and f(k), where k is some real number (obviously we're only interested in integers, but it doesn't hurt to be more general). When you subtract the first from the second, you get a difference of k, which is what we wanted! Then, after -k, you jump up to k+1, so I found the value for f(k+1). I then subtracted f(-k) from this new value, and when you simplify and cancel, you end up with 2k+1, which will compute all the odd numbers. Again, that's just what we wanted!
Далее
How did Ramanujan solve the STRAND puzzle?
45:10
Просмотров 860 тыс.
The Search for Siegel Zeros - Numberphile
16:27
Просмотров 244 тыс.
What's the curse of the Schwarz lantern?
25:10
Просмотров 167 тыс.
Secrets of the lost number walls
36:37
Просмотров 163 тыс.
Why Do Sporadic Groups Exist?
32:59
Просмотров 64 тыс.
Euler's infinite pi formula generator
28:57
Просмотров 210 тыс.