Circle Inversion: The most useful transformation you haven't learned yet (Part 1)

Поділитися
Вставка
  • Опубліковано 4 жов 2024
  • Circle inversion is a very beautiful and interesting technique for problems in geometry. In this video I'll outline some of its main properties and solve a basic problem involving mutually tangent circles and lines.
    Part 2 of this series is now live, you can watch it here • Circle Inversion: Zero...
    I wrote a blog post about the journey I took through Circle Inversion here
    thecalculusofe...
    This playlist is inspired by the following videos, which you should definitely watch for more information on circle inversion
    Epic Circles - Numberphile
    • Epic Circles - Numberp...
    Problem of Apollonius - what does it teach us about problem solving? - Mathemaniac
    • Problem of Apollonius ...
    An amazing puzzle involving Circles - Act of Learning
    • An amazing puzzle invo...
    Check out my related blog for more maths musings below
    thecalculusofe...
    If you'd like to support me making more of this content, consider supporting me on Patreon below
    / thecalculusofexplanations

КОМЕНТАРІ • 94

  • @zach5935
    @zach5935 Рік тому +24

    thats so cool. it seems quite abstract and hard to visualise, but your explanation is rather understandable 👍

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому +2

      Thank you! It does get easier with practise and solving more problems to visualise where the inverted objects end up

  • @invictus327
    @invictus327 Рік тому +7

    I was watching Norman Wildberger's playlist on algebraic topology and this video perfectly illustrated inverse geometry on a circle for me. Thank you.

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому +1

      I'm so glad to hear it! I will have a second video up with a slightly harder problem soon

  • @pierre7770
    @pierre7770 Рік тому +11

    Oh no way this is your first video that’s awesome !! Was getting ready to watch part 2 haha.
    Really beautiful animations, perfect pace, crystal clear explications and fascinating concept. Thank you so much for this video !

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому +3

      Thank *you* so much for the kind words :)
      It's really motivating to hear people are looking forward to part 2, I'm aiming to release it in the next few weeks!

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Part 2 is out now! ua-cam.com/video/1vOFJ536KDY/v-deo.html

    • @dackid2831
      @dackid2831 Рік тому

      ​@@thecalculusofexplanations You have this video on private.

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      @@dackid2831 I'm pretty sure this is public?

    • @dackid2831
      @dackid2831 Рік тому

      @@thecalculusofexplanations My bad, I am referring to part 2

  • @kenkiarie
    @kenkiarie Рік тому +3

    Very interesting. Can't wait for those interesting problems in part 2!

  • @p4rk756
    @p4rk756 6 місяців тому +2

    Really really good video on inversions!

  • @user-po5mv2qi9h
    @user-po5mv2qi9h Рік тому +3

    I love this technique! Thank you for the video! I will wait for the second part.

  • @gonzaaa_t
    @gonzaaa_t Рік тому +1

    ayo loved this video, super clear and concise, great job

  • @adrienrebollo5879
    @adrienrebollo5879 Рік тому +2

    Excellent video, thanks!
    Maybe the music is a little bit repetitive, but the math is finely explained.

  • @Aequorin628
    @Aequorin628 Рік тому +4

    I was hoping you were a #SoME2 channel and would have some other videos I could watch, but it's impressive that your first video is this good!

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому +2

      Thank you! I actually made this for the first SoME, but I'm getting back into it - look out for Part 2 soon.

  • @rockapedra1130
    @rockapedra1130 3 місяці тому

    Cool!

  • @leocrino5144
    @leocrino5144 11 місяців тому +1

    Awesome video

  • @guidosalescalvano9862
    @guidosalescalvano9862 Рік тому +1

    This video was so awesome that I wanted to watch the whole series. I then saw the recent date and figured; better subscribe. Then I thought, maybe there are a lot more videos, and realized this is seriously your first post!? Wow...

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Thanks, I really appreciate it - I actually made this one in 2021 with really poor audio (almost inaudible) and re-uploaded it with better sound quality, I am really glad everyone has enjoyed it so much, part 2 is coming soon. Within the next 10 days I would say.

    • @guidosalescalvano9862
      @guidosalescalvano9862 Рік тому

      @@thecalculusofexplanations Looking forward to it. This is becoming a year of math ^^

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Part 2 is out now! ua-cam.com/video/1vOFJ536KDY/v-deo.html

  • @Hi-6969
    @Hi-6969 Рік тому +2

    wait there's a part 2?
    These videos on inversion really do help. I find inversion one of the funkier oly geo topics to learn, and you're video makes it very clear what it is, and how to to use. Using manim makes these videos even better.

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Thank you! I appreciate it - look out for Part 2 coming soon.

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Actually, what do you mean by oly geo? Olympiad geometry type problem? I'm not overly familiar with competition maths, does it appear often as a problem solving technique?

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Part 2 is out now! ua-cam.com/video/1vOFJ536KDY/v-deo.html

    • @brendawilliams8062
      @brendawilliams8062 Рік тому

      Maybe the geo topics are the three great spheres? The man who lived kaleidoscopes and saved geometry?

    • @Hi-6969
      @Hi-6969 Рік тому +1

      It appears quite often on harder probs, yes.@@thecalculusofexplanations

  • @tiong2351
    @tiong2351 Рік тому +1

    Great complement to this topic in the visual complex analysis textbook :)

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Do mean Needham? I've heard good things about it but I haven't actually read it, you'd recommend it?

  • @aik21899
    @aik21899 Рік тому +2

    That was very interesting and I am excited to watch the next one.
    Maybe you could talk about where this method has been used in proofs in a later video? A "real life application" is always interesting.

  • @youssefdirani
    @youssefdirani 11 місяців тому

    thanks

  • @TheJara123
    @TheJara123 Рік тому +1

    brilliant effort man, thanks for the nice video, please keep posting

  • @40watt53
    @40watt53 Рік тому +1

    Oh my god you don't even have 1000 subscribers and this is incredible dude.

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Wow thank you so much for the compliment - I feel the same way about many of the newer maths creators, consider watching some #SoME3 videos (including the second part in this series)
      But I'm definitely looking forward to hitting the 1000 mark, I'd love if you can share these videos with your friends :)

  • @spiderjerusalem4009
    @spiderjerusalem4009 9 місяців тому

    6:45 that may make sense intuitionally, but if you use the inversion formula,
    let P=centre of the smallest circle
    P'=centre of the inverted circle
    since r=¼,
    then OP=R-r=1-¼=¾
    1=OP•OP'=¾OP'=
    OP' = 4/3
    therefore,
    the radius of the inverted circle
    = OP'-1=4/3-1 = ⅓
    ?????

    • @spiderjerusalem4009
      @spiderjerusalem4009 9 місяців тому

      Ah, or perhaps because the extended straight line connecting the origin and P does not pass through intersection between the smallest circle and the largest one?

  • @sungminson3658
    @sungminson3658 9 місяців тому +1

    Hi. Thanks for the clear explanation here. Now I know a circle touches origin will be mapped to the line geometrically, but not sure how to specifically prove this in equation form. Is there any reference I can check the proof?

  • @Fractured_Scholar
    @Fractured_Scholar 9 місяців тому

    Looking at this video again and trying to connect it to Linear Algebra. Three questions: 1) What textbook(s) do you recommend to learn this? 2) Do you know of any examples that directly relate this to Set Theory? 3) Has any class you've taken related this to vectors? (i.e. Consider r to be a vector \vec{r} and OA to be its projection onto another \vec{v}. Given a specific magnitude OA' for \vec{v}, then \vec{r} · \vec{v}=\vec{r}^2.)

    • @thecalculusofexplanations
      @thecalculusofexplanations  9 місяців тому

      Hey, glad you're finding it interesting. The connection to linear algebra is a bit difficult, given linear algebra deals with linear transformations, and circle inversion is decidedly non-linear!
      1. Not particularly, I think what drew me to the subject was the lack of obvious available resources. If you are wanting to learn the foundations of complex analysis, which is where all this ends up, I've heard good thing's about Needham's "Visual Complex Analysis". There may be some nice books on nonlinear geometric transformations in isolation but I'm not aware of them.
      2. I'm not aware of any connection between those concepts
      3. Again, the reason I found this interesting was because it's not taught in classes usually. Although it is an interesting though, it's a scaling of the vector from the origin of the circle of inversion, so its a little bit like an eigenvector, but instead of being scaled by a constant its scaled by its own length. I'm not sure if there's anything to that beyond idle speculation, though.

    • @thecalculusofexplanations
      @thecalculusofexplanations  9 місяців тому

      P.S. Hopefully you caught Part 2 as well. ua-cam.com/video/TQTqrpeLXS8/v-deo.html&ab_channel=TheCalculusofExplanations

  • @gdclemo
    @gdclemo Рік тому +1

    Nice video. So if a circle is inside the inversion circle, but goes around the origin, this must map to a circle that entirely surrounds the inversion circle, right?

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Thanks! Yes, that's correct, I neglected to show that case but the problem in the next video will show an example of exactly that.

  • @Fractured_Scholar
    @Fractured_Scholar Рік тому +1

    Great basic explanation -- Subscribed and looking forward to part 2! Is it possible to do a real world application of where this is useful?

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Thanks, it depends what exactly you mean by real world, but I can think about including some remarks on that in Part 2.

    • @Fractured_Scholar
      @Fractured_Scholar Рік тому

      @@thecalculusofexplanations - What I mean is that working equations and graphs can be interesting, but it doesn't necessarily map onto (heh) a viewer's brain or life. Where do we see this behavior in the real world? To me, circle/sphere inversion looks like turning something inside out. But that doesn't fully explain the concept for examples beyond physics or three dimensions. Perhaps the Social Sciences offer practical examples???

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Part 2 is out now! ua-cam.com/video/1vOFJ536KDY/v-deo.html

    • @Fractured_Scholar
      @Fractured_Scholar Рік тому

      @@thecalculusofexplanations - Thank you, kindly - I'll give it a watch soon!

  • @erawanpencil
    @erawanpencil 5 місяців тому +1

    I'm kind of confused on the basics here... what type of 'space' (if that's the right term) does circle inversion take place in? Since the Pythagorean Theorem was used in your example, does that mean circle inversion is a process in regular old flat Euclidean space? I thought 'inversive geometry' (not clear if that's the same as circle inversion) had something to do with hyperbolic spaces, or projective geometry.

    • @thecalculusofexplanations
      @thecalculusofexplanations  5 місяців тому

      That's fair, it's not intuitive I suppose - and you're right in that there are many different 'depths' to which you can understand things in maths. At the most basic level I understand inversion as a transformation taking points in R2 to other points in R2, just like rotating, scaling, skewing etc, but whereas those are linear, circle inversion in non-linear.
      If you watch Part 2, you'll see me talk about how circle inversion correlates precisely with the complex conformal (angle-preserving) map f(z) = 1/z, which is a special case of a "Mobius transformation" - here is the link to stereographic projections / projective geometry.

  • @AndrewBrownK
    @AndrewBrownK Рік тому +1

    What about projecting a circle through a concentric circle?

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      That should give you another concentric circle on the opposite side of the inversion circle!

  • @sirawatkhongnum5389
    @sirawatkhongnum5389 7 місяців тому

    I'm solving a problem that requires this theorem and need a reference book. Could you recommend a book that has the theorem in this video?

    • @thecalculusofexplanations
      @thecalculusofexplanations  7 місяців тому

      I haven't read it, but it looks like this one would be a decent reference!
      en.wikipedia.org/wiki/Geometry_of_Complex_Numbers

  • @rat_king-
    @rat_king- 8 місяців тому

    OK..... but what if a circle has the origin of the inversion circle with its perimeter, or even has the same origin?
    Isn't that just magnitude... yet what is the area? and what happens when i change the radius?

  • @guidosalescalvano9862
    @guidosalescalvano9862 Рік тому

    I would love to see how points on circle pairs map to each other. Let's define three circles, the mapping circle, the inner circle and the outer circle. Using the mapping circle the inner is circle inverted to the outer. The inner is inside the mapping circle. Now let's assuming a set of n inner points, spaced at equal inner circle arc distances from each other on the inner circle. The inner points are mapped to outer points. Am I correct that the outer arc distance between the outer points is inversely proportional to the distance of the corresponding inner points to the mapped circle's center?

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Possibly, if I understand the question correctly. Might be interesting to visualise, I'll consider it if I do a part 3.

  • @MilanStojanovic9
    @MilanStojanovic9 Рік тому

    well done, 3b1b would be proud
    Also very useful for me

  • @2fifty533
    @2fifty533 Рік тому

    i think 2 circle inversions gives you a conformal transformation
    just like how 2 reflections gives a rotation

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      Circle Inversion is actually a conformal map because while distances are changed, angles are preserved!

    • @2fifty533
      @2fifty533 Рік тому

      @@thecalculusofexplanations i mean, if you do 2 successive circle inversions you can get different looking conformal maps that arent the same as a single circle inversion

    • @2fifty533
      @2fifty533 Рік тому

      @@thecalculusofexplanations slightly unrelated, but I've heard of a thing called conformal geometric algebra, and it's like linear algebra except vectors are circles rather than line segments
      you can get a conformal transformation by taking the geometric product of 2 vectors

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      @2fifty533 ah yes, apologies. It’s an interesting thought! It also ties in with the brief mention of iterated inversions I made at the end of the sequel to this video.

    • @thecalculusofexplanations
      @thecalculusofexplanations  11 місяців тому

      @@2fifty533 Sounds fascinating!

  • @0megaSapphire
    @0megaSapphire 2 місяці тому

    I was studying this in my book on complex analysis. It was showing the relationships in terms of a circle centred at q. We have z inside the circle, and z-tilda is the geometric inversion which is outside the circle. Distance from q to z is |z - q|, and to z-tilda |z-tilda - q|. Radius of circle is R. |z - q|*|z-tilda - q| = R^2. It then proceeds to say that it follows that (z-tilda - q)*(z-bar - q-bar) = R^2. But I don't see how this follows at all. Someone help.

    • @0megaSapphire
      @0megaSapphire 2 місяці тому

      I figured it out!
      Let k = |z - q|.
      (z-tilda - q) = ((R^2)/k)*e^{i*theta} and (z-bar - q-bar) = k*e^{-i*theta), then
      (z-tilda - q)*(z-bar - q-bar) = ((R^2)/k)*e^{i*theta} * k*e^{-i*theta} = R^2.

  • @viktorbergman517
    @viktorbergman517 Рік тому

    hey, in that last problem, instead of using the diamenter of the inverted circle plus the radius of the reference circle, i used the radius of both to get the distance of the center of the circle from the origin, so (with C as the center of the circle whos radius we want to find) OC * OC' = 1 (=) OC * (1 + 0.5) = 1 (=) OC = 1/1.5 = 2/3. since the both circles are tangent the radius should be the radius of the big circle minus the distance between both origins, so 1 - 2/3 = 1/3, which isnt what i get when doing it with the whole diameter, did i miss something or am i doing something wrong?

    • @viktorbergman517
      @viktorbergman517 Рік тому +1

      ah wait i got it, the center of a circle gets distorted when you do the inversion, its just that the outer edge still forms a circle anyway

    • @thecalculusofexplanations
      @thecalculusofexplanations  Рік тому

      @@viktorbergman517Well done, this is something that has tripped me up as well, and I animated an explanation of why the inverted center is not the center of the inverted circle (the non-linearity of the tranformation ensures this) - but it ruined the flow of the video, and made it a bit too long so I chose eventually to cut it out. Good work thinking it through.

  • @victorhmingthanmawia4773
    @victorhmingthanmawia4773 Рік тому

    Could be another system.

  • @LVCID777
    @LVCID777 4 місяці тому

    Now imagine a sphere. The inverse of a sphere may be what’s inside a black hole

  • @sayantanchatterjee2195
    @sayantanchatterjee2195 Рік тому

    Upload part 2

  • @nsgoneape9899
    @nsgoneape9899 4 місяці тому +1

    bro cooked and then dipped.

    • @thecalculusofexplanations
      @thecalculusofexplanations  4 місяці тому +1

      🙏 more will come - just got busy with work and other projects. I’m not done with the channel yet!

  • @richarddizaji7848
    @richarddizaji7848 Рік тому

    This video’s thumbnail gives a really strange visual effect while scrolling