假设最小生成树的最长边为(x,y)
在MST中去掉(x,y)之后，与x相连的为集合m，与y相连的为n
如果存在一条边(a,b) 其中a属于m，b属于n，其权w(a,b)<w(x,y)，
与假设不符，所以MST的最长边最短。