Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2021/7/c/iii/solution

Let be the unique minimum spanning tree. If is an edge outside , adding it creates a unique graph cycle consisting of and the tree graph path . Every edge on that graph path has : otherwise the distinct weights would give , and replacing by would produce a cheaper spanning tree. This is the minimum spanning tree cycle property in exchange form.
By the domination inequality in (i), it follows more strongly that
Now consider any simple graph path from to that is not the tree graph path. It must use an edge outside . Replace every such edge by the corresponding tree graph path. Each replacement strictly reduces length and produces a walk entirely in . Removing any repeated-vertex excursions leaves the unique tree graph path and can only reduce length further. Therefore
So every root-to-vertex graph path in is the unique shortest graph path in , and
The argument works for every choice of root .

New to topics? Read the docs here!