假设T是唯一的最小生成树。现在我们需要证明G中不在T中的每一条边e的权重,超过了T+e中循环中每一条边的权重。我们证明了这种说法的对立面。
假设G中有一条边e不在T中,并且它的权重小于或等于T+e中循环上的另一条边e0的权重。现在我们看生成树 T + e − e 0 T+e−e_0 T+e−e0。现在
w ( T + e ) − e 0 ) = w ( T ) + w ( e ) − w ( e 0 ) ≤ w ( T ) + w ( e 0 ) − w ( e 0 ) = w ( T ) 。 w(T+e)−e_0)=w(T)+w(e)−w(e_0)≤w(T)+w(e_0)−w(e_0)=w(T)。 w(T+e)−e