How to prove that in any finite graph, the number of vertices with odd degree is even

365 Views Asked by At

I am trying to solve problem described in the title.

What I've tried

I tried to consider simple examples of graph with 0, 1 and 2 vertices and figured out that every edge has start node and end node, so number of edges can be calculated as follows:
E - number of edges in graph
Nd - degree of node $$E=\frac{\sum Nd}{2}$$ Since number of edges must be integer, $\sum Nd$ must be even. It is only even if there is even number of odd sum components.

Questions

Is this enough to prove the conjecture?
Is there other way to prove that?

1

There are 1 best solutions below

0
On BEST ANSWER

You are correct, and this is a standard proof for this problem.

The handshaking lemma states that the sum of all degrees is 2 times the number of edges. But, this can be broken up into those vertices that have an even degree (call them $V_{even}$) and those that have an odd degree ($V_{odd}$). That is,

$$2E = \sum_{u \in V}deg(u) = \sum_{u \in V_{even}}deg(u) + \sum_{u \in V_{odd}}deg(u)$$.

Since the number of edges $E$ is an integer, then $2E$ is an even number. Also, the sum of degrees for all vertices with even degrees $\sum_{u \in V_{even}}deg(u)$ is an even number. So we have $$evenNumber = evenNumber + \sum_{u \in V_{odd}}deg(u)$$

Since the other elements are even, necessarily $\sum_{u \in V_{odd}}deg(u)$ is an even number, too. Which means there is an even number of elements with an odd degree because otherwise the sum would be an odd number.