Six Sierpiński Triangle Constructions (visual mathematics)

[@SimpStuff]

This is one of my favourite videos ever in this platform

[@MathVisualProofs]

Wow thanks! Glad you liked it. 😀

[@ahmedlutfi4894]

wonderful to find single pattern can help you to relocate connections between multiple theories nature is beautiful

[@TesserId]

2:47 I was going to ask what happens when you start from a point in the largest empty region, but then realized that wasn't what I wanted. What I wanted was to examine what happens when you pick a point such that the resulting mid-point to a vertex was in one of the empty regions. But, it seems that you can start from such a point, but the midpoints will eventually converge on denser regions.

[@Chalisque]

The notion of 'distance from the gasket' needs formalising. But basically if you do the random corner thing, you get a sequence that converges to a point on the gasket. This sequence sort of converges at the same rate that 2^-x converges to zero. The thing I can't sort out here is how to measure 'distance from the gasket' to make this precise. Moreover, every point on the gasket is the limit of some sequence of this form. That is, if you take an arbitrary sequence over the set {0,,1,2}, and at each stage x_i you half the distance to vertex i, then every point on the gasket is the limit of such a sequence, and no point off the gasket is the limit of such a sequence.

[@TesserId]

4:30 This is the closet to what I done with cubes (kzbin.infoVzwvcMIDKjI?si=gLnWQjriNb_YZPyH). In fact, I call it a ternary cube tree.

[@luciano.rezende]

Dude, this is pure beauty, simply amazing.

[@MathVisualProofs]

Glad you like it!

[@AllThingsPhysicsYouTube]

Very cool. Brings back memories for me, as the chaos game was one of my first (self taught) programming projects that I embarked on back in about 1984 or so (on one of the original IBM PCs).

[@MathVisualProofs]

Awesome! I first programmed it as part of a math class project but it ran and created a static image. Been enjoying watching manim create them in real time :)

[@AllThingsPhysicsYouTube]

@@MathVisualProofs My program actually showed the creation of the points and it was beautiful to watch the pattern develop (like this video)! Oh yeah, and my "initial condition" used random points for the vertices of the triangle, with some constraint to get a "reasonable" triangle, so each run was unique. It's crazy to think about how much programming has changed in 40 years.

[@MathVisualProofs]

@@AllThingsPhysicsKZbin so cool! I didn't have any idea about showing the creation of points back when I did this at Dickinson :) Do you remember what language you used?

[@AllThingsPhysicsYouTube]

@@MathVisualProofs I don't remember specifics, but it must have been BASIC. I also remember writing a (2D) graphing program a year or two later, inspired by one of my community college professors. I remember that this program involved some really intricate PEEKing and POKEing, which is why I'm pretty sure it was in BASIC. It took a lot of trial and error as I recall, but I ultimately got it to work and I remember being so stoked!

[@Tezhut]

My favorite method is playing infinite Zelda games and keep adding triangles that way. Other than that, nice video!

[@MathVisualProofs]

Hah! Thanks:)

[@aramisreyes1657]

@@MathVisualProofs SIERPINSKI HEXAGON

[@LeoStaley]

This one should undoubtedly win the some2 contest. Best one I've seen, bar none.

[@MathVisualProofs]

Hah! Thanks. I didn't submit this to #SoME2. And my submission didn't make the top 100 but I still enjoyed making it: kzbin.info/www/bejne/m3nFpZZrZZKkjtE

[@revinhatol]

4:22 Level 8

[@MathVisualProofs]

?

[@revinhatol]

@@MathVisualProofs Look closer, this is a level-8 Sierpinski.

[@MathVisualProofs]

@@revinhatol Ah! I see what you meant. Thanks!

[@kyh148]

I believe the one with Pascal's triangle is because of addition of even and uneven numbers. Adding two even or two uneven numbers creates an even number, while adding an even and an uneven number creates an uneven number. The triangle starts with a single 1, then two 1s side by side. The third layer however has an even number because there are two uneven numbers above it. Because it's now uneven-even-uneven, it generates a full row of unevens below it because there are no evens or unevens side by side. This then creates a row of evens with unevens at the side (keep in mind the outside is always uneven because it's always 1). The rows of unevens at the sides grow while the row with evens shrink, because at the border between the evens and unevens, an uneven appears. This converges into a triangle until the row of evens shrinks completely. Meanwhile, at the sides, because the rows of unevens grow, there are new evens generated which then turn into unevens again because they border unevens. At some point, all of the (triangular) "holes" converge again to create a full row of unevens. This in turn creates a larger row of evens which converges to a larger triangle while at the sides new triangles are continuously created. This repeats simultaneously and infinitely, so it eventually turns into an approximation of Sierpinski's triangle. Mathematics is beautiful. edit: i really forgor the word for "odd" ☠️

[@MathVisualProofs]

:)

