An Odd Property of the Sierpiński Triangle - Numberphile

  Рет қаралды 125,906

Numberphile

Numberphile

Күн бұрын

Пікірлер: 463
@numberphile
@numberphile 2 ай бұрын
See brilliant.org/numberphile for Brilliant and 20% off their premium service & 30-day trial (episode sponsor)
@FrankHarwald
@FrankHarwald 2 ай бұрын
tbf, Pascal's triangle mod 2 is actually a Sierpinski triangle for all n up to infinity.
@MonsieurBiga
@MonsieurBiga 2 ай бұрын
Ayliean : you can timelapse this Brady : don't tell me what to do
@soilnrock1979
@soilnrock1979 2 ай бұрын
At what point do they have this conversation??
@liambohl
@liambohl 2 ай бұрын
0:53
@soilnrock1979
@soilnrock1979 2 ай бұрын
​@@liambohlOh OK, the second part is in filming not in saying :-)
@betoneiracromadarebaixada8187
@betoneiracromadarebaixada8187 2 ай бұрын
the Sierpinski triangle really just randomly jumpscares people when it feels like it
@jimi02468
@jimi02468 2 ай бұрын
I thought it was pi that did that
@kwanarchive
@kwanarchive 2 ай бұрын
"Pathological monsters!" cried the terrified mathematician...
@betoneiracromadarebaixada8187
@betoneiracromadarebaixada8187 2 ай бұрын
@@jimi02468 yeah, pi does it too. The Fibonacci numbers also pop up from time to time, there are some math things that are just kinda omnipresent
@JustAnotherCommenter
@JustAnotherCommenter Ай бұрын
I guess you could say, it likes to Sierpinscare people
@tremapar
@tremapar 18 күн бұрын
Just look in the mirror and say Sierpinski 3 times
@element54_
@element54_ 2 ай бұрын
My heart broke at 9:48 "until row 33".
@RealCadde
@RealCadde 2 ай бұрын
For a moment, my brain heard "until rule 33" and I was like "don't you mean rule 34?"
@Testgeraeusch
@Testgeraeusch 2 ай бұрын
@@RealCadde "If we mathematicians can write it down, it must exist."
@Sharxee
@Sharxee 2 ай бұрын
And I was thinking Parker for some reason.
@sk8pkl
@sk8pkl 2 ай бұрын
33 degrees in free masonry. Not a coincidence.
@ArawnOfAnnwn
@ArawnOfAnnwn 2 ай бұрын
@@Testgeraeusch Calm down there, Max Tegmark.
@McLir
@McLir 2 ай бұрын
Take Pascal's Triangle and dot out all the odd numbers - that also gives a Sierpinski triangle. Seashells can also produce Sierpinski-like patterns.
@jayluck8047
@jayluck8047 2 ай бұрын
I love the way she can draw triangles with so much equilaterality.
@johnjeffreys6440
@johnjeffreys6440 2 ай бұрын
very isosolece
@jayluck8047
@jayluck8047 2 ай бұрын
@@johnjeffreys6440 - did you mean, isolesence? But I got you.
@johnjeffreys6440
@johnjeffreys6440 2 ай бұрын
@@jayluck8047 yust a yoke 🤤
@Jivvi
@Jivvi 2 ай бұрын
​@@jayluck8047 *isoscelescence
@iidoyila_live_
@iidoyila_live_ 2 ай бұрын
we are becominh angels of skill and grace
@hepiik.8822
@hepiik.8822 2 ай бұрын
It might be weird, but, as a Pole, seeing a properly written polish name made me smile
@ChknKng
@ChknKng 2 ай бұрын
What does the accent over the n do to the pronunciation?
@MichalGlowacz86
@MichalGlowacz86 2 ай бұрын
@@ChknKng It turns n into a nasal consonant. Polish ń sounds similar to Spanish ñ. Edit: it was pointed out to me, that n is already a nasal consonant. If I got the terminology right, then n will be voiced denti-aleovar nasal consonant while ń will be voiced palatal nasal. But feel free to correct me again! Soundwise though my analogy to Spanish ñ holds, with Polish ń being maybe a bit shorter.
@SylveonSimp
@SylveonSimp 2 ай бұрын
Grzegorz Brzeczyszczykiewicz
@drenzine
@drenzine 2 ай бұрын
​@@MichalGlowacz86 But n is already a nasal consonant...
@MichalGlowacz86
@MichalGlowacz86 2 ай бұрын
@@drenzine Damn, you're right. It seems n and ń are different sub-types of nasal though. Ń will be voiced palatal nasal I think, while n is denti-aleovar.
@rogerkearns8094
@rogerkearns8094 2 ай бұрын
Amazing. The moment you said, convert to binary, I saw it - but the effect not continuing forever, I didn't see.
@leif1075
@leif1075 2 ай бұрын
But for gods sake theres no resson to think of binary..its contrived and out of nowhere rught?? No obewould rver think of that no.matter how smartbyou are
@andrasszabo1570
@andrasszabo1570 2 ай бұрын
@@leif1075 But you just saw that someone has thought of that and did convert it to binary. It's not about being smart. It's about having the affinity and the time to play around with numbers.
@Yulenka-
@Yulenka- 2 ай бұрын
​@@leif1075When you're dealing with Fermat numbers, there's all the reason in the world to use binary haha 😅 You can easily derive binary representation of their products since each number only has bits in two positions. I'm sure the pattern will reveal itself very quickly if you continue down this path
@JuusoAlasuutari
@JuusoAlasuutari 2 ай бұрын
​@@leif1075Binary is the smallest integral base. Binary is arguably the fundamental number system and everything else is arbitrary.
@rogerkearns8094
@rogerkearns8094 2 ай бұрын
@@leif1075 Thanks for the comment, mate, but I don't think I'm that smart. Hope your hangover's not too bad. Cheers :)
@NatiNugasu
@NatiNugasu 2 ай бұрын
Ayliean: timelapse this Brady Brady: 👍 *awkward silence*
@TonboIV
@TonboIV 2 ай бұрын
The thumbnail immediately grabbed my attention because there was something weirdly familiar about 65537. And of course the reason is because it is one more than 65536, which 2^16, which is the number of possible values in two bytes, and _that_ number can't help coming up in computer science quite often. So, came for the eerie number, learned something interesting-and vaguely annoying-about constructable polygons. Thanks I guess?
@cybore213
@cybore213 2 ай бұрын
That's what drew me in as well.
@therealax6
@therealax6 Ай бұрын
All 2^2^n numbers come up in low-level computing all the time, of course. Up until n = 6 they're all very recognizable numbers. (Beyond that, we don't have the CPUs for those yet!)
@TheAngelsHaveThePhoneBox
@TheAngelsHaveThePhoneBox Ай бұрын
I remember that number because it's the maximum number of rows you could have in the old Excel format (.xls).
@therealax6
@therealax6 Ай бұрын
@@TheAngelsHaveThePhoneBox That used to be 2^16, aka 65,536. (Now it's 2^20 = 1,048,576. Likewise, the number of columns went up from 2^8 = 256 to 2^12 = 4,096.)
@psymar
@psymar 24 күн бұрын
Yep! And the first number in the triangle sequence that *doesn't* work is 2^32+1, which 2^32 comes up in computer science quite often too!
@thatonedynamitecuber
@thatonedynamitecuber 2 ай бұрын
That is the straightest triangle i have ever seen. To clarify I mean by hand not by any other means
@Ayliean
@Ayliean 2 ай бұрын
Pretty much the straightest thing I've ever done.
@bagelnine9
@bagelnine9 2 ай бұрын
💀 💀💀 💀 💀 💀💀💀💀 💀 💀 💀💀 💀💀 💀 💀 💀 💀 💀💀💀💀💀💀💀💀
@thatonedynamitecuber
@thatonedynamitecuber 2 ай бұрын
@@bagelnine9 nice italic sierpinski you got there. SKHULLLLEMOJIIIII
@catmacopter8545
@catmacopter8545 2 ай бұрын
​@@bagelnine9isnt this Wolfram automaton rule 90
@cosmiccake791
@cosmiccake791 2 ай бұрын
​@@thatonedynamitecuberno. No matt rose here...
@TheArizus
@TheArizus 2 ай бұрын
Fun side note, one of the problems on the 2023 British Algorithmic Olympiad was related to finding rows of the Sierpinski triangle when written in binary (similar to this)
@kirillsukhomlin3036
@kirillsukhomlin3036 2 ай бұрын
And if you just take Pascal triangle mod 2, there would be proper infinitely growing Sierpinski triangle.
2 ай бұрын
Yes. I think it's utterly fascinating that people can avoid seeing that. On the other hand it's something you might have to anticipate to look for.
@JeroenBou
@JeroenBou 2 ай бұрын
Was looking for this comment. That's my favorite way to generate it.
@morganconnelly5734
@morganconnelly5734 2 ай бұрын
Ah Ayliean coming back again with the amazing content! I love seeing her come back to the channel with her incredible mathematical story telling
@oliverfalco7060
@oliverfalco7060 2 ай бұрын
4:25 Looking at someone making a pentagon with compass and ruler is always so exciting :3
@JohnRunyon
@JohnRunyon 2 ай бұрын
I love the shell tattoo while talking about pretty math drawings 😂
@Nawakooo0
@Nawakooo0 2 ай бұрын
It's always a delight to see Ayliean on Numberphile 💜
@josephpk4878
@josephpk4878 2 ай бұрын
Neat to see this geometry again. I just designed a 3d model based on Sierpiński's Triangle, which is a 3D rendered pyramid of the 2D fractal, but I took it a step further and actually modelled the negative space, then printed out these interesting cubes composed of negative and positive 3-sided pyramids - beautiful things, especially when printed with clear materials.
@jellorelic
@jellorelic 2 ай бұрын
Gonna tease us like that and not offer photos? Maaaaaan...
@genghiskhan6688
@genghiskhan6688 2 ай бұрын
yeah I wanna see that too!
@kappasphere
@kappasphere 2 ай бұрын
I think an interesting way to generate an image of a sierpinski triangle is to take every pixel coordinate (x, y), and color the pixel if x & y == 0, where "&" is the bitwise and operator.
@bogdan_ostaficiuc
@bogdan_ostaficiuc 2 ай бұрын
xd ur imagining it
@ulob
@ulob 2 ай бұрын
​@@bogdan_ostaficiuche's not
@bogdan_ostaficiuc
@bogdan_ostaficiuc 2 ай бұрын
@@ulob how? can you please explain? i'm dumbfounded
@maksymisaiev1828
@maksymisaiev1828 2 ай бұрын
@@bogdan_ostaficiuc it won't build exact sierpinski triangle but more like something area of sierpinski triangle. Here is easy python code to check: for i in range (0,40): for j in range(0,40): if i&j == 0: print(0, end="") else: print("_",end="") print("") You can play in numbers and still see that it is building triangles if you play with range numbers.
@maksymisaiev1828
@maksymisaiev1828 2 ай бұрын
​@@bogdan_ostaficiuc somehow youtube removed my comment. But idea is that bitwise operator gives 1 only in case when x and y share the same binary 1 at that position (in other words, it is binary multiplication). If we look at rows only, first row will be filled with 0, second row will have flappening 0 and 1, well because we compar numbers X1 and X0 and only X1 will return non zero. The third row is also similar. We compare 10 (binary 2) with numbers like X00, X01, X10, X11 and only last 2 numbers will return non zero bitwise response. Same for further rows. But the same picture is for columns, because we just flip x and y coordinates.
@jaymanier7286
@jaymanier7286 2 ай бұрын
"Timelapse this." "...No." 😄
@ggb3147
@ggb3147 2 ай бұрын
I really appreciate keeping an acute over the letter N. Greetings from Poland ;)
@xinpingdonohoe3978
@xinpingdonohoe3978 2 ай бұрын
I'm not even offered it. Just ñ.
@WAMTAT
@WAMTAT 2 ай бұрын
Heck yeah, more triangles!!!!!
@johnjeffreys6440
@johnjeffreys6440 2 ай бұрын
Isosceles!
@Bronzescorpion
@Bronzescorpion 2 ай бұрын
The 15 in binary mistake was somewhat funny considering Ayliean pointed out how close it was to 16. Even without giving it much thought, one could easily conclude that it must then be a row of ones, as all the numbers that are 2^n-1 must follow this pattern, before the next number ie. the number that is a power of two rolls over and becomes a number with a 1 followed by a string of zeroes (equal to n).
@happyvirus6590
@happyvirus6590 2 ай бұрын
5:08 and the length from that point to the edge of the circle is the *golden ratio*
@stickfiftyfive
@stickfiftyfive 2 ай бұрын
and the length from that point to the edge of the circle *is the side length times the Golden ratio*. It's only the Golden ratio itself if the sidelength is 1. Worth clarifying.
@user-hr8fj5ve3s
@user-hr8fj5ve3s 2 ай бұрын
There’s always something so captivating about watching a person explain something that they’re truly interested in and excited about
@Buzk_4
@Buzk_4 2 ай бұрын
Patterns fool ya
@Rubrickety
@Rubrickety 2 ай бұрын
How they fool ya…
@itioticginger9520
@itioticginger9520 2 ай бұрын
I noticed at 6:35 that either side of 2^2^X were consistently constructible, as in either side of 2^2=4 meaning 3 and 5, then 2^4=16, and 15, 17 both worked, then 2^8=256, with 255, 257, then 2^16=65536 with 65535 and 65537 working and the final one shown was 2^32-1 This is too convenient to not be a pattern, and no one has ever been wrong when thinking a pattern holds true after a few iterations Edit: I did not expect to be immediately disproven
@jamesknapp64
@jamesknapp64 2 ай бұрын
it has to do with the fact that the product of all up to "nth" Fermat Numbers is 2 less than the next Fermat Number 3 x 5 = 15 = 17 - 2 3 x 5 x 17 = 255 = 257 - 2 3 x 5 x 17 x 257 = 65535 = 65537 - 2 3 x 5 x 17 x 257 x 65537 = 4294967295 = 4274967297 - 2 ; etc Note this another way to show that there are infinately many primes. Since all Fermat Numbers are odd and due to the product relationship above the only common factor could be 2 that means they all have different prime factors. Since we have infinate fermat numbers there are infinately many primes.
@Kestrel1971
@Kestrel1971 2 ай бұрын
The Sierpinski triangle also appears from Wolfram elementary Cellular Automata Rule #90, and variants of the triangle appear in many other rules.
@tlhIngan
@tlhIngan 2 ай бұрын
65537 is also a common exponent used during RSA encryption and decryption.
@Doktor_Vem
@Doktor_Vem 2 ай бұрын
I know this video's about math but I just cannot get over the accent, it's just so unbelievably beautiful and lovely
@TheSabian321
@TheSabian321 2 ай бұрын
I admire the editor's dedication to not timelapse the video.
@thirstyCactus
@thirstyCactus 2 ай бұрын
Come for the math, stay for the dazzling hair and makeup! :D
@bkuker
@bkuker 2 ай бұрын
Any chance you'll talk about why there is this relationship between odd constructible polygons and fermat primes? Is it proven, or just coincidental? Would finding another fermat number mean finding more (large) odd constructible polygons? Does the relationship tell us anything about how we can construct them?
@stephenbeck7222
@stephenbeck7222 2 ай бұрын
I believe the connection is proven in Gauss’ seminal work on arithmetic (number theory), in the same book he demonstrated the construction of the 17 sided polygon. I would guess the proof is beyond the scope of this channel.
@tomkerruish2982
@tomkerruish2982 2 ай бұрын
It's too much to fit in this comment (appropriate for something Fermat-related), but it boils down to algebra. A straightedge and compass allow us to add, subtract, multiply, divide, and take square roots. (This is why we can't duplicate the cube since that would require a cube root.) Constructing a polygon with Fermat-prime-many sides can be done by performing a sequence of such computations. For further details, look up 'splitting polynomial'. Edit: it's been a few... decades... since I learned this stuff. Likely a better term to search is 'constructible numbers'.
@jamesknapp64
@jamesknapp64 2 ай бұрын
Another Roof did a breakdown on the proof this. And yes this is proven that construcble odd factor distrinct odd fermat primes Yes finding another Fermat prime would mean there is an incredably large number of sides constructable polygon. Currently the smallest Fermat number that we don't know if its Prime or Composite is F_33 or 2^2^33 + 1 which is about *2.5 Billion DIGITS* long. However most number theorists believe that there are only 5 Fermat Primes. Yes Being a Fermat Prime tells you how to construct 17, 257 and 65537 sided polygons.
@RobinDSaunders
@RobinDSaunders 2 ай бұрын
About "finding another Fermat prime", there's a probabilistic argument that there aren't any. The prime number theorem says: take a number near N, then its probability of being prime is p(N) ≈ 1 / log N. If Fₙ is the nth Fermat number, Fₙ ≈ 2^2^n, so log Fₙ ≈ 2^n log 2, and p(Fₙ) ≈ 1 / (2^n log2), which is tiny relative to n. The probability that *any* Fermat numbers beyond Fₙ are prime is then bounded by the sum of the individual tiny probabilities, Σ p(Fₖ), for k > n. This sum is ≈ Σ 1 / (2^k log2) for k > n, a geometric series which sums to the (still very small) value 1 / (2^n log2). So the probability that there are *any* Fermat primes beyond Fₙ is bounded by this very small value. We can rule out the first few Fₙ by checking them with a computer, which lets us start with a bigger n, so the probability becomes even smaller.
@HoSza1
@HoSza1 2 ай бұрын
Ok, let's just name it The Parker Triangle.😂
@xenontesla122
@xenontesla122 2 ай бұрын
Even though the pattern stops, it's satisfying that it at least stops at the base of a full triangle!
@ianstopher9111
@ianstopher9111 2 ай бұрын
It's not the only time we get a finite list of terms. Finite normed division algebras have dimensions 2^n for n=1,2,3,4 and that's it. The general solution in radicals of polynomial equations only applies for powers n=1,2,3,4 and that's it. Fermat primes only for n=0,1,2,3,4. I recall at least in the first two cases they are related, but no-one knows if this also applies to Fermat primes or is just a coincidence.
@MooImABunny
@MooImABunny 2 ай бұрын
what is it with the number 5 that keeps breaking these sequences 😂 (also there's no proof currently that there is no other Fermat primes at all. but it does seem pretty likely
@panzer1896
@panzer1896 2 ай бұрын
You used to sell the brown papers on eBay…do you still sell the used brown papers? These ones would be pretty cool to get.
@likebot.
@likebot. 2 ай бұрын
"You're going to need a bigger paper".
@jacejunk
@jacejunk 2 ай бұрын
Triforce from Zelda and mathematics- can't get much better combination of concepts.
@lornasmith5571
@lornasmith5571 2 ай бұрын
I love to watch you draw shapes, and explain interesting stuff!
@DeclanMBrennan
@DeclanMBrennan 2 ай бұрын
I didn't know this cool connection but another one is coloring the numbers in Pascal's triangle according to whether they are even or odd.
@marwynthemage
@marwynthemage 2 ай бұрын
Interesting. However, my favorite method of constructing the Sierpiński triangle will always be using recursive quad trees: draw the upper right quadrant black, and the other quadrants as the original quad tree (with the upper right quadrants black, recursively). You obviously need to stop rendering after a while, otherwise the entire image will be black :-)
@dead-claudia
@dead-claudia 2 ай бұрын
that 65537 is bugging me way too much as a programmer. it's not 65535 or 65536. it feels off by one in the wrong direction. 😂
@tom7
@tom7 2 ай бұрын
When performing a Euclidean construction, you may not use a Rule. But you may use a Hyrule
@yiannchrst
@yiannchrst 2 ай бұрын
damn! I had accidentally discovered this some day while bored at school! I didn't go far enough to see that the pattern brakes though! Cool to see!!
@waltercisneros9535
@waltercisneros9535 2 ай бұрын
Good to see a old style video, without the animations instead the very draws of our favorites mathematicians
@dogsareawesome9197
@dogsareawesome9197 29 күн бұрын
Ive always been a _little_ into math, but otherwise didnt really care for it. THIS has got me hooked.
@myamacke4159
@myamacke4159 Ай бұрын
Another way of constructing a sierpinski triangle (kind of) is with a l-system tree with 3 branches, no trunk, and 120 degree angles! It's not a true sierpinski triangle because of the branches going through the voids, but it's still really neat! It was one of my first forays with l-systems before i started making art using stochastic l-systems constructed to model plants from my photography!
@ronny332
@ronny332 2 ай бұрын
My brain smoked a bit while keeping track, but hey, it makes sense 🙂Thanks for showing!
@KarolKarasiewicz
@KarolKarasiewicz 2 ай бұрын
Wow! Two things: 1. Miss, You're great at drawing, triangles drawn by hand, double wow. 2. So mamy theorems You just mentioned by the way, just like toystory... Triple wow! Thank You, that was great.
@nazokashii
@nazokashii 2 ай бұрын
One of my favourite shapes as well :D so cool! Thank you for sharing
@janTasita
@janTasita 2 ай бұрын
My favourite place where an unexpected Sierpinski triangle appears is the evolution of a long straight line in Conway's game of life.
@soilnrock1979
@soilnrock1979 2 ай бұрын
That game got me through school without dying from boredome.
@herbpowell343
@herbpowell343 22 күн бұрын
Ironically, as you said, "You must be thinking, 'We have strayed far from the Sierpinski path here'" as I was thinking, "x, x+2, x(x+2), x(x+2)+2, x(x(x+2)+2), x(x(x+2)+2)+2(x(x+2)+2), etc." If it makes you feel better, I remain irate that pi~10^0.5 rather than pi=10^0.5. I console myself with the knowledge that, while (7^2*10-7+1)/7^2=/=10, 22/7=/=pi in the first place, so it could never be an exact match anyway. It does make the average of 7/5 and10/7 VERY close to 2^0.5 though, or at least closer than the tables they gave us in our high school math books. And I am trying VERY hard not to think about the fact that 10^0.5=(2phi+1)2^0.5. Ultimately, there is only Unity and Void, so binary is all there is, hence the whole 0/0=???? thing: What would you like it to be... ?
@RealCadde
@RealCadde 2 ай бұрын
Start of video. All i know is, the number in the thumbnail is 2 to the power 16, plus 1. Dealing with powers of 2 all my life has damaged me.
@esajpsasipes2822
@esajpsasipes2822 2 ай бұрын
someone could say it upgraded you
@winnablebtw459
@winnablebtw459 2 ай бұрын
Strictly speaking, at 3:00, you can't pick up lengths with a compass in construction problems. Doing so would allow you to trisect an angle which is famously impossible.
@PaulFisher
@PaulFisher 2 ай бұрын
Can’t you transfer a distance between two arbitrary points by constructing a parallelogram with one edge being the distance you want to transfer and the second being the line from the source to the destination point?
@WK-5775
@WK-5775 2 ай бұрын
Please explain: How can one trisect an angle if one is allowed to pick up a length with a compass?
@dingus42
@dingus42 2 ай бұрын
Wait why not? I thought that was one of the primary functions of the compass, to keep a set distance
@zmaj12321
@zmaj12321 2 ай бұрын
I'm pretty sure one of the first proofs in Euclid's Elements is how to transfer a distance without being able to "store" distances on the compass.
@dingus42
@dingus42 2 ай бұрын
@@zmaj12321 but you literally cannot use a compass for its normal function of drawing an arc without it being able to hold its distance
@N7492
@N7492 2 ай бұрын
The "chaos game" method also constructs the Sierpinski triangle. Counterintuitive!
@losveratos
@losveratos 2 ай бұрын
Really like her tattoos. She has a good artist.
@machevellian79
@machevellian79 2 ай бұрын
Great video, fascinating! Thanks for sharing.
@stephendemone
@stephendemone 2 ай бұрын
Triangles are my favorite shape. Three points where two lines meet. 😎
@yoshi-cs6ib
@yoshi-cs6ib 2 ай бұрын
The sierpinski triangle is just the pascal triangle in GF(2), no? That's probavly a reason why it pops up a bunch.
@lombre9149
@lombre9149 2 ай бұрын
New prime was found!! looking forward to your next video about it :3
@PawelKraszewski
@PawelKraszewski 2 ай бұрын
Another way to make a (skewed) Sierpiński triangle is to take points of nonnegative integer coordinates. You paint the point black if (x AND y) == 0 (that is bitwise logical AND) and white otherwise. That's the fastest way to generate the triangle.
@ant0n1o13
@ant0n1o13 2 ай бұрын
"you can timelapse this" Keeps showing it in real time
@DustinRodriguez1_0
@DustinRodriguez1_0 2 ай бұрын
The Sierpinski Triangle is pretty wild, and that it shows up in so many weird places.
@DukeBG
@DukeBG 2 ай бұрын
Heuristically there should be a finite amount of Fermat Primes. So just those five. F12 is the smallest fermat number that is not fully factored. For mathematicians factoring it would be more exciting & bigger news than discovering the next largest mersenne prime & stuff like that. And a message with a factor would be smaller than this comment. F20 is the smallest fermat number where we don't have any factors at all (but we know it's composite). Finding a factor here would also be big news. F33 is the smallest fermat number for which we don't know the status (composite or prime) because it's too large to test (2.6 billion decimal digits). Actually, already for F31 we have some factors, but we don't know the status of the remaining cofactor (646 million decimal digits).
@nosy-cat
@nosy-cat 2 ай бұрын
The problem of constructible regular polygons is a deep one, and very interesting. The channel "Another Roof" has a two part series on this, and I can't recommend it enough!
@Pheonix1328
@Pheonix1328 2 ай бұрын
I like how the triangle shows up in 1D cellular automata.
@jamesyoungquist6923
@jamesyoungquist6923 2 ай бұрын
In the fractal limit you can make a sierpinski triangle using any shape, including fish
@timetraveler1234-m3q
@timetraveler1234-m3q 2 ай бұрын
Hey, cool golden ratio tattoo ❤
@platypi_otbs
@platypi_otbs 2 ай бұрын
I absolutely adore Ayliean. I love seeing her visual representations of the beauty of math(s). Bonus: Those fingernails are sweet.
@zathrasyes1287
@zathrasyes1287 2 ай бұрын
Beautiful handwriting
@PrimordialOracleOfManyWorlds
@PrimordialOracleOfManyWorlds 2 ай бұрын
in the Sierpinski triangle fractal, i noticed the binary ones made up the upright triangles and the binary zeros made up the inverted triangles. suppose you do the fractal, fill binary ones in the upright triangles and binary zeros in the inverted triangles, then assemble the binary numbers, and convert to base 10 numbers. What numbers do you get?
@WK-5775
@WK-5775 2 ай бұрын
Fill the entire fractal? You'll get nothing at all because there are infinitely many layers of numbers. Instead, if one stops at some level, (and if I understand your question correctly), one will get exactly the products of finitely many different Fermat numbers.
@Ny0s
@Ny0s 2 ай бұрын
This was a really beautiful construction
@nate8334
@nate8334 2 ай бұрын
My favorite Fractal. The blood type compatability chart is also a sierpinski triangle. I thought it was interesting that information about us could be Fractal in addition to the physical shapes of things like blood vessels.
@HunterJE
@HunterJE 2 ай бұрын
Noticed that at least as far as it goes that triangle of odd constructible primes in binary is the same as if you make Pascal's triangle by the "add the two terms above each position" method but do the addition mod 2 (or, equivalently, XOR the terms above each position)...
@martingallagher1780
@martingallagher1780 2 ай бұрын
Ooh! Two helpings of Ayliean in one day. What did we do to deserve this? 🎉
@joysanghavi13
@joysanghavi13 2 ай бұрын
Gauss proved that Fermat's prime numbers as polygon sides are constructible, when he was around 16 years old
@mrsillytacos
@mrsillytacos 2 ай бұрын
Going to have to print a whole new book for the new largest prime.
@Hambonillo
@Hambonillo 2 ай бұрын
showing the hexadecimal representation of those numbers might be interesting too.
@FFVison
@FFVison 2 ай бұрын
I remember my TI-82 (my first semi-serious introduction to programming) had a test program you could enter into your calculator and it would plot out points to generate a sort of Sierpinski Triangle. It was not perfect, for one, the pixels wouldn't align exactly (every even row should have 2 values which doesn't line up with the odd number of values on the odd rows) and it would also have some stray pixels as it did use some RNG algorithm. Granted, this is from memory from like 30 years ago, so it's a hazy recollection of a program that I didn't fully understand how it worked that I copied and pasted into my calculator to generate a neato graphic.
@Sylocat
@Sylocat 2 ай бұрын
I remembered the Fermat Primes from that earlier video series on constructable polygons.
@MrMctastics
@MrMctastics 2 ай бұрын
With the 1's and 0's serpinski triangle, I thinks its called Glaisher's Theorem which implies that the sum of each row constructed this way must be a power of two. This kind of builds off the discussion in the comments about pascal's triangle since the nth row is 2^n
@keir92
@keir92 2 ай бұрын
immediately my brain is wondering why that's exactly one more than 2^16
@soulsand4287
@soulsand4287 Ай бұрын
7:45 The moment I heard binary I immediately saw where this is going...
@psymar
@psymar 24 күн бұрын
sierpinski gasket is the inductive step to the triforce
@Tobi9012
@Tobi9012 2 ай бұрын
9:10 You can also create the shape by starting with the three 1s on the tip and and calculate the row below, like in the Pascale Triangle, but use XOR instead of addition as an operation. But it works beyond row 33 😉
@David_Last_Name
@David_Last_Name 2 ай бұрын
Lmao. I felt like Brady was refusing to timelapse it just to make a point. 😁
@coulie27
@coulie27 2 ай бұрын
Love the Sierpinski Triangle !
@definitelynotadj
@definitelynotadj 2 ай бұрын
Can anyone explain how she constructed the midpoint of the line at around 4:50? I feel like i understood how to make the perpendicular line but i couldn't follow the midpoint.
@WK-5775
@WK-5775 2 ай бұрын
To construct the midpoint of a line segment, draw (segments of) circles with identical (and sufficiently large) radii around both end points of that line segment. The line through the two intersection points of these circles is the perpendicular bisector of the given line segment, and its intersection with it is the midpoint.
@definitelynotadj
@definitelynotadj 2 ай бұрын
Thank you!
@jonprudhomme7694
@jonprudhomme7694 2 ай бұрын
This is a fun construction. I am a big fan of we using binomial expansion coefficients to do the same thing, doesn't break down at any tho.
@cesarmontes7235
@cesarmontes7235 2 ай бұрын
First I was sad at that "until row 33", but then I immediately remembered Gaudí and this makes it somehow more magical and intriguing. Is there something more to this?
@bigsarge2085
@bigsarge2085 2 ай бұрын
Fascinating.
@bengoodwin2141
@bengoodwin2141 2 ай бұрын
I think it wasn't super clear, is that list the only odd constructable polygons? So there's a finite number of them?
@Milan_Openfeint
@Milan_Openfeint 2 ай бұрын
Depends on the number of Fermat primes. They get big fast, so we didn't check many, and I guess there's no proof either way. Statistically, the chance of Fermat number being prime is 1:2^n while size is 2^2^n, so I'd guess maybe there's one more somewhere and that's it.
@bengoodwin2141
@bengoodwin2141 2 ай бұрын
@@Milan_Openfeint the statistical argument doesn't seem very sound. Nothing involved is truly random, but we'd need some kind of breakthrough on prime numbers to understand better. If the series is finite, it would be surprising if there are any more. If it is infinite, then they must just get more and more spaced apart, like the primes.
@Milan_Openfeint
@Milan_Openfeint 2 ай бұрын
@@bengoodwin2141 I was thinking like 1/2+1/4+1/8... is finite, you'd only get 2 primes ever if these were the chances, and the chances are actually lower.
@exodusfivesixfivesix8050
@exodusfivesixfivesix8050 2 ай бұрын
Princess Zelda finally explained the triForce.
@JordynPi
@JordynPi 2 ай бұрын
The strong law of small numbers strikes again!
@DeathlyTired
@DeathlyTired 2 ай бұрын
If you increase the tools to {compass, straight edge, can fold/unfold the paper (plane)} are all polygons then constrctible?
@vapormermaid
@vapormermaid 2 ай бұрын
As soon as I saw the number in the thumbnail I knew it had something to do with powers of 2.
@NoNeedForRandomNumbers
@NoNeedForRandomNumbers 2 ай бұрын
Better asmr than asmr
@MrBmarcika
@MrBmarcika 2 ай бұрын
what we get is the mod 2 pascal triangle right?
@MrScottev
@MrScottev 2 ай бұрын
Why did you use 1 as a starting point for constructible polygons?
3 Ways to Draw Squares Inside Triangles - Numberphile
9:20
Numberphile
Рет қаралды 207 М.
Superhero Triangles - Numberphile
16:37
Numberphile
Рет қаралды 337 М.
УНО Реверс в Амонг Ас : игра на выбывание
0:19
Фани Хани
Рет қаралды 1,3 МЛН
She wanted to set me up #shorts by Tsuriki Show
0:56
Tsuriki Show
Рет қаралды 8 МЛН
Tree-house Numbers - Numberphile
12:25
Numberphile
Рет қаралды 222 М.
The Most Important Material Ever Made
22:23
Veritasium
Рет қаралды 5 МЛН
How on Earth does ^.?$|^(..+?)\1+$ produce primes?
18:37
Stand-up Maths
Рет қаралды 440 М.
Chaos Game - Numberphile
8:39
Numberphile
Рет қаралды 1 МЛН
You're Probably Wrong About Rainbows
27:11
Veritasium
Рет қаралды 4,8 МЛН
343867 and Tetrahedral Numbers - Numberphile
12:04
Numberphile
Рет қаралды 169 М.
Why 4d geometry makes me sad
29:42
3Blue1Brown
Рет қаралды 1,1 МЛН
The Greatest Mathematician Who Ever Lived
16:06
Newsthink
Рет қаралды 657 М.
A Fascinating Frog Problem - Numberphile
15:42
Numberphile
Рет қаралды 353 М.
УНО Реверс в Амонг Ас : игра на выбывание
0:19
Фани Хани
Рет қаралды 1,3 МЛН