Reverse triangle inequality for future timelike vectors

ID: reverse-triangle-inequality-for-future-timelike-vectors

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.

New to topics? Read the docs here!