Does a Minimum-Spanning-Tree always give a lower bound for the weight of any Hamiltonian cycle of the graph?

A minimum-spanning-tree (MST) path is always $V-1$ edges and a Hamiltonian Cycle (HC) is always $V$ edges.

Because the HC has an extra edge we could say that in general, the weight of every Hamiltonian cycle of a connected graph will be more.

If we take an edge of every Hamiltonian cycle we will find an MST and by that, the MST weight will be always lower than HC.

• There is a way to prove this where MST tree not necessary belongs to the HC?

• There is more definitive proof for this?

Suppose:

-
$G$ is some graph with non-zero, positive weights.

-
The minimum spanning tree of $G$ is denoted by $MST$

-
$H_C$ is a hamiltonian cycle in $G$.

-
$H_P$ is a hamiltonian path in $G$, given by removing any one edge of $H_C$.

Since all the edges are positive and non-zero, we immediately get that:

$$w(H_C) > w(H_P)$$

Also, $H_P$ is a subgraph that includes all vertices of $G$ (and connects them), so $H_P$ in fact spans $G$.

Hence, by definition of minimum spanning tree:

$$w(H_P) \geq w(MST)$$

It follows that $$w(H_C) > w(H_P) \geq w(MST)$$

In case we allow zero weights, the inequality holds, it simply will not be strictly greater (for the same reasons noted in the answer). That is:
$$w(H_C) \geq w(H_P) \geq w(MST)$$

StackExchange Computer Science Q#110417, answer score: 3