la_60；对于formula_61（即a, b彼此同号），formula_62。像几何中的情况一样，该式的推论为：formula_63。
反方向.在闵可夫斯基空间，三角不等式是反方向的：这个不等式的物理例子可以在狭义相对论中的双生子佯谬找到。