Solutions
Let G be a disconnected graph, with v vertices, e edges, r regions, and c components. Denote the components by C1, C2, ..., Cc. From each component Ci choose a vertex vi which borders the ``outer'' region. Add new edges between v1 and v2, v3 and v4,..., vc - 1 and vc. The graph clearly remains planar when this is done, and the process adds no new regions or vertices. It results in a new graph G1 which has the same number of regions and vertices as G, has e + c - 1 edges, and is connected. Hence, Euler's formula applies, and it gives
The corollary in the text applies to the graph G1 created above,
and gives
e + c - 1
3v - 6, where e, v, and c are as above.
Since
e
e + c - 1 (a graph must have at least one component;
indeed, an unconnected graph has at least two), we have
e
e + c - 1
3v - 6, proving the corollary for G.
Choose two vertices v1 and v2 in the disconnected graph G. Either they are in
the same component, or they are in different components. If they are
in the same component, then let w be a vertex in a different
component (which exists because we are assuming the graph is
disconnected). Then in the graph
, (v1, w) and
(v2, w) are edges. So the path v1, w, v2 connects v1 and v2
in
.
If v1 and v2 are in different components of G, then
(v1, v2) is an edge in
, and so v1, v2 is a path
connecting them in
.
Assume that G has all vertices of different degrees. Then there
must be one vertex for each possible degree,
0, 1,..., n - 1. Denote
the vertex of degree i by vi, for
0
i
n - 1. Since
deg(vn - 1) = n - 1, vn - 1 must be adjacent to
every other vertex. But then
deg(v0)
1, which
is a contradiction. So our assumption that all the vertices of G
must have different degrees is false; that is, G has at least two
vertices with the same degree.
There are 11 of them: 1 with no edges, 1 with one edge, 2 with two edges, 3 with three edges, 2 with four edges, 1 with five edges, and 1 with six edges.
You could have simplified work by just working with 0, 1, 2, or 3 edges, and noting that something with 4 edges is the complement of something with 2 edges, for instance.