Pythagoras'theorem doesn't feel sufficient to prove that the diagonal is the the shortest route. It only computes that distance. So is there a way to prove that a diagonal is the shortest route? It seems very intuitive. However, I wanted to see a mathematical proof.
Could the triangle inequality be used?