Proof: Euler's Formula for Plane Graphs | Graph Theory

แชร์
ฝัง
  • เผยแพร่เมื่อ 23 ส.ค. 2020
  • We'll be proving Euler's theorem for connected plane graphs in today's graph theory lesson! Commonly know by the equation v-e+f=2, or in more common graph theory notation n-m+r=2, we'll prove this famous result using a minimum counterexample proof!
    The result states that, for connected plane graphs with n vertices, m edges, and r regions, n-m+r=2. This means no matter how we draw a connected planar graph in the plane, as long as our drawing has no edge crossings (as in - it is a plane graph), then n-m+r=2. For our proof by minimum counterexample, we will suppose our result doesn't hold and then consider a graph of minimum size that violates the result. By deleting an edge of this graph we will be able to find a contradiction. Many more details in the full video! You could also use induction on the size of the graph for a very similar proof.
    What are planar graphs: • What are Planar Graphs...
    Proof that deleting an edge disconnects a graph iff it lies on no cycle: • Proof: An Edge is a Br...
    Proof that tree of order n has size n-1: • Proof: Tree Graph of O...
    ◆ Donate on PayPal: www.paypal.me/wrathofmath
    ◆ Support Wrath of Math on Patreon: / wrathofmathlessons
    I hope you find this video helpful, and be sure to ask any questions down in the comments!
    +WRATH OF MATH+
    Follow Wrath of Math on...
    ● Instagram: / wrathofmathedu
    ● Facebook: / wrathofmath
    ● Twitter: / wrathofmathedu
    My Music Channel: / seanemusic