[@jakobthomsen1595]

Nice! BTW if you subdivide a cube into eight sub-cubes and repeat this process (octree) but each time removing the sub-cubes intersected by the main diagonal vector (1,1,1) the resulting structure contains a Sierpinski triangle (as can be seen when cutting through this 3d structure along a plane orthogonal to the main diagonal).

[@quadmasterXLII]

My favorite construction is to initialize conway's game of life with a ray- pixels (0, i) are alive for i >= 0. This produces a noisy triangle full of all the typical gliders and oscillators, that slowly becomes more regular as you zoom out

[@MathVisualProofs]

Good one for sure!

[@ahmedh.3357]

The Pascal Triangle Modulo 2 looks like a variant of using the Rule 90 Elementary Cellular Automaton with a single cell on. That also uses parity. Thank you for a great video!

[@MathVisualProofs]

Thanks for watching!

[@CesareVesdani]

What is the best software to make a menger sponge cube?

[@ram_n_music]

Idk much about the maths involved in this, but the triangle pattern thst it gets is rlly interesting

[@beethovennine]

Man, your vids are awesome!! Great work!

[@MathVisualProofs]

Thanks!

[@TimeTraveler-hk5xo]

But if you choose the exact midpoint of the triangle as your first point, then no matter which point of the triangle you draw a line to, the midpoint of that line is not part of the Sierpinski triangle. Or does the initial point also have to be in the Sierpinski triangle?

[@MathVisualProofs]

Really it’s just the limiting shape that is the triangle.

[@wendolinmendoza517]

7:36 L-systems (Lindermeyer systems) are always interesting, as they are actually a set of rules for the evolution of an initial figure. It is worth to mention that Lindermeyer first used this sort of process to try to describe the growth of some plants, as he was a botanic.

[@MathVisualProofs]

For sure!

[@Chalisque]

The thing with the 'chaos game' construction is this: if you start with a point that is not exactly on the gasket, then the next point will not be exactly on it either. The distance from the gasket reduces exponentially, but just as e^-x never reaches 0, the point never actually arrives at the gasket. (I may be wrong.)

[@Chalisque]

A way of making it formal is to consider balls of a given radius r about every point in the gasket. If the nth point x_n is within the balls of radius r, then x_{n+1} will be within balls of radius r/2, and so on.

[@AK56fire]

Brilliant video.. very well made..

[@MathVisualProofs]

Thanks!

[@Harmless_Blade]

What about the Conway's square, in Conway's game of life if you have a square, it does nothing right, but if you move the square up one unit every frame(generation) it eventually makes the triangle

[@cosmnik472]

im not sure what you mean by this, were you referring to wolfram elementary CAs?

[@supu8599]

Thanks for this information

[@MathVisualProofs]

Welcome!

[@FurryAzzre]

Triangle’s Majestic Divine.

[@christopherop8682]

If you take a square and divide it into four, delete a corner, then repeat for the small squares, if you do this a lot of times, a sierpinski triangle appears (Best method on checkered notebooks)

[@BanMidouSan]

Muchas gracias. Tu trabajo es espectacular. Mi favorito fue el del triángulo de Pascal.

[@MathVisualProofs]

Gracias. Yo también :)

[@wendolinmendoza517]

@@MathVisualProofs wow, do you actually speak Spanish? Well, sort of?

[@MathVisualProofs]

@@wendolinmendoza517 I studied Spanish for a few years and did an immersion program in Spain for 6 weeks. But that was over 20 years ago, so a lot of it is gone :)

[@wendolinmendoza517]

@@MathVisualProofs no me lo esperaba :0

[@MathVisualProofs]

@@wendolinmendoza517 😀

[@abhijit-sarkar]

"You take the blue pill - the story ends, you wake up in your bed and believe whatever you want to believe. You take the red pill - you stay in Wonderland and I show you how deep the rabbit hole goes."

[@ichardabad]

