“I don’t understand why anyone would write a geometry paper without including any diagrams of the shapes they’re talking about” Oof that must have been rough.
I looked at some of those articles and it's ridiculous. You spent 12 pages talking about polyhedra and did not make a single drawing? What's the point?
I found the paper "Regular Polyhedra - Old And New" by Branko Grünbaum in 1977, which list all 47 regular polyhedra. The one that was found by Andreas Dress is the Skew Muoctahedron
*Plato:* "Nooo, you can't just call filthy abstractions of reality a platonic solid!" *Haha blended Petrial hexagonal tiling go }{{⁶{}}⁶{{{}⁶}}}}⁶}{{{}⁶*
this video perfectly captures how it feels to be enchanted into reading an eldritch tome, experiencing a type of madness that is coherent in the moment and that you are mentally and physically incapable of sharing the knowledge you've obtained
my dad had the opposite reaction: i told him about the video and he said "why only 48?' i then told him the euclidean space restriction and he went "oh ok"
This is one of the areas where using VR for study actually makes a lot of sense. I'd assume seeing all these shapes "in person" makes it much more simple and understandable.
I have a feeling that these would act like the dreaded "brown note", except instead of making you go mad from looking at them, you'd just be left extremely confused and would get a headache. So an animation of some sort would be handy as well.
Greg Egan wrote a story, "The Dark Integers" but the definition of what they were was disappointing and not related to the story, even though the name was evocative of the story.
Halfway I was laughing from the joy of discovery. By part 8 I was crying from the horror of discovery. By then, I felt like I was diving into an eldritch horror.
This is all still Euclidean though, which Eldritch horror is clearly described as not being. Allowing for non-Euclidean curved space would presumably pretty easily allow for infinite regular polyhedra, stuff like angles adding up to 360 degrees doesn't apply anymore so you could have a septagon sided shape etc.
@@xTheUnderscorex HP Lovecraft was naive. Non-Euclidean geometry doesn't have to be eldritch (just look at flight plans for aircraft, which take place entirely in spherical geometry, or really anything based on the surface of the Earth), meanwhile this video showed that it's more than possible to find Eldritch horrors entirely within Euclidean geometry.
Nah, he deliberately set the definitions to exclude an infinite number of regular polyhedra. In the spesific definitions he set, he (probably) found all of em.
@@gustavjacobsson3332 Well, I should've specified, stricktly adhering to the definitions set here, an infinite amount of classes of regular polyhedra is impossible. Technically speaking it might be possible to construct more than jan Misali showed here, since that hasn't been disproven yet as far as I'm aware. But there probably isn't a way to create infinitely many classes of *regular* polyhedra that are unique.
I love how this is packed with easy-to-digest info distilled into half an hour but at the same time you can _feel_ how deep Jan had to stare into the abyss to do that. Like, well done bro, you truly suffered for your art here!
One of my favorite sentences ever "The Petrial mutetrahedron can be derived either as the Petrie dual of the mutetrahedron or as a skew-dual of the dual of the Petrial halved mucube."
1:33 "We can plot any two points in space and connect them to form a line segment" 7:04 "... but there's nothing in the rulebook that says a golden retriever can't construct a self-intersecting non-convex regular polygon" That just went from 0 to 100 real quick!
The best thing about this video is the increasingly scuffed drawing of all the polyhedra at the end of each part EDIT: Also I don't know why but seeing and hearing 'part one: what?' made me laugh way too much
"There's nothing in the rulebook that says a golden retriever can't construct a self intersecting non-convex regular polygon." Never change jan Misali, never change.
why not just define "platonic polytopes" as being closed, finite and orientable and then have them be: vertex-transitive edge-transitive face-transitive cell-transitive etc. but more specifically, we can define an n-dimensional analogue of vertices/edges/faces/cells/etc recursively by only allowing "platonic polytopes" as counting, essentially meaning that a platonic polytope must have its vertices/edges/faces/cells/etc made of platonic polytopes in order to count as a platonic polytope. then, **i think**, we get the intuitive notion of the generalisation of a platonic solid.
@@UnordEntertainment That's essentially what they already do. It's part of the definition of regularity. Note that even the abstract polyhedra mentioned in this video are composed entirely of regular polygons. Similarly, regular polychora are composed entirely of regular polyhedra. The general rule is that they have to have every possible symmetry. They have to be transitive on every flag (vertex, edge, face, facet, etc.). If we further require them to be closed (thus finite) and convex (thus not self-intersecting), we get the usual list (up to Petrie duality).
At 10:00, when you first showed the numbers as representing shapes, it *immediately* clicked that we’d be using stars as vertice numbers and I audibly groaned “oh goooood”
I want to comment on how most of this video is actually very easy to comprehend even though I know nothing beyond high school maths. Very well made explanation
Yes, agreed. I'm in high school currently taking Calculus, and I am a math nerd, but this kind of iceberg territory is usually incomprehensible, yet I somehow understand what a Petrial is now :D
watching this felt like physically sinking into the lovecraftian void of my calc textbook. i geniunely believed i could have no further hatred for a branch of mathematics in my life. i think i burned a few brain cells watching this. thank you.
"The Petrial mutetrahedron can either be derived either as the Petri dual of the mutetrahedron or as the skew dual of the dual of the Petrial halved mucube" what did i just watch
to explain 5/2: 1. imagine you have five dots in a circle 2. connect those dots via lines to make a shape 3. make note of how many dots you move around the perimeter each time you connect a dot (Make sure these are equal) 4a. if you move 1 dot per line, you end up making a pentagon, therefore it would be 5/1, but you dont have to write the 1, as it is understood by default. 4b. if you move 2 dots per line, you end up making a pentagram (5 pointed star), therefore it would be 5/2 4c. if you move 3 dots per ling, you still end up making the same pentagram, just the other way around, so it would still be 5/2 another more complicated example: There are multiple ways to make an 8 pointed star, and the schlaffle symbol allows us to distinguish between them. 1.have 8 dots in a circle 2.connect those dots in the same manner as the 5 dots 3. notice that now you have more choices on how many spaces you can go and make different polygrams (stars) 4a. 1 dot gives you an octogon, 8 4b. 2 dots give you a square octogram (an 8 pointed star made by stacking squares), 8/2 4c. 3 dots give you a different octogram (this one can be drawn withut lifting your pen), 8/3 4d. 4 dots give you an 8 pointed asterisk (the * symbol but with 8 points instead of 5), 8/4 4e. 5 dots makes 8/3 in the other direction. now hopefully, you understand a little more about schlaffle symbols.
Thank you very much about this comment. I believe there was a vihart video I watched that made it easier to understand this comment. She didn’t use any notation but she was creating every type of stars including 5/1 (that is a pentagon I don’t remember whether she called it a star in the video or not), 7/2 or 6/3 or 6/2
So 8/2 results in pairs of edges that completely overlap. Jan Misali was explicitly not allowing overlapping edges or faces or vertices, but if you did allow them, it would surely give infinite regular polyhedra.
"There's nothing in the rulebook that says a golden retriever can't construct a self-intersecting non-convex regular polygon." This is just like 8 minutes in... This will be a wild ride, won't it?
By the end of this you will realize we don’t need a fourth dimension to black magic/sci-fi things into existence because three dimensions are complex enough.
"I've been Jan Misali, and I don't understand why anyone would write a geometry paper without including any diagrams of the shapes they're talking about."
See, THIS is what my conservative Catholic mother warned me about! That darn Pentagram leads to the path of Dark Geometry if you twist it with evil dark math!!
“I’m making this for general audiences” “Look again, what your actually looking at is a infinite spiral pattern of squares spiraling into the 3 r d d i m e n s i o n “ Not the best example but still
Me learning about Kepler solids: Ah! Technically correct! My favourite kind of correct. Me learning about Petrials and infinite towers of triangles: This is witchcraft and it's making me anxious and honestly I don't think it should exist.
The one thing that im frustrated with is this: In school, i was taught with the assumption that my questions where irrelevant or inappropriate. Yet this shows my questions had in the past been accurate. Thank you for all the effort you gave this video. Much appreciated
@@MegaDudeman21An American one. Most US schools are staffed by people who don't care about the subject they teach, and sometimes they don't even understand the subject themselves.
"But there's nothing in the rulebook that says a golden retriever can't.." I've watched this video about eight times and just now understood the air bud joke. Quality content
At a certain point these videos make me want to start crying, partly out of frustration/not understanding and partly out of wonder and sheer admiration for the world we live in.
I mean, the spiky pentagram ones are pretty simple and cool and shouldn't be left out as often as they are. The rest, though, yeah, those can stay in the depths.
@@walugusgrudenburg3068 its probably because a lot of school curriculums leave out stars from being regular polygons/polyhedra (for no real good reason other than simplicity, i guess). if those educational channels want to help people with schoolwork they might leave out something a bit more complicated
Yeah but it would be reasonable to limit it to finite ones, constructed with flat polygons. This would include the star polyhedra, but exclude: the petrials (cause those ain't flat polygon faces) the tilings (they're infinite) and the petrie coxeter polyhedra (which are both infinite and don't have flat polygonal faces) The restriction removed from the platonic solids is just that edges are now allowed to intersect.
I would like to have it known that this video is responsible for one of my most “in character” moments of all time. My brand new girlfriend got in my car for the first time and said “Ooh! I get to find out what music you listen to.” All I could do was press play. At 23:30. This is not music. I was LISTENING to a video about Geometry while driving. I was listening to a video about DARK GEOMETRY while driving
This video literally reduced me to tears. First in laughter, and that slowly devolved into sobs. I think this is only half because of the sleep deprivation
Oh boy, yes Vertices.... I got my BS in Animation (2D&3D) & wen we model for animation we map our polygons, sometimes for repeatable textures- they do breakdown to triangles, but usually use 4 sided faces to make nice mappable squares/quads. 5 is a no no because of artifact/shading probs and such when animated. But holy heck- if you're using polygons & make a mistake early you're in for it. (Rudimentary comment don't come @ me w/aCtuAlLty ... I'm echoing the struggle for perky noobies.)
This entire video is amazing but one of my favourite parts is at the bottom of the iceberg, where one of the shapes is accompanied by “(DO NOT RESEARCH THIS)”, like it’s an SCP or something.
I mean this as positively as possible, I have watched this video like 5 times, I have never made it to the end, I am genuinely interested in what you’re talking about but dear lord this video is like a sleep spell to me. I only watch it when I can’t fall asleep and nothing else works, 10 minutes in and I’m GONE. This is a blessing. Thank you.
Tip from me, If you need more, Just Pick a weird niche science topic, search a Uni class on it, choose Like the 5 class, and boom, ITS Just Professors saying words that dont mean anything and Its super nice
I do think it's important to note that a majority of these polyhedra are abstract algebra constructs that cannot meaningfully exist in a physical space.
As a mathematician, I can not thank you enough for doing something like this. I'm no expert on geometry, but regular polyhedron and polychora for 4d are some of the things I find the most interesting. Have not finished it yet but just the act of making it is wonderful. Edit #1: Not done but when you introduce stellated dodecahedrons, you say they are called "stellated" because they are made from stars but this is technically inaccurate. Something being stellated is weirder than that and I am not an expert on the subject but look at en.wikipedia.org/wiki/Stellation. Edit #2: It is immediatly noted that another way of thinking about it is the formal Stellation thing but so nvm I guess.
I always assumed that stellation referred to the fact they looked like stars; a pentagram looks like a pentagon with spikes instead of edges - similarly the faces of a dodecahedron or icosahedron were replaced with pyramids. Each face being uniformly augmented to a point. For that reason i assumed they weren't regular, but i suppose being thinly defined as stars for faces caught me off guard. They are however "Stellated" because they look like stars - a pentagram is technically a stellated pentagram
I'm just upset that nobody else is objecting to his use of skew polygons here, which are not actual polygons. Polygons are in fact defined as being 2 dimensional. I had other objections, but that's where I started shouting at my screen.
Theoretically, if you define a regular polygon as any polygon with edges of uniform length which share the property of edge and vertex transitivity where each vertex connects to two edges and each edge to two vertexes (a moderately restrictive definition, but definitely not what we think of as regular polygons) then by all means, skew polygons are entirely valid. I appreciate the fact that Petrials still have uniform, transitive faces, edges, and vertices, and are rather simple if you understand them
@@signisot5264 but the technical definition of the polygon, in Euclidean space, states that it is a two dimensional figure. You can't have a polygon which extends into a 3rd dimension any more than you could have a polygon with a curved edge, or a square with 120 degree interior angles.
Leo Staley, it all comes down to the definition and, if we’re willing to change the definition of a polygon in exchange for not changing the definition of a regular polyhedra, then we may as well throw our standard definition of “regular polygon” out the window. Since most of these are abstract or infinite anyways, physically it doesn’t matter, but I’ve actually taken inspiration from the petrial cube as the solution to a problem I was having (coding something) so, as long as it’s a useful abstraction, I’ll support it. Wether or not we call it regular... (Edited cause I used the wrong words for some things, whoops)
Me, a mathematician: Oh, like the Kepler-Poinsot polyhedron? (Also I saw the Petrie-Coxeter ones once but forgot about them.) Jan Misali, a hobbyist: I'm about to ruin this man's whole day.
@@palatasikuntheyoutubecomme2046 I know that now, but only after seeing like all of his videos. I thought for the longest time his name was "Jan", like a Polish friend of mine.
One of the restrictions you chose to include was that two points connected by line segments doesn't count as a polygon. That's a sensible exclusion, but that is actually my favorite shape, the digon. It's not very interesting in a plane by itself so explicitly excluding it for this video is a good idea, but on a sphere it's a really important shape called a lune, think of it as the boundary on a sphere of an orange wedge. But way more importantly, a digonal antiprism is a tetrahedron! it's so cool! a totally different way of constructing a tetrahedron. A tetrahedron is two line segments, degenerate digons, rotated 90° and connected vertex to vertex. If you allow the digon there's also at least 1 new regular polyhedron, The Apeirogonal Hosohedron, basically a tiling of the plane by infinitely long rectangles, or stripes. This is my favorite video of your channel and it singlehandedly reignited my interest in geometry and topology.
Watch some of AntVenom's videos on the true structure of Minecraft's farlands. It varies by version and edition but generally the region that has normal minecraft world generation and physics is less than a trillionth of a trillionth or a trillionth of the area one can hypothetically visit. From what I recall of a fairly old version: most of it has no ground at all, only clouds, and normal motion is impossible because position is too discretised for you to move, so you can only teleport. Most of the remainder is corner farlands that have intangible ground. Most of the remainder is edge farlands that are similar. Most of the rest is corner farlands that are at least tangible. Most of the rest is edge farlands that are similar. Most of the rest is normal terrain with noticeably jerky movement. The tiny remaining part is the "normal" minecraft world.
@@SimonClarkstone I watched the first few seasons of KurtJMac's Far Lands or Bust when it was coming out weekly, friend. That stuff's just IEEE 754 double precision errors in perlin noise generators. This? This nonsense is what melts brains.
these are the kinds of shapes i spent late nights browsing wikipedia to find out about... thanks for the vid, i thought i knew about some weird polyhedra but this blew me away!
i believe this may be one of my favorite jan Misali videos solely for its absolute disregard for what i consider a shape and my personal safe little bubble of shapes. thank you, Mitch, for giving me a new favorite polygon: the pentagram.
The pentagram? C'mon, there's the apeirogon of infinite sides meaning that the external angle of all of them is 180° so the polygon is actually a non-curved line segment but it can't be a line segment in 1D space since you need 2 coordinates to define a point in it yet it is.
@@user-pr6ed3ri2k Duo-cylinder Two circles made perpendicular to eachother in the fourth dimension and then connected Great Grand stellated hecatonicosachron A stellated, greatened, and grandified version of the 120-cell which is a 4d shape made up of 120 dodecahedra
This is really impressive. I'm a PhD student in mathematics and had never come across many of the things you mentioned. Extraordinary research! As for why "anyone would write a geometry paper without including any diagrams of the shapes they're talking about", I believe most mathematicians would consider the abstract interpretation of a geometric structure considerably easier to grasp and less complicated to "do mathematics with" than the actual shapes. For example, it's often easier to understand and prove properties about polytopes in terms of their isometry or reflection groups than by looking at their shapes (you can tell, for instance, what other regular polytopes can/cannot be immersed within a polytope by studying its isometry subgroups). The graph structure (and its homology) is similarly helpful. That said, intuition often arises from looking at something from a perspective we're not really familiar with, which may as well be a purely geometric one. I thought I was already subscribed, but in any case, subscribed again.
I have no idea about how i got here and dont understand how there can be so many people who understand what is going on and what is the real life use of all of this since so many people seem to study it, too advanced, help me
@Null Pointer Wow, are you one of the authors of that 1997 article? That's exciting! I couldn't really grasp everything in the paper, but found it very interesting nonetheless (despite the lack of "nice pictures to look at" :D).
Virgin tetrahedron: well known, invented and defined centuries ago, known by children Chad stellated dodecahedron: barely known, curiosity of geometry nerds and professors THAD dual of petrial halved mucube: consumes infinite 3d reality to simply exist, still only known by a few researchers, impossible for mere humans to comprehend or visualize
@Eric Lee Honestly that felt like what this video was for me, as a dude with a MSc in Psychology who never had any sort of geometry in college other than my own personal curiosity since age 13 in high school lol. Structural model equations in statistics is the closest I've done to anything geometry related. I'm ABSOLUTELY using this shiz in my next D&D session.
I should probably get some sleep _janMisali uploads_ Oh cool, Numberphi-- oh. Lets go. Edit: you said this was gonna be a math video not a conlang video
Being a mathematician-in-training, yes that is the 'general' introduction. The 'specific' introduction has a prerequisite of first year university mathematics.
as a regular human, I can confirm that this video was very informative and entertaining. I'm not sure how much I actually understood, but that's not always the most important part, ight?
@@metachirality If you count a hyperbolic honeycomb as a polychoron, then you have to count the 2D hyperbolic tilings (Such as the heptagonal tiling) as polyhedra. It's just good manners!
As a math soon-to-be major, I just can't resist the urge to engage with this kind of content! Surprisingly, this sort of geometric, classificatory, finite and not-very-abstract math is (unfortunately) not discussed in many circles I'm a part of. I guess "real" mathematicians like to spend their days solving infinite-dimensional equations or whatever. So, thanks! I also want to thank you on the amount of work and research you must have endured. Also, can we have a link for the polytope discord? I'd like to point that just because there are infinitely many polygons, doesn't mean it's boring; it's that it's too easy to classify them. You choose the number of vertices and it... just works, no strings attached. It's also simple to find the intersecting ones by number theory. That's the real interest with 3+ dimensions: it's much harder to produce regular solids than regular polygons. Directly answering your question about geometry papers, what matters about the polyhedra is the inherent symmetries it has, and also, shape alone can't distinguish between solids. Well, then we could simply equate the polyhedra with some of its properties, and discard the visual/positional necessity altogether. Then, we are dealing with an abstract object, defined not by its visuals but by its relations. All the information it contains can be described in that small set of numbers and words. Then there is no incentive to ever take the time and produce a visual representation, since none of the people engaging with it are expected to use a visual model. This is much more precise and easier to manipulate (with math tools) although admittedly much less intuitive. This leads me to my last point. Even with that fixed definition of regular polyhedra, how do you know that the list ends there? How can you be sure that an extra bendy, different line arrangement or something can't give rise to a new polyhedra? In other words, why is this list complete? (EDIT: after a quick look at the reference paper, this classification result is very similar to the one at part two, but instead of spacially combining polygons, you instead look at the symmetries themselves and just combine them until there are no more ways to do so)
I'm just upset that nobody is objecting to when he ventuered into pretrial "polyhedra," and said that there is nothing in the definition of polygon that restricts polygons to 2 dimensions. *Yes. There is.* It's one of the core defining elements. He might as well have said "there's nothing in the definition of polygon restricting the line segments to being straight, so here are some polygons with curved lines."
@@LeoStaley The definition for polygon used is: "a polygon is a shape made out of line segments(edges) where the defining endpoints(vertices) are each shared by exactly two line segments" None of this restricts the edges in question to a flat plane. The whole point of the video is to show all the places you can go if you don't also restrict the definition to "no self-intersections", "polygons must be 2D", "polyhedra must be enclosed" and probably another that I've missed. Those extra restrictions are often necessary. If you want to build a container that's a regular polyhedron, then the petrial mucube isn't going to be much use to you. But the point is these restrictions are imposed by us, and if we choose to remove them we can find new and interesting mathematical shapes that still hold to a formal definition of a polyhedron. Someone said it elsewhere in the comments, but is it not intriguing that even removing these assumptions, and relaxing the definition of regular polyhedra there is still a finite number of them?!
@@Minihood31770 that isn't the normal definition. That is much looser than the technical definition normaly used. The normal definition can be found on Wikipedia.
@@LeoStaley Let me try and give a bit of deeper intuition. The standard technical view of a regular polygon is a set of n vertices, all symmetrically equivalent, and a set of edges, all symmetrically equivalent. This definition agrees with the standard one so long as we restrict symmetries to mean rigid movements in the 2D plane. Now, when we pass to 3 dimensions, it's our interest to define this for polyhedra. Again, shape, position and scale shouldn't matter, so we look at the set of symmetries. But, if we insist that polygons remain flat, we have a problem. Because we now can perform symmetries in all of 3D space, to check that a thing is a polyhedra, we have to check that the symmetries of edges don't escape their plane, which is an unnatural condition and hard to verify. In other words: the natural algebric definition of a polyhedra is a good theoretical basis for the geometric polyhedra, but it does not need to contain geometric polygons. So, to ease the study of these objects, we can expand the definition of polygons. Or we can just ignore them; it's not like the fundamental structure of an object needs a name to exist. Fun observation: this algebric definition of polygons does cover curved edges. If all edges are symmetrical then the curve itself doesn't matter, and the symmetries are the same as an usual non-curved polygon. A Reuleaux triangle has the same set of symmetries as a regular triangle, and so it counts as the same thing (the same way two triangles with different size count as the same type of polygon, despite not sharing most of its points)
Part 2: Yeah that's simple 3D geometry Part 4: Okay these look cool but still kinda make sense Part 6: Huh, never thought of that but I guess that makes sense Part 7: Okay so basically 3D zigzags, that's cool Part 9: WHAT
Honestly, Jan, your videos are the only ones that can genuinely rewatch 100 times, I seriously have seen bith this and caramelldansen more time than I can count, and they always perk up my mood, so thanks
"there's nothing in the rulebook that says a golden retriever can't construct a self-intersecting non-convex regular polygon" is maybe the most jan misali sentence that's ever been jan misali'd
22:01 I did not know it was possible to be jumpscared by the next step of a calm explanation of geometry. Now I do. I think I gasped aloud the first time I watched this and got to that part. Good stuff.
I feel the need to point out at 20:41 ‘zigzag’ and ‘long line’ are placed on the same level of obscurity as ‘apeirogonal antiprismatic honeycomb’, ‘metabidiminished icosahedron atop dodecahedron’ and ‘retroantiprismatosnub dishecatonicosachoron’. Also I tried to read ‘spinohexeractidistriacontadihemitriacontadipeton’ out loud and the demon I summoned is still trying to eat my toes
@@kianasheibani1708 I personally consider "long line" to be much simpler than most of those "polyhedra". I mean it's just the Cartesian product of omega one and [0, 1) with the lexicographical order and the standard order topology (well, you can argue that that's the long ray, but how cares, honestly). The only "complicated" part of it is omega one, and it's only complicated because most non-mathematicians skip the formal set theory and use their intuitive understanding of sets instead.
@@kianasheibani1708 well, topology in general is full of different extremely bizarre spaces. And I never took any classes in neither topology nor set theory, learnt everything from textbooks. My main source of information about set theory was Halmos' "Naïve set theory", which is ironically about the axiomatic set theory. I would consider it pretty easy to understand for general audience, and it certainly does explain omega one. As for topology, I was able to understand what an order topology is by age 15 or 16, and again I was self-taught. So yeah, it is really weird and counterintuitive, but still not that hard to understand for mathematically inclined people without any formal background.
@@kianasheibani1708 I am not sure if it still has a value for you. The book builds the theory from axioms to the elementary theories of ordinal and cardinal numbers. If you already know what omega one is it may be too easy for you. Also, it doesn't use the axiom of foundation, probably because it's almost never used outside of the set theory itself. The predicate logic is not discussed too, all proofs are in plain English.
this shit literally had me laughing the entire time, sure you could talk slower so i could understand more but everytime you pulled a new concept on me i was like "oh fUCK" and then a giant ass shape with a stupidly long name appeared and it was like the punchline to the funniest joke ever like unironically never stop making these
Oh man I keep coming back to this comment every once in a while because it makes me so unreasonably happy. Imagining you laughing at this anything-but-funny video makes me do a massive :) for whatever reason. Thank you.
1:31 The first time I watched this, I didn’t know what that meant, and didn’t bother worrying about it. Now I do know what it means, and I agree that that is a reasonable restriction.
Fascinating topic, presented brilliantly. Along the way, watching all the terrific visualizations, I can't help but be slightly awestruck by the mathematicians who dreamed up these shapes a century or more ago, with no better visualization tool than their mind's eye. Thanks for a truly superb presentation!
plato: a regular polyhedron has equal edges and equal vertex angles
diogenes: *holds up infinite square tiling* behold, a regular polyhedron
Okay, that's perfect.
Underrated comment
Perhaps the Nerdiest joke I've ever understood
@@iamdigory ...so far.
😂
Thanks for being brave enough to stand up to Big Shape.
you're welcome petrial halved mucube
IS THAT A... nevermind
You're welcome (look up 120 sided polyhedron(
" to square up"
Yeah down with Cube!
“I don’t understand why anyone would write a geometry paper without including any diagrams of the shapes they’re talking about”
Oof that must have been rough.
Making pictures was a lot harder back then
Think about how satisfying those were to model though
@@undeniablySomeGuy or frustrating
@@jercki72 probably frustrating. i can't even think about it about programming them. _MATH MATH MATH MATH AAAAAAAAAAAA_
I looked at some of those articles and it's ridiculous. You spent 12 pages talking about polyhedra and did not make a single drawing? What's the point?
I found the paper "Regular Polyhedra - Old And New" by Branko Grünbaum in 1977, which list all 47 regular polyhedra. The one that was found by Andreas Dress is the Skew Muoctahedron
Cool, good to know!
pog
Link pls?
search the paper name in google with quotes around it so only results containing the exact name show up
@@axehead45
Neat.
*Plato:* "Nooo, you can't just call filthy abstractions of reality a platonic solid!"
*Haha blended Petrial hexagonal tiling go }{{⁶{}}⁶{{{}⁶}}}}⁶}{{{}⁶*
I'm don't understand, but I like it
platonic solids are convex regular polyhedra and have surface area
They're not really platonic aren't they... They're just... Regular.
Everybody gangsta until the brackets italicize themselves
May the touhou fan base rise up
This feels like a video that years from now will be the equivalent of what the "Turning a sphere inside-out" video became.
thats precisely how i got here
hmmm what if instead of turning it inside-out, you view the sphere from the inside instead of from the outside
literally came here from that video
@@GhGh-ci8ld SAME
That was the video right after this one 🤣🤣
this video perfectly captures how it feels to be enchanted into reading an eldritch tome, experiencing a type of madness that is coherent in the moment and that you are mentally and physically incapable of sharing the knowledge you've obtained
... u wot m8??...
@@valinorean4816 go try to tell your mom what a mucube is without showing her a picture or this video
"remember how as a child you were taught there was 1 god? there's actually 48"
Esoteric knowledge
*psychedelics
my dad had the opposite reaction: i told him about the video and he said "why only 48?'
i then told him the euclidean space restriction and he went "oh ok"
Yeah, once you go off into non-euclidean symbols you're likely to summon something.....
@@johnmccartney3819 i knew it, i knew this video contained eldritch knowledge
@@somedragonbastard It summons a 4D hound or something
@@samuilzaychev9636oh no , get rid of all the angles
@@have_a_cup_of_water_08biblically accurate angles
17:02 "There's nothing in the definition that restricts polygons to two dimensions"
*Dear God*
There's more
@@boldCactuslad No!
Saint Scott!!
Would that mean that there is nothing restricting polyhedra to 3 dimensions?
@@ondrej2871 by his definition, there was, but he left it open to explore removing that restriction.
This is one of the areas where using VR for study actually makes a lot of sense. I'd assume seeing all these shapes "in person" makes it much more simple and understandable.
Exactly
@@sdrawkcabmiay I might need to model some of these and bring them into VR.
I have a feeling that these would act like the dreaded "brown note", except instead of making you go mad from looking at them, you'd just be left extremely confused and would get a headache.
So an animation of some sort would be handy as well.
After seeing all of these in VR all of reality starts to look wrong and incomplete...
@@Alorand where did you get them?
I never thought I would hear the words “dark geometry”
Dark geometry show me the forbidden polytopes
Greg Egan wrote a story, "The Dark Integers" but the definition of what they were was disappointing and not related to the story, even though the name was evocative of the story.
Queue dramatic striking sound
The Dark Side of geometry is a pathway to many shapes some consider to be... unnatural.
The Dark Arts of Mathematics!
Halfway I was laughing from the joy of discovery.
By part 8 I was crying from the horror of discovery. By then, I felt like I was diving into an eldritch horror.
Same here, man. This video has so much emotion hidden inside it. It's a masterpiece of drama.
This is all still Euclidean though, which Eldritch horror is clearly described as not being.
Allowing for non-Euclidean curved space would presumably pretty easily allow for infinite regular polyhedra, stuff like angles adding up to 360 degrees doesn't apply anymore so you could have a septagon sided shape etc.
@@xTheUnderscorex HP Lovecraft was naive. Non-Euclidean geometry doesn't have to be eldritch (just look at flight plans for aircraft, which take place entirely in spherical geometry, or really anything based on the surface of the Earth), meanwhile this video showed that it's more than possible to find Eldritch horrors entirely within Euclidean geometry.
I'm actually astonished that this incredibly loose definition of a polyhedron does not lead to an infinite number of regular polyhedra.
if it didn't have the extra rules Jan added, there probably would
I'm not sure it's been proved that these are the only ones, these are just the ones he found.
Nah, he deliberately set the definitions to exclude an infinite number of regular polyhedra. In the spesific definitions he set, he (probably) found all of em.
@@gustavjacobsson3332 That's also true. Just not an infinite set of polyhedra *classes.*
@@gustavjacobsson3332 Well, I should've specified, stricktly adhering to the definitions set here, an infinite amount of classes of regular polyhedra is impossible. Technically speaking it might be possible to construct more than jan Misali showed here, since that hasn't been disproven yet as far as I'm aware. But there probably isn't a way to create infinitely many classes of *regular* polyhedra that are unique.
This must be that crazy "crystal math" stuff I've heard about on the news.
@Liyana Alam literally
i am both very angry and absolute thrilled that this made me laugh
this comment has layers.
I like how no matter what vocal you replace the a with in the word math it will still be a word (except u)
Math
Meth
Mith
Moth
@@CoingamerFL Be thankful you've never encountered the horrifying _Crystal Muth_ .
They make sense as soon as you rip the skin off geometry and start reorganizing the algebraic bones in otherwise impossible shapes.
That sounds metal as hell
that's a horrible way to put that, thank you
Best way to look at geometry: *Remove its skin*.
@@cyberneticsquid skin it and rearrange its skeleton
i don't understand
I love how this is packed with easy-to-digest info distilled into half an hour but at the same time you can _feel_ how deep Jan had to stare into the abyss to do that. Like, well done bro, you truly suffered for your art here!
'jan' just means person/people in tokipona. If you want to refer to them by name, you should call them 'Misali'.
@@Sapien_6 (they don't mind and you don't have to correct people on it)
@@soupisfornoobs4081they also go by he
@@soupisfornoobs4081 *but it's good to know and you should probably, and in a friendly manner, remind them of so.
@@polygontower yes thank you not every correction on the internet has to be hostile
At this point, we should just redefine a regular polyhedron as also having a defined (or definable) volume, to stop mathematicians from going mad.
that's not gonna stop them and we all know it
@@literallyafishhook u right and i hate it
complex numbers count as "defined", right?
@@strangeWaters holy shit
Technically platonic solids do not have volume, they're surfaces curved into 3D space, just as how polygons are line segments curved into 2D space.
Full list:
- Platonic Solids
- - Tetrahedron {3, 3}
- - Cube {4, 3}
- - Octahedron {3, 4}
- - Dodecahedron {5, 3}
- - Icosahedron {3, 5}
- Star Polyhedra / Kepler-Poinsot Polyhedra
- - Small Stellated Dodecahedron {5/2, 5}
- - Great Stellated Dodecahedron {5/2, 3}
- - Great Dodecahedron {3, 5/3}
- - Great Icosahedron {5, 5/2}
- Flat Tilings / Apeirohedra
- - Triangle Tiling {3, 6}
- - Square Tiling {4, 4}
- - Hexagon Tiling {6, 3}
- Regular skew apeirohedra / Petrie-Coxeter polyhedra
- - Mucube {4, 6|4}
- - Muoctahedron {6, 4|4}
- - Mutetrahedron {6, 6|3}
Petrial Duals of all of the above
Unnamed
- Blended Square Tiling {∞,4}_4 # { }
- Blended Triangle Tiling {∞,6}_3 # { }
- Blended Hexagonal Tiling {∞,3}_6 # { }
- Helical Square Tiling {∞,4}_4 # {∞}
- Helical Triangle Tiling {∞,6}_3 # {∞}
- Helical Hexagonal Tiling {∞,3}_6 # {∞}
- Petrial Duals of all the above
- Halved Mucube {6, 6}_4 (and it's petrial dual {4, 6}_6}
- Dual of the Halved Mucube {6, 4}_6
- Trihelical Square Tiling {∞, 3} (the first one)
- Tetrahelical Triangle Tiling {∞, 3} (the other one)
- Skew Muoctahedron {God knows}
"God knows"
no.. God does not. dark geometry is beyond any divine influence
{GOD KNOWS}
doing God's work, my guy
Basshedron {69, 420}
@@wormius51 lmao
Reeling from the ramifications of Big Shape hiding Dark Geometry from me.
And big flat is hiding 2 and 1-gons!
@NoName-sv2uz where is square
@@Radio_ink114 in *The Plane*
One of my favorite sentences ever
"The Petrial mutetrahedron can be derived either as the Petrie dual of the mutetrahedron or as a skew-dual of the dual of the Petrial halved mucube."
Bart: There are 48 regular polyhedra.
Homer: There are 48 regular polyhedra so far.
I'd watch that episode
@@Asger1703 that line is from the movie.
Wasn't Homer an author though?
@@hyliandragon5918 everyone knows, it is a joke
"dark geometry" is the most intimidating phrase I've heard all year
Now I want to open a bar named that. Complete with neon fixtures with these Edritchian polyhedra.
Reminds me of Lovecraft...
I raise you: Umbral Calculus
@@CastafioreOnTH-cam Dear god...
SCP-478+23i
The universe is extremely lucky that we have a linguist who loves shapes.
The fact that this video codifies the names for some of the polyhedra it describes is amazing.
This is how you get Thagomizers.
1:33 "We can plot any two points in space and connect them to form a line segment"
7:04 "... but there's nothing in the rulebook that says a golden retriever can't construct a self-intersecting non-convex regular polygon"
That just went from 0 to 100 real quick!
The best thing about this video is the increasingly scuffed drawing of all the polyhedra at the end of each part
EDIT: Also I don't know why but seeing and hearing 'part one: what?' made me laugh way too much
And eventually he just gives up on trying to visualize the creations of a geometry PhD with an aversion to diagrams.
Also the golden retriever
Welcome to the jan Misali style of humor.
I love the word scuffed, first encountered it in a speedrun video, it's just a fun word
"There's nothing in the rulebook that says a golden retriever can't construct a self intersecting non-convex regular polygon."
Never change jan Misali, never change.
I read this right before he said it lol
It's the sheer confidence with which he says it that just catches you off guard and leaves you wheezing.
I loved that line too! Especially since the last Vsauce episode referenced that part of Air Bud too. Still fresh in mind.
I’m in college learning more advanced math and computer science now, but I still come back to this video on occasion to keep myself humble.
>username: uwufemboy
>"computer science"
Ah ok that makes sense
"The dark side of the geometry is a pathway to many shapes some consider to be... unnatural..." -Grünbaum, probably
Is it possible to learn that power…?
-not with a compass and a straightedge
AHAHAHAH
This is one of the best applications of this quote I hav ever seen lol!
Have you heard the tragedy of Darth Non-platonic solid the regular? I thought not, it's not a mathematical principal the Ancients would tell you
This is fricking gold
This is why we need the term "Platonic solids": So we don't have to keep saying "regular closed convex polyhedra up to Petrie duality."
why not just define "platonic polytopes" as being closed, finite and orientable and then have them be:
vertex-transitive edge-transitive face-transitive cell-transitive etc.
but more specifically, we can define an n-dimensional analogue of vertices/edges/faces/cells/etc recursively by only allowing "platonic polytopes" as counting, essentially meaning that a platonic polytope must have its vertices/edges/faces/cells/etc made of platonic polytopes in order to count as a platonic polytope.
then, **i think**, we get the intuitive notion of the generalisation of a platonic solid.
@@UnordEntertainment That's essentially what they already do. It's part of the definition of regularity. Note that even the abstract polyhedra mentioned in this video are composed entirely of regular polygons. Similarly, regular polychora are composed entirely of regular polyhedra. The general rule is that they have to have every possible symmetry. They have to be transitive on every flag (vertex, edge, face, facet, etc.). If we further require them to be closed (thus finite) and convex (thus not self-intersecting), we get the usual list (up to Petrie duality).
At 10:00, when you first showed the numbers as representing shapes, it *immediately* clicked that we’d be using stars as vertice numbers and I audibly groaned “oh goooood”
oh good or oh god?
if hes groaning then its probably oh god
@@NoName-rd6et Or he’s being sarcastic.
@@mariafe7050 rrrrrrrrr
@@AshtonSnapp
Internet thread go brrrrr
I want to comment on how most of this video is actually very easy to comprehend even though I know nothing beyond high school maths. Very well made explanation
Yes, agreed. I'm in high school currently taking Calculus, and I am a math nerd, but this kind of iceberg territory is usually incomprehensible, yet I somehow understand what a Petrial is now :D
wait, nullfoo? *the* nullfoo? in my jan Misali comments section?
@@dangerousglasses7995 it's more likely than you think!
watching this felt like physically sinking into the lovecraftian void of my calc textbook. i geniunely believed i could have no further hatred for a branch of mathematics in my life. i think i burned a few brain cells watching this. thank you.
"The Petrial mutetrahedron can either be derived either as the Petri dual of the mutetrahedron or as the skew dual of the dual of the Petrial halved mucube" what did i just watch
Idk man I need to learn those stuffs
Nice rap verse
Reading this exactly when he said it spooked me
I read your post out loud and by bed started floating please help
@@memeulous4ft247 no one can help you now, sorry
The further this went the more it felt like the insane ramblings of a math thatcher gone off the deep end
Thatcher!
gender-neutral bathroom but with math
There is no such thing as polyhedra. There are only individual edges and vertices, and there are faces.
a thatcher is just a British manufactured bathroom
@@slimsh8dy specifically a gender neutral british manufactured bathroom
to explain 5/2:
1. imagine you have five dots in a circle
2. connect those dots via lines to make a shape
3. make note of how many dots you move around the perimeter each time you connect a dot (Make sure these are equal)
4a. if you move 1 dot per line, you end up making a pentagon, therefore it would be 5/1, but you dont have to write the 1, as it is understood by default.
4b. if you move 2 dots per line, you end up making a pentagram (5 pointed star), therefore it would be 5/2
4c. if you move 3 dots per ling, you still end up making the same pentagram, just the other way around, so it would still be 5/2
another more complicated example:
There are multiple ways to make an 8 pointed star, and the schlaffle symbol allows us to distinguish between them.
1.have 8 dots in a circle
2.connect those dots in the same manner as the 5 dots
3. notice that now you have more choices on how many spaces you can go and make different polygrams (stars)
4a. 1 dot gives you an octogon, 8
4b. 2 dots give you a square octogram (an 8 pointed star made by stacking squares), 8/2
4c. 3 dots give you a different octogram (this one can be drawn withut lifting your pen), 8/3
4d. 4 dots give you an 8 pointed asterisk (the * symbol but with 8 points instead of 5), 8/4
4e. 5 dots makes 8/3 in the other direction.
now hopefully, you understand a little more about schlaffle symbols.
Thank you very much about this comment. I believe there was a vihart video I watched that made it easier to understand this comment. She didn’t use any notation but she was creating every type of stars including 5/1 (that is a pentagon I don’t remember whether she called it a star in the video or not), 7/2 or 6/3 or 6/2
Thank you very much. Really appreciate your explanation 😊
So 8/2 results in pairs of edges that completely overlap. Jan Misali was explicitly not allowing overlapping edges or faces or vertices, but if you did allow them, it would surely give infinite regular polyhedra.
"There's nothing in the rulebook that says a golden retriever can't construct a self-intersecting non-convex regular polygon."
This is just like 8 minutes in... This will be a wild ride, won't it?
By the end of this you will realize we don’t need a fourth dimension to black magic/sci-fi things into existence because three dimensions are complex enough.
@@ravensquote7206 the what
@@engineerxero7767 the j
But what about staplers?
777th like! I'll make a wish!
"I've been Jan Misali, and I don't understand why anyone would write a geometry paper without including any diagrams of the shapes they're talking about."
You haven't met mathematicians enough
“I’m making this for general audiences”
*15 minutes later* : D A R K G E O M E T R Y
See, THIS is what my conservative Catholic mother warned me about! That darn Pentagram leads to the path of Dark Geometry if you twist it with evil dark math!!
That was about the point I started feeling like one of my Call of Cthulhu characters.
Let's be honest anyone who watched until the dark geometry bit are definitely not part of the general audience.
;)
“I’m making this for general audiences”
“Look again, what your actually looking at is a infinite spiral pattern of squares spiraling into the 3 r d d i m e n s i o n “
Not the best example but still
This video felt like someone explaining to my how geometry is just an elaborate ARG, I love it
Me learning about Kepler solids: Ah! Technically correct! My favourite kind of correct.
Me learning about Petrials and infinite towers of triangles: This is witchcraft and it's making me anxious and honestly I don't think it should exist.
That's just a sign that we are going the right way and we need to go deeper.
I've decided that this is a new form of torture. The fact that I still watched it and clicked on the like button changes nothing.
The moment you realise there are geometry Discord servers dealing in illegal polyhedra.
Oh shit
@@gameplaysuffering1620 *oh no*
Oh God
Oh zoinks
Oh My
The one thing that im frustrated with is this: In school, i was taught with the assumption that my questions where irrelevant or inappropriate. Yet this shows my questions had in the past been accurate. Thank you for all the effort you gave this video. Much appreciated
what the heck kind of school did you go to?
@@MegaDudeman21a bunch of schools are just stupid and bad
@@MegaDudeman21An American one. Most US schools are staffed by people who don't care about the subject they teach, and sometimes they don't even understand the subject themselves.
@@nikkiofthevalley that was never the case for me when I was in school
@@MegaDudeman21There's at least 50 American education systems
"But there's nothing in the rulebook that says a golden retriever can't.." I've watched this video about eight times and just now understood the air bud joke. Quality content
Literally same I only just got this joke on this viewing thanks to Vsauce XD.
Never saw that, but got it from context, and knowledge of goldens. 🙂
@@lvlupproductions2480 how vsauce ?
@@adithyan9263 He references that line in Air Bud at one point
what is the joke?
At a certain point these videos make me want to start crying, partly out of frustration/not understanding and partly out of wonder and sheer admiration for the world we live in.
Before watching: I can't believe general education channels ignored such an important fact!
After watching: oh.
Lol. Simple minded.
I mean, the spiky pentagram ones are pretty simple and cool and shouldn't be left out as often as they are.
The rest, though, yeah, those can stay in the depths.
@@walugusgrudenburg3068 its probably because a lot of school curriculums leave out stars from being regular polygons/polyhedra (for no real good reason other than simplicity, i guess). if those educational channels want to help people with schoolwork they might leave out something a bit more complicated
100th like
Yeah but it would be reasonable to limit it to finite ones, constructed with flat polygons.
This would include the star polyhedra, but exclude:
the petrials (cause those ain't flat polygon faces)
the tilings (they're infinite)
and the petrie coxeter polyhedra (which are both infinite and don't have flat polygonal faces)
The restriction removed from the platonic solids is just that edges are now allowed to intersect.
I would like to have it known that this video is responsible for one of my most “in character” moments of all time. My brand new girlfriend got in my car for the first time and said “Ooh! I get to find out what music you listen to.”
All I could do was press play. At 23:30.
This is not music. I was LISTENING to a video about Geometry while driving. I was listening to a video about DARK GEOMETRY while driving
🌿that is the best kind of video to be caught listening to
sounds fun tbh
are you still together
Jan misali: *big smart words*
Me: cool shapes go spinny
all I can think about now are those 5 monkeys spinning around with mario music
That me
Same
It me
Cool shapes go whrrrrrrrrr
This video literally reduced me to tears. First in laughter, and that slowly devolved into sobs. I think this is only half because of the sleep deprivation
"The technical name for this shape is a zig-zag"
Technically gonna have to give you this one, that's technically true
i like that all of these videos become utterly incomprehensible in the second half
It's not incomprehensible?
@@trappedcosmosthe caveat is: for mere mortals like me and OP. if you get it, cg
Experiencing horror the way Lovecraft intended.
@@trappedcosmos they are to me
What exactly IS a polygon? A miserable pile of vertexes.
*BUT ENOUGH TALK, HAVE AT YOU!*
Thanks
Vertices >:(
this is legitimately hilarious. underrated comment
Oh boy, yes Vertices.... I got my BS in Animation (2D&3D) & wen we model for animation we map our polygons, sometimes for repeatable textures- they do breakdown to triangles, but usually use 4 sided faces to make nice mappable squares/quads. 5 is a no no because of artifact/shading probs and such when animated. But holy heck- if you're using polygons & make a mistake early you're in for it. (Rudimentary comment don't come @ me w/aCtuAlLty ... I'm echoing the struggle for perky noobies.)
Making a shirt with a petrial cube and the caption "This is not a cube" to feel superior to my unenlighted peers.
Bonus points: You also get to look like an Art snob at the same time!
@@An_Amazing_Login5036 SIGN ME UP! :D
Ce n'est pas un cube.
I would personally add parentheses around the not for an anime twist.
I would also really like this shirt
This entire video is amazing but one of my favourite parts is at the bottom of the iceberg, where one of the shapes is accompanied by “(DO NOT RESEARCH THIS)”, like it’s an SCP or something.
I *think* it's a reference to the 1995 Mario 64 creepypasta?
all it is, is a seven-dimensional shape, not that scary
keterean geometry
@@somerandomgoblin2583 Yes
my favorite is "zigzag" being in the second lowest tier of the iceberg
“Dark geometry”… never knew I needed this in my life
Every jan Misali video has some tipping point in it where it begins to feel like a mathematical or linguistic (or both) Junji Ito story
Like Junji Ito, this video includes spirals that make my head hurt trying to understand them.
@@dappercuttlefish9557 oh god no, anything but UZUMAKI
I never thought I would procrastinate doing maths homework by watching more complicated maths
yep
yea :v
It's the circle of math
I never thought I would procrastinate on ART homework by watching math
Its better because you don't understand it
As a mathematician I didnt expect to be so surprised, floored, and awed at different ways to consider polygons. Stellar work as always!
I mean this as positively as possible, I have watched this video like 5 times, I have never made it to the end, I am genuinely interested in what you’re talking about but dear lord this video is like a sleep spell to me. I only watch it when I can’t fall asleep and nothing else works, 10 minutes in and I’m GONE. This is a blessing. Thank you.
And thus, the regular polyhedra brought peace to clown town...
_(I like your username)_
@@dantesdiscoinfernolol thank you :) I like yours too! Our usernames are like, same spectrum but opposite ends
Tip from me, If you need more, Just Pick a weird niche science topic, search a Uni class on it, choose Like the 5 class, and boom, ITS Just Professors saying words that dont mean anything and Its super nice
@Clown From Clown Town have you finally completed your quest to watch it?
How many times have you watched it by now?
I wish I could back in time and tell HP Lovecraft that we didn't even need to leave Euclidean space to have terrifying geometry
funny
I wish I could go back in time and tell him that he's a racist prick.
@@bored_person beat me to it
@@bored_person Both? Yeah let's do both.
I do think it's important to note that a majority of these polyhedra are abstract algebra constructs that cannot meaningfully exist in a physical space.
As a mathematician, I can not thank you enough for doing something like this. I'm no expert on geometry, but regular polyhedron and polychora for 4d are some of the things I find the most interesting. Have not finished it yet but just the act of making it is wonderful.
Edit #1: Not done but when you introduce stellated dodecahedrons, you say they are called "stellated" because they are made from stars but this is technically inaccurate. Something being stellated is weirder than that and I am not an expert on the subject but look at en.wikipedia.org/wiki/Stellation.
Edit #2: It is immediatly noted that another way of thinking about it is the formal Stellation thing but so nvm I guess.
I always assumed that stellation referred to the fact they looked like stars; a pentagram looks like a pentagon with spikes instead of edges - similarly the faces of a dodecahedron or icosahedron were replaced with pyramids. Each face being uniformly augmented to a point.
For that reason i assumed they weren't regular, but i suppose being thinly defined as stars for faces caught me off guard.
They are however "Stellated" because they look like stars - a pentagram is technically a stellated pentagram
I'm just upset that nobody else is objecting to his use of skew polygons here, which are not actual polygons. Polygons are in fact defined as being 2 dimensional. I had other objections, but that's where I started shouting at my screen.
Theoretically, if you define a regular polygon as any polygon with edges of uniform length which share the property of edge and vertex transitivity where each vertex connects to two edges and each edge to two vertexes (a moderately restrictive definition, but definitely not what we think of as regular polygons) then by all means, skew polygons are entirely valid.
I appreciate the fact that Petrials still have uniform, transitive faces, edges, and vertices, and are rather simple if you understand them
@@signisot5264 but the technical definition of the polygon, in Euclidean space, states that it is a two dimensional figure. You can't have a polygon which extends into a 3rd dimension any more than you could have a polygon with a curved edge, or a square with 120 degree interior angles.
Leo Staley, it all comes down to the definition and, if we’re willing to change the definition of a polygon in exchange for not changing the definition of a regular polyhedra, then we may as well throw our standard definition of “regular polygon” out the window.
Since most of these are abstract or infinite anyways, physically it doesn’t matter, but I’ve actually taken inspiration from the petrial cube as the solution to a problem I was having (coding something) so, as long as it’s a useful abstraction, I’ll support it.
Wether or not we call it regular...
(Edited cause I used the wrong words for some things, whoops)
Me, a mathematician: Oh, like the Kepler-Poinsot polyhedron? (Also I saw the Petrie-Coxeter ones once but forgot about them.)
Jan Misali, a hobbyist: I'm about to ruin this man's whole day.
CuK
the virgin mathematician vs the chad petrial halved mucube
Jan? His name is Mitch
@@palatasikuntheyoutubecomme2046 I know that now, but only after seeing like all of his videos. I thought for the longest time his name was "Jan", like a Polish friend of mine.
One of the restrictions you chose to include was that two points connected by line segments doesn't count as a polygon. That's a sensible exclusion, but that is actually my favorite shape, the digon. It's not very interesting in a plane by itself so explicitly excluding it for this video is a good idea, but on a sphere it's a really important shape called a lune, think of it as the boundary on a sphere of an orange wedge. But way more importantly, a digonal antiprism is a tetrahedron! it's so cool! a totally different way of constructing a tetrahedron. A tetrahedron is two line segments, degenerate digons, rotated 90° and connected vertex to vertex. If you allow the digon there's also at least 1 new regular polyhedron, The Apeirogonal Hosohedron, basically a tiling of the plane by infinitely long rectangles, or stripes.
This is my favorite video of your channel and it singlehandedly reignited my interest in geometry and topology.
Me: "Don't you have to define that lines in regular polygons can't cross each other?"
Misali: "That's a surprise tool that will help us later"
Mickey Mouse Clubhouse?
@@AdityaKrishnan17293621_Osaka bahaha!
For the people who read the comments first:
A cube is made up of 4 hexagons.
I hate this
I'm sorry to say, but you are truly evil.
This is the funniest comment I’ve ever read
Psicologist: The Petrial cube isn't real, it can't hurt you.
The Petrial cube: {6,3}v4
The more I think about it, the more it oddly makes sense.
hey, my boyfriend owns that polytope discord, this video made his discord grow alot and thats pretty epic
@Eric Lee yeah why wouldn't i be?
Are you homisexual?
@@metachirality well you're the founder so you still have more power than the owner
@@metachirality and its still technivally your server
@@metachirality thats not possible, you the discord server so no matter what rank you are you will always have more power than everyone
Just seeing the spinning truncated octahedron made my day. Truly my favorite shape
It's been a _very_ long time since mathematics has made me feel existential dread.
Well done.
Vsauce
Not since Calculus II *shudders*
Watch some of AntVenom's videos on the true structure of Minecraft's farlands. It varies by version and edition but generally the region that has normal minecraft world generation and physics is less than a trillionth of a trillionth or a trillionth of the area one can hypothetically visit. From what I recall of a fairly old version: most of it has no ground at all, only clouds, and normal motion is impossible because position is too discretised for you to move, so you can only teleport. Most of the remainder is corner farlands that have intangible ground. Most of the remainder is edge farlands that are similar. Most of the rest is corner farlands that are at least tangible. Most of the rest is edge farlands that are similar. Most of the rest is normal terrain with noticeably jerky movement. The tiny remaining part is the "normal" minecraft world.
@@SimonClarkstone I watched the first few seasons of KurtJMac's Far Lands or Bust when it was coming out weekly, friend. That stuff's just IEEE 754 double precision errors in perlin noise generators.
This? This nonsense is what melts brains.
You spend way too little time thinking about math then.
these are the kinds of shapes i spent late nights browsing wikipedia to find out about... thanks for the vid, i thought i knew about some weird polyhedra but this blew me away!
i believe this may be one of my favorite jan Misali videos solely for its absolute disregard for what i consider a shape and my personal safe little bubble of shapes. thank you, Mitch, for giving me a new favorite polygon: the pentagram.
The pentagram? C'mon, there's the apeirogon of infinite sides meaning that the external angle of all of them is 180° so the polygon is actually a non-curved line segment but it can't be a line segment in 1D space since you need 2 coordinates to define a point in it yet it is.
@@Dexuz you have a very valid point but my reasoning is mostly that "the pentagram looks cool hee hee"
I'm partial to the duocylinder and the great grand stellated hecatonicosachoron
^ the person above me is saying real non nonsensical words ^
@@user-pr6ed3ri2k
Duo-cylinder
Two circles made perpendicular to eachother in the fourth dimension and then connected
Great Grand stellated hecatonicosachron
A stellated, greatened, and grandified version of the 120-cell which is a 4d shape made up of 120 dodecahedra
I'm not kidding, this is literally comfort media to me.
This is really impressive. I'm a PhD student in mathematics and had never come across many of the things you mentioned. Extraordinary research!
As for why "anyone would write a geometry paper without including any diagrams of the shapes they're talking about", I believe most mathematicians would consider the abstract interpretation of a geometric structure considerably easier to grasp and less complicated to "do mathematics with" than the actual shapes.
For example, it's often easier to understand and prove properties about polytopes in terms of their isometry or reflection groups than by looking at their shapes (you can tell, for instance, what other regular polytopes can/cannot be immersed within a polytope by studying its isometry subgroups). The graph structure (and its homology) is similarly helpful.
That said, intuition often arises from looking at something from a perspective we're not really familiar with, which may as well be a purely geometric one.
I thought I was already subscribed, but in any case, subscribed again.
I have no idea about how i got here and dont understand how there can be so many people who understand what is going on and what is the real life use of all of this since so many people seem to study it, too advanced, help me
On "Abstract interpretations vs diagrams", is there any potential reason against doing both?
@Null Pointer Wow, are you one of the authors of that 1997 article? That's exciting! I couldn't really grasp everything in the paper, but found it very interesting nonetheless (despite the lack of "nice pictures to look at" :D).
@@LowestofheDead I'm no geometer, but maybe not to bloat an otherwise elegant straightforward article or just because of the sheer work required.
Virgin tetrahedron: well known, invented and defined centuries ago, known by children
Chad stellated dodecahedron: barely known, curiosity of geometry nerds and professors
THAD dual of petrial halved mucube: consumes infinite 3d reality to simply exist, still only known by a few researchers, impossible for mere humans to comprehend or visualize
@Eric Lee Honestly that felt like what this video was for me, as a dude with a MSc in Psychology who never had any sort of geometry in college other than my own personal curiosity since age 13 in high school lol. Structural model equations in statistics is the closest I've done to anything geometry related.
I'm ABSOLUTELY using this shiz in my next D&D session.
I should probably get some sleep
_janMisali uploads_
Oh cool, Numberphi--
oh.
Lets go.
Edit: you said this was gonna be a math video not a conlang video
lol
I actually just sorta started hearing noises more than words when he got to the recap.
@@barmacidic2257 i was feeling the beat of his voice and not hearing the actual words, lol
I kinda like to think that he went "oh I should upload this to the internet so I confuse some minds"
Lel
petridualofthemutetrahedronorasaskewdualofthedualofthepetrialhalvedmucube
I love the increasing asterisks at the beginning of the video just getting more and more specific. Math really do be like that sometimes.
The geometry version of “But wait there’s more”
Say goodbye to the 69 likes
“This video is supposed to be for a general audience”
Are you really sure about that?
Well, his general audience. The kind that watches conlang reviews and very deep dives into hangman and the letter w.
Being a mathematician-in-training, yes that is the 'general' introduction. The 'specific' introduction has a prerequisite of first year university mathematics.
No, it's a video for an audience of generals.
thats why he defined them 😹😹
as a regular human, I can confirm that this video was very informative and entertaining. I'm not sure how much I actually understood, but that's not always the most important part, ight?
Him: It has to be in _Euclidean_ 3-space
Me: NOOOO Not my Order-4 Dodecahedral Honeycomb!
:(
That's a polychoron, no?
@@anselmschueler No, it's a hyperbolic honeycomb
You are both correct.
@@metachirality If you count a hyperbolic honeycomb as a polychoron, then you have to count the 2D hyperbolic tilings (Such as the heptagonal tiling) as polyhedra.
It's just good manners!
the fact that there is a polytope discord with someone named "compund of 48384 penaps" is hilarious and entirely unsurprising
As a math soon-to-be major, I just can't resist the urge to engage with this kind of content!
Surprisingly, this sort of geometric, classificatory, finite and not-very-abstract math is (unfortunately) not discussed in many circles I'm a part of. I guess "real" mathematicians like to spend their days solving infinite-dimensional equations or whatever. So, thanks! I also want to thank you on the amount of work and research you must have endured. Also, can we have a link for the polytope discord?
I'd like to point that just because there are infinitely many polygons, doesn't mean it's boring; it's that it's too easy to classify them. You choose the number of vertices and it... just works, no strings attached. It's also simple to find the intersecting ones by number theory. That's the real interest with 3+ dimensions: it's much harder to produce regular solids than regular polygons.
Directly answering your question about geometry papers, what matters about the polyhedra is the inherent symmetries it has, and also, shape alone can't distinguish between solids. Well, then we could simply equate the polyhedra with some of its properties, and discard the visual/positional necessity altogether. Then, we are dealing with an abstract object, defined not by its visuals but by its relations. All the information it contains can be described in that small set of numbers and words. Then there is no incentive to ever take the time and produce a visual representation, since none of the people engaging with it are expected to use a visual model. This is much more precise and easier to manipulate (with math tools) although admittedly much less intuitive.
This leads me to my last point. Even with that fixed definition of regular polyhedra, how do you know that the list ends there? How can you be sure that an extra bendy, different line arrangement or something can't give rise to a new polyhedra? In other words, why is this list complete? (EDIT: after a quick look at the reference paper, this classification result is very similar to the one at part two, but instead of spacially combining polygons, you instead look at the symmetries themselves and just combine them until there are no more ways to do so)
the polytope discord is a sacred place. you don't find the link to it, the link finds you
I'm just upset that nobody is objecting to when he ventuered into pretrial "polyhedra," and said that there is nothing in the definition of polygon that restricts polygons to 2 dimensions. *Yes. There is.* It's one of the core defining elements. He might as well have said "there's nothing in the definition of polygon restricting the line segments to being straight, so here are some polygons with curved lines."
@@LeoStaley The definition for polygon used is: "a polygon is a shape made out of line segments(edges) where the defining endpoints(vertices) are each shared by exactly two line segments"
None of this restricts the edges in question to a flat plane.
The whole point of the video is to show all the places you can go if you don't also restrict the definition to "no self-intersections", "polygons must be 2D", "polyhedra must be enclosed" and probably another that I've missed.
Those extra restrictions are often necessary. If you want to build a container that's a regular polyhedron, then the petrial mucube isn't going to be much use to you.
But the point is these restrictions are imposed by us, and if we choose to remove them we can find new and interesting mathematical shapes that still hold to a formal definition of a polyhedron.
Someone said it elsewhere in the comments, but is it not intriguing that even removing these assumptions, and relaxing the definition of regular polyhedra there is still a finite number of them?!
@@Minihood31770 that isn't the normal definition. That is much looser than the technical definition normaly used. The normal definition can be found on Wikipedia.
@@LeoStaley Let me try and give a bit of deeper intuition. The standard technical view of a regular polygon is a set of n vertices, all symmetrically equivalent, and a set of edges, all symmetrically equivalent.
This definition agrees with the standard one so long as we restrict symmetries to mean rigid movements in the 2D plane.
Now, when we pass to 3 dimensions, it's our interest to define this for polyhedra. Again, shape, position and scale shouldn't matter, so we look at the set of symmetries. But, if we insist that polygons remain flat, we have a problem. Because we now can perform symmetries in all of 3D space, to check that a thing is a polyhedra, we have to check that the symmetries of edges don't escape their plane, which is an unnatural condition and hard to verify.
In other words: the natural algebric definition of a polyhedra is a good theoretical basis for the geometric polyhedra, but it does not need to contain geometric polygons. So, to ease the study of these objects, we can expand the definition of polygons. Or we can just ignore them; it's not like the fundamental structure of an object needs a name to exist.
Fun observation: this algebric definition of polygons does cover curved edges. If all edges are symmetrical then the curve itself doesn't matter, and the symmetries are the same as an usual non-curved polygon. A Reuleaux triangle has the same set of symmetries as a regular triangle, and so it counts as the same thing (the same way two triangles with different size count as the same type of polygon, despite not sharing most of its points)
“Wow my brain is starting to go mushy”
“that’s the 15th polyhedra. And from here things are gonna get a lot weirder “
Part 2: Yeah that's simple 3D geometry
Part 4: Okay these look cool but still kinda make sense
Part 6: Huh, never thought of that but I guess that makes sense
Part 7: Okay so basically 3D zigzags, that's cool
Part 9: WHAT
You went full circle back to part 1: what?
Honestly, Jan, your videos are the only ones that can genuinely rewatch 100 times, I seriously have seen bith this and caramelldansen more time than I can count, and they always perk up my mood, so thanks
I think you're slowly becoming the new vihart
edit: damn, I commented before you cited vihart. clearly I'm correct
Well now I miss Vihart's content shit slapped
What is vihart?
Only the best math youtuber ever! You've got to look her up.
And I’m all for it. If she’s not uploading, someone’s got to fit the niche.
Obviously, it would be better if they both uploaded
"there's nothing in the rulebook that says a golden retriever can't construct a self-intersecting non-convex regular polygon" is maybe the most jan misali sentence that's ever been jan misali'd
2:30 love that masterful foreshadowing of the stellated polygons lol
oh, I noticed that, but didn't interpret it that way!
22:01 I did not know it was possible to be jumpscared by the next step of a calm explanation of geometry. Now I do. I think I gasped aloud the first time I watched this and got to that part. Good stuff.
"there's nothing restricting polygons to 2 dimensions" oh yeah? then why am i standing here with a hammer? get back in 2d
2D or not 2D, that is the question!
@@simonmultiverse6349Highly underrated comment
thought you were gonna hit misali with it 😭
“Roll the 50 polyhedra”
“All we have is 48 polyhedra and 2 marbles”
“Close enough”
you need to define rolling before you do that
@@_vicary ROLL THE PETRIAL SQUARE TILING
@@_vicary shake it about with gravity
How tf do you roll any tiling?
Actually spherical tilings are valid regular polyhedra.
It's genuinely unsettling to me how perfectly this channel intersects all of my interests. Are you watching me, Misali?
I think technically you're watching me
...
Ok, yeah, you've got me there...
this is unironically one of my favourite videos on youtube
nice pfp
I feel the need to point out at 20:41 ‘zigzag’ and ‘long line’ are placed on the same level of obscurity as ‘apeirogonal antiprismatic honeycomb’, ‘metabidiminished icosahedron atop dodecahedron’ and ‘retroantiprismatosnub dishecatonicosachoron’.
Also I tried to read ‘spinohexeractidistriacontadihemitriacontadipeton’ out loud and the demon I summoned is still trying to eat my toes
XDXDXD I almost died laughing at this XD
i tried to google spinohexeractidistriacontadihemitriacontadipeton, you can guess how my computer handled that.
@@kianasheibani1708 I personally consider "long line" to be much simpler than most of those "polyhedra". I mean it's just the Cartesian product of omega one and [0, 1) with the lexicographical order and the standard order topology (well, you can argue that that's the long ray, but how cares, honestly). The only "complicated" part of it is omega one, and it's only complicated because most non-mathematicians skip the formal set theory and use their intuitive understanding of sets instead.
@@kianasheibani1708 well, topology in general is full of different extremely bizarre spaces.
And I never took any classes in neither topology nor set theory, learnt everything from textbooks. My main source of information about set theory was Halmos' "Naïve set theory", which is ironically about the axiomatic set theory. I would consider it pretty easy to understand for general audience, and it certainly does explain omega one.
As for topology, I was able to understand what an order topology is by age 15 or 16, and again I was self-taught.
So yeah, it is really weird and counterintuitive, but still not that hard to understand for mathematically inclined people without any formal background.
@@kianasheibani1708 I am not sure if it still has a value for you. The book builds the theory from axioms to the elementary theories of ordinal and cardinal numbers. If you already know what omega one is it may be too easy for you.
Also, it doesn't use the axiom of foundation, probably because it's almost never used outside of the set theory itself. The predicate logic is not discussed too, all proofs are in plain English.
this shit literally had me laughing the entire time, sure you could talk slower so i could understand more but everytime you pulled a new concept on me i was like "oh fUCK" and then a giant ass shape with a stupidly long name appeared and it was like the punchline to the funniest joke ever like unironically never stop making these
Oh man I keep coming back to this comment every once in a while because it makes me so unreasonably happy. Imagining you laughing at this anything-but-funny video makes me do a massive :) for whatever reason. Thank you.
The names in the video are short compared to stuff like the small dispinosnub snub prismatosnub pentishecatonicosatetrishexacosichoron.
@@danielsebald5639 dont say that ever again D:
the spinning mucube is making me lose my shit
the jokes just kept on coming
that's the second air bud joke in the edutainment sphere this week
Where was the one in this video?
@@anselmschueler 7:00
Now imagine me watching those two videos in a row. I was like “??? Is it Air Bud appreciation week??”
Not only that but they were both referencing the same moment in Air Bud
Who was the other one? I remember watching the vid, but forgot who
1:31 The first time I watched this, I didn’t know what that meant, and didn’t bother worrying about it.
Now I do know what it means, and I agree that that is a reasonable restriction.
Fascinating topic, presented brilliantly. Along the way, watching all the terrific visualizations, I can't help but be slightly awestruck by the mathematicians who dreamed up these shapes a century or more ago, with no better visualization tool than their mind's eye. Thanks for a truly superb presentation!
That moment when you stay in the wrong class first day of school because you’ve been there so long it would be rude to leave
I’m fascinated but horrified
Happened to me once xD School gave the wrong schedule and I ended in a class I shouldn't be.
And yet somehow it makes perfect sense to you, but you know it will evaporate out your brain when the class stops...
정다면체 목록
- 플라톤 입체 (Platonic Solids)
1. 정사면체 (Tetrahedron / {3, 3})
2. 정육면체 (Cube / {4, 3})
3. 정팔면체 (Octahedron / {3, 4})
4. 정십이면체 (Dodecahedron / {5, 3})
5. 정이십면체 (Icosahedron / {3, 5})
- 케플러-푸앵소 다면체 (Kepler-Poinsot Polyhedra)
6. 큰 별모양 십이면체 (Great Stellated Dodecahedron, {5/2, 3})
7. 작은 별모양 십이면체 (Small Stellated Dodecahedron, {5/2, 5})
8. 큰 십이면체 (Great Dodecahedron, {5, 5/2})
9. 큰 이십면체 (Great Icosahedron, {3, 5/2})
- 정타일링 (Apeirohedra)
10. 정삼각 타일링 (Triangle Tiling / {3, 6})
11. 정사각 타일링 (Square Tiling / {4, 4})
12. 정육각 타일링 (Hexagon Tiling / {6, 3})
- 페트리-콕서터 다면체 (Petrie-Coxeter Polyhedra)
13. 거듭정육면체 (Mucube / {4, 6|4}
14. 거듭정팔면체 (Muoctahedron / {6, 4|4})
15. 거듭정사면체 {Mutetrahedron / {6, 6|3})
- 페트리 쌍대 (Petrial Duals)
16. 페트리 정사면체 (Petrial Tetrahedron / {4, 3}_3)
17. 페트리 정육면체 (Petrial Cube / {6, 3}_4)
18. 페트리 정팔면체 (Petiral Octahedron / {6, 4}_3)
19. 페트리 정십이면체 {Petrial Dodecahedron / {10, 3})
20. 페트리 정이십면체 {Petrial Icosahedron / {10, 5})
21. 페트리 큰 별모양 십이면체 {Petrial Great Stellated Dodecahedron / {10/3, 3})
22. 페트리 작은 별모양 십이면체 {Petrial Small Stellated Dodecahedron / {6, 5})
23. 페트리 큰 십이면체 {Petrial Great Dodecahedron / {6, 5/2})
24. 페트리 큰 이십면체 {Petrial Great Icosahedron / {10/3, 5/2})
25. 페트리 정삼각 타일링 {Petrial Triangular Tiling / {∞, 6}_3)
26. 페트리 정사각 타일링 {Petrial Square Tiling / {∞, 4}_4)
27. 페트리 정육각 타일링 {Petrial Hexagonal Tiling / {∞, 3}_6)
28. 페트리 거듭정육면체 (Petrial Mucube / {∞, 6}_4}
29. 페트리 거듭정팔면체 (Petrial Muoctahedron / {∞, 4}_6)
30. 페트리 거듭정사면체 (Petrial Mutetrahedron / {∞, 6}_6)
- 섞인 무한면체 (Blended Apeirohedra)
31. 섞인 정삼각 타일링 (Blended Triangle Tiling / {3, 6} # { })
32. 섞인 정사각 타일링 (Blended Sqaure Tiling / {4, 4} # { })
33. 섞인 정육각 타일링 (Blended Hexagonal Tiling / {6, 3} # { })
34. 섞인 페트리 정삼각 타일링 (Blended Petrial Triangle Tiling / {∞, 6}_3 # { })
35. 섞인 페트리 정사각 타일링 (Blended Petrial Sqaure Tiling / {∞, 4}_4 # { })
36. 섞인 페트리 정육각 타일링 (Blended Petiral Hexagonal Tiling / {∞, 3}_6 # { })
37. 나선 정삼각 타일링 (Helical Triangle Tiling / {3, 6} # {∞})
38. 나선 정사각 타일링 (Helical Sqaure Tiling / {4, 4} # {∞})
39. 나선 정육각 타일링 (Helical Hexagonal Tiling / {6, 3} # {∞})
40. 나선 페트리 정삼각 타일링 (Helical Petrial Triangle Tiling / {∞, 6}_3 # {∞})
41. 나선 페트리 정사각 타일링 (Helical Petrial Sqaure Tiling / {∞, 4}_4 # {∞})
42. 나선 페트리 정육각 타일링 (Helical Petrial Hexagonal Tiling / {∞, 3}_6 # {∞})
- 순수 그륀바움-드레스 다면체 (Pure Grunbaum-Dress Polyhedra)
43. 이분 거듭정육면체 (Halved Mucube / {6, 6}_4)
44. 페트리 이분 거듭정육면체 (Petrial Halved Mucube / {4, 6}_6)
45. 페트리 이분 거듭정육면체의 쌍대 (Dual of the Petrial Halved Mucube / {6, 4}_6)
46. 삼중나선 정사각 타일링 (Trihelical Sqaure Tiling / {∞, 3} (b))
47. 사중나선 정삼각 타일링 (Tetrahelical Triangular Tiling / {∞, 3} (a))
48. 꼬인 거듭정팔면체 (Skew Muoctahedron / {∞, 4})
ㅗㅜ
우와
한국인이드앗..
근데 이 영상을 왜 한국어로 번역했데
ㄱㅅ
감사요