Euler's Formula V - E + F = 2 | Proof

Поделиться
HTML-код
  • Опубликовано: 30 сен 2024
  • Explore the world of 3-dimensional geometry by signing up for free at:
    brilliant.org/...
    -----------------------------------------------------------------------------------------------------------
    Proofs for two theorems used in this video:
    ► Polygon triangulation: • Every Polygon can be T...
    ► Area of a spherical triangle: • Spherical Geometry: De...
    Euler's polyhedron formula is one of the simplest and beautiful theorems in topology. In this video we first derive the formula for the area of a spherical polygon using two theorems proven in the previous two videos which are linked above. This result is then used to prove the fact that V-E+F = 2 is true for all convex polyhedra by projecting the polyhedron on the surface of the sphere and doing some algebraic manipulation.
    -----------------------------------------------------------------------------------------------------------
    Help me create more content by supporting Think Twice on:
    ► Patreon: / think_twice
    ► Twitter: / thinktwice2580 (@thinktwice2580)
    ► Instagram: / thinktwice_ltu
    (@thinktwice_ltu)
    -----------------------------------------------------------------------------------------------------------
    Contact me:
    ► thinktwiceask@gmail.com
    -----------------------------------------------------------------------------------------------------------
    🎵 Music by : Jonkyoto - www.fiverr.com...
    -----------------------------------------------------------------------------------------------------------
    #mathematics #geometry #Euler

Комментарии • 190

  • @bostash8442
    @bostash8442 4 года назад +179

    "we will use two theorems proven in the previous two videos"
    *watches all the videos this channel made*

  • @mathemaniac
    @mathemaniac 4 года назад +183

    Woah! This proof is really unexpected! I have only seen the proof by induction, but this is actually quite a creative alternative proof.

    • @arikwolf3777
      @arikwolf3777 4 года назад +7

      Also why V - E + F = 2 doesn't always work for concave polyhedrons. The three-section arch in the concave example works because it can be morph into a convex one an therefore be mapped to a sphere. But a N-section ring, (a torus,) cannot.

    • @Poklaz1
      @Poklaz1 4 года назад

      @@arikwolf3777 maybe works only for starry polyhedra, i.e. which can be mapped on a sphere

    • @ThighFish
      @ThighFish Год назад

      How even would this be possible to prove inductively?

  • @sourav_kundu
    @sourav_kundu 4 года назад +166

    Here is an alternate proof.
    Imagine the polyhedron as a planet hanging in space. Imagine that there is a hollow in every face, and every vertex is a mountain. Imagine that every hollow is filled with water.
    Now imagine it starts to rain on the planet, and the water level starts to rise. One by one the water crosses the edges, until the planet is one entire ocean with V islands sticking up.
    Whenever the water crosses an edge, there are two possibilities. Either:
    (a) two bodies of water have joined into one (number of lakes decreases by one, number of landmasses stays the same); or
    (b) a body of water has joined up with itself, encircling a new island (number of lakes stays the same, number of landmasses increases by one).
    Initially, there are F lakes and 1 landmass.
    At the end of the flooding, there is 1 lake and V landmasses.
    Therefore, there must have been (F-1) edge crossings of type (a), and (V - 1) crossings of type (b).
    Every edge got crossed exactly once. So E = (F-1) + (V-1), or V - E+F= 2.
    [Credit : Unknown]

    • @sterlingveil
      @sterlingveil 4 года назад +13

      Vote this up people, this comment was as cool as the video itself!!

    • @MeesBorg
      @MeesBorg 4 года назад

      Damn, im impressed :)
      So can there be a body of water crossing a side of the polyhedron? Because if *not* : then I dont get how point 2)" when water level rises new waterbodies are circling an island.. " is made.
      Cheers!

    • @sourav_kundu
      @sourav_kundu 4 года назад +2

      @@MeesBorg yes, the water can cross any edge. The edges have a lower height than the vertices, and the face centers have an even lower height than the edges. So, the water pools originally occupy the face centers and then cross some of the edges and join up the water bodies. Hope I could explain it.

    • @imadhamaidi
      @imadhamaidi 4 года назад +7

      how can you save youtube comments? this proof is just amazing

    • @VaradMahashabde
      @VaradMahashabde 4 года назад

      Isn't this the inductive proof? Doesn't matter, the visualization was amazing

  • @JorgetePanete
    @JorgetePanete 4 года назад +80

    4:40 Consider a spherical cow

  • @timh.6872
    @timh.6872 4 года назад +66

    Wow. Very satisfying analytic proof as opposed to the technically correct but somewhat cumbersome induction proof for planar graphs. Working directly with the polyhedron as a preexisting whole made of parts instead of constructing it piece by piece feels so much more satisfying. I knew it was true because of the inductive proof, but now I know _why_ it's true.

  • @erfanshekarriz4707
    @erfanshekarriz4707 4 года назад +39

    Yooo his RUclips videos are cool and all but have you checked his INSTA though. Asthetics. af. 😩

  • @kat5266
    @kat5266 4 года назад +13

    So... When can we see ur proofs for the millennial problems? I'm totally rooting for you! 😇

  • @JM-us3fr
    @JM-us3fr 4 года назад +15

    Great stuff man. Such a simple argument. I only knew of the induction proof and the dual graph proof. This was also very elegant

  • @sasmitarath4312
    @sasmitarath4312 4 года назад +10

    Monalisa : I m the most beautiful.
    Think twice : see this

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +2

      :D

    • @sasmitarath4312
      @sasmitarath4312 4 года назад +1

      @@ThinkTwiceLtu please make a video on the banac tarski paradox

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +1

      @@sasmitarath4312 vsauce has a brilliant, in depth video on that topic:)

    • @sasmitarath4312
      @sasmitarath4312 4 года назад +1

      @@ThinkTwiceLtu ya, but if not this then make avideo on brouwer's fixed point theorem

    • @omerresnikoff3565
      @omerresnikoff3565 4 года назад +1

      @@ThinkTwiceLtu Yeah, I'd love an animation on any set-theoretic topic!

  • @antoniolewis1016
    @antoniolewis1016 4 года назад +11

    That was so brilliant it made me cry. Thank you!

  • @samdob8494
    @samdob8494 4 года назад +14

    Truly amazing proof. It blew my mind when I saw the last two videos were building up to this one. Keep up the great work!

  • @rodrigo-vl7bi
    @rodrigo-vl7bi 4 года назад +11

    Awesome as always, the fact you can explain math almost without words is mind-blowing

  • @kaziaburousan166
    @kaziaburousan166 4 года назад +27

    When thik twice makes us think🖤🖤

  • @swankitydankity297
    @swankitydankity297 4 года назад +7

    I've never been able to understand the proofs of this one so when I saw your notification in my feed I knew that I then would finally understand :)

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +3

      I am so glad to hear that. Thanks for the support!

  • @EastingAndNorthing
    @EastingAndNorthing 4 года назад +9

    But what would a spherical projected concave polyhedron look like?

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +13

      Depends on the specific polyhedron. With some concave polyhedra the same reasoning would work and you could show that in fact V-E+F=2 would still hold. But it wouldn't be true for every concave polyhedron as the projection of some concave polyhedra in some cases wouldn't cover the whole surface area of the sphere or in other cases the faces and edges may intersect.

  • @halilibrahimkanpak65
    @halilibrahimkanpak65 4 года назад +4

    When he said 4π=2πV-2πE+2πF i felt that

  • @DonReba
    @DonReba 4 года назад +4

    What a good way to present this creative geometric proof!

  • @ranjitsarkar3126
    @ranjitsarkar3126 3 года назад +2

    Absolutely gorgeous. I usually don't complement people directly for being good at something. But for this one, I just can't control myself

  • @emuman9
    @emuman9 4 года назад +2

    Beautiful.

  • @Magnasium038
    @Magnasium038 4 года назад +3

    Amazing. That you utilised the previous two as build-up for this beautiful proof of a graph theory theorem without really using a graph theoretical proof is amazing.

  • @mikikaboom9084
    @mikikaboom9084 4 года назад +4

    Very interesting approach.

  • @ClaudioDiBiase16
    @ClaudioDiBiase16 4 года назад +3

    This is one of the most amazing proofs i've ever seen, the result just comes out of nowhere, it really seems like a magic trick at first glance, but then you realize it has been in front of your eyes for all the time. Thanks for making this videos, you have not just shown me a marvelous proof, you have made my day!

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +1

      Thank you for very much. Your comment made my day too:)

  • @iiib2975
    @iiib2975 4 года назад +2

    when I first found this channel I felt like I found a treasure
    I stil feel that way

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +1

      Happy to hear that! Thanks a lot for the support:)

  • @O_Fisikomunista
    @O_Fisikomunista Год назад +1

    bro?? it's an AMAZING proof, i never saw it before.

  • @georgefan2977
    @georgefan2977 4 года назад +2

    Throughout the video I be like:
    Okay, ooo, wow, whaaaat, WOW, DAMN

  • @TheOfficialCzex
    @TheOfficialCzex 4 года назад +5

    Well-produced, as always.

  • @jeff3608
    @jeff3608 3 года назад +1

    How are these videos so satisfying! How do you animate these videos?

  • @andresfernandoaranda5498
    @andresfernandoaranda5498 4 года назад +1

    What tool did you use to make the video?

  • @jpalreis
    @jpalreis 4 года назад +4

    Very nice visualization indeed!
    And you keep improving!
    I'm definitely gonna show my students this and others videos when the time is right.
    And what do you use to create these animations?

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +3

      Thank you for the kind words! I'm happy to hear that. I use Cinema4d.

    • @jpalreis
      @jpalreis 4 года назад

      @@ThinkTwiceLtu Thanks for the tip! I'll try to animate something for my students in the near future.
      Keep the great work, math and artistic visualizations!

  • @vedantverma4797
    @vedantverma4797 4 года назад +2

    Very epic bruh!!!! Epic quality

  • @sonalichakraborty6830
    @sonalichakraborty6830 4 года назад +2

    Amazing bro...and I still wonder why schools and other institutions don't follow these methods...at least they can follow people like you

  • @louis2271
    @louis2271 4 года назад +3

    This is soooooo cool :D

  • @Diegorussod.r
    @Diegorussod.r 4 года назад +1

    better short video; but this is equal good.

  • @EntaroCeraphenine
    @EntaroCeraphenine 4 года назад +1

    The formula itself is magnificent while this proof is marvelous as well! I enjoyed both the Spherical Triangle video and the Triangulation video for their own regards but to think that they both combine to generate another marvelous proof is just beyond amazing!

  • @thatdodude1464
    @thatdodude1464 4 года назад +1

    Pls do collatz conjecture next :)

  • @SemperMaximus
    @SemperMaximus 4 года назад +1

    Mind-blowing!
    Beauty of maths, visualized!
    Been watching your videos for a long time and each time is special.
    Great job and thank you sir.

  • @ansonngpersonalgoogleaccou5104
    @ansonngpersonalgoogleaccou5104 4 года назад +2

    This is inspiring!!!!!!!!

  • @음-o9m
    @음-o9m 4 года назад +1

    Oh my god... It's beautiful ❤️

  • @BeesAndSunshine
    @BeesAndSunshine 3 года назад

    So this is a rule that convex polyhedron must abide by, but concave polyhedron can fulfill it too, correct? So how do you determine if a polyhedron is concave or convex if it does fit this rule?

  • @oldreddragon1579
    @oldreddragon1579 3 года назад

    V-E+F=2 except for a Torus which is V-E+F=0. What is it when the Torus has a center of 0? That is if you draw it as as a section view it would look like a pair of circles joined at a point on their circumference. I'm not a Mathematician so bare with me :) Is this V-E+F=1?

  • @jlpsinde
    @jlpsinde 4 года назад +1

    Amazing work! Hug from Portugal.

  • @hamiltonianpathondodecahed5236
    @hamiltonianpathondodecahed5236 4 года назад +1

    lubly
    made my day

  • @pool7216
    @pool7216 4 года назад +1

    Pure magic.

  • @sammyskye9498
    @sammyskye9498 3 года назад

    I have some gripes with this, for example;
    Take a cube and translate the vertices randomly. using this proof, it will still be convex even though the definition would say otherwise.
    Unless this proof is talking strictly about *regular* polyhedra, which wasn't stated anywhere.) then I don't understand how this can be a proof.
    P.S. Please enlighten me.

  • @sakinano99
    @sakinano99 4 года назад

    Technically, you only proved you can triangulate an n-gon into n-2 triangles in cartesian geometry. At ruclips.net/video/2x4ioToqe_c/видео.html of your proof of the triangulation theorem, your definition of vertex V using line YZ makes implicit use of Euclid's fifth postulate (also known as the parallel postulate) which is not satisfied by spherical geometry. Don't you need to amend the theorem to work on spheres?

  • @adithyan9263
    @adithyan9263 3 года назад

    the 12 dislikes are from stupid people randomly clicking buttons

  • @cosimobaldi03
    @cosimobaldi03 4 года назад

    You're a fucking genius! Also this makes me wonder if we can prove it by reducing every polyhedra to a polyhedra with triangle faces only and then considering only that particular case...

  • @hoodedR
    @hoodedR 4 года назад +1

    Love your channel and ita contents! 😊 Never fails to make me happy

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +1

      Thank you for the support:) happy to hear that.

  • @ryanbell3704
    @ryanbell3704 3 года назад

    can someone please explain to me why this same proof doesn’t work for concave polyhedra?
    I know the whole “projecting onto a sphere” thing is immediate with convexity, but i cannot think of an example of a concave polyhedron that wouldn’t also project similarly onto a sphere

  • @AmanKumar-vd1jc
    @AmanKumar-vd1jc 4 года назад +1

    Beautiful

  • @farisakmal2722
    @farisakmal2722 4 года назад +1

    eyegasm

  • @jiaming5269
    @jiaming5269 4 года назад +1

    Wow....

  • @oosmanbeekawoo
    @oosmanbeekawoo Год назад

    The Math Speaks For Itself
    - Leon Eulermann

  • @lopkobor6916
    @lopkobor6916 4 года назад

    My only question at this point is how do people even figure these proofs out? Just the sheer amount of imagination and creativity that comes into certain proofs is too much for me to handle.

  • @Jacob-qx4bc
    @Jacob-qx4bc 4 года назад +2

    math time

  • @Davi-c4q
    @Davi-c4q 3 года назад

    I just thought that the n in the sum of the edges was a bit confusing, because it gave the idea of being a constant. Besides that, great video

  • @nishameena8675
    @nishameena8675 2 года назад

    Awesome and thank you for such a explaination

  • @Powermeme2
    @Powermeme2 4 года назад

    this video is false advertisement and i will take my legal obligations to remove it unless you do.

  • @piyushm2340
    @piyushm2340 4 года назад

    please please don't use a music piece which can create irritation while reading whatever on the screen.

  • @rachele7398
    @rachele7398 3 года назад

    ty for color coding the theorem and the example
    this is magic, omg

  • @redaabakhti768
    @redaabakhti768 2 года назад

    this channel should pop up in my recommended videos more often

  • @benburdick9834
    @benburdick9834 4 года назад +1

    That's one satisfying proof.

  • @thomasbaird01
    @thomasbaird01 3 года назад

    Thank you, much appreciated.

  • @dooflesshampoofles9226
    @dooflesshampoofles9226 3 года назад

    Me watching funky math videos at 3 am

  • @HebaruSan
    @HebaruSan 4 года назад +1

    The animation for projecting the cube onto the sphere was _gorgeous_ !

    • @HebaruSan
      @HebaruSan 4 года назад

      Is it obvious that ANY convex polyhedron can be projected onto a sphere such that all of its faces form spherical polygons (i.e. each edge forms a part of a great circle)? I believe you that it's true, but I could see someone wanting to be convinced that there are no corner-case convex polyhedra where the angles of the edges are wrong somehow.

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +1

      Thanks:))

  • @studset
    @studset 4 года назад

    Check out "Proofs And Refutations" by Imre Lakatos if you have not already done it. Nice video!

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад

      Thank you will definitely check it out:)

  • @shambosaha9727
    @shambosaha9727 2 года назад

    Best presentation of Legendre's proof I have ever seen.

  • @sasoribi1341
    @sasoribi1341 4 года назад +1

    Thanks.

  • @TechToppers
    @TechToppers 3 года назад

    The pure joy of induction!

  • @shoam2103
    @shoam2103 4 года назад

    Brilliant in its simplicity!
    You're like a magician:
    * here's a small proof on my left hand, and another on my right👈👉 .
    * see how combining these 2 almost appears to make this more convoluted🐇🎩?
    * but voilà, the proof! 🎉

  • @alpharum3141592
    @alpharum3141592 4 года назад

    It's a wonderful presentation about graph theory and topology. Also, after watching this video, I planned another problem and discovered a result:
    If a graph with faces is "isomorphic" to a torus surface (a donut shape), then F+V=E
    If you prefer, would you proof it geometrically?

  • @Eazoon
    @Eazoon 4 года назад

    Does this work for any star-shaped polyhedron? I feel like convexity was only used when projecting to the sphere, but that doesn't need full convexity.

  • @burrbonus
    @burrbonus 2 месяца назад

    2:00 -- The two-minute warning

  • @nommindymple6241
    @nommindymple6241 4 года назад

    I wish the people who downvoted this would add comments about WHY they downvoted. It's a geometric math proof. Are they seeing an error with it? If so, it would be nice to know what that might be.

  • @spenjaminn3846
    @spenjaminn3846 4 года назад

    Is it just me or does the background music sound like “Boulevard of Broken Dreams”?

  • @matron9936
    @matron9936 4 года назад

    Thanks, to you and Euler

  • @nadiyayasmeen3928
    @nadiyayasmeen3928 4 года назад

    6:01 I don't understand why it's 2E
    "The sum of number of sides of all polygon is 2E since each edge is shared by 2 faces." But what about overlap. Shouldn't we subtract the overlapping faces or am I getting something wrong here? Someone pls help

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +1

      If you count each side of every polygon you will double count each side because for every side there are two polygons sharing it.

    • @nadiyayasmeen3928
      @nadiyayasmeen3928 4 года назад

      @@ThinkTwiceLtu Ah yes. Overlooked that. Amazing video btw. I never looked into the derivation because it used graph theory which I knew nothing about. This is an amazing proof

  • @imadhamaidi
    @imadhamaidi 4 года назад

    does this proof extend to any shape that is topologically equivalent to a convex shape?

  • @jimmykitty
    @jimmykitty 2 года назад

    Awesome 😊💖💖

  • @themaverick1891
    @themaverick1891 4 года назад

    I'm glad that I subscribed to your channel.

  • @carollim5382
    @carollim5382 4 года назад

    not a fan of mathematics, but your animations make it attractive

  • @soumitrapharikal5503
    @soumitrapharikal5503 4 года назад

    5:52 How can you say the angle is 2pie, since in a curved surface the angles get distorted, won't we need to calculate the Gaussian Curvature here, then Apply the Girrard Theorem?

    • @hxka
      @hxka 4 года назад +1

      This is sum of angles around a point, not sum of angles in a triangle.

    • @realedna
      @realedna 4 года назад

      OK, curved edges meeting up at a point on a sphere is like on a plane. There is no curvature involved, if there is no distance from the point.

  • @carminesans90
    @carminesans90 4 года назад

    Beautiful and smart

  • @yuufgreat9935
    @yuufgreat9935 4 года назад

    Sound is way toooo low

  • @usernameisamyth
    @usernameisamyth 4 года назад

    Excellent proof

  • @janherman2073
    @janherman2073 4 года назад

    When placing the polyhedron inside the unit sphere, you should ensure that the centre of the sphere lies inside the polyhedron. Otherwise the projection won't cover the whole sphere...

    • @mediter123
      @mediter123 4 года назад

      Can't you assume this possible without loss of generality? Like you're right, but is there a situation where some convex polyhedron can't contain the center?

    • @janherman2073
      @janherman2073 4 года назад

      @@mediter123 No, there is not. You can place the polyhedron such that its arbitrary inner point coincides with the centre of the sphere and scale it down to fit inside the sphere.
      But my point was that the position of the polyhedron is not arbitrary...

  • @iagodantasf
    @iagodantasf 4 года назад

    Cinema 4D? Amazing video by the way

  • @moisesbello-morales343
    @moisesbello-morales343 5 месяцев назад

    Great proof

  • @AntoCharles
    @AntoCharles 4 года назад

    Continues to be some of the crispiest math on the interwebs.

  • @jiaming5269
    @jiaming5269 4 года назад

    Wow....

  • @DiegoMathemagician
    @DiegoMathemagician 4 года назад

    Very pretty!
    I spent like 30 minutes watching it so I don't miss any details lol.
    Is this proof yours? Never seen it before. I did not see the connection between spherical polygons and Euler's Formula until the end, which made it awesome :)
    I just have one question: how do you know that when the polyhedra are projected into the sphere, the edges become circumference arcs instead of some other curvy segments, i.e. the faces become spherical polygons instead of other closed loops?

    • @sayamqazi
      @sayamqazi 4 года назад

      because all of the edges of polyhedron are straight lines and any straight line projected from inside the sphere will become the spherical arc which in turn means all the faces become spherical polygons.

  • @chotabacha18
    @chotabacha18 4 года назад

    Its beautiful....i really love watching your videos ,it gives great pleasure and i really appreciate your hard work in creating such wonderful explanatory mathematical videos

  • @easymarks1637
    @easymarks1637 4 года назад

    Love these videos so much but why don't you show equation simplification visually too? You often jump over a lot of steps with factors and like terms, arriving immediately at the simplified version. It's sometimes difficult to see how you got somewhere, especially if you've rearranged the term order.

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад

      Thank you! Yes you're right sometimes I might skip over some simplification steps. However the software that I'm using becomes very slow the more text objects I add into the scene so I always try to deal with as little text/equation manipulation as possible. I understand your point though, I'll keep your comment in mind when making future videos.

  • @drozfarnyline4940
    @drozfarnyline4940 4 года назад

    OMG! Your channel is outstanding.please upload video every week.Thank you so much!😊

    • @ThinkTwiceLtu
      @ThinkTwiceLtu  4 года назад +3

      Thanks! It takes a lot of time to produce one video, but I will try to upload more frequently over the summer. See you soon:)

  • @AlgyCuber
    @AlgyCuber 4 года назад +1

    0:29 polyhedorn

  • @kshitijsharma2200
    @kshitijsharma2200 4 года назад

    Interesting was looking for it yesterday.

  • @MadOokami
    @MadOokami 4 года назад

    Can you make it dark mode friendly next time?

  • @hemantsingh5537
    @hemantsingh5537 4 года назад

    Keep making these types of video...too good!!

  • @Fortynienq12
    @Fortynienq12 4 года назад

    Which software do you use to make videos?

  • @barbietripping
    @barbietripping 4 года назад

    Lovely proof, and awesome animation. What are you using to animate this?