The Sierpiński Triangle: The Sierpiński triangle is created through an iterative algorithm. Starting with an equilateral triangle, the midpoints of each side are found and connected to form an inverted smaller triangle which is then removed. The same process is then applied to the remaining triangles at each stage.

[@ichardabad]

The Sierpiński Triangle is made for Wacław Sierpiński.

[@ichardabad]

You can create a Sierpiński Triangle with the Halayuda/Pascal Triangle.

[@LorvinWolf]

The chaos game part: what if i place the first random dott in the center of the triangle?

[@MathVisualProofs]

Typically you have to throw away the first few dots if you want a perfect picture. But since they are dots, they actually won't be too noticeable... they only become noticeable when they aggregate together.

[@LorvinWolf]

@@MathVisualProofs I also thought about that, but im really bad at math, so i wasn't sure

[@MathVisualProofs]

@@LorvinWolf bad at math? No way. You asked exactly the right question- that’s pretty good!

[@LorvinWolf]

@@MathVisualProofs thanks.

[@korea-ph8ch]

wow.very nice. very impressive.

[@MathVisualProofs]

Thank you so much 😀

[@SuviTuuliAllan]

Nice! The music made it a bit difficult to listen to. The auto-generated subs seem pretty good, though.

[@MathVisualProofs]

Thanks for the feedback. The sound editing is still a big hang up for me. I’ll keep on it :)

[@didierleonard7125]

Not sure if one of your six ways to get to the final triangle is equivalent to one more I saw once on Wikipedia by the cellular automaton. One of the 256 possibilities gives the sipiersky triangle if I remember correctly…

[@jfcrow1]

The Chaos Game is the one I have least understanding of.

[@MathVisualProofs]

Yes. The theorems involved are deeper and require a lot of mathematics so it’s a tough one to get to the bottom of :)

[@missingtourist3746]

@@MathVisualProofs chaos is a ladder

[@MathVisualProofs]

@@missingtourist3746 one worth climbing?

[@missingtourist3746]

@@MathVisualProofs Many who try to climb it fail, never to try again. The fall breaks them. And some given a chance to climb, they refuse. They cling to the realm, or the gods, or love, the illusions. Only the ladder is real. The climb is all there is.

[@matturner6890]

@@missingtourist3746 whoa

[@ManBroGuyCODM]

What is the name of the font you're using? I love that font and I'm trying to find it so please tell so I can use it in my videos. I'll give you some credit in my descriptions!

[@MathVisualProofs]

This is just computer modern (the standard LaTeX font). No credit needed :)

[@astro_cat030]

Yes, two more ways 1. Conway's game of life We are in an infinite square grid and we can decide a square is alive or dead. A cell only has eight possible neighbours, its alive if it has two or three alive neighbours and dies if it only has one alive neighbour or more than three alive neighbours. We make a straight line that has the number of squares from the power of 2 (4097 is fine). When we simulate it, it makes a chaotic Sierpinski. You can search it if you dont understand it much and its a simulation called Cellular Automaton 2. Wolfram Cellular Automata We are on an infinite white square grid we always start with one black square. We need to add rules to simulate if its three neighbouring squares on the bottom should be black or white by setting a table in binary descending like this 111 110 101 100 011 010 001 =0 =0 =0 =1 =0 =0 =1 000 < Input =0 < Output This is called Rule 18. It gets its name from the outputs 00010010 which is 18 in binary. Since we have our rule it grows like this Rule 18: 1 101 10001 1010101 100000001 10100000101 1000100010001 101010101010101 You get the idea. Also, The ones represent the black squares and the zeros represent the white squares. The blank spaces are zeros too. There are many rules too that generate the Sierpinski like Rule 90, Rule 129 and etc Edit: wait so are you going to do now Visual Proofs?

[@kijete]

you are the first person i've ever seen spelling sierpiński's surname correctly outside of poland

[@MathVisualProofs]

I try my best with those types of things.

[@SridharGajendran]

Wonderful video and presentation.. Tried the Pascal triangle method in my pc.. It went haywire after row 60..

[@MathVisualProofs]

Cool! Numbers too large?

[@SridharGajendran]

@@MathVisualProofs Yes.. wonder how you pulled it off..

[@MathVisualProofs]

@@SridharGajendran they key is to reduce to “mod 2”. So reduce binomial coefficients to 0 or 1 in a given row and then use pascal recurrence to get next row. Then keep doing this. You never get numbers larger than 2 :)

