13:45 "...real world applications?" Yes, arranging wire or cables within a larger circular cross section. For example, undersea power cables that might have three phases, as well as several smaller signal cables. Can be applied hierarchically !! Cheers.
@evanev7
3 жыл бұрын
I really like your tone, it reflects the bizarre "yeah I just thought this was cool" part of maths. I'm sharing this!
@mimithehotdog7836
2 жыл бұрын
Using a sphere to transform circles is so satisfying .
@Alorand
Жыл бұрын
The verb "to pore over something" is more clearly preserved in modern English. I like to pore over proofs of Steiner's porism.
@tmgrassi
2 жыл бұрын
Oh, ok, so "porism", has nothing to do with the fact that the circles look like _pores_ ? I'm slightly disappointed. The thumbnail certainly looked like a _porous_ disk to me! But no, it turns out it's related to the English verb "to pore" instead! Well, that's still interesting. Anyway, great video! I liked your presentation a lot. As soon as you said "mapping circles to circles" I thought of Möbius transformations, which I used in a _Basic Complex Analysis_ course. But I didn't know how they related to the stereographic projection! This is great! It's also nice to see the graphical version of the tangency argument, having already proved that fact analytically. All in all, thanks for this insightful video!
@mueezadam8438
2 жыл бұрын
Math and bad names go hand in hand, it’s a sick world 😔
@kapoioBCS
2 жыл бұрын
Porism comes from the Greek word πόρισμα (porisma) meaning conclusion or corollary
@tmgrassi
2 жыл бұрын
@@kapoioBCS Yup. Just like the verb "to pore"!
@d.l.7416
2 жыл бұрын
"to pore" is a germanic word, its not from ancient greek. but funnily enough "a pore" does apparently come from ancient greek "πορος" for passage, which is related to porism.
@mskiptr
Жыл бұрын
I was sure it will be something like _a tiling,_ but with gaps in between.
@antoninashachar
3 жыл бұрын
This gave me existential dread. Thank you.
@nosy-cat
2 жыл бұрын
at 8:17, the discussion is not complete. There are two more possible places the circles can go and still be tangent to all three circles (red, blue and white): one is touching the blue and white circles at their intersection and touching the red circle on the other side (from the inside). The other one is similar, going from the red and white intersection to touch the blue circle on the other side. To make the proof complete, these cases should be ruled out, too. (Not that it's hard, I just thought this should be mentioned as well.)
@josephnewton
2 жыл бұрын
Good catch! I didn’t even notice that. To get around that you can use a similar reasoning to why no tangent circles can become separate or intersecting - if there’s a point on 3 circles in the afterimage, there must be one in the preimage.
@sanderbos4243
3 жыл бұрын
This was an awesome video, thank you! Nothing's more noble to pursuit than neat GIFs!
@andreben6224
2 жыл бұрын
I love how from a simple definition of the projective complex line, we end up with such sophisticated diagrams. Homographies are so neat.
@beauanasson3570
2 жыл бұрын
I really appreciate how succinctly this video demonstrates the effectiveness of solving hard problems by first mapping them to simpler ones (in this case mapping a chain of circles of varying radii onto a chain of circles with the same radius).
@kapoioBCS
2 жыл бұрын
Porism comes from the Greek word πόρισμα (porisma) meaning conclusion or corollary!
@kariduanimations
2 жыл бұрын
This is dangerously underrated
@akerbeltz1233
2 ай бұрын
This is one of the best results in Projective Geometry, really nice video.
@cannonball7
2 жыл бұрын
THANK YOU, I'VE BEEN TRYING TO FIND SOMETHING TO EVEN DEFINE THIS STRUCTURE FOR LIKE 6 MONTHS. I didn't even know the name of what this was called in Mathematics, thank you.
@chriss1331
2 жыл бұрын
See also: Pappus chain
@nicholasandrzejkiewicz
2 жыл бұрын
Circle preserving maps in this example are one particular aspect of the field of conformal geometry, associated to the generalization of calculus with complex numbers. Yes, there are applications! Conformal geometry is an extremely important conceptual ingredient not just in modern quantum field theory, but ordinary phase transitions in everyday statistical mechanics. This should not be an indication that there is something special about our world to use it, but the ideas here are fundamental to any continuous geometry in plain mathematics.
@actualperson1971
2 жыл бұрын
> everyday statistical mechanics Ah, yes. I sure do love my morning cup of statistical mechanics!
@DeclanMBrennan
3 жыл бұрын
Beautifully explained and illustrated and that's a bizarrely simple proof leaving almost all the tools in the box and just doing some careful pondering.
@asthmen
2 жыл бұрын
This is super ineresting, thank you!! The arguments are really clear & I love the animations. The only thing I'd add is that the function is only tangent-preserving by coincidence, because you're looking at circles. More fundamentally, what your bijective function is *really* preserving is intersections (as can be seen because this is what your proof uses). Cheers!
@dranorter
2 жыл бұрын
I ended up pausing at 1:20 and trying to prove using circle inversion. Supposing we have one working example, choose one white circle, "W1". Draw a new circle "A" which inverts the white circle to itself, the red circle to itself, and additionally the blue circle to itself. Now, select a white circle, "W2", adjacent to the first, and similarly construct "B" which inverts that white circle to itself and also the red circle to itself and the blue to itself. If we reflect "W1" over "B", the resulting circle "W3" will be tangent to the red and blue circles (since those map to themselves), and also to "W2" since "W1" was tangent to "W2" (which is being mapped to itself). If we reflect "W2" over "A", the resulting circle will similarly be tangent to the red circle, the blue circle, and "W1". We can continue reflecting any new white circles over "A" or "B" (whichever one didn't generate them in the first place) to create "W4", "W5" and so on. The numbering doesn't state their spatial ordering, but as you can see, they'll form a chain since each new one will be linked to an old one. Due to their tangents, each such new circle must correspond to some white circle in the original diagram. Because the original diagram formed a loop, this process must come to an end with some finite number of white circles. Furthermore, we can invert the circles "A" and "B" over one another repeatedly to generate "C", "D", "E" etc., which are circles fixing the red and the blue circle, and additionally fixing "W3" or "W4" etc. IE, each white circle will have a corresponding circle which maps it to itself in addition to mapping blue to itself and red to itself. Allow me to name the collection of "A", "B", "C" etc., calling it "R". The thing to note about "R" is that each member is a symmetry of the entire figure, mapping it to itself. Because all the members of "R" map the whole image to itself via circle inversion, the members of "R" must all intersect at the intersection of "A" and "B", since if they didn't, it would violate the symmetry. The intersection of "A" and "B" is actually two points, one inside the red circle, and one outside the blue circle. Let's put a new circle around the second intersection point, keeping it small enough that it's entirely outside the blue circle. I'll dignify this new circle with a color - it's the green circle. If we invert all members of "R" over the green circle, something interesting happens. Because they intersect the center of the green circle, they necessarily become straight lines instead of circles. Now invert the rest of the figure - the white circles, the blue circle and the red circle - around the green circle. We know we'll end up with white circles in a chain, still tangent to the new blue and red circles. We also know our new straight lines are tangent to our new white circles. But what's really notable is that the new straight lines will be symmetries of the new white circles, since circle inversion itself preserves symmetries expressed using circle inversion. But if our new figure is symmetrical over a collection of lines, then actually, it's rotationally symmetrical, and all the circles are the same size. So if we rotate the white circles in our new figure, by any amount we want, and then use circle inversion over the green circle to map them back onto the old figure, then we get a working chain, and can create the desired animation. I like this proof because its structure is a good match for the question; the stereographic proof loses me a bit when it starts trying to show the red circle can be put anywhere. (The original stipulation was that we can choose the red circle's size, not that we can choose its distance from the edge.) However, the proof in the video gives a good sense of why any size of red circle will work, and mine doesn't. Things I omitted: Why can we construct "A" and "B"? Why can we trust that symmetries defined by circle inversion get preserved by circle inversion?
@MCPhssthpok
2 жыл бұрын
My guess was that you would use two circle inversions to map from the symmetric case. Now I need to go and check if that would work! Nice job with the video.
@garlicito
2 жыл бұрын
Oh I absolutely adore your style of teaching. Image my surprise learning that this was a small channel considering that this was one of the coolest math videos I’ve seen
@Stellar_Lake_sys
2 жыл бұрын
seems like this could be handy for designing eccentric ball bearings
@7Cetus7
2 жыл бұрын
In that case the balls must slip all the time instead of rolling which would be suboptimal.
@kaiserouo
2 жыл бұрын
I love that you actually drew that QED box in the end of the proof. I was somehow facinated everytime when I see that.
@ryanmcadams1209
Жыл бұрын
dude you are like 3blue1brown but more personal I love your content
@isaacwalters747
2 жыл бұрын
You did an amazing job intuitively explaining the idea of functional continuity by the tangency preserving principle you mentioned!! Absolutely stellar
@linguamathematica2582
3 жыл бұрын
I feel like you took what was in my head and animated it in this video. And wow, those animations were gorgeous.
@flightmansam
Жыл бұрын
This was so damn satisfying on an OLED display
@Michallote
2 жыл бұрын
We could use this to design non-concentric planetary gears, their mass would be excentric and perhaps a neat application of this method could lead to a particular variable CAM design. As an engineer I can actually see it through an application, we would have to wonder tho if it's going to be practical enough to go through the effort of designing it
@davejoubert3349
3 жыл бұрын
Thank you! I have been musing about circle and sphere packing and this has given me lots of inspiration.
@killerguppy2988
Жыл бұрын
Great explanation and animations. Well done! I thought it was going to be some kinda elliptical cross section thing, and I think that's kinda what it turned out to be (I'm not to heavy on the math terms).
@michamiskiewicz4036
2 жыл бұрын
13:20 Haha, I was hoping for such an animation at the end. I'm not disappointed.
@floyo
2 жыл бұрын
13:42 Best part xD
@wenhanzhou5826
3 жыл бұрын
Very nice! Enjoyed the video from start to end.
@imperiumgraecum9126
2 жыл бұрын
In greek math bibliography, πόρισμα (> porism) actually means corollary.
@Banzybanz
2 жыл бұрын
Great video Mr. Newton. Made your ancestors proud. Beautiful use of the stereographic projection.
@gilmoses3777
2 жыл бұрын
Only one vid? I'm disappointed... looking to see some more excellent stuff coming from you!
@yurisich
2 жыл бұрын
Besides cool animations, this might be useful for stimulating fluids of various temperatures and pressures, with the clines being represented by the tangents. The absolute position of the sphere hosting the stereographic projection would be the balance between the various masses.
@realityChemist
2 жыл бұрын
Very interesting, I love this! I've actually spent some time doing constructions like this by hand; all of the circles beyond the third (first two are given, third one is trivial) require you to solve a special case of the Problem of Apollonius to construct them correctly (i.e. without just eyeballing it). There are 8 solutions to the problem of Apollonius in general, but the fact that some of your starting circles are already tangent to each other is going to reduce the number of solutions that exist (I think to just the two you show, but I'm not certain if there are more hiding somewhere). That last circle - which is tangent to four other circles - is a fun extra that you don't get by just solving the Problem of Apollonius; figuring out the proper construction to make it would be fun I think! The stereographic projection is also something I use a fair bit in my actual research (crystallography / TEM); always fun to see it in a new context! Bonus: if - after constructing Steiner's Porism - you solve a different special case of the Problem of Apollonius (this one has a name: the inner Soddy circle) for each of the triplets of circles in your Steiner construction, you could construct something very much like an Apollonian gasket (neat fractal). It's a little bit different though, so it needs a different name. Since the Apollonian gasket is a porous sort of thing, I propose we should call this new construction: Steiner's Porous Porism!
@pradhyumnad7304
2 жыл бұрын
this video has infiltrated the maths community and I love it, hope you see more stuff.
@declanmoran
2 жыл бұрын
BRUH WHEN YOU ROTATED THAT SPHERE 10/10
@BLooDCoMPleX
2 жыл бұрын
I love the animation, you need to make more.
@lvcifer-616
9 ай бұрын
new favourite channel
@mrcat6433
2 жыл бұрын
This video is simply amazing!! Can't believe this didn't win. Do keep up the good work and make more math videos you are really good at this.
@LucaIlarioCarbonini
2 жыл бұрын
And now I need to see how circles goes from the sphere to the plane and the way back. Nice video indeed!
@ufffd
2 жыл бұрын
this is super neat. the animations are really helpful, and satisfying. the only thing that could possibly be improved is the audio.
@josephyoung6749
2 жыл бұрын
13:19 The neat gif we were all waiting to see
@theodoreastor3443
2 жыл бұрын
Great video! I love this particular solution using projections. My initial thought upon seeing the animation was that it looked like an optical illusion where the small circles were further away and the big ones were closer. Seeing this intuition of projections being used to solve the problem is very satisfying.
@markawbolton
Жыл бұрын
What a wonderfull channel. I really like your voice presentation and scripting. It is clear crisp and entertaiing. To too complex and not too dumbed down.
@CasualGraph
2 жыл бұрын
There's some neat logic involving the incidence structure of the mobius plane hiding under some aspects of this proof. Also, treating the outer circle as the boundary of the Poincare disk, we can get a nice corollary out of this involving what radii for circles in the hyperbolic plane give rise to chains of horocycles. Really, it's neat stuff all around.
@tangsolaris9533
8 ай бұрын
holy shit it’s topology ??? This is amazing
@k4yd33yeah
Жыл бұрын
I find the statement that something is “always or never” very funny for some reason
@GadolElohai
2 жыл бұрын
This video reminded me what I loved about teaching math. I kinda miss it.
@smileyp4535
2 жыл бұрын
Wow this blew up for you huh? Good for you! It reminds me of 3blue1brown 😁
@KatzRool
2 жыл бұрын
I feel like this would make a neat GIF
@miniwizard
2 жыл бұрын
Beautiful animations - could watch one of them on a loop for hours - in a meditative way!
@Daniel-fv1ff
2 жыл бұрын
Great video mate. Would be awesome to see more
@jerryhuff4767
Жыл бұрын
Very nice mate
@BrutusAlbion
2 жыл бұрын
Dude this is so cool.
@trevorrobertsondoublebass4233
2 жыл бұрын
That animation is so beautiful...
@mohamedaymenbenabdallah67
2 жыл бұрын
I couldn't finish the video because of the sound it's too low. nice work and good explanation as far as i watched. next videos pay more attention to the sound plz. good luck!!
@lucyg00se
2 жыл бұрын
god, what a wonderful "aha!" moment
@RabeezRiaz
2 жыл бұрын
So the concentric circles setup is the 'canonical' form and all other valid setups (where the chain is linked) are just projections of the canonical form and anything that isn't a projection is invalid (the chain is not linked). This seems very obvious after watching the video 😅 so I think your explanation did its job.
@IntegralMoon
3 жыл бұрын
This is phenomenal! Great job, great explanation, I hope you keep making videos :) I'm subscribing!
@huhneat1076
2 жыл бұрын
4:33 Okay how have I never stumbled upon this gem of a video sooner
@davielbanister7952
2 жыл бұрын
This was awesome dude, keep it up. Love the style.
@rfgaergaerg1612
Жыл бұрын
Great video, awesome channel. While watching i wondered if you could use this to build an excentric roller bearing. i might try it in the future
@ratdn
2 жыл бұрын
Wow this was such a great video. I easily understood everything you said, really great demonstrations. I wish I could like this video 5 times because you definitely deserve it.
@mrscsi6472
Жыл бұрын
disregarding all transformations, there are countably infinite arrangements of circles that link up like that, as the number of circles must be an integer.
@Cenitopius
Жыл бұрын
Is this because, given the stereographic transformations are considered identical (from your statement "disregarding all transformations"), the number of scale factors between the red and blue circles that produce a porism (which I'm using here to refer to the pattern, not the style of proof I guess) where both share a centre point are recusively enumerable? And if so, how would you go about enumerating them, personally? I can't think how I'd approach that. I defaulted to thinking that they'd be uncountably infinite, but I can see that there's plenty of room for me to be wrong there. Definitely they're infinite, but proving which kind seems a little difficult.
@jayantnema9610
2 жыл бұрын
This is so genius!!! Thanks a tonne man ❤️❤️❤️
@daniellesmeister
2 жыл бұрын
Another real world application would include extending the understanding of how mapping spherical geometry to the plane will unavoidably distort the shapes on the sphere no matter which translation is used (hence why the Mercator projection distorts things at the pole). This way when moving the area of interest to the South pole will minimise the distortion to what is important.
@vitaminluke5597
6 ай бұрын
I cannot believe my wild guess that this would be a Möbius transform was correct. That's what happens when one remembers exactly one thing from complex analysis.
@imperfect_analysis
Жыл бұрын
There is another application: two parallel lines, 2 circles, can we fit a finite number of circles in between to "connect" them and the lines? This is extreme case, and can be useful in construction by well chosing the sizes of the supports, thus minimizing the number of rods keeping things connected or smth This can definitely have a use
@josippetkovic389
Жыл бұрын
What i saw there is ideal pump, keep it up
@chanlyelee
2 жыл бұрын
Amazing! Thanks for sharing this great animation and ideas! Hope to see more videos from you!
@8thguy633
2 жыл бұрын
This is definitely gonna blow up
@Erik20766
2 жыл бұрын
No, this is definitely not topology. In topology there is no such this as distance. Circles are very much defined using distances. This is geometry.
@philippg6023
2 жыл бұрын
Yeah, sometimes you have distances in topology, for example if you have a metrizable space, you can define a metric (something like a distance) that generates the topology with "circles", which is super helpfull. So fields of geometry and topology surely overlap, for example in differential geometry where many things depends on the topology of the surface.
@arminiouz
2 жыл бұрын
This is like claiming a 4K OLED screen is not a color TV because it’s playing a black and white movie. xD sorry but the generalized operations, Holomorphic projections and möbius transformations are the mechanism behind Conformal Field Theory which is itself conformal invariant even in 3space.
@cannot-handle-handles
2 жыл бұрын
Agreed! The statement "we didn't use any geometry either" in the video is just not true. The proof used lots of geometry, for example in the definition of circles and lines, as you already mentioned.
@jackozeehakkjuz
2 жыл бұрын
True. It's not Euclidean geometry, though. Here we don't care about the distances between points. We care about the points of incidence of curves and the angles they intersect at. This is conformal geometry.
@samueldeandrade8535
3 ай бұрын
If it is Geometry, it is Topology.
@truffleshuffle314
2 жыл бұрын
I enjoyed this very much! Keep up the amazing work and have a wonderful day!
@ralfbauerfeind8236
Ай бұрын
How about a 3D-Graph. Z shows the amount of circles. X shows the proportional size between inner and outer circle Y shows the proportional offset of the inner circle to the outer circle How would it look like? A lot of seperated walls? Stacked areas? What if the axises would be swapped?
@a52productions
2 жыл бұрын
Beautiful, simple, and elegant -- both the mathematics and your explanation. Really great video on a really nice piece of math, and animated really well.
@christophertinklerart2020
2 жыл бұрын
Thank you for your hard work, this was illuminating
@lumipakkanen3510
2 жыл бұрын
Cool video with trippy animations! Installing some acoustic foam might help with the reverb in the audio or simply recording under a blanket.
@Ryco117
2 жыл бұрын
Very enjoyable and easy to follow. Nice work!
@ReevansElectro
2 жыл бұрын
Practical wire making layouts for differing sizes of wire.
@giovannicaiolo5786
2 жыл бұрын
Great video, complex concepts explained easily
@gehteuchnichtsan7911
2 жыл бұрын
Incredible good animations!
@ImaginaryMdA
2 жыл бұрын
I would say the study of transformations is geometry as per Klein's Erlanger Programm.
@luderickwong
2 жыл бұрын
never know this, but I can make off center bearings now base on that, just to figure out if there is round off numbers that happens to fit. this can make a presume very stable boring bar.
@GRAHAMAUS
2 жыл бұрын
Dunno if it would be of any practical use, but you could make a bearing with an offset centre...
@a.osethkin55
2 жыл бұрын
It s so amazing! Thank you!!!
@beechyuuu2297
2 ай бұрын
that would be a cool thing to put on a loading screen
@o_2731
Жыл бұрын
Really cool video!
@AkamiChannel
5 ай бұрын
Cool cool. Conformal transformation. Can you do something with Descartes Theorem?
@WindyNight114
2 жыл бұрын
This is very cool!
@some1and297
2 жыл бұрын
It's cool to have a competition thing named after me
@Martin_Huetter
2 жыл бұрын
As a professional 3D artiist/animator and motion graphics amateur this is so staggering to watch. This is like....... I cant put it into words how could you be so ingenious. Do you have any idea what people would do with math like this in a program like houdini?
@frogtheasian3111
2 жыл бұрын
Watching this video in front of my friends make me look smart :D
Пікірлер: 223