Planar graph
A connected graph is planar if there exists at least one drawing of it in the plane with no edge crossings. The definition depends on the existence of a good drawing, not on how one particular picture looks.
Mathispower4u · YouTube · 4:47
This 120-second introductory discrete mathematics lecture explains planar graphs, defines faces as the regions formed when a connected graph is drawn without edge crossings, and stresses that the outside region counts as a face. It shows that a graph may look nonplanar in one drawing but still be planar if redrawn without crossings, then uses two examples to contrast invalid face counting from crossing drawings with valid counting from planar representations. The clip ends by introducing Euler’s formula for connected planar graphs: . This 120-second discrete mathematics lecture segment introduces Euler's formula for connected planar graphs, , first warning that faces must be counted from a planar drawing. It then justifies the formula by an inductive construction starting from and using two moves: adding a spike, which increases v and e by 1, and completing a circuit, which increases e and f by 1. Since both moves preserve and the base case gives 2, the formula follows for all connected planar graphs. The segment closes by contrasting planar graphs with non-planar ones and naming as the smallest example where edges must intersect. This lecture segment introduces Euler's formula for planar graphs () by demonstrating that specific graph operations—adding a 'spike' and completing a 'circuit'—preserve this quantity. Using the path graph as a base case, the speaker outlines a proof by induction. The segment concludes by contrasting planar graphs with non-planar ones, identifying the complete graph as the smallest non-planar example where edges must intersect.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
The lesson opens by defining a planar graph: a connected graph that can be drawn in the plane with no edge crossings. The slide also introduces the term face for the regions created by such a drawing.
It then emphasizes a subtle point: a particular picture with crossings does not decide planarity. If the same graph can be redrawn without crossings, the graph is planar, and the crossing drawing is merely a nonplanar representation.
Using the first example, the video counts faces in the planar drawing. There are two bounded interior regions and one unbounded exterior region, so the total is 3 faces. The outside region is explicitly included.
From this example, the lecture states that the number of faces is treated as a property of the planar graph, provided we compare only drawings without edge crossings.
A warning slide follows. It shows the same graph in two ways: one drawing has crossing diagonals and seems to create 5 regions, while a planar redraw shows only 4 faces. The point is that face counting is valid only after choosing a planar representation.
Finally, the clip introduces Euler’s formula for connected planar graphs, relating the numbers of vertices, edges, and faces by .
The segment opens with a caution that matters before any formula is used: faces are counted correctly only after the graph is drawn in a planar way. The slide shows two representations of the same graph. In the left drawing, edge crossings can mislead the eye into counting 5 faces including the outside. In the right drawing, the graph is rearranged without crossings and the regions are labeled 1, 2, 3, and 4, making clear that the correct count is 4 faces.
With that convention established, the lecture states Euler's formula for connected planar graphs: if the graph has v vertices, e edges, and f faces, then . The wording on the slide and in the audio emphasizes that the hypothesis is not just planarity alone but connected planarity.
The next slide asks why the formula is true and answers by a constructive argument. Start from the graph , which is the two-vertex one-edge graph. The slide states that any connected graph other than a single isolated vertex must contain this subgraph, so is a natural base case for building larger connected graphs.
From that base, the graph is grown one step at a time using exactly two kinds of moves. A spike adds one new vertex together with one new edge attaching it to the existing graph. A circuit-completing move adds one new edge between two vertices that are already present. These are the only operations used in the argument.
The proof then tracks what each move does to the three quantities in Euler's expression. For a spike, increases by 1 and increases by 1, while stays the same. Hence , so the quantity is unchanged. For a circuit, increases by 1 and increases by 1, while stays the same. Hence , so again the quantity is unchanged.
Because neither move changes , the value found at the start propagates through the entire construction. The slide computes the base case directly: for , , , and , so . Therefore every connected planar graph built by these moves also satisfies . The slide explicitly describes this as essentially a proof by induction.
The final part contrasts planar graphs with non-planar ones. The slide says that not all graphs are planar: if there are too many edges and too few vertices, some edges must intersect. It identifies as the smallest graph where this happens in the present discussion, and a drawing of appears at the bottom right.
The video establishes that the quantity remains invariant for all planar graphs constructed through specific operations.
It uses the path graph as a base case, calculating its parameters: , , and .
Substituting these values yields , confirming the formula holds for the simplest connected graph.
The speaker notes that since any planar graph can be built from using spikes and circuits (which preserve the quantity), this constitutes a proof by induction.
The discussion shifts to non-planar graphs, explaining that excessive edge density relative to vertices forces intersections.
The complete graph is presented as the smallest example of a non-planar graph, illustrated with crossing edges.
A connected graph is planar if there exists at least one drawing of it in the plane with no edge crossings. The definition depends on the existence of a good drawing, not on how one particular picture looks.
When a planar graph is drawn without crossings, its edges and vertices divide the plane into regions called faces. The unbounded outside region is also counted as a face.
A planar representation is a drawing of the graph with no edge crossings. A graph may have other drawings with crossings, but those are not planar representations even if the graph itself is planar.
In the first example, the graph is redrawn without crossings. The planar drawing has two inner regions and one outside region, so the graph has 3 faces.
For a given planar graph, the number of faces does not change across different drawings as long as those drawings have no edge crossings. This is why face count can be discussed as a property of the graph.
Faces should not be counted from a drawing with edge crossings. In the second example, the crossing drawing misleadingly suggests 5 faces, but the planar representation shows the correct count is 4.
For any connected planar graph, the numbers of vertices, edges, and faces satisfy Euler’s relation. Here v is the number of vertices, e the number of edges, and f the number of faces in a planar drawing.
Before applying Euler's formula, the graph must be drawn without edge crossings. The segment shows the same graph in two ways: a crossing drawing that can misleadingly suggest 5 faces including the outside, and a planar drawing whose regions are labeled 1, 2, 3, 4, showing the correct count is 4 faces.
For any connected planar graph with v vertices, e edges, and f faces, the invariant relation is . The connectedness assumption is stated explicitly in both the slide text and the narration.
The proof starts from , the graph with two vertices joined by one edge. The slide states that any connected graph besides a single isolated vertex must contain this subgraph, making the natural starting point for building larger connected graphs.
Any connected graph in the argument is built by repeated use of two moves. A spike adds one new vertex and one new edge. A circuit-completing move adds one new edge between two existing vertices. These moves are the engine of the inductive proof.
Adding a spike increases the number of vertices by 1 and the number of edges by 1, while the number of faces stays the same. Algebraically, () - () + , so the Euler quantity is unchanged.
Completing a circuit adds one edge and one face but no new vertex. Thus , so the Euler quantity is again unchanged.
For the starting graph , the slide records , , and . Substituting gives , which anchors the induction.
Since every connected planar graph can be built from using spikes and circuit-closing edges, and since neither move changes , the value 2 established for carries to all connected planar graphs. The slide describes this as essentially a proof by induction.
The segment ends by noting that not all graphs are planar. When a graph has too many edges relative to its vertices, some edges must intersect. is identified as the smallest example of this phenomenon in the slide.
For connected planar graphs, the quantity is constant. This is shown by analyzing two operations: adding a 'spike' (increases and by 1) and completing a 'circuit' (increases and by 1). Both operations leave the sum unchanged.
The path graph serves as the foundation for the inductive proof. It has 2 vertices, 1 edge, and 1 face. Plugging these into the formula gives .
The argument follows an inductive structure: 1. Base case () satisfies the formula. 2. Inductive step: Any planar graph can be formed from via operations that preserve the formula's value. Therefore, all connected planar graphs satisfy .
Not all graphs can be drawn on a plane without edge crossings. Graphs with too many edges for their number of vertices are non-planar. The complete graph (5 vertices, all pairs connected) is the smallest such example.
Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.
The slide text introduces “the number of vertices (v)”.
The narrator says, “And there is a connection between the number of vertices v …”.
v
number of vertices in a connected planar graph
nonnegative integer count of graph vertices
The slide text introduces “the number of edges (e)”.
The narrator begins, “the number of edges e …” before the clip ends.
e
number of edges in a connected planar graph
nonnegative integer count of graph edges
The slide states “f faces” in Euler’s formula line.
The narration repeatedly discusses counting faces and later introduces the connection involving faces.
f
number of faces in a connected planar graph drawn without edge crossings
positive integer count of regions including the outside region
The slide text names the number of vertices as v.
The lecturer says “with v vertices.”
v
Number of vertices in a connected planar graph.
Nonnegative integer; in the worked base case shown on the slide, .
The slide text names the number of edges as e.
The lecturer says “e edges.”
e
Number of edges in a connected planar graph.
Nonnegative integer; in the worked base case shown on the slide, .
The slide text names the number of faces as f.
The lecturer says “f faces.”
f
Number of faces in a connected planar graph, including the outside face when counted in the planar representation.
Positive integer in the examples shown; in the worked base case on the slide, .
The slide states “Start with the graph .”
A two-vertex one-edge graph is drawn as the starting example.
The path graph used as the starting graph for the inductive argument.
A specific connected graph with 2 vertices and 1 edge.
The slide states “The smallest graph where this happens is .”
A five-vertex complete graph is drawn at the bottom right.
The complete graph on 5 vertices, used as the smallest non-planar example in this segment.
A specific graph with 5 vertices and all possible edges between them.
The variable v appears in the expression and is defined as the number of vertices.
v
Number of vertices in a graph
Positive integer
The variable e appears in the expression and is defined as the number of edges.
e
Number of edges in a graph
Positive integer
The variable f appears in the expression and is defined as the number of faces.
f
Number of faces in a planar graph
Positive integer
The notation is used to denote the starting graph with 2 vertices and 1 edge.
A path graph with 2 vertices
Graph
Narrator: “When a connected graph can be drawn without any edges crossing, it is called planar.”
Slide definition box: “A planar graph is a connected graph that can be drawn without any edges crossing.”
A planar graph is defined as a connected graph that admits at least one drawing in the plane with no edge crossings. The key point is existence of some crossing-free representation, not that every drawing must look crossing-free.
The graph is connected.
Planarity means there exists a drawing without any edges crossing.
Narrator: “When a planar graph is drawn in this way, it divides the plane into regions called faces.”
Slide text: “it divides the plane into regions called faces.”
The right-hand graph is annotated with face labels 1, 2, and 3.
When a planar graph is drawn without edge crossings, its edges and vertices partition the plane into regions called faces. The outside unbounded region is also counted as a face.
The graph must be drawn in a planar way, i.e. without edge crossings.
Faces are the resulting regions of the plane, including the outside region.
Narrator: “Even if a graph does not look like it is planar, it still might be. Perhaps we can redraw it in a way in which no edges cross.”
A left graph with crossings is shown transforming into a right graph without crossings.
Slide text: “the original drawing of the graph was not a planar representation of the graph.”
A graph may have drawings with crossings and still be planar if another drawing of the same graph has no crossings. A drawing with crossings is not a planar representation, even though the underlying graph may be planar.
Applies to the same graph considered under different drawings.
Only a crossing-free drawing counts as a planar representation.
Narrator: “The number of faces does not change no matter how we draw the graph, as long as we do so without the edges crossing.”
Slide text repeats that the number of faces does not change for planar drawings.
For a given planar graph, the number of faces is treated as invariant across different planar drawings. This justifies speaking of the number of faces as a property of the planar graph rather than of one particular picture.
The graph is planar.
The comparison is only among drawings without edge crossings.
Slide text: “Euler’s Formula for Planar Graphs. For any (connected) planar graph with v vertices, e edges and f faces, we have: ”
Narrator begins introducing the connection among vertices, edges, and faces just before the clip ends.
The spoken explanation of the formula is cut off before completion; only the displayed formula is fully visible.
For any connected planar graph, the numbers of vertices, edges, and faces satisfy Euler’s relation. The slide presents the formula explicitly as a central relationship among these three quantities.
The graph is connected.
The graph is planar.
f is counted from a planar drawing, including the outside face.
The slide warns: “We can only count faces when the graph is drawn in a planar way.”
Two representations of the same graph are shown side by side, one non-planar-looking and one planar with labeled faces 1, 2, 3, 4.
This segment defines the counting rule implicitly by warning that face counts are valid only after the graph is drawn without edge crossings. The left drawing may suggest 5 faces including the outside, but the planar representation on the right shows there are only 4 faces.
The graph must be drawn in a planar way before faces are counted.
The outside region is included among the faces in the discussion.
The slide states: “For any (connected) planar graph with v vertices, e edges and f faces, we have: .”
The lecturer reads the formula aloud as “v minus e plus f equals 2.”
Euler's formula relates the numbers of vertices, edges, and faces of a connected planar graph through the invariant equation .
The graph is planar.
The graph is connected.
v, e, and f are counted for a planar representation.
The slide says: “One way to convince ourselves of its validity is to draw a planar graph step by step. Start with the graph .”
The slide says each step consists of either adding a spike or connecting two existing vertices with a new edge.
The lecturer explains building up the graph by adding edges and vertices using these two moves.
The segment presents an inductive construction method: start from and repeatedly apply two allowed operations, called a spike and a circuit-closing edge, to build any connected graph besides a single isolated vertex.
The starting graph is .
Each step adds either one new vertex with one new edge, or one new edge between two existing vertices.
The argument applies to connected graphs other than a single isolated vertex.
The slide labels the left move: “Adding a new vertex connected by a new edge. (spike)”
The lecturer calls this move a spike and says it is an edge and a vertex.
A spike is the operation of adding one new vertex together with one new edge connecting it to the existing graph.
It is applied during the step-by-step construction of a connected planar graph.
The slide labels the right move: “Connecting two vertices in the graph.”
The surrounding text says this move is “(completing a circuit).”
The lecturer describes connecting two existing vertices with a new edge.
The second allowed operation adds one new edge between two vertices already present in the graph, thereby completing a circuit.
Both endpoints already exist in the graph.
The move is used in the inductive construction argument.
The slide states: “Not all graphs are planar. If there are too many edges and too few vertices, then some of the edges will need to intersect. The smallest graph where this happens is .”
A drawing of is shown at the bottom right.
The segment contrasts planar graphs with non-planar ones, explaining that when a graph has too many edges relative to its vertices, some edges must cross. It identifies as the smallest example where this occurs.
The statement concerns graphs that cannot be drawn without edge intersections.
is presented as the smallest such example in this segment.
Speaker states that adding a spike or completing a circuit does not change the quantity .
Text on screen shows ' does not change' for both operations.
Adding a new vertex connected by a new edge (spike) increases both vertices and edges by 1, leaving unchanged. Connecting two existing vertices (circuit) increases edges and faces by 1, also leaving unchanged.
Graph must be planar
Operations must maintain planarity
Narrator: “The two graphs are the same, so if one is planar, the other must be too.”
Two drawings are presented as representations of the same graph.
If two drawings represent the same graph and one drawing is planar, then the graph is planar, so another drawing of the same graph may also be planar even if it visually contains crossings.
The two drawings represent the same graph.
For the same graph under different drawings.
Narrator: “We can only count faces when the graph is drawn in a planar way.”
Slide warning text: “WARNING: We can only count faces when the graph is drawn in a planar way.”
The number of faces should be determined from a planar representation of the graph, not from a drawing with edge crossings.
The graph is being analyzed for its face count.
For any graph whose faces are being counted.
Slide text: “For any (connected) planar graph with v vertices, e edges and f faces, we have: ”
The narrator does not finish explaining the formula within this clip.
For any connected planar graph with v vertices, e edges, and f faces, .
The graph is connected.
The graph is planar.
f is the number of faces in a planar drawing, including the outside face.
For all connected planar graphs.
The slide explicitly states the theorem for any connected planar graph with v vertices, e edges, and f faces.
The lecturer repeats that the formula holds for all connected planar graphs.
For any connected planar graph with v vertices, e edges, and f faces, .
The graph is planar.
The graph is connected.
Faces are counted in a planar representation.
For all connected planar graphs.
The slide states: “Any connected graph (besides just a single isolated vertex) must contain this subgraph.”
The lecturer says any connected graph besides a single isolated vertex must contain this subgraph.
Any connected graph besides a single isolated vertex must contain as a subgraph.
The graph is connected.
The graph is not just a single isolated vertex.
For all connected graphs except the one-vertex isolated case.
The slide states that when adding the spike, edges increase by 1, vertices increase by 1, faces remain the same, so does not change.
The lecturer explains that because v and e both increase by 1, the quantity stays the same.
Adding a spike increases v by 1 and e by 1 while leaving f unchanged, so the quantity does not change.
The move is the spike operation defined in the segment.
For each application of the spike move.
The slide states that completing a circuit adds one edge, adds one face, and keeps the number of vertices the same, so again does not change.
The lecturer says increasing edges by 1 and faces by 1 leaves unchanged because -1 + .
Completing a circuit increases e by 1 and f by 1 while leaving v unchanged, so the quantity does not change.
The move connects two existing vertices with a new edge in the planar construction.
For each application of the circuit-completing move.
The slide states: “our starting graph has , and , so .”
The slide gives for without further explanation of how the outside face is being counted in that base case.
For the starting graph , , , and , hence .
The graph is the specific starting graph used in the construction argument.
For the base graph .
The slide states: “The smallest graph where this happens is .”
A drawing of accompanies the statement.
The segment asserts minimality but does not prove why no smaller graph is non-planar.
Among the graphs discussed here, the smallest graph that necessarily requires edge intersections is .
The graph has too many edges relative to its vertices to be drawn without intersections.
Stated for the smallest example in this segment.
Speaker concludes that since any graph can be built using these moves which preserve , the quantity is the same for all graphs.
Text states 'that quantity will be the same for all graphs'.
Video does not explicitly state the final theorem name 'Euler's Formula' in the audio, though it is implied by the context and title.
For any connected planar graph, the quantity equals 2.
Graph is planar
Graph is connected
For all connected planar graphs
Narrator explains that the graph above has three faces, including the outside region.
The right-hand planar drawing is labeled with regions 1, 2, and 3.
Start from the planar drawing on the right, where no edges cross.
Faces are counted only after choosing a planar representation.
Identify the bounded regions created by the edges and vertices; the picture marks two inner regions.
By definition, a planar drawing divides the plane into regions called faces.
Include the unbounded outside region as a third face.
The video explicitly states that the outside region is counted as a face.
Therefore the graph has three faces in total.
Sum of two inner faces and one outer face.
The first example graph has 3 faces when drawn planarly.
Narrator contrasts an incorrect count of 5 faces from the crossing drawing with the correct count of 4 faces from the planar drawing.
Left graph has crossing diagonals; right graph is redrawn without crossings and labeled 1, 2, 3, 4.
If one uses the left drawing with crossing diagonals, it visually appears to create four inner regions plus the outside, suggesting 5 faces.
This is the mistaken count discussed in the video.
Redraw the same graph in a planar way, as shown on the right.
Face counting is valid only for a planar representation.
In the planar drawing, identify three inner regions and one outside region.
The right-hand diagram is labeled with regions 1, 2, 3, and 4.
Hence the correct number of faces is 4.
Sum of three inner faces and one outer face.
The same graph has only 4 faces when counted from a planar representation, not 5.
The slide lays out the construction from , the two moves, their effects on v, e, f, and the base-case computation.
The lecturer narrates the same sequence: start from , add spikes or close circuits, observe that never changes, and conclude by induction.
The final sentence in the audio is cut off mid-thought, but the visible slide already states the inductive conclusion.
Begin with the graph , which has two vertices connected by one edge.
The slide explicitly says to start with the graph .
Record the initial counts for the base graph.
These values are stated directly on the slide.
Compute the invariant for the base case: .
This is the arithmetic shown on the slide for .
When a spike is added, one vertex and one edge are added, while the number of faces stays the same.
The slide states that adding the spike increases edges by 1, vertices by 1, and leaves faces unchanged.
Therefore the quantity is unchanged by a spike.
The slide says this means does not change; the algebraic form is an explicit restatement of that claim.
When a circuit is completed by joining two existing vertices with a new edge, one edge and one face are added, while the number of vertices stays the same.
The slide states that completing a circuit adds one edge, adds one face, and keeps vertices the same.
Therefore the quantity is also unchanged by completing a circuit.
The slide says again does not change; the displayed algebra makes that invariance explicit.
Since every nontrivial connected graph contains and can be built up using spikes and circuit-closing edges, the invariant value established for carries over to the whole graph.
The slide states that any connected graph besides a single isolated vertex must contain this subgraph and that we can build any graph using a combination of these two moves.
Because the moves never change and the base case equals 2, the formula holds for every connected planar graph reached by this construction.
The slide concludes that this argument is essentially a proof by induction.
Euler's formula follows by starting from and showing that both allowed construction moves preserve the quantity .
The slide contrasts a misleading count of 5 faces on the left with the correct planar count of 4 faces on the right.
The right-hand planar drawing labels four regions 1, 2, 3, 4.
If one tries to count faces from the non-planar-looking drawing on the left, one might say there are 5 faces including the outside.
This is stated directly in the slide text.
Redrawing the same graph in a planar representation shows that there are actually only 4 faces.
The slide text and the labeled planar diagram both state this.
Face counting depends on using a planar representation; otherwise the same graph can be miscounted.
Speaker explains building any graph from using spikes and circuits, noting this argument is essentially a proof by induction.
Text describes the two moves and their effect on v, e, f.
Adding a spike increases vertices and edges by 1, faces remain constant.
Definition of spike operation shown in diagram.
The change in the quantity is zero for a spike.
Algebraic simplification.
Completing a circuit increases edges and faces by 1, vertices remain constant.
Definition of circuit operation shown in diagram.
The change in the quantity is zero for a circuit.
Algebraic simplification.
Base case satisfies the formula.
Direct calculation from definition of .
Since the base case holds and the operations preserve the value, for all connected planar graphs constructible via these operations.
A left graph with crossings is transformed into a right graph without crossings.
Narrator says the lower graph is planar because it can be redrawn as the graph on the right.
Pop-up notice: “Both graphs have 5 vertices and the degrees of the vertices are the same. You may want to pause the video and check this.”
The exact adjacency list is not written out on screen; only the drawings and the notice about equal vertex degrees are explicit.
Determine whether a graph that is initially drawn with edge crossings can still be planar, and count its faces once redrawn planarly.
A graph is shown on the left with crossing edges.
The same graph is redrawn on the right without crossings.
The pop-up notice states both graphs have 5 vertices and matching vertex degrees.
Show that the graph is planar and determine the number of faces in the planar drawing.
Observe that the left drawing contains crossings, so it is not itself a planar representation.
A planar representation requires no edge crossings.
Use the right drawing, which has no crossings, as a planar representation of the same graph.
The video states the two graphs are the same and the right one is a redrawn version.
Count the regions in the right drawing: two inner regions and one outside region.
Faces are the regions formed by a planar drawing, and the outside region is included.
Thus the graph has 3 faces.
2 inner faces + 1 outer face = 3 faces.
The graph is planar, and its planar drawing has 3 faces.
The visual labeling of regions 1, 2, and 3 on the right-hand drawing matches the narrated count.
Slide warning text states that faces can only be counted when the graph is drawn in a planar way.
Two representations of the same graph are shown: one with crossing diagonals and one planar.
Narrator contrasts an apparent count of 5 faces with the correct count of 4 faces.
The exact edge count is not spoken aloud in this clip, although it is visible from the drawing.
Compare two drawings of the same graph and determine the correct number of faces.
The left drawing has crossing diagonals.
The right drawing is a planar representation of the same graph.
The right drawing is labeled with four regions.
Explain why the left drawing suggests 5 faces while the correct face count is 4.
From the left drawing, one might mistakenly count four inner regions plus the outside, giving 5.
This is the erroneous method explicitly warned against in the video.
Switch to the right drawing, which has no crossings.
Only a planar representation gives the valid face count.
Count three inner regions and one outside region in the right drawing.
The diagram labels regions 1, 2, 3, and 4.
Therefore the correct number of faces is 4.
3 inner faces + 1 outer face = 4 faces.
The graph has 4 faces, not 5.
The slide text and narration both state that the planar representation shows only 4 faces.
Two drawings of the same graph are shown side by side; the right one is planar and labels four faces 1, 2, 3, 4.
The text says the left drawing might suggest 5 faces including the outside, but the planar representation shows only 4 faces.
The graph itself is not named in the visible text, though the drawing corresponds to .
Compare two representations of the same graph and determine how many faces should be counted.
Two drawings of the same graph are shown.
The left drawing has crossing edges.
The right drawing is a planar representation with regions labeled 1, 2, 3, 4.
Identify the correct face count for the graph.
Using the left drawing naively may lead to counting 5 faces.
The slide explicitly says one might say there are 5 faces including the outside.
Using the planar representation shows the correct count is 4 faces.
The slide states that the planar representation shows there are only 4 faces.
The correct face count in the planar representation is 4.
The labeled planar drawing on the right shows exactly four numbered regions, matching the slide's stated correction.
The slide states: “our starting graph has , and , so .”
A two-vertex one-edge graph is shown as the starting example.
The segment does not explain in detail why for beyond stating it on the slide.
Compute for the starting graph used in the proof.
The starting graph is .
It has 2 vertices and 1 edge.
The slide assigns for this base case.
Verify the invariant value at the start of the induction.
Read off the counts for the base graph from the slide.
These values are explicitly stated on the slide.
Substitute into Euler's expression.
This is the arithmetic shown on the slide.
For , .
The slide directly states the result 2 after substitution.
Speaker walks through the numbers for : 'number of vertices is two... edges is one... faces is one'.
Text displays ', and , so '.
Find the value of for the path graph .
Graph is
Compute
Substitute the known values into the expression.
Definition of the invariant quantity.
Plug in , , .
Given values for .
Perform arithmetic.
Standard addition/subtraction.
2
Matches the general result stated for all planar graphs.
Speaker identifies as the smallest graph where edges must intersect.
Image shows with crossing edges labeled 'Non-planar Graphs'.
Determine if the complete graph is planar.
Graph is (5 vertices, all connected)
Visual representation shows edge crossings
Check planarity
Observe that in the standard drawing of , edges cross each other.
Visual evidence from the slide.
The density of connections forces intersections in 2D plane.
Audio explanation: 'If there are too many edges and too few vertices...'
is non-planar.
Stated as the smallest example of a non-planar graph in the video.
First slide titled “Planar graphs” shows text definitions and two graph drawings connected by a blue arrow.
A pop-up notice appears around 21–32 seconds stating both graphs have 5 vertices and the same vertex degrees.
Around 57 seconds, red numerals 1, 2, and 3 appear on the right-hand graph to mark faces.
Title “Planar graphs”
Definition sentence
Left graph with crossings
Blue arrow
Right planar graph
Pop-up notice
Face labels 1, 2, 3
The slide remains mostly static while the cursor moves over text and diagrams.
A blue pop-up notice appears and later disappears.
Red face numbers are added to the right-hand graph.
The underlying lesson topic stays on planar graphs and faces.
The two graph drawings represent the same graph.
The visual sequence supports the distinction between a nonplanar-looking drawing and a planar representation, then identifies the faces of the planar drawing.
Second slide titled “Planar graphs” shows a WARNING, two representations of the same graph, and Euler’s formula.
Red numerals 1, 2, 3, and 4 appear on the right-hand graph to label faces.
Title “Planar graphs”
WARNING text
Left graph with crossing diagonals
Right planar graph
Face labels 1, 2, 3, 4
Euler’s formula line
The slide changes from the first example to the warning slide at about 78 seconds.
Face labels are added to the right-hand graph.
The formula is displayed at the bottom.
Both drawings on this slide represent the same graph.
The lesson continues to emphasize planar representations for face counting.
The second slide visually contrasts an invalid face count from a crossing drawing with a valid count from a planar drawing, then introduces Euler’s formula.
The first slide shows two drawings of the same graph side by side; the right drawing is planar and labels four faces 1, 2, 3, 4.
The text warns that faces can only be counted when the graph is drawn in a planar way.
Left graph drawing with crossing edges
Right planar graph drawing
Four labeled face regions 1, 2, 3, 4
The presentation shifts attention from the left drawing to the right drawing.
The right drawing reveals the correct face decomposition of the same graph.
The underlying graph is the same in both drawings.
The warning text remains on screen throughout this interval.
The visual contrast demonstrates that face counting is representation-sensitive unless the drawing is planar.
At about 21 seconds the slide changes from the warning/formula slide to the proof-construction slide.
The new slide begins with “Why is Euler's formula true?” and introduces and the two moves.
New slide title
Graph
Two move diagrams
The previous warning example disappears.
The proof setup with and the two construction moves appears.
The topic remains Euler's formula for planar graphs.
The transition marks the shift from stating the theorem to justifying it by construction.
The left diagram shows adding a new vertex connected by a new edge, labeled as a spike.
The right diagram shows connecting two existing vertices with a new edge, described as completing a circuit.
Partial graph on the left
Dashed new edge and new vertex for the spike
Partial graph on the right
Dashed new edge between existing vertices
The left diagram illustrates growth by one vertex and one edge.
The right diagram illustrates growth by one edge only, closing a cycle.
Both diagrams are presented as allowed steps in building a connected planar graph.
The diagrams define the elementary operations used in the inductive proof.
The slide now lists the effects of each move on v, e, and f and states the base-case calculation for .
A drawing of appears at the bottom right under the heading Non-planar Graphs.
Text describing spike effects
Text describing circuit effects
Base-case equation for
Drawing of
The proof slide expands from construction moves to their numerical effects.
The bottom section introduces non-planar graphs and .
The central quantity under discussion remains .
This visual layout connects the local move analysis to the global inductive conclusion and then contrasts planar graphs with a non-planar example.
Top left diagrams show a square with a diagonal. Arrows indicate adding a vertex (spike) or connecting vertices (circuit).
Square graph with diagonal
Blue arrows
New vertex dot
Dashed line
A new vertex is added to an existing edge (spike).
Two existing vertices are connected by a new edge (circuit).
The overall structure remains a planar embedding during the demonstration.
These visuals demonstrate the two fundamental operations used to build complex planar graphs from simple ones while preserving the Euler characteristic.
Bottom center image shows a pentagon with all diagonals drawn (). Edges clearly cross inside the pentagon.
Pentagon vertices
Connecting lines (edges)
Intersection points
None (static image).
Edge crossings are visible.
This visual serves as a counter-example to planarity, showing a graph that cannot be drawn without intersections.
Narrator: “Even if a graph does not look like it is planar, it still might be.”
A crossing drawing is redrawn without crossings.
If a graph is drawn with edge crossings, one may wrongly conclude that the graph itself is not planar.
Planarity depends on whether some drawing of the graph has no crossings, not on whether a particular drawing looks crossing-free.
Slide warning: “We can only count faces when the graph is drawn in a planar way.”
Narrator contrasts an apparent count of 5 faces with the correct count of 4 faces.
One may try to count faces directly from a drawing with edge crossings and obtain the wrong number.
Faces must be counted from a planar representation; otherwise the count is not the true face count of the planar graph.
Narrator: “yes we do include the outside region as a face.”
Slide text: “(yes, we do include the ‘outside’ region as a face).”
One may count only the bounded interior regions and omit the unbounded outside region.
The outside region is included as a face when counting faces of a planar graph.
The slide warns that if one tries to count faces using the graph on the left, one might say there are 5 faces including the outside, but the planar representation shows only 4 faces.
One may incorrectly count 5 faces by looking at a drawing with edge crossings.
Faces should be counted only after redrawing the graph in a planar way; the planar representation shows 4 faces.
The formula is stated specifically for any connected planar graph.
A later section explicitly says not all graphs are planar and gives as an example.
One might think holds for arbitrary graphs.
In this segment the formula is asserted only for connected planar graphs; non-planar graphs such as are treated separately.
Speaker explicitly states 'Not all graphs are planar.'
Section header 'Non-planar Graphs'.
Students might assume any graph can be drawn on a plane without edges crossing.
Graphs with high edge density relative to vertices, like , force edge intersections and are therefore non-planar.
Narrator defines planar graphs and then immediately defines faces arising from such a drawing.
Slide text links planar drawing to division of the plane into faces.
The notion of faces is introduced only after specifying a planar drawing of a connected graph.
Narrator says the graph can be redrawn without crossings and then counts faces in the planar drawing.
The right-hand planar drawing is used for face labeling.
A planar representation is needed before the face count can be meaningfully discussed as a property of the graph.
Euler’s formula is stated using v, e, and f after the lesson has defined faces.
Euler’s formula uses the number of faces, so the concept of a face must be understood first.
The slide explicitly restricts Euler’s formula to any connected planar graph.
Euler’s formula is presented specifically for connected planar graphs.
The WARNING text directly governs how faces should be counted.
The warning operationalizes the rule that face counting is valid only for planar drawings.
The warning about planar face counting precedes the statement of Euler's formula on the same slide.
Correct face counting in a planar representation is needed before the quantities in Euler's formula are meaningful.
After stating the formula, the next slide asks “Why is Euler's formula true?” and introduces the construction method.
The construction method is introduced specifically to justify Euler's formula.
The method slide defines the spike as one of the two allowed moves.
The inductive construction method includes the spike move as one of its basic operations.
The method slide defines connecting two existing vertices as the other allowed move.
The inductive construction method includes the circuit-completing move as its second basic operation.
The slide contrasts planar graphs with the statement “Not all graphs are planar” and shows .
Euler's formula is presented for connected planar graphs, while the final section contrasts them with non-planar graphs such as .
Speaker links the construction method to the proof type: 'This argument is essentially a proof by induction.'
The derivation using spike and circuit operations provides the inductive step necessary to prove Euler's formula for all connected planar graphs.
Contrast between planar discussion and 'Not all graphs are planar... smallest... is '.
Euler's formula applies to planar graphs; is introduced specifically as a non-planar graph where such planar embeddings fail.
Opening definition of planar graph.
Definition box on slide 1.
Narrator defines faces and includes the outside region.
Face labels 1, 2, 3 on the planar drawing.
Left crossing graph transformed into right planar graph.
Narrator explains that a graph may still be planar if it can be redrawn without crossings.
Right-hand graph labeled with 1, 2, 3.
Narrator counts two inner regions and one outside region.
WARNING text on slide 2.
Narrator says faces can only be counted in a planar way.
Two drawings of the same graph, with the planar one labeled 1–4.
Narrator contrasts 5 apparent faces with 4 actual faces.
Slide displays for connected planar graphs.
The spoken explanation is incomplete in this clip.
The slide states the formula explicitly.
The slide warns that faces can only be counted when the graph is drawn in a planar way.
The slide asks why Euler's formula is true and lays out the construction from .
The slide labels the left move as adding a new vertex connected by a new edge, called a spike.
The slide states that completing a circuit adds one edge and one face while keeping vertices the same.
Covered · Defines planar graphs and introduces faces from a planar drawing.
Covered · Explains that a graph may look nonplanar in one drawing but still be planar if redrawn without crossings.
Covered · Counts the faces of the first example and states that face count is invariant across planar drawings.
Covered · Warns against counting faces from a crossing drawing and contrasts 5 versus 4 faces.
Covered · Introduces Euler’s formula for connected planar graphs.
Covered · Opening slide warns about planar face counting, shows two representations of the same graph, and states Euler's formula.
Covered · Second slide introduces the inductive construction from and defines the two allowed moves.
Covered · The proof effects on v, e, f are explained, the base case is computed, and the segment ends with the non-planar example .
Covered · Explanation of graph operations, invariance of , and base case calculation.
Covered · Discussion of non-planar graphs and the example of .
Covered · Outro screen with presenter information and website link; no mathematical content.
Reviewed subject paths