# The shortest distance between any two distinct points is the line segment joining them.How can I see why this is true?

On a euclidean plane, the shortest distance between any two distinct points is the line segment joining them. How can I see why this is true?

-
–  Austin Mohr Aug 10 '12 at 17:51
The definition of the length of a smooth curve segment as a limit of polygonal approximations easily implies the result. But that is not entirely satisfactory as an explanation. –  André Nicolas Aug 10 '12 at 17:58
What do you mean by "shortest distance"? –  Qiaochu Yuan Aug 10 '12 at 18:34
When you ask "how can I feel", are you looking for an intuitive grokking of the fact, or do you want a formal proof? In order to give the latter, one needs an explicit definition of what the length of something that is not a line segment is, and the only such definition in general use involves calculus in an essential way. It may be doable to prove without calculus that a line segment has minimal length among all piecewise straight curves joining two points, but then which axioms do you want it proved from? (Euclid seems to take something like this as so obvious it's not even stated). –  Henning Makholm Aug 10 '12 at 19:03
When I want to feel this is true I imagine taking a small rubber band and stretching it between the two points. –  Rahul Aug 11 '12 at 2:09

Every now and then it's nice to nuke a mosquito.

Let's assume that the path connecting two points $(a,y(a))$ and $(b,y(b))$ can be expressed as a function, and the curve $C(x)$ is given by $C(x) = (x,y(x))$. Then we will proceed using the Calculus of Variations.

The derivative of $C$ wrt $x$ is $(1, y')$, and the functional we want to minimize is the length of the curve $L = \int \|C'\|dx = \int_a^b\sqrt{1 + y' ^2} dx$. If we take $f(x,y,y') = \sqrt{1 + y'^2}$, we get that $\frac{df}{dy} = 0, \frac{df}{dy'} = \frac{y'}{\sqrt{1 + y'^2}}$. Then the Euler-Lagrange equation, sometimes referred to as the fundamental equation of the Calculus of Variations, says exactly that $\dfrac{d}{dx} \left( \frac{y'}{\sqrt{1 + y'^2}}\right) = 0$, which is exactly that $y'$ is a constant.

Thus, if the path connecting the two points is expressible as a function, then the shortest such path is given by a straight line.

EDIT I was certain that someone was in the middle of writing an answer when I typed my tongue-in-cheek response (as so often happens), but as I now see that there is more to add, allow me to extend my answer

The problem here is that we must first define "distance." In the standard Euclidean Plane, the distance between two points is defined to be the length of the line segment between them. So we can drop the word 'shortest' and say that "The distance between any two distant points is the length of the line segment joining them."

Presumably, you want to know that going along any other path will be at least as long. One way of 'seeing this' is that you can approximate any curve with a polygonal path, and these satisfy the triangle inequality, which will make the path longer.

-
+1 for "nuke a mosquito". –  user22805 Aug 10 '12 at 22:54
When I saw the question, I just knew somebody would post the variational route... :) –  Ｊ. Ｍ. Aug 11 '12 at 1:07
@J.M. I never knew about \| - that's one of those little things. Thanks for that! –  mixedmath Aug 11 '12 at 1:12
Yeah, it looks nicer than just abutting two pipe characters, no? :) –  Ｊ. Ｍ. Aug 11 '12 at 1:14
Let $\gamma(s)$ be a continuous curve in the plane with end-points $\gamma(0) = a$ and $\gamma(1) = b$. Using the Euler-Lagrange equations, the only stationary solution is $\gamma(s) = bs + (1 - s)a$, which is a line connecting the two end-points. See also this.