- #106
- 8,943
- 2,949
GregAshmore said:Prove it. You drew your lines with my rocket in motion. I, in my rocket, have the right to consider myself to be permanently at rest. Prove to me that being non-inertial, yet always at rest, will result in a younger age.
The proof that an inertial path is the one with the longest proper time is essentially the same as the proof that a a straight line is the curve with the shortest length connecting two points. I'll go through both of them in parallel.
Euclidean case
In 2D Euclidean geometry, the formula for the length of a curve connecting two points is given by:
[itex]L = \int \sqrt{1+m^2} dx[/itex]
where [itex]m = \dfrac{dy}{dx}[/itex] is the slope of the curve [itex]y(x)[/itex]
This formula is good using any Cartesian coordinate system, provided that the curve is never vertical (it breaks down in that case, because the slope becomes infinite).
Finding the path [itex]y(x)[/itex] that makes [itex]L[/itex] an extremum (either a maximum or a minimum), one uses the calculus of variations. The result is that the minimizing or maximizing curve satisfies:
[itex]\dfrac{d}{dx} ( \dfrac{m}{\sqrt{1+m^2}}) = 0[/itex]
which has the solution that [itex]m[/itex] is a constant.
So the curve with constant slope is the extremizing curve (the one making the distance either minimal or maximal--we can prove in this case that it is minimal).
Special Relativity case
In Special Relativity, the formula for the proper time of a spacetime path is given by:
[itex]\tau = \int \sqrt{1-\dfrac{v^2}{c^2}} dt[/itex]
where [itex]v = \dfrac{dx}{dt}[/itex] is the velocity of the path [itex]x(t)[/itex]
This formula is good using any inertial coordinate system.
Finding the path [itex]x(t)[/itex] that makes [itex]\tau[/itex] an extremum (either a maximum or a minimum), one again uses the calculus of variations. In this case, the equation for the extremizing path is:
[itex]\dfrac{d}{dt} ( \dfrac{-\frac{v}{c^2}}{\sqrt{1-\frac{v^2}{c^2}}}) = 0[/itex]
which has the solution that [itex]v[/itex] is a constant.
So the path with constant velocity [itex]v[/itex] is the path that makes the proper time maximal or minimal--we can prove in this case that it is maximal.