Supongamos que tenemos un gráfico arbitrario con $l$ vértices. Supongamos que tenemos $n$ vértices con grado impar. Consideremos qué ocurre cuando conectamos (o eliminamos) una arista entre dos vértices cualesquiera, hay dos posibilidades:
1) Los dos vértices son ambos de grado par(o impar): Supongamos que ambos vértices son de grado par. Conectando(o eliminando) una arista entre ellos se incrementará el grado de ambos vértices en $1$ (o disminuye en caso de eliminar una arista), por lo que ambos vértices pasarán a ser de grado impar, y $n$ aumentará en $2$ .
Del mismo modo, si los dos vértices eran inicialmente de grado impar, entonces la conexión (o eliminación) de una arista convertirá ambos vértices en grado par, y $n$ disminuirá en $2$ .
2) Un vértice es impar mientras que el otro es par. En este caso, al conectar (o eliminar) una arista, el vértice impar se convierte en par, y el vértice impar pasa a ser par. Por lo tanto, $n$ se mantendrá sin cambios.
De esto aprendemos que el número de vértices de grado impar $n$ sólo puede aumentar/disminuir en pasos de $2$ (o permanecen sin cambios) a medida que creamos(eliminamos) aristas.
Ahora, cuando construyamos cualquier gráfico que deseemos, empezaremos con nuestros vértices aislados unos de otros, sin una sola conexión (arista). Por lo tanto, inicialmente $n=0$ (todos los vértices son de grado par ya que no hay ninguna arista que los conecte) , y a medida que hacemos conexiones, sólo puede aumentar/disminuir en pasos de $2$ Por lo tanto $n$ se mantendrá uniforme.
0 votos
es.wikipedia.org/wiki/Handshaking_lemma
35 votos
La suma de todos los grados es igual al doble del número de aristas. Como la suma de los grados es par y la suma de los grados de los vértices con grado par es par, la suma de los grados de los vértices con grado impar debe ser par. Si la suma de los grados de los vértices con grado impar es par, debe haber un número par de esos vértices.
6 votos
@Mike: ¡es una respuesta, no un comentario!
0 votos
@BenMillwood Heh. No estoy seguro de que sea una prueba formal. Por eso lo dejé como comentario y no como respuesta.
15 votos
@Mike ¿Qué tiene de informal? No hay suficientes casos de $G$ , $v$ y $2n+1$ ? No caigas en la trampa de pensar que las buenas matemáticas tienen que estar plagadas de símbolos.
0 votos
@Mike he intentado formalizarlo.