Creo que la inducción fuerte podría ser el mejor enfoque aquí, para evitar tener que encontrar un vértice no cortado (un vértice que, cuando se elimina junto con sus aristas incidentes, no desconecta el gráfico). Las pruebas de inducción requieren una familia de proposiciones $P(n)$ , indexado por números naturales $n$ . Normalmente me resulta más fácil definirlo explícitamente:
$P(n) :$ Para todo gráfico conectado $G$ con $n$ vértices, $G$ tiene al menos $n - 1$ bordes.
Tenemos que demostrar $P(1)$ primero. Es decir, si $G$ es un gráfico conectado con $1$ vértice, entonces $G$ tiene al menos $0$ bordes. Esto es evidente en cualquier gráfico, no sólo en los conectados con $1$ vértice, por lo que $P(1)$ es cierto.
Suponemos ahora que, para un $n > 1$ , $P(k)$ es cierto para todos los $k < n$ , y proceder a demostrar $P(n)$ . Tenemos que demostrar que, dada cualquier conexión $G$ gráfico con $n$ vértices, tenemos al menos $n - 1$ aristas, así que supongamos que tenemos un gráfico $G$ que se ajustan a estas premisas.
Tome cualquier vértice $v$ de $G$ y la borramos, junto con todas sus aristas incidentes, para formar un nuevo gráfico $G'$ . Tenga en cuenta que $v$ no puede tener grado cero, porque entonces no estaría conectado al resto del gráfico. No podemos suponer $G'$ está conectada (lo que sería útil, para poder aplicar $P(n - 1)$ ), pero lo que podemos hacer es considerar los componentes conectados de $G'$ . Sea $G_1, G_2, \ldots, G_m$ sea el número de componentes conectados de $G$ . Para cada $i = 1, \ldots, m$ , dejemos que $n_i$ y $e_i$ sea el número de vértices y aristas respectivamente de $G_i$ .
Tenga en cuenta que $G'$ tiene $n - 1 = n_1 + \ldots + n_m$ vértices y $e_1 + \ldots + e_n$ bordes. En particular, $n_i < n$ para todos $i = 1, \ldots, m$ . Por lo tanto, podemos utilizar nuestra hipótesis de inducción y concluir que $P(n_i)$ es cierto para todos los $i$ . Es decir, $e_i \ge n_i - 1$ . Resumiendo, tenemos, $$n - 1 = n_1 + \ldots + n_m = (n_1 - 1) + \ldots + (n_m - 1) + m \le e_1 + \ldots + e_m + m$$ Desde la eliminación de $v$ creado $m$ componentes conectados, se deduce que $v$ debe haber tenido al menos $m$ aristas incidentes en ella (al menos una arista debe haberse conectado a cada componente conectado de $G'$ para conectarlos todos en $G$ ). Por lo tanto, si $e$ es el número de aristas en $G$ tenemos $$n - 1 \le e_1 + \ldots + e_m + m \le e,$$ como se requiere. Así, por inducción (fuerte), $P(n)$ es válida para todos los $n$ .