[@SridharGajendran]

@@MathVisualProofs wow.. thank you very much.. Can't wait to try it out tomorrow..

[@LUMEN_science]

Amazing!!!!!

[@MathVisualProofs]

Thank you :)

[@randomsircle]

Do you also provide the code that you used to make the animations, they would of great help of someone like me who is trying to make animation for example of a pascal's traingle. Great video Btw

[@xjoshsaucex]

Is there another geometric shape special like this? Its like a divine formula

[@michel7954]

Very cool!!

[@MathVisualProofs]

Thanks! Fun trying to figure out how to show all these. :)

[@penguincute3564]

Arrowhead construction is making another fractal simular the the Sierpin'ski triangle

[@drdca8263]

The bitwise dominance thing is, I think, basically the same as the pascal triangle one, in the following way: the pascal triangle gives the binomial coefficients. If one takes a prime number p (in this example, pick p=2) and expresses n and k in base p, then the binomial coefficient (n choose k), will be equivalent mod p, to the product of the binomial coefficients of the respective base-p digits. And, for p=2, this product is 1 if all the terms in the product are 1, and is 0 otherwise. And, (0 choose 0), (1 choose 0, and (1 choose 1) are all 1, with only (0 choose 1) being 0, and so the “binary digit dominance” thing ends up being whether the corresponding binomial coefficient is even or odd, So that’s why it gives the same thing as previous process.

[@MathVisualProofs]

yes. they are equivalent via Lucas' theorem (as you note :) ). But they are different in general because if you perform the similar task for different bases, you don't always get Pascal's triangle mod b (you do if you mod out by primes, but not composites).

[@noobhubzero1760]

Zelda has reached the multiverse

[@MathVisualProofs]

👍😃

[@楊珠鳳]

3:44 fact: 2^n row numbers all are odd number

[@MathVisualProofs]

Definitely true. The digital dominance argument actually can be modified to prove this.

[@blablablabla991]

What hapens if i putt the first random dott in the middle ?

[@MathVisualProofs]

Is a good question. You still get this shape with just a few extra points. The points don’t aggregate so you won’t really see them.

[@kdwaynec]

You will eventually end up with the same pattern ruined by one or two stray dots.

[@Kittycat-mr4im]

. O OO O O OOOO O O OO OO O O O O OOOOOOOO O O OO OO O O O O OOOO OOOO O O O O OO OO OO OO O O O O O O O O OOOOOOOOOOOOOOOO seirpinski triangle

[@gabrielpereiracoelho4925]

como esse video não tem um bilhão de vizualizações?

[@MathVisualProofs]

😀 I don’t know to make the algorithm Go :) thanks for the comment!

[@masoomaali7692]

what is the use of sierpinski triangle ?

[@MathVisualProofs]

It’s just a fascinating object with interesting properties.

[@masoomaali7692]

@@MathVisualProofs we made sierpinski triangle for our college exhibition, they asked that what are it's properties and uses. if u could tell me some properties, it will be great help to me😇

[@micah7009]

Can we see the code for this?

[@kaia2400]

so we take a line and make it squigglier and squigglier and look it’s a sierpinski triangle bihari viewers know what i’m talking about

[@rachelmay23]

When you’re putting the dots down, you are just shading in the odd numbers in the Pascal Triangle.

[@MathVisualProofs]

See time stamp 2:55 :)

[@hackaholic01]

How On earth do people come up with this kind of idea, I get Mixed feelings of getting amazed and noob as Not able to think like this

[@4U70_DeadAuto]

*I CAME HERE TO SEE THE HEXAGON MADE OF SIERPINSKI TRIANGLES!!! WHERE THE [BEEP] IS IT???*

[@MathVisualProofs]

Hah! Sorry.

[@NonTwinBrothers]

Woah, you sound like Code Parade!

[@MathVisualProofs]

I don’t know code parade. I’ll check it out. Is it a good thing ? :)

[@NonTwinBrothers]

@@MathVisualProofs Not a bad thing! He also does some code/math videos. I had just misheard the voice at first Do check out his "Extraordinary Conics" video

[@MathVisualProofs]

@@NonTwinBrothers Excellent channel! Thanks for pointing me to it :)

[@vamplate105]

you can’t escape it lol

[@MathVisualProofs]

😀

[@PCOE0112]

This video has a criminally low amount of views

[@MathVisualProofs]

Thanks!

[@Wedits362]

math is bad