In flat, free, Euclidean space, the shortest path and the zero acceleration path are the same path, which is a straight line. However, in general relativity, is the zero acceleration path also the shortest path between two points? I am assuming that free fall is zero acceleration.
2 Answers
In general relativity, you're dealing with a 4D spacetime, so the "points" in spacetime are events, and the measures that you can make coordinate-independent statements about are intervals instead of distances.
The rule that applies is that the world line with the longest possible proper time between two events is a world line that involves zero proper acceleration. Such a world line is called a "time-like geodesic".
There's a similar concept for space-like curves. A "space-like geodesic" is a curve with a stationary proper length between two events with a space-like separation. A space-like geodesic is locally straight.
For more information, see the Wikipedia article section "Geodesics as curves of stationary interval"
And yes, free fall means zero proper acceleration.

- 7,736
Minimum path length in 3D is the square root of sum of squares of distances (differences of x, y & z coördinates), so that smaller distances mean a shorter path. In 4D, path length is the square root of (sum of squares of distances plus square of ict). The square of ict is negative, so that a longer time (slower clock) tends to a shorter 4D path length. (t is the time difference between events, c the speed of light and i the square root of -1.)
Time passes more slowly at lower elevations on earth, so that when you drop something, it's falling along the 4D path where its clock slows most (things take ever longer).
How on earth then when you throw a rising ball does it continue to rise in elevation, where its clock will speed up, not slow down, before falling? Because the acceleration that the ball gets as you throw it slows its clock even more than what it will gain along its entire free path. The shortest 4D path is a parabola (or straight vertical line).
The geometry of spacetime says, then, that two events fall into three categories, being spacelike seperated if the distance between them is greater than zero, timelike seperated if the distance between them is less than zero, and null seperated if it is zero.
I'm going to come back and write a proper answer to this later, but you have to consider each of these cases,
– Zo the Relativist Sep 12 '14 at 20:56