Use signature and future-pointing timelike vectors . Their time components exceed their spatial magnitudes, so the same holds for their sum by the Euclidean triangle inequality. In the rest frame of , write , , and let . Then . Expanding the squared norm of proves the displayed inequality. Equality requires to have zero spatial component in this frame, equivalently is a positive scalar multiple of . The shared future time orientation is essential.
Articles by others on the same topic
There are currently no matching articles.