ความคิดเห็น • 36

  • @555yashwant6
    @555yashwant6 ปีที่แล้ว +6

    Perfectly described in easy and simple language . All doubts cleared

  • @ulissemini5492
    @ulissemini5492 3 ปีที่แล้ว +7

    Great video! your enthusiasm makes a 15m proof feel like a 1 minute cat video

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว +2

      Thanks so much! That is as high praise as I can hope for, thanks for watching and let me know if you ever have any questions!

  • @md8978
    @md8978 3 ปีที่แล้ว +5

    Your videos help me out so much!! I have exams soon and watching your videos make the work so much easier to understand. Thank you!!

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว

      You're very welcome and thanks for watching! So glad the videos help, and good luck on your exams!

  • @mike_the_tutor1166
    @mike_the_tutor1166 3 ปีที่แล้ว +2

    This is one of my favorite proofs and you've explained it beautifully! This is your best video yet! My only suggestion is to slow down your speech just a bit in future videos.

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว +1

      It is a wonderful proof! Thanks a lot and I appreciate the feedback! I always try to monitor the speed of my voice, but sometimes I no doubt lose track of it. I've got to take more time to breathe - which will naturally slow me down a bit!

  • @mariaritacorreia9340
    @mariaritacorreia9340 6 หลายเดือนก่อน +1

    Thank you again.
    I didn't get the part on the minimum size condition. If it is minimum, how can we remove one edge?

  • @cobrametaliks490
    @cobrametaliks490 ปีที่แล้ว +2

    Hi 👋🏻
    Could you make a video about Kuratowski theorem?
    Thank you for your work 🙏🏻

  • @maxinimus
    @maxinimus ปีที่แล้ว +1

    awesome explanation and a very passionate one as well :)

  • @StrifeHale
    @StrifeHale 3 ปีที่แล้ว

    Perfect, thank you very much.

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว +1

      My pleasure, thanks for watching!

  • @andreeduenas
    @andreeduenas 3 ปีที่แล้ว

    Thank you very much!

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว +1

      My pleasure, thanks for watching!

  • @jaeholee1092
    @jaeholee1092 3 ปีที่แล้ว

    Why do we remove an edge? When you use induction, aren't you supposed to go from k edges to k+1 edges?

  • @abiralkalbani8751
    @abiralkalbani8751 2 ปีที่แล้ว

    Dr, Could you please prove this question?
    Let G and H be connected graphs different from K1 and K2.Show that both factors are paths or one is a path and the other a cycle.

  • @PunmasterSTP
    @PunmasterSTP 2 หลายเดือนก่อน

    Euler's Formula? More like "All these proofs are fantastic; thank ya'!" 👍

  • @vishnum3690
    @vishnum3690 3 ปีที่แล้ว

    Amazing!

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว

      Thanks for watching, Vishnu!

  • @benjaminlannis5050
    @benjaminlannis5050 3 หลายเดือนก่อน

    Can you prove the Jordan Curve Theorem?

  • @yeezyeez6326
    @yeezyeez6326 ปีที่แล้ว

    Hi why do we apply induction on m edges? Why not we apply induction on n vertices?

  • @aispweelun
    @aispweelun 3 ปีที่แล้ว +2

    Hi, thanks for this video. I have a question
    For the contradiction proof, are we assuming that n - m + r ≠ 2 is true for graph G with a minimum edges e? If that's the case, I don't understand how the G-e graph contradicts the n - m + r ≠ 2 because m-1 edges is already less than the minimum edges e so n - m + r ≠ 2 shouldn't apply to it

    • @ulissemini5492
      @ulissemini5492 3 ปีที่แล้ว

      because after showing that n - m + r for G equals n - m + r for G-e it contradicts n - m + r ≠ 2
      basically, so long as there are cycles you can delete an edge from a cycle while leaving the formula unchanged, I like to think of applying this over and over until you get to a tree (no cycles) where we've already proven it!

    • @mrDustin0Channel
      @mrDustin0Channel 2 ปีที่แล้ว +1

      let the vars of G-e be n', m' and r'
      so G-e holds n'-m'+r'=2
      now place the vars of G inside it
      n'-m'+r'=2=n-(m-1)+(r-1)
      and get n'-m'+r'=2=n-m+r
      so we did not change anything by deleting the edge regarding the formular
      we know the formular holds for G-e
      thus the formular holds for G aswell

  • @sagnik.math7
    @sagnik.math7 3 ปีที่แล้ว

    great !!!

    • @WrathofMath
      @WrathofMath  3 ปีที่แล้ว +1

      Thank you! If you're looking for more graph theory check out my graph theory playlist! th-cam.com/play/PLztBpqftvzxXBhbYxoaZJmnZF6AUQr1mH.html

  • @TheAaditvlog.com1
    @TheAaditvlog.com1 ปีที่แล้ว

    Love you from Nepal 🇵🇰

  • @gabrielpereiramendes3463
    @gabrielpereiramendes3463 3 ปีที่แล้ว

    #Excelent!

  • @Kevin-xs1ft
    @Kevin-xs1ft 2 ปีที่แล้ว

    (Copied from J)
    Hi, thanks for this video. I have a question
    For the contradiction proof, are we assuming that n - m + r ≠ 2 is true for graph G with a minimum edge m? If that's the case, I don't understand how the G-e graph contradicts the n - m + r ≠ 2 because m-1 edges is already less than the minimum edges e so n - m + r ≠ 2 shouldn't apply to it

    • @rameezshafat
      @rameezshafat ปีที่แล้ว

      The task at hand involves proving a statement about a cycle graph. To do this, a minimum counterexample approach is being used, wherein the smallest possible instance that does not satisfy the statement is being considered. In order to prove the statement, it is necessary to show a contradiction, in this case we show it by deleting the edge. The goal of this contradiction is to demonstrate that the statement is, in fact, true for all cycle graphs, and that the counterexample is invalid.

  • @bowlineobama
    @bowlineobama 8 หลายเดือนก่อน

    I wish you would have used , V, E, and F labels instead of n, m and r.

  • @bedrichmazourek3289
    @bedrichmazourek3289 3 ปีที่แล้ว

    I love you

  • @TheAaditvlog.com1
    @TheAaditvlog.com1 ปีที่แล้ว

    Dhau ..ham aaha k bhasaa nai bujhai xi yau 🙄😁